runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459216-1307134745/watcher-3459216-1307134745 -o /tmp/evaluation-result-3459216-1307134745/solver-3459216-1307134745 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459216-1307134745.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.05 2.36 2/418 3699
/proc/meminfo: memFree=30000068/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 2463 0 1 0 0 0 0 0 25 0 2 0 825074268 13833195520 2166 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3377245 2180 906 9 0 3368401 0
[pid=3699/tid=3700] ppid=3697 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 5097 0 1 0 0 0 0 0 25 0 2 0 825074268 13850947584 5913 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.101171 s]
/proc/loadavg: 2.11 2.05 2.36 2/418 3699
/proc/meminfo: memFree=30000068/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13622200 CPUtime=0.1 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 15580 0 1 0 9 1 0 0 25 0 18 0 825074268 13949132800 15247 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3405550 15247 2092 9 0 3396284 0
[pid=3699/tid=3700] ppid=3697 vsize=13622200 CPUtime=0.09 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 13646 0 1 0 8 1 0 0 25 0 18 0 825074268 13949132800 15247 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622200
[startup+0.201155 s]
/proc/loadavg: 2.11 2.05 2.36 2/418 3699
/proc/meminfo: memFree=30000068/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13622744 CPUtime=0.27 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 16507 0 1 0 26 1 0 0 25 0 18 0 825074268 13949689856 16146 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3405686 16146 2182 9 0 3396420 0
[pid=3699/tid=3700] ppid=3697 vsize=13622744 CPUtime=0.18 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 14299 0 1 0 17 1 0 0 25 0 18 0 825074268 13949689856 16146 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505216289 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13622744
[startup+0.301137 s]
/proc/loadavg: 2.11 2.05 2.36 2/418 3699
/proc/meminfo: memFree=30000068/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13625272 CPUtime=0.48 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 18614 0 1 0 47 1 0 0 25 0 19 0 825074268 13952278528 17921 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3406318 17921 2210 9 0 3397052 0
[pid=3699/tid=3700] ppid=3697 vsize=13625272 CPUtime=0.28 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 15445 0 1 0 27 1 0 0 25 0 19 0 825074268 13952278528 17921 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505182419 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13625272
[startup+0.701112 s]
/proc/loadavg: 2.11 2.05 2.36 2/418 3699
/proc/meminfo: memFree=30000068/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13625964 CPUtime=1.2 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 21335 0 1 0 118 2 0 0 25 0 19 0 825074268 13952987136 19276 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3406491 19276 2252 9 0 3397225 0
[pid=3699/tid=3700] ppid=3697 vsize=13625964 CPUtime=0.67 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 15731 0 1 0 66 1 0 0 25 0 19 0 825074268 13952987136 19276 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505643028 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13625964
[startup+1.50104 s]
/proc/loadavg: 2.11 2.05 2.36 3/437 3718
/proc/meminfo: memFree=29929508/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13625964 CPUtime=2.03 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 21837 0 1 0 201 2 0 0 25 0 19 0 825074268 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3406491 19776 2252 9 0 3397225 0
[pid=3699/tid=3700] ppid=3697 vsize=13625964 CPUtime=1.44 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 15733 0 1 0 143 1 0 0 25 0 19 0 825074268 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505631640 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3699/tid=3702] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3702/stat : 3702 (java) S 3697 3699 31595 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3703] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3703/stat : 3703 (java) S 3697 3699 31595 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3704] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3704/stat : 3704 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3705] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3705/stat : 3705 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3706] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3706/stat : 3706 (java) S 3697 3699 31595 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3707] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3707/stat : 3707 (java) S 3697 3699 31595 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3708] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3708/stat : 3708 (java) S 3697 3699 31595 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3709] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3709/stat : 3709 (java) S 3697 3699 31595 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 825074270 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3710] ppid=3697 vsize=13625964 CPUtime=0.03 cores=0,2,4,6
/proc/3699/task/3710/stat : 3710 (java) S 3697 3699 31595 0 -1 4202560 457 0 0 0 3 0 0 0 15 0 19 0 825074271 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 0 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3711] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3711/stat : 3711 (java) S 3697 3699 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825074272 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3712] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3712/stat : 3712 (java) S 3697 3699 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825074272 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3713] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3713/stat : 3713 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290703281 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3714] ppid=3697 vsize=13625964 CPUtime=0.25 cores=0,2,4,6
/proc/3699/task/3714/stat : 3714 (java) S 3697 3699 31595 0 -1 4202560 1904 0 0 0 25 0 0 0 17 0 19 0 825074274 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3715] ppid=3697 vsize=13625964 CPUtime=0.27 cores=0,2,4,6
/proc/3699/task/3715/stat : 3715 (java) S 3697 3699 31595 0 -1 4202560 2045 0 0 0 27 0 0 0 19 0 19 0 825074274 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3716] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3716/stat : 3716 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3717] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3717/stat : 3717 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074274 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3718] ppid=3697 vsize=13625964 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3718/stat : 3718 (java) S 3697 3699 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825074297 13952987136 19776 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13625964
[startup+3.10075 s]
/proc/loadavg: 2.10 2.05 2.36 3/437 3718
/proc/meminfo: memFree=29926892/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13626368 CPUtime=3.66 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 22274 0 1 0 364 2 0 0 25 0 19 0 825074268 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3406592 20210 2252 9 0 3397326 0
[pid=3699/tid=3700] ppid=3697 vsize=13626368 CPUtime=2.99 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 15735 0 1 0 298 1 0 0 25 0 19 0 825074268 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505166942 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3699/tid=3702] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3702/stat : 3702 (java) S 3697 3699 31595 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3703] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3703/stat : 3703 (java) S 3697 3699 31595 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3704] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3704/stat : 3704 (java) S 3697 3699 31595 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3705] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3705/stat : 3705 (java) S 3697 3699 31595 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3706] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3706/stat : 3706 (java) S 3697 3699 31595 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3707] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3707/stat : 3707 (java) S 3697 3699 31595 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3708] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3708/stat : 3708 (java) S 3697 3699 31595 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3709] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3709/stat : 3709 (java) S 3697 3699 31595 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3710] ppid=3697 vsize=13626368 CPUtime=0.08 cores=0,2,4,6
/proc/3699/task/3710/stat : 3710 (java) S 3697 3699 31595 0 -1 4202560 626 0 0 0 8 0 0 0 16 0 19 0 825074271 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 0 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3711] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3711/stat : 3711 (java) S 3697 3699 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3712] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3712/stat : 3712 (java) S 3697 3699 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3713] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3713/stat : 3713 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290703281 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3714] ppid=3697 vsize=13626368 CPUtime=0.28 cores=0,2,4,6
/proc/3699/task/3714/stat : 3714 (java) S 3697 3699 31595 0 -1 4202560 1976 0 0 0 28 0 0 0 15 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3715] ppid=3697 vsize=13626368 CPUtime=0.27 cores=0,2,4,6
/proc/3699/task/3715/stat : 3715 (java) S 3697 3699 31595 0 -1 4202560 2045 0 0 0 27 0 0 0 15 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3716] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3716/stat : 3716 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3717] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3717/stat : 3717 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3718] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3718/stat : 3718 (java) S 3697 3699 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825074297 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13626368
Solver just ended. Dumping a history of the last processes samples
[startup+3.20174 s]
/proc/loadavg: 2.10 2.05 2.36 3/437 3718
/proc/meminfo: memFree=29926892/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13626368 CPUtime=3.76 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 22274 0 1 0 374 2 0 0 25 0 19 0 825074268 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3406592 20210 2252 9 0 3397326 0
[pid=3699/tid=3700] ppid=3697 vsize=13626368 CPUtime=3.09 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 15735 0 1 0 308 1 0 0 25 0 19 0 825074268 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505643061 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3699/tid=3702] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3702/stat : 3702 (java) S 3697 3699 31595 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3703] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3703/stat : 3703 (java) S 3697 3699 31595 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3704] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3704/stat : 3704 (java) S 3697 3699 31595 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3705] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3705/stat : 3705 (java) S 3697 3699 31595 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3706] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3706/stat : 3706 (java) S 3697 3699 31595 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3707] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3707/stat : 3707 (java) S 3697 3699 31595 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3708] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3708/stat : 3708 (java) S 3697 3699 31595 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3709] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3709/stat : 3709 (java) S 3697 3699 31595 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3710] ppid=3697 vsize=13626368 CPUtime=0.08 cores=0,2,4,6
/proc/3699/task/3710/stat : 3710 (java) S 3697 3699 31595 0 -1 4202560 626 0 0 0 8 0 0 0 16 0 19 0 825074271 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 0 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3711] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3711/stat : 3711 (java) S 3697 3699 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3712] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3712/stat : 3712 (java) S 3697 3699 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3713] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3713/stat : 3713 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290703281 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3714] ppid=3697 vsize=13626368 CPUtime=0.28 cores=0,2,4,6
/proc/3699/task/3714/stat : 3714 (java) S 3697 3699 31595 0 -1 4202560 1976 0 0 0 28 0 0 0 15 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3715] ppid=3697 vsize=13626368 CPUtime=0.27 cores=0,2,4,6
/proc/3699/task/3715/stat : 3715 (java) S 3697 3699 31595 0 -1 4202560 2045 0 0 0 27 0 0 0 15 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3716] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3716/stat : 3716 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3717] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3717/stat : 3717 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074274 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3718] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3718/stat : 3718 (java) S 3697 3699 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825074297 13953400832 20210 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13626368
[startup+3.41569 s]
/proc/loadavg: 2.10 2.05 2.36 3/437 3718
/proc/meminfo: memFree=29926024/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13626368 CPUtime=3.97 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 22346 0 1 0 395 2 0 0 25 0 19 0 825074268 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3406592 20281 2252 9 0 3397326 0
[pid=3699/tid=3700] ppid=3697 vsize=13626368 CPUtime=3.29 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 15736 0 1 0 328 1 0 0 25 0 19 0 825074268 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505698631 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3699/tid=3702] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3702/stat : 3702 (java) S 3697 3699 31595 0 -1 4202560 148 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3703] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3703/stat : 3703 (java) S 3697 3699 31595 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3704] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3704/stat : 3704 (java) S 3697 3699 31595 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3705] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3705/stat : 3705 (java) S 3697 3699 31595 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3706] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3706/stat : 3706 (java) S 3697 3699 31595 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3707] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3707/stat : 3707 (java) S 3697 3699 31595 0 -1 4202560 38 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3708] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3708/stat : 3708 (java) S 3697 3699 31595 0 -1 4202560 260 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3709] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3709/stat : 3709 (java) S 3697 3699 31595 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3710] ppid=3697 vsize=13626368 CPUtime=0.09 cores=0,2,4,6
/proc/3699/task/3710/stat : 3710 (java) S 3697 3699 31595 0 -1 4202560 694 0 0 0 9 0 0 0 16 0 19 0 825074271 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 0 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3711] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3711/stat : 3711 (java) S 3697 3699 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3712] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3712/stat : 3712 (java) S 3697 3699 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3713] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3713/stat : 3713 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290703281 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3714] ppid=3697 vsize=13626368 CPUtime=0.28 cores=0,2,4,6
/proc/3699/task/3714/stat : 3714 (java) S 3697 3699 31595 0 -1 4202560 1976 0 0 0 28 0 0 0 15 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3715] ppid=3697 vsize=13626368 CPUtime=0.27 cores=0,2,4,6
/proc/3699/task/3715/stat : 3715 (java) S 3697 3699 31595 0 -1 4202560 2045 0 0 0 27 0 0 0 15 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3716] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3716/stat : 3716 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3717] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3717/stat : 3717 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3718] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3718/stat : 3718 (java) S 3697 3699 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825074297 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 13626368
[startup+3.50069 s]
/proc/loadavg: 2.10 2.05 2.36 3/437 3718
/proc/meminfo: memFree=29926024/32950904 swapFree=56615552/67111528
[pid=3699] ppid=3697 vsize=13626368 CPUtime=4.06 cores=0,2,4,6
/proc/3699/stat : 3699 (java) S 3697 3699 31595 0 -1 4202496 22346 0 1 0 404 2 0 0 25 0 19 0 825074268 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3699/statm: 3406592 20281 2252 9 0 3397326 0
[pid=3699/tid=3700] ppid=3697 vsize=13626368 CPUtime=3.37 cores=0,2,4,6
/proc/3699/task/3700/stat : 3700 (java) R 3697 3699 31595 0 -1 4202560 15736 0 1 0 336 1 0 0 25 0 19 0 825074268 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 46912505630938 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3699/tid=3702] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3702/stat : 3702 (java) S 3697 3699 31595 0 -1 4202560 148 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3703] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3703/stat : 3703 (java) S 3697 3699 31595 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3704] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3704/stat : 3704 (java) S 3697 3699 31595 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3705] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3705/stat : 3705 (java) S 3697 3699 31595 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3706] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3706/stat : 3706 (java) S 3697 3699 31595 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3707] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3707/stat : 3707 (java) S 3697 3699 31595 0 -1 4202560 38 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 6 0 0 0
[pid=3699/tid=3708] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3708/stat : 3708 (java) S 3697 3699 31595 0 -1 4202560 260 0 0 0 0 0 0 0 16 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3709] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3709/stat : 3709 (java) S 3697 3699 31595 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 825074270 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3710] ppid=3697 vsize=13626368 CPUtime=0.09 cores=0,2,4,6
/proc/3699/task/3710/stat : 3710 (java) S 3697 3699 31595 0 -1 4202560 694 0 0 0 9 0 0 0 16 0 19 0 825074271 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 0 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3711] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3711/stat : 3711 (java) S 3697 3699 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3712] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3712/stat : 3712 (java) S 3697 3699 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825074272 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3713] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3713/stat : 3713 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290703281 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3714] ppid=3697 vsize=13626368 CPUtime=0.28 cores=0,2,4,6
/proc/3699/task/3714/stat : 3714 (java) S 3697 3699 31595 0 -1 4202560 1976 0 0 0 28 0 0 0 15 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3715] ppid=3697 vsize=13626368 CPUtime=0.27 cores=0,2,4,6
/proc/3699/task/3715/stat : 3715 (java) S 3697 3699 31595 0 -1 4202560 2045 0 0 0 27 0 0 0 15 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 2 0 0 0
[pid=3699/tid=3716] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3716/stat : 3716 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290695577 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3717] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3717/stat : 3717 (java) S 3697 3699 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074274 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
[pid=3699/tid=3718] ppid=3697 vsize=13626368 CPUtime=0 cores=0,2,4,6
/proc/3699/task/3718/stat : 3718 (java) S 3697 3699 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825074297 13953400832 20281 33554432000 1073741824 1073778376 140736230329120 18446744073709551615 237290696192 0 4 0 16800975 18446604446592918784 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13626368
Child status: 10
Real time (s): 3.53651
CPU time (s): 4.10537
CPU user time (s): 4.07838
CPU system time (s): 0.026995
CPU usage (%): 116.085
Max. virtual memory (cumulated for all children) (KiB): 13626368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.07838
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22380
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 457
involuntary context switches= 156
runsolver used 0.024996 second user time and 0.031995 second system time
The end