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-3709785-1338125514/watcher-3709785-1338125514 -o /tmp/evaluation-result-3709785-1338125514/solver-3709785-1338125514 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709785-1338125514.opb
running on 4 cores: 1,3,5,7
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.92 1.26 1.64 3/176 32164
/proc/meminfo: memFree=29154132/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/32164/stat : 32164 (java) R 32162 32164 32120 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 278676818 23793664 715 33554432000 1073741824 1073778376 140735835414624 140735835403688 270698329448 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 5809 715 529 9 0 128 0
[startup+0.0863829 s]
/proc/loadavg: 0.92 1.26 1.64 3/176 32164
/proc/meminfo: memFree=29154132/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 3329 0 1 0 4 0 0 0 20 0 18 0 278676818 9787842560 4538 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2389610 4538 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440
[startup+0.101634 s]
/proc/loadavg: 0.92 1.26 1.64 3/176 32164
/proc/meminfo: memFree=29154132/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 3830 0 1 0 5 1 0 0 20 0 18 0 278676818 9787842560 5039 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2389610 5040 2022 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440
[startup+0.300149 s]
/proc/loadavg: 0.92 1.26 1.64 3/176 32164
/proc/meminfo: memFree=29154132/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9558440 CPUtime=0.41 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 5330 0 1 0 40 1 0 0 20 0 18 0 278676818 9787842560 7677 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2389610 7677 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558440
[startup+0.700165 s]
/proc/loadavg: 0.92 1.26 1.64 3/176 32164
/proc/meminfo: memFree=29154132/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 7382 0 1 0 119 2 0 0 20 0 19 0 278676818 9856004096 11671 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2406251 11671 2281 9 0 2396937 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9625004
[startup+1.50054 s]
/proc/loadavg: 0.92 1.26 1.64 3/213 32201
/proc/meminfo: memFree=29079000/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 7414 0 1 0 205 3 0 0 20 0 19 0 278676818 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2406251 12208 2281 9 0 2396937 0
[pid=32164/tid=32167] ppid=32162 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (java) R 32162 32164 32120 0 -1 4202560 2504 0 1 0 139 2 0 0 20 0 19 0 278676819 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164832194984 140164664407391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32176] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32176/stat : 32176 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164793686568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32177] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32177/stat : 32177 (java) S 32162 32164 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164792633768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32178] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32178/stat : 32178 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164791580968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32179] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32179/stat : 32179 (java) S 32162 32164 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164790528168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32180] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32180/stat : 32180 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164789476392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32181] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32181/stat : 32181 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164788423592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32182] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32182/stat : 32182 (java) S 32162 32164 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164787370792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32183] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32183/stat : 32183 (java) S 32162 32164 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164786317992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32185] ppid=32162 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/32164/task/32185/stat : 32185 (java) S 32162 32164 32120 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 278676821 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164655442408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32188] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32188/stat : 32188 (java) S 32162 32164 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164654388472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32189] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32189/stat : 32189 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164653335560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32190] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32190/stat : 32190 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164652284048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32192] ppid=32162 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/32164/task/32192/stat : 32192 (java) R 32162 32164 32120 0 -1 4202560 1885 0 0 0 32 0 0 0 20 0 19 0 278676826 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164651208640 140164836042432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32194] ppid=32162 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/32164/task/32194/stat : 32194 (java) S 32162 32164 32120 0 -1 4202560 1767 0 0 0 25 0 0 0 20 0 19 0 278676826 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164650179384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32197] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32197/stat : 32197 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140164649126776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32199] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32199/stat : 32199 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140163640454088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32200] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32200/stat : 32200 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676850 9856004096 12208 33554432000 1073741824 1073778376 140735835414624 140163639399592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+2.30054 s]
/proc/loadavg: 0.92 1.26 1.64 3/213 32201
/proc/meminfo: memFree=29071368/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9625004 CPUtime=2.91 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 7720 0 1 0 288 3 0 0 20 0 19 0 278676818 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2406251 12713 2281 9 0 2396937 0
[pid=32164/tid=32167] ppid=32162 vsize=9625004 CPUtime=2.2 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (java) R 32162 32164 32120 0 -1 4202560 2505 0 1 0 218 2 0 0 20 0 19 0 278676819 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164832194984 140164664402643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32176] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32176/stat : 32176 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164793686568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32177] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32177/stat : 32177 (java) S 32162 32164 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164792633768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32178] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32178/stat : 32178 (java) S 32162 32164 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164791580968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32179] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32179/stat : 32179 (java) S 32162 32164 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164790528168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32180] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32180/stat : 32180 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164789476392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32181] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32181/stat : 32181 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164788423592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32182] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32182/stat : 32182 (java) S 32162 32164 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164787370792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32183] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32183/stat : 32183 (java) S 32162 32164 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164786317992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32185] ppid=32162 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/32164/task/32185/stat : 32185 (java) S 32162 32164 32120 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 278676821 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164655442408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32188] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32188/stat : 32188 (java) S 32162 32164 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164654388472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32189] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32189/stat : 32189 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164653335560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32190] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32190/stat : 32190 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164652284048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32192] ppid=32162 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/32164/task/32192/stat : 32192 (java) S 32162 32164 32120 0 -1 4202560 2188 0 0 0 35 0 0 0 20 0 19 0 278676826 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164651232184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32194] ppid=32162 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/32164/task/32194/stat : 32194 (java) S 32162 32164 32120 0 -1 4202560 1767 0 0 0 25 0 0 0 20 0 19 0 278676826 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164650179384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32197] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32197/stat : 32197 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140164649126776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32199] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32199/stat : 32199 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140163640454088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32200] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32200/stat : 32200 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676850 9856004096 12713 33554432000 1073741824 1073778376 140735835414624 140163639399592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 9625004
[startup+2.50062 s]
/proc/loadavg: 0.92 1.26 1.64 3/213 32201
/proc/meminfo: memFree=29071368/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9625004 CPUtime=3.11 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 7723 0 1 0 308 3 0 0 20 0 19 0 278676818 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2406251 12715 2281 9 0 2396937 0
[pid=32164/tid=32167] ppid=32162 vsize=9625004 CPUtime=2.38 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (java) R 32162 32164 32120 0 -1 4202560 2506 0 1 0 236 2 0 0 20 0 19 0 278676819 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164832194824 140164664498705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32176] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32176/stat : 32176 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164793686568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32177] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32177/stat : 32177 (java) S 32162 32164 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164792633768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32178] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32178/stat : 32178 (java) S 32162 32164 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164791580968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32179] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32179/stat : 32179 (java) S 32162 32164 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164790528168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32180] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32180/stat : 32180 (java) S 32162 32164 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164789476392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32181] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32181/stat : 32181 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164788423592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32182] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32182/stat : 32182 (java) S 32162 32164 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164787370792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32183] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32183/stat : 32183 (java) S 32162 32164 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164786317992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32185] ppid=32162 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/32164/task/32185/stat : 32185 (java) S 32162 32164 32120 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 278676821 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164655442408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32188] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32188/stat : 32188 (java) S 32162 32164 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164654388472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32189] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32189/stat : 32189 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164653335560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32190] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32190/stat : 32190 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164652284048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32192] ppid=32162 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/32164/task/32192/stat : 32192 (java) S 32162 32164 32120 0 -1 4202560 2188 0 0 0 35 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164651232184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32194] ppid=32162 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/32164/task/32194/stat : 32194 (java) S 32162 32164 32120 0 -1 4202560 1767 0 0 0 25 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164650179384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32197] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32197/stat : 32197 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164649126776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32199] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32199/stat : 32199 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140163640454088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32200] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32200/stat : 32200 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676850 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140163639399592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9625004
[startup+2.6006 s]
/proc/loadavg: 0.92 1.26 1.64 3/213 32201
/proc/meminfo: memFree=29071368/32873648 swapFree=6864/6864
[pid=32164] ppid=32162 vsize=9625004 CPUtime=3.21 cores=1,3,5,7
/proc/32164/stat : 32164 (java) S 32162 32164 32120 0 -1 4202496 7723 0 1 0 318 3 0 0 20 0 19 0 278676818 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140735835405760 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32164/statm: 2406251 12715 2281 9 0 2396937 0
[pid=32164/tid=32167] ppid=32162 vsize=9625004 CPUtime=2.48 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (java) R 32162 32164 32120 0 -1 4202560 2506 0 1 0 246 2 0 0 20 0 19 0 278676819 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164832194864 140164664424882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32176] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32176/stat : 32176 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164793686568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32177] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32177/stat : 32177 (java) S 32162 32164 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164792633768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32178] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32178/stat : 32178 (java) S 32162 32164 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164791580968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32179] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32179/stat : 32179 (java) S 32162 32164 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164790528168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32180] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32180/stat : 32180 (java) S 32162 32164 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164789476392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32181] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32181/stat : 32181 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164788423592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32182] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32182/stat : 32182 (java) S 32162 32164 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164787370792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32164/tid=32183] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32183/stat : 32183 (java) S 32162 32164 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278676820 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164786317992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32185] ppid=32162 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/32164/task/32185/stat : 32185 (java) S 32162 32164 32120 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 278676821 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164655442408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32188] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32188/stat : 32188 (java) S 32162 32164 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164654388472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32189] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32189/stat : 32189 (java) S 32162 32164 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278676821 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164653335560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32190] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32190/stat : 32190 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164652284048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32192] ppid=32162 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/32164/task/32192/stat : 32192 (java) S 32162 32164 32120 0 -1 4202560 2188 0 0 0 35 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164651232184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32164/tid=32194] ppid=32162 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/32164/task/32194/stat : 32194 (java) S 32162 32164 32120 0 -1 4202560 1767 0 0 0 25 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164650179384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32197] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32197/stat : 32197 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140164649126776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32164/tid=32199] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32199/stat : 32199 (java) S 32162 32164 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278676826 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140163640454088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32164/tid=32200] ppid=32162 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32200/stat : 32200 (java) S 32162 32164 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278676850 9856004096 12715 33554432000 1073741824 1073778376 140735835414624 140163639399592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 9625004
Child status: 10
Real time (s): 2.66311
CPU time (s): 3.2625
CPU user time (s): 3.20151
CPU system time (s): 0.06099
CPU usage (%): 122.507
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.20151
system time used= 0.06099
maximum resident set size= 50920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7741
page faults= 1
swaps= 0
block input operations= 104
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 466
involuntary context switches= 89
runsolver used 0.009998 second user time and 0.025996 second system time
The end