runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687218-1337871884/watcher-3687218-1337871884 -o /tmp/evaluation-result-3687218-1337871884/solver-3687218-1337871884 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687218-1337871884.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: 0.00 0.00 0.00 6/197 21296
/proc/meminfo: memFree=29107116/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/21296/stat : 21296 (runsolver) R 21294 21296 21231 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 253314115 12095488 56 33554432000 4194304 5436572 140735032488368 140735032484248 5057063 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0
/proc/21296/statm: 2953 56 36 304 0 2645 0
[startup+0.0234119 s]
/proc/loadavg: 0.00 0.00 0.00 6/197 21296
/proc/meminfo: memFree=29107116/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 2 0 253314115 103964672 1051 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 25382 1051 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100219 s]
/proc/loadavg: 0.00 0.00 0.00 6/197 21296
/proc/meminfo: memFree=29107116/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 3281 0 1 0 4 1 0 0 20 0 18 0 253314115 9787813888 4491 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 2389603 4491 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.300153 s]
/proc/loadavg: 0.00 0.00 0.00 6/197 21296
/proc/meminfo: memFree=29107116/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 7018 0 1 0 51 2 0 0 20 0 22 0 253314115 10060460032 8367 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 2456167 8367 2230 9 0 2446860 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824668
[startup+0.700169 s]
/proc/loadavg: 0.00 0.00 0.00 6/197 21296
/proc/meminfo: memFree=29107116/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=9824668 CPUtime=2.12 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 18011 0 1 0 208 4 0 0 20 0 22 0 253314115 10060460032 21034 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 2456167 21034 2240 9 0 2446860 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9824668
[startup+1.50078 s]
/proc/loadavg: 0.64 0.13 0.04 7/219 21318
/proc/meminfo: memFree=28915708/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=9824668 CPUtime=4.77 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 27716 0 1 0 470 7 0 0 20 0 22 0 253314115 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 2456167 33853 2278 9 0 2446860 0
[pid=21296/tid=21298] ppid=21294 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/21296/task/21298/stat : 21298 (java) S 21294 21296 21231 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 22 0 253314116 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942473499640 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21299] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21299/stat : 21299 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942451600424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21300] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21300/stat : 21300 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942248311720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21301] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21301/stat : 21301 (java) S 21294 21296 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942247258920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21302] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21302/stat : 21302 (java) S 21294 21296 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942246206120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21303] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21303/stat : 21303 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942245153320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21304] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21304/stat : 21304 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942244100520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21305] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21305/stat : 21305 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942243047720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21306] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21306/stat : 21306 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253314120 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942241994920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21307] ppid=21294 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/21296/task/21307/stat : 21307 (java) R 21294 21296 21231 0 -1 4202560 44 0 0 0 6 0 0 0 20 0 22 0 253314121 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942229796840 139942480353296 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21308] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21308/stat : 21308 (java) S 21294 21296 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253314121 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942228743928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21309] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21309/stat : 21309 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253314121 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942227691016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21310] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21310/stat : 21310 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314123 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942226639504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21311] ppid=21294 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/21296/task/21311/stat : 21311 (java) S 21294 21296 21231 0 -1 4202560 10430 0 0 0 90 2 0 0 20 0 22 0 253314123 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942225563080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21312] ppid=21294 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/21296/task/21312/stat : 21312 (java) S 21294 21296 21231 0 -1 4202560 13422 0 0 0 113 2 0 0 20 0 22 0 253314123 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942224508776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21313] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21313/stat : 21313 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314123 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942223481208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21314] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21314/stat : 21314 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314124 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942222428616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21315] ppid=21294 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/21296/task/21315/stat : 21315 (java) S 21294 21296 21231 0 -1 4202560 37 0 0 0 118 0 0 0 20 0 22 0 253314136 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942221341784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21316] ppid=21294 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/21296/task/21316/stat : 21316 (java) S 21294 21296 21231 0 -1 4202560 97 0 0 0 117 0 0 0 20 0 22 0 253314136 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942220286760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21317] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21317/stat : 21317 (java) S 21294 21296 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314136 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942219236776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21318] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21318/stat : 21318 (java) S 21294 21296 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314136 10060460032 33853 33554432000 1073741824 1073778376 140737327522432 139942218183976 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90075 s]
/proc/loadavg: 0.64 0.13 0.04 7/219 21318
/proc/meminfo: memFree=28915708/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=9824668 CPUtime=5.6 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 31026 0 1 0 552 8 0 0 20 0 19 0 253314115 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 2456167 35456 2279 9 0 2446860 0
[pid=21296/tid=21298] ppid=21294 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/21296/task/21298/stat : 21298 (java) S 21294 21296 21231 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 19 0 253314116 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942473499640 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21299] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21299/stat : 21299 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942451600424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21300] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21300/stat : 21300 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942248311720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21301] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21301/stat : 21301 (java) S 21294 21296 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942247258920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21302] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21302/stat : 21302 (java) S 21294 21296 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942246206120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21303] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21303/stat : 21303 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942245153320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21304] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21304/stat : 21304 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942244100520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21305] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21305/stat : 21305 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942243047720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21306] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21306/stat : 21306 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942241994920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21307] ppid=21294 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/21296/task/21307/stat : 21307 (java) S 21294 21296 21231 0 -1 4202560 44 0 0 0 8 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942229797864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21308] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21308/stat : 21308 (java) S 21294 21296 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942228743928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21309] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21309/stat : 21309 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942227691016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21310] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21310/stat : 21310 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942226639504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21311] ppid=21294 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/21296/task/21311/stat : 21311 (java) S 21294 21296 21231 0 -1 4202560 13739 0 0 0 124 2 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942225586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21312] ppid=21294 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/21296/task/21312/stat : 21312 (java) S 21294 21296 21231 0 -1 4202560 13422 0 0 0 116 2 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942224533816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21313] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21313/stat : 21313 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942223481208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21314] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21314/stat : 21314 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314124 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942222428616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21317] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21317/stat : 21317 (java) S 21294 21296 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314136 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942219236776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 9824668
[startup+2.10069 s]
/proc/loadavg: 0.64 0.13 0.04 3/216 21318
/proc/meminfo: memFree=28798488/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=9824668 CPUtime=5.6 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 31026 0 1 0 552 8 0 0 20 0 19 0 253314115 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 2456167 35456 2279 9 0 2446860 0
[pid=21296/tid=21298] ppid=21294 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/21296/task/21298/stat : 21298 (java) S 21294 21296 21231 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 19 0 253314116 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942473499640 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21299] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21299/stat : 21299 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942451600424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21300] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21300/stat : 21300 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942248311720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21301] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21301/stat : 21301 (java) S 21294 21296 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942247258920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21302] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21302/stat : 21302 (java) S 21294 21296 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942246206120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21303] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21303/stat : 21303 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942245153320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21304] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21304/stat : 21304 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942244100520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21305] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21305/stat : 21305 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942243047720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21306] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21306/stat : 21306 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942241994920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21307] ppid=21294 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/21296/task/21307/stat : 21307 (java) S 21294 21296 21231 0 -1 4202560 44 0 0 0 8 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942229797864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21308] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21308/stat : 21308 (java) S 21294 21296 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942228743928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21309] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21309/stat : 21309 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942227691016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21310] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21310/stat : 21310 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942226639504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21311] ppid=21294 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/21296/task/21311/stat : 21311 (java) S 21294 21296 21231 0 -1 4202560 13739 0 0 0 124 2 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942225586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21312] ppid=21294 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/21296/task/21312/stat : 21312 (java) S 21294 21296 21231 0 -1 4202560 13422 0 0 0 116 2 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942224533816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21313] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21313/stat : 21313 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942223481208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21314] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21314/stat : 21314 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314124 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942222428616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21317] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21317/stat : 21317 (java) S 21294 21296 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314136 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942219236776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 9824668
[startup+2.20676 s]
/proc/loadavg: 0.64 0.13 0.04 3/216 21318
/proc/meminfo: memFree=28798488/32873844 swapFree=7104/7104
[pid=21296] ppid=21294 vsize=9824668 CPUtime=5.6 cores=0,2,4,6
/proc/21296/stat : 21296 (java) S 21294 21296 21231 0 -1 4202496 31026 0 1 0 552 8 0 0 20 0 19 0 253314115 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 140737327513568 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21296/statm: 2456167 35456 2279 9 0 2446860 0
[pid=21296/tid=21298] ppid=21294 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/21296/task/21298/stat : 21298 (java) S 21294 21296 21231 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 19 0 253314116 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942473499640 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21299] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21299/stat : 21299 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942451600424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21300] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21300/stat : 21300 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942248311720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21301] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21301/stat : 21301 (java) S 21294 21296 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942247258920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21302] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21302/stat : 21302 (java) S 21294 21296 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942246206120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21303] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21303/stat : 21303 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942245153320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21296/tid=21304] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21304/stat : 21304 (java) S 21294 21296 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942244100520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21305] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21305/stat : 21305 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942243047720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21306] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21306/stat : 21306 (java) S 21294 21296 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314120 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942241994920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21307] ppid=21294 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/21296/task/21307/stat : 21307 (java) S 21294 21296 21231 0 -1 4202560 44 0 0 0 8 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942229797864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21308] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21308/stat : 21308 (java) S 21294 21296 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942228743928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21309] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21309/stat : 21309 (java) S 21294 21296 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314121 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942227691016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21310] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21310/stat : 21310 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942226639504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21311] ppid=21294 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/21296/task/21311/stat : 21311 (java) S 21294 21296 21231 0 -1 4202560 13739 0 0 0 124 2 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942225586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21296/tid=21312] ppid=21294 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/21296/task/21312/stat : 21312 (java) S 21294 21296 21231 0 -1 4202560 13422 0 0 0 116 2 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942224533816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21313] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21313/stat : 21313 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314123 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942223481208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21296/tid=21314] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21314/stat : 21314 (java) S 21294 21296 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314124 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942222428616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21296/tid=21317] ppid=21294 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21296/task/21317/stat : 21317 (java) S 21294 21296 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314136 10060460032 35456 33554432000 1073741824 1073778376 140737327522432 139942219236776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 2.22453
CPU time (s): 5.61415
CPU user time (s): 5.49117
CPU system time (s): 0.122981
CPU usage (%): 252.374
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.49116
system time used= 0.122981
maximum resident set size= 143448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31031
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 463
involuntary context switches= 158
runsolver used 0.001999 second user time and 0.023996 second system time
The end