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-3709978-1338195771/watcher-3709978-1338195771 -o /tmp/evaluation-result-3709978-1338195771/solver-3709978-1338195771 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709978-1338195771.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: 1.49 1.37 1.67 3/194 10091
/proc/meminfo: memFree=30437272/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (java) R 10089 10091 9972 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 285705560 9547776 183 33554432000 1073741824 1073778376 140734374187184 140734374169912 270117904864 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2323 183 140 9 0 71 0
[startup+0.0103511 s]
/proc/loadavg: 1.49 1.37 1.67 3/194 10091
/proc/meminfo: memFree=30437272/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=23172 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (java) R 10089 10091 9972 0 -1 4202496 1137 0 0 0 0 0 0 0 20 0 1 0 285705560 23728128 857 33554432000 1073741824 1073778376 140734693739408 140734693728472 270109077335 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 6050 867 654 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23172
[startup+0.100238 s]
/proc/loadavg: 1.49 1.37 1.67 3/194 10091
/proc/meminfo: memFree=30437272/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 4238 0 1 0 9 1 0 0 20 0 18 0 285705560 9787842560 4934 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2389610 4934 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300244 s]
/proc/loadavg: 1.49 1.37 1.67 3/194 10091
/proc/meminfo: memFree=30437272/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9558440 CPUtime=0.44 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 5239 0 1 0 43 1 0 0 20 0 18 0 285705560 9787842560 7561 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2389610 7561 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558440
[startup+0.700251 s]
/proc/loadavg: 1.49 1.37 1.67 3/194 10091
/proc/meminfo: memFree=30437272/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9558440 CPUtime=1.14 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 6840 0 1 0 110 4 0 0 20 0 18 0 285705560 9787842560 40142 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2389610 40142 2254 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558440
[startup+1.50068 s]
/proc/loadavg: 1.53 1.38 1.67 5/212 10109
/proc/meminfo: memFree=30274836/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9558440 CPUtime=2.24 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 8392 0 1 0 215 9 0 0 20 0 18 0 285705560 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2389610 50096 2254 9 0 2380296 0
[pid=10091/tid=10093] ppid=10089 vsize=9558440 CPUtime=1.4 cores=0,2,4,6
/proc/10091/task/10093/stat : 10093 (java) R 10089 10091 9972 0 -1 4202560 2614 0 1 0 137 3 0 0 20 0 18 0 285705561 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275237891240 140275177990268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10094] ppid=10089 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10094/stat : 10094 (java) S 10089 10091 9972 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275176622760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10095] ppid=10089 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10095/stat : 10095 (java) S 10089 10091 9972 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275080706856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10096] ppid=10089 vsize=9558440 CPUtime=0.03 cores=0,2,4,6
/proc/10091/task/10096/stat : 10096 (java) S 10089 10091 9972 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275079654312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10097] ppid=10089 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10097/stat : 10097 (java) S 10089 10091 9972 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275078601768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10098] ppid=10089 vsize=9558440 CPUtime=0.03 cores=0,2,4,6
/proc/10091/task/10098/stat : 10098 (java) S 10089 10091 9972 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275077548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10099] ppid=10089 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/10091/task/10099/stat : 10099 (java) S 10089 10091 9972 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275076495656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10100] ppid=10089 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10100/stat : 10100 (java) S 10089 10091 9972 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275075443112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10101] ppid=10089 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10101/stat : 10101 (java) S 10089 10091 9972 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 285705562 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275074390568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10102] ppid=10089 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10102/stat : 10102 (java) S 10089 10091 9972 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 285705563 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275061979752 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10103] ppid=10089 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10103/stat : 10103 (java) S 10089 10091 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285705564 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275060926072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10104] ppid=10089 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10104/stat : 10104 (java) S 10089 10091 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285705564 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275059873416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10105] ppid=10089 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10105/stat : 10105 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285705566 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275058822160 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10106] ppid=10089 vsize=9558440 CPUtime=0.26 cores=0,2,4,6
/proc/10091/task/10106/stat : 10106 (java) S 10089 10091 9972 0 -1 4202560 1890 0 0 0 26 0 0 0 20 0 18 0 285705566 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275057768504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10107] ppid=10089 vsize=9558440 CPUtime=0.29 cores=0,2,4,6
/proc/10091/task/10107/stat : 10107 (java) S 10089 10091 9972 0 -1 4202560 2537 0 0 0 29 0 0 0 20 0 18 0 285705566 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275056715960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10108] ppid=10089 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10108/stat : 10108 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285705566 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275055663608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10109] ppid=10089 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10109/stat : 10109 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285705566 9787842560 50096 33554432000 1073741824 1073778376 140734693739408 140275054611272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9558440
[startup+3.1007 s]
/proc/loadavg: 1.53 1.38 1.67 3/213 10110
/proc/meminfo: memFree=30243988/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9625004 CPUtime=4.3 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 9226 0 1 0 420 10 0 0 20 0 19 0 285705560 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2406251 50235 2276 9 0 2396937 0
[pid=10091/tid=10093] ppid=10089 vsize=9625004 CPUtime=2.99 cores=0,2,4,6
/proc/10091/task/10093/stat : 10093 (java) R 10089 10091 9972 0 -1 4202560 2628 0 1 0 296 3 0 0 20 0 19 0 285705561 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275237892632 140275178345453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10094] ppid=10089 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10094/stat : 10094 (java) S 10089 10091 9972 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275176622760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10095] ppid=10089 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10095/stat : 10095 (java) S 10089 10091 9972 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275080706856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10096] ppid=10089 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/10091/task/10096/stat : 10096 (java) S 10089 10091 9972 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275079654312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10097] ppid=10089 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10097/stat : 10097 (java) S 10089 10091 9972 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275078601768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10098] ppid=10089 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/10091/task/10098/stat : 10098 (java) S 10089 10091 9972 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275077548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10099] ppid=10089 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/10091/task/10099/stat : 10099 (java) S 10089 10091 9972 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275076495656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10100] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10100/stat : 10100 (java) S 10089 10091 9972 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275075443112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10101] ppid=10089 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/10091/task/10101/stat : 10101 (java) S 10089 10091 9972 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 285705562 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275074390568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10102] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10102/stat : 10102 (java) S 10089 10091 9972 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 285705563 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275061979752 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10103] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10103/stat : 10103 (java) S 10089 10091 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275060926072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10104] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10104/stat : 10104 (java) S 10089 10091 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275059873416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10105] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10105/stat : 10105 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275058822160 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10106] ppid=10089 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/10091/task/10106/stat : 10106 (java) S 10089 10091 9972 0 -1 4202560 2158 0 0 0 43 0 0 0 20 0 19 0 285705566 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275057768504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10107] ppid=10089 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/10091/task/10107/stat : 10107 (java) S 10089 10091 9972 0 -1 4202560 3080 0 0 0 58 0 0 0 20 0 19 0 285705566 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275056715960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10108] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10108/stat : 10108 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275055663608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10109] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10109/stat : 10109 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275054611272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10110] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10110/stat : 10110 (java) S 10089 10091 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285705724 9856004096 50235 33554432000 1073741824 1073778376 140734693739408 140275053557032 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9625004
[startup+6.3006 s]
/proc/loadavg: 1.53 1.38 1.67 3/213 10110
/proc/meminfo: memFree=30198808/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9625004 CPUtime=7.69 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 9420 0 1 0 757 12 0 0 20 0 19 0 285705560 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2406251 61836 2288 9 0 2396937 0
[pid=10091/tid=10093] ppid=10089 vsize=9625004 CPUtime=5.95 cores=0,2,4,6
/proc/10091/task/10093/stat : 10093 (java) R 10089 10091 9972 0 -1 4202560 2630 0 1 0 592 3 0 0 20 0 19 0 285705561 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275237892648 140275178345463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10094] ppid=10089 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/10091/task/10094/stat : 10094 (java) S 10089 10091 9972 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275176622760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10095] ppid=10089 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/10091/task/10095/stat : 10095 (java) S 10089 10091 9972 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275080706856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10096] ppid=10089 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/10091/task/10096/stat : 10096 (java) S 10089 10091 9972 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275079654312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10097] ppid=10089 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/10091/task/10097/stat : 10097 (java) S 10089 10091 9972 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275078601768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10098] ppid=10089 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/10091/task/10098/stat : 10098 (java) S 10089 10091 9972 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275077548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10099] ppid=10089 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/10091/task/10099/stat : 10099 (java) S 10089 10091 9972 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275076495656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10100] ppid=10089 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/10091/task/10100/stat : 10100 (java) S 10089 10091 9972 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275075443112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10101] ppid=10089 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/10091/task/10101/stat : 10101 (java) S 10089 10091 9972 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 285705562 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275074390568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10102] ppid=10089 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/10091/task/10102/stat : 10102 (java) S 10089 10091 9972 0 -1 4202560 103 0 0 0 17 0 0 0 20 0 19 0 285705563 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275061979752 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10103] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10103/stat : 10103 (java) S 10089 10091 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275060926072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10104] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10104/stat : 10104 (java) S 10089 10091 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275059873416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10105] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10105/stat : 10105 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275058822160 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10106] ppid=10089 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/10091/task/10106/stat : 10106 (java) S 10089 10091 9972 0 -1 4202560 2163 0 0 0 47 0 0 0 20 0 19 0 285705566 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275057768504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10107] ppid=10089 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/10091/task/10107/stat : 10107 (java) S 10089 10091 9972 0 -1 4202560 3185 0 0 0 64 0 0 0 20 0 19 0 285705566 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275056715960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10108] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10108/stat : 10108 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275055663608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10109] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10109/stat : 10109 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275054611272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10110] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10110/stat : 10110 (java) S 10089 10091 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285705724 9856004096 61836 33554432000 1073741824 1073778376 140734693739408 140275053557032 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
/proc/loadavg: 1.60 1.40 1.67 3/213 10110
/proc/meminfo: memFree=30196668/32873844 swapFree=6872/6872
################
# More data... #
################
[pid=10091/tid=10106] ppid=10089 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/10091/task/10106/stat : 10106 (java) S 10089 10091 9972 0 -1 4202560 2535 0 0 0 56 0 0 0 20 0 19 0 285705566 9856004096 72874 33554432000 1073741824 1073778376 140734693739408 140275057768504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10107] ppid=10089 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/10091/task/10107/stat : 10107 (java) S 10089 10091 9972 0 -1 4202560 3185 0 0 0 64 0 0 0 20 0 19 0 285705566 9856004096 72874 33554432000 1073741824 1073778376 140734693739408 140275056715960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10108] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10108/stat : 10108 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 72874 33554432000 1073741824 1073778376 140734693739408 140275055663608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10109] ppid=10089 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/10091/task/10109/stat : 10109 (java) S 10089 10091 9972 0 -1 4202560 97 0 0 0 42 20 0 0 20 0 19 0 285705566 9856004096 72874 33554432000 1073741824 1073778376 140734693739408 140275054611272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10091/tid=10110] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10110/stat : 10110 (java) S 10089 10091 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285705724 9856004096 72874 33554432000 1073741824 1073778376 140734693739408 140275053557032 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1666
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/213 10239
/proc/meminfo: memFree=30432544/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9625004 CPUtime=1726.05 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 10948 0 1 0 172569 36 0 0 20 0 19 0 285705560 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2406251 72882 2290 9 0 2396937 0
[pid=10091/tid=10093] ppid=10089 vsize=9625004 CPUtime=1708.93 cores=0,2,4,6
/proc/10091/task/10093/stat : 10093 (java) R 10089 10091 9972 0 -1 4202560 2721 0 1 0 170863 30 0 0 20 0 19 0 285705561 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275237892400 140275178345102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10094] ppid=10089 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/10091/task/10094/stat : 10094 (java) S 10089 10091 9972 0 -1 4202560 224 0 0 0 39 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275176622760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10095] ppid=10089 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/10091/task/10095/stat : 10095 (java) S 10089 10091 9972 0 -1 4202560 108 0 0 0 41 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275080706856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10096] ppid=10089 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/10091/task/10096/stat : 10096 (java) S 10089 10091 9972 0 -1 4202560 90 0 0 0 44 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275079654312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10097] ppid=10089 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/10091/task/10097/stat : 10097 (java) S 10089 10091 9972 0 -1 4202560 135 0 0 0 44 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275078601768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10098] ppid=10089 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/10091/task/10098/stat : 10098 (java) S 10089 10091 9972 0 -1 4202560 94 0 0 0 40 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275077548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10099] ppid=10089 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/10091/task/10099/stat : 10099 (java) S 10089 10091 9972 0 -1 4202560 70 0 0 0 41 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275076495656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10100] ppid=10089 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/10091/task/10100/stat : 10100 (java) S 10089 10091 9972 0 -1 4202560 146 0 0 0 48 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275075443112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10101] ppid=10089 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/10091/task/10101/stat : 10101 (java) S 10089 10091 9972 0 -1 4202560 140 0 0 0 40 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275074390568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10102] ppid=10089 vsize=9625004 CPUtime=7.8 cores=0,2,4,6
/proc/10091/task/10102/stat : 10102 (java) S 10089 10091 9972 0 -1 4202560 220 0 0 0 778 2 0 0 20 0 19 0 285705563 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275061979752 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10103] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10103/stat : 10103 (java) S 10089 10091 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275060926072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10104] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10104/stat : 10104 (java) S 10089 10091 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275059873416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10105] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10105/stat : 10105 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275058822160 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10106] ppid=10089 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/10091/task/10106/stat : 10106 (java) S 10089 10091 9972 0 -1 4202560 2535 0 0 0 56 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275057768504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10107] ppid=10089 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/10091/task/10107/stat : 10107 (java) S 10089 10091 9972 0 -1 4202560 3185 0 0 0 64 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275056715960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10108] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10108/stat : 10108 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275055663608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10109] ppid=10089 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/10091/task/10109/stat : 10109 (java) S 10089 10091 9972 0 -1 4202560 99 0 0 0 44 21 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275054611272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10091/tid=10110] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10110/stat : 10110 (java) S 10089 10091 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285705724 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275053557032 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.05
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/213 10239
/proc/meminfo: memFree=30428200/32873844 swapFree=6876/6876
[pid=10091] ppid=10089 vsize=9625004 CPUtime=1786.1 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 10958 0 1 0 178574 36 0 0 20 0 19 0 285705560 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2406251 72882 2290 9 0 2396937 0
[pid=10091/tid=10093] ppid=10089 vsize=9625004 CPUtime=1768.55 cores=0,2,4,6
/proc/10091/task/10093/stat : 10093 (java) R 10089 10091 9972 0 -1 4202560 2723 0 1 0 176824 31 0 0 20 0 19 0 285705561 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275237892400 140275178378429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10094] ppid=10089 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/10091/task/10094/stat : 10094 (java) S 10089 10091 9972 0 -1 4202560 224 0 0 0 40 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275176622760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10095] ppid=10089 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/10091/task/10095/stat : 10095 (java) S 10089 10091 9972 0 -1 4202560 108 0 0 0 42 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275080706856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10096] ppid=10089 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/10091/task/10096/stat : 10096 (java) S 10089 10091 9972 0 -1 4202560 90 0 0 0 45 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275079654312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10097] ppid=10089 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/10091/task/10097/stat : 10097 (java) S 10089 10091 9972 0 -1 4202560 135 0 0 0 46 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275078601768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10098] ppid=10089 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/10091/task/10098/stat : 10098 (java) S 10089 10091 9972 0 -1 4202560 94 0 0 0 41 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275077548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10099] ppid=10089 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/10091/task/10099/stat : 10099 (java) S 10089 10091 9972 0 -1 4202560 70 0 0 0 41 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275076495656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10100] ppid=10089 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/10091/task/10100/stat : 10100 (java) S 10089 10091 9972 0 -1 4202560 146 0 0 0 49 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275075443112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10101] ppid=10089 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/10091/task/10101/stat : 10101 (java) S 10089 10091 9972 0 -1 4202560 140 0 0 0 41 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275074390568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10102] ppid=10089 vsize=9625004 CPUtime=7.98 cores=0,2,4,6
/proc/10091/task/10102/stat : 10102 (java) S 10089 10091 9972 0 -1 4202560 224 0 0 0 796 2 0 0 20 0 19 0 285705563 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275061979752 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10103] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10103/stat : 10103 (java) S 10089 10091 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275060926072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10104] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10104/stat : 10104 (java) S 10089 10091 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275059873416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10105] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10105/stat : 10105 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275058822160 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10106] ppid=10089 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/10091/task/10106/stat : 10106 (java) S 10089 10091 9972 0 -1 4202560 2535 0 0 0 56 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275057768504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10107] ppid=10089 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/10091/task/10107/stat : 10107 (java) S 10089 10091 9972 0 -1 4202560 3185 0 0 0 64 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275056715960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10108] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10108/stat : 10108 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275055663608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10109] ppid=10089 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/10091/task/10109/stat : 10109 (java) S 10089 10091 9972 0 -1 4202560 103 0 0 0 46 21 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275054611272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10091/tid=10110] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10110/stat : 10110 (java) S 10089 10091 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285705724 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275053557032 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.1
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.02 1.95 3/213 10239
/proc/meminfo: memFree=30428324/32873844 swapFree=6872/6872
[pid=10091] ppid=10089 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/10091/stat : 10091 (java) S 10089 10091 9972 0 -1 4202496 10958 0 1 0 179965 37 0 0 20 0 19 0 285705560 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140734693730544 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10091/statm: 2406251 72882 2290 9 0 2396937 0
[pid=10091/tid=10093] ppid=10089 vsize=9625004 CPUtime=1782.43 cores=0,2,4,6
/proc/10091/task/10093/stat : 10093 (java) R 10089 10091 9972 0 -1 4202560 2723 0 1 0 178211 32 0 0 20 0 19 0 285705561 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275237892400 140275178299939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10094] ppid=10089 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/10091/task/10094/stat : 10094 (java) S 10089 10091 9972 0 -1 4202560 224 0 0 0 40 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275176622760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10095] ppid=10089 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/10091/task/10095/stat : 10095 (java) S 10089 10091 9972 0 -1 4202560 108 0 0 0 42 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275080706856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10096] ppid=10089 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/10091/task/10096/stat : 10096 (java) S 10089 10091 9972 0 -1 4202560 90 0 0 0 45 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275079654312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10097] ppid=10089 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/10091/task/10097/stat : 10097 (java) S 10089 10091 9972 0 -1 4202560 135 0 0 0 46 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275078601768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10098] ppid=10089 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/10091/task/10098/stat : 10098 (java) S 10089 10091 9972 0 -1 4202560 94 0 0 0 41 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275077548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10099] ppid=10089 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/10091/task/10099/stat : 10099 (java) S 10089 10091 9972 0 -1 4202560 70 0 0 0 41 2 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275076495656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10100] ppid=10089 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/10091/task/10100/stat : 10100 (java) S 10089 10091 9972 0 -1 4202560 146 0 0 0 49 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275075443112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10091/tid=10101] ppid=10089 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/10091/task/10101/stat : 10101 (java) S 10089 10091 9972 0 -1 4202560 140 0 0 0 41 0 0 0 20 0 19 0 285705562 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275074390568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10102] ppid=10089 vsize=9625004 CPUtime=7.98 cores=0,2,4,6
/proc/10091/task/10102/stat : 10102 (java) S 10089 10091 9972 0 -1 4202560 224 0 0 0 796 2 0 0 20 0 19 0 285705563 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275061979752 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10103] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10103/stat : 10103 (java) S 10089 10091 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275060926072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10104] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10104/stat : 10104 (java) S 10089 10091 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285705564 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275059873416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10105] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10105/stat : 10105 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275058822160 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10091/tid=10106] ppid=10089 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/10091/task/10106/stat : 10106 (java) S 10089 10091 9972 0 -1 4202560 2535 0 0 0 56 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275057768504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10091/tid=10107] ppid=10089 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/10091/task/10107/stat : 10107 (java) S 10089 10091 9972 0 -1 4202560 3185 0 0 0 64 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275056715960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10108] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10108/stat : 10108 (java) S 10089 10091 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275055663608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10091/tid=10109] ppid=10089 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/10091/task/10109/stat : 10109 (java) S 10089 10091 9972 0 -1 4202560 103 0 0 0 46 21 0 0 20 0 19 0 285705566 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275054611272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10091/tid=10110] ppid=10089 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/10091/task/10110/stat : 10110 (java) S 10089 10091 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285705724 9856004096 72882 33554432000 1073741824 1073778376 140734693739408 140275053557032 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10091 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=399057
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=792879
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.26
CPU time (s): 1800.02
CPU user time (s): 1799.65
CPU system time (s): 0.37
CPU usage (%): 100.21
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.4
system time used= 0.792879
maximum resident set size= 291672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10996
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40676
involuntary context switches= 15227
runsolver used 5.9411 second user time and 14.7418 second system time
The end