runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455412-1307196554/watcher-3455412-1307196554 -o /tmp/evaluation-result-3455412-1307196554/solver-3455412-1307196554 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455412-1307196554.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: 3.38 3.83 3.73 3/458 14161
/proc/meminfo: memFree=24000080/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 4497 0 1 0 0 0 0 0 22 0 2 0 812071543 10694979584 4199 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2611079 4214 917 9 0 2602235 0
[pid=14161/tid=14162] ppid=14159 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 5906 0 1 0 0 0 0 0 24 0 2 0 812071544 10694979584 6722 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.018362 s]
/proc/loadavg: 3.38 3.83 3.73 3/458 14161
/proc/meminfo: memFree=24000080/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 8256 0 1 0 0 1 0 0 22 0 2 0 812071543 10694979584 7959 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2611079 7977 917 9 0 2602235 0
[pid=14161/tid=14162] ppid=14159 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 7175 0 1 0 0 0 0 0 24 0 2 0 812071544 10694979584 7991 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.10033 s]
/proc/loadavg: 3.38 3.83 3.73 3/458 14161
/proc/meminfo: memFree=24000080/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10540200 CPUtime=0.1 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 13128 0 1 0 9 1 0 0 22 0 18 0 812071543 10793164800 12772 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2635050 12772 2093 9 0 2625784 0
[pid=14161/tid=14162] ppid=14159 vsize=10540200 CPUtime=0.08 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 11156 0 1 0 7 1 0 0 25 0 18 0 812071544 10793164800 12772 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 47432899510832 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540200
[startup+0.300273 s]
/proc/loadavg: 3.38 3.83 3.73 3/458 14161
/proc/meminfo: memFree=24000080/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10540200 CPUtime=0.43 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 58384 0 1 0 37 6 0 0 22 0 18 0 812071543 10793164800 57826 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2635050 57826 2197 9 0 2625784 0
[pid=14161/tid=14162] ppid=14159 vsize=10540200 CPUtime=0.28 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 55744 0 1 0 23 5 0 0 25 0 18 0 812071544 10793164800 57826 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912505357434 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10540200
[startup+0.700193 s]
/proc/loadavg: 3.38 3.83 3.73 3/458 14161
/proc/meminfo: memFree=24000080/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10540980 CPUtime=0.86 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 89663 0 1 0 76 10 0 0 22 0 18 0 812071543 10793963520 89105 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2635245 89105 2200 9 0 2625979 0
[pid=14161/tid=14162] ppid=14159 vsize=10540980 CPUtime=0.68 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 86866 0 1 0 59 9 0 0 25 0 18 0 812071544 10793963520 89105 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912505507369 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10540980
[startup+1.50107 s]
/proc/loadavg: 3.38 3.83 3.73 4/476 14179
/proc/meminfo: memFree=23533032/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10540980 CPUtime=1.66 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 150931 0 1 0 148 18 0 0 22 0 18 0 812071543 10793963520 150374 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2635245 150377 2200 9 0 2625979 0
[pid=14161/tid=14162] ppid=14159 vsize=10540980 CPUtime=1.48 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 148139 0 1 0 131 17 0 0 25 0 18 0 812071544 10793963520 150378 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912505365698 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14161/tid=14164] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14164/stat : 14164 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150380 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14165] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14165/stat : 14165 (java) S 14159 14161 14047 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150382 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14166] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14166/stat : 14166 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150384 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14167] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14167/stat : 14167 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150386 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14168] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14168/stat : 14168 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150388 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14169] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14169/stat : 14169 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150390 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14170] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14170/stat : 14170 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150391 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14171] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14171/stat : 14171 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 150393 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14172] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14172/stat : 14172 (java) S 14159 14161 14047 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 812071546 10793963520 150395 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 0 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14173] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14173/stat : 14173 (java) S 14159 14161 14047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 812071547 10793963520 150397 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14174] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14174/stat : 14174 (java) S 14159 14161 14047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 812071547 10793963520 150399 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14175] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14175/stat : 14175 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071549 10793963520 150401 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350207409 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14176] ppid=14159 vsize=10540980 CPUtime=0.08 cores=1,3,5,7
/proc/14161/task/14176/stat : 14176 (java) S 14159 14161 14047 0 -1 4202560 774 0 0 0 8 0 0 0 15 0 18 0 812071549 10793963520 150403 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14177] ppid=14159 vsize=10540980 CPUtime=0.07 cores=1,3,5,7
/proc/14161/task/14177/stat : 14177 (java) S 14159 14161 14047 0 -1 4202560 872 0 0 0 7 0 0 0 16 0 18 0 812071549 10793963520 150405 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14178] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14178/stat : 14178 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071549 10793963520 150406 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14179] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14179/stat : 14179 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 812071549 10793963520 150408 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10540980
[startup+3.10075 s]
/proc/loadavg: 3.43 3.83 3.73 4/476 14179
/proc/meminfo: memFree=23186824/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10540980 CPUtime=3.26 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 274642 0 1 0 294 32 0 0 22 0 18 0 812071543 10793963520 274084 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2635245 274087 2204 9 0 2625979 0
[pid=14161/tid=14162] ppid=14159 vsize=10540980 CPUtime=3.08 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 271846 0 1 0 277 31 0 0 25 0 18 0 812071544 10793963520 274089 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912505549726 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14161/tid=14164] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14164/stat : 14164 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274091 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14165] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14165/stat : 14165 (java) S 14159 14161 14047 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274093 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14166] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14166/stat : 14166 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274094 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14167] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14167/stat : 14167 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274096 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14168] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14168/stat : 14168 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274098 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14169] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14169/stat : 14169 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274100 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14170] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14170/stat : 14170 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274101 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14171] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14171/stat : 14171 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 274103 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14172] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14172/stat : 14172 (java) S 14159 14161 14047 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 812071546 10793963520 274105 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 0 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14173] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14173/stat : 14173 (java) S 14159 14161 14047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 812071547 10793963520 274107 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14174] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14174/stat : 14174 (java) S 14159 14161 14047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 812071547 10793963520 274109 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14175] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14175/stat : 14175 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071549 10793963520 274110 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350207409 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14176] ppid=14159 vsize=10540980 CPUtime=0.08 cores=1,3,5,7
/proc/14161/task/14176/stat : 14176 (java) S 14159 14161 14047 0 -1 4202560 778 0 0 0 8 0 0 0 15 0 18 0 812071549 10793963520 274112 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14177] ppid=14159 vsize=10540980 CPUtime=0.07 cores=1,3,5,7
/proc/14161/task/14177/stat : 14177 (java) S 14159 14161 14047 0 -1 4202560 872 0 0 0 7 0 0 0 16 0 18 0 812071549 10793963520 274114 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14178] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14178/stat : 14178 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071549 10793963520 274116 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14179] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14179/stat : 14179 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 812071549 10793963520 274117 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10540980
[startup+6.30112 s]
/proc/loadavg: 3.43 3.83 3.73 3/473 14179
/proc/meminfo: memFree=22110096/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10540980 CPUtime=6.47 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 536656 0 1 0 588 59 0 0 22 0 18 0 812071543 10793963520 536088 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2635245 536092 2206 9 0 2625979 0
[pid=14161/tid=14162] ppid=14159 vsize=10540980 CPUtime=6.28 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) R 14159 14161 14047 0 -1 4202560 533855 0 1 0 569 59 0 0 19 0 18 0 812071544 10793963520 536094 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912505574219 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14161/tid=14164] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14164/stat : 14164 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536096 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14165] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14165/stat : 14165 (java) S 14159 14161 14047 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536098 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14166] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14166/stat : 14166 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536100 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14167] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14167/stat : 14167 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536102 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14168] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14168/stat : 14168 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536104 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14169] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14169/stat : 14169 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536106 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14170] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14170/stat : 14170 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536108 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14171] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14171/stat : 14171 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071545 10793963520 536110 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14172] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14172/stat : 14172 (java) S 14159 14161 14047 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 812071546 10793963520 536112 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 0 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14173] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14173/stat : 14173 (java) S 14159 14161 14047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 812071547 10793963520 536115 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14174] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14174/stat : 14174 (java) S 14159 14161 14047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 812071547 10793963520 536117 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14175] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14175/stat : 14175 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071549 10793963520 536119 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350207409 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14176] ppid=14159 vsize=10540980 CPUtime=0.08 cores=1,3,5,7
/proc/14161/task/14176/stat : 14176 (java) S 14159 14161 14047 0 -1 4202560 778 0 0 0 8 0 0 0 16 0 18 0 812071549 10793963520 536121 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14177] ppid=14159 vsize=10540980 CPUtime=0.09 cores=1,3,5,7
/proc/14161/task/14177/stat : 14177 (java) S 14159 14161 14047 0 -1 4202560 876 0 0 0 9 0 0 0 15 0 18 0 812071549 10793963520 536123 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14178] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14178/stat : 14178 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812071549 10793963520 536125 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14179] ppid=14159 vsize=10540980 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14179/stat : 14179 (java) S 14159 14161 14047 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 812071549 10793963520 536127 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/14161/task/14166/stat : 14166 (java) R 14159 14161 14047 0 -1 4202560 120651 0 0 0 1058 18 0 0 15 0 22 0 812071545 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270338337079 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14161/tid=14167] ppid=14159 vsize=10560444 CPUtime=10.83 cores=1,3,5,7
/proc/14161/task/14167/stat : 14167 (java) R 14159 14161 14047 0 -1 4202560 151431 0 0 0 1062 21 0 0 15 0 22 0 812071545 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270338337079 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14161/tid=14168] ppid=14159 vsize=10560444 CPUtime=12.49 cores=1,3,5,7
/proc/14161/task/14168/stat : 14168 (java) R 14159 14161 14047 0 -1 4202560 179762 0 0 0 1224 25 0 0 15 0 22 0 812071545 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 47432897753680 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14161/tid=14169] ppid=14159 vsize=10560444 CPUtime=10.2 cores=1,3,5,7
/proc/14161/task/14169/stat : 14169 (java) R 14159 14161 14047 0 -1 4202560 142874 0 0 0 999 21 0 0 15 0 22 0 812071545 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 47432897753651 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14161/tid=14170] ppid=14159 vsize=10560444 CPUtime=10.41 cores=1,3,5,7
/proc/14161/task/14170/stat : 14170 (java) R 14159 14161 14047 0 -1 4202560 182385 0 0 0 1016 25 0 0 15 0 22 0 812071545 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270338337079 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14161/tid=14171] ppid=14159 vsize=10560444 CPUtime=11.71 cores=1,3,5,7
/proc/14161/task/14171/stat : 14171 (java) R 14159 14161 14047 0 -1 4202560 175136 0 0 0 1148 23 0 0 15 0 22 0 812071545 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14161/tid=14172] ppid=14159 vsize=10560444 CPUtime=16.04 cores=1,3,5,7
/proc/14161/task/14172/stat : 14172 (java) S 14159 14161 14047 0 -1 4202560 9089 0 0 0 1602 2 0 0 15 0 22 0 812071546 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 0 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14173] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14173/stat : 14173 (java) S 14159 14161 14047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812071547 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14174] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14174/stat : 14174 (java) S 14159 14161 14047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812071547 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14175] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14175/stat : 14175 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812071549 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350207409 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14176] ppid=14159 vsize=10560444 CPUtime=1.07 cores=1,3,5,7
/proc/14161/task/14176/stat : 14176 (java) S 14159 14161 14047 0 -1 4202560 2246 0 0 0 107 0 0 0 15 0 22 0 812071549 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14177] ppid=14159 vsize=10560444 CPUtime=0.82 cores=1,3,5,7
/proc/14161/task/14177/stat : 14177 (java) S 14159 14161 14047 0 -1 4202560 3203 0 0 0 82 0 0 0 15 0 22 0 812071549 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14178] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14178/stat : 14178 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812071549 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14179] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14179/stat : 14179 (java) S 14159 14161 14047 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 812071549 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14238] ppid=14159 vsize=10560444 CPUtime=684.51 cores=1,3,5,7
/proc/14161/task/14238/stat : 14238 (java) S 14159 14161 14047 0 -1 4202560 47 0 0 0 68451 0 0 0 25 0 22 0 812082833 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14239] ppid=14159 vsize=10560444 CPUtime=684.4 cores=1,3,5,7
/proc/14161/task/14239/stat : 14239 (java) S 14159 14161 14047 0 -1 4202560 102 0 0 0 68440 0 0 0 25 0 22 0 812082833 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14240] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14240/stat : 14240 (java) S 14159 14161 14047 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 812082940 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14241] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14241/stat : 14241 (java) S 14159 14161 14047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812082940 10813894656 1910946 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1572.32
Current children cumulated vsize (KiB) 10560444
[startup+882.301 s]
/proc/loadavg: 3.02 3.21 3.45 4/478 14261
/proc/meminfo: memFree=12895148/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10560444 CPUtime=1693.2 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 1924735 0 1 0 169059 261 0 0 22 0 22 0 812071543 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2640111 1910948 2263 9 0 2630845 0
[pid=14161/tid=14162] ppid=14159 vsize=10560444 CPUtime=99.39 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) S 14159 14161 14047 0 -1 4202560 651189 0 1 0 9858 81 0 0 15 0 22 0 812071544 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14164] ppid=14159 vsize=10560444 CPUtime=9.53 cores=1,3,5,7
/proc/14161/task/14164/stat : 14164 (java) S 14159 14161 14047 0 -1 4202560 126149 0 0 0 935 18 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14165] ppid=14159 vsize=10560444 CPUtime=10.53 cores=1,3,5,7
/proc/14161/task/14165/stat : 14165 (java) S 14159 14161 14047 0 -1 4202560 179253 0 0 0 1033 20 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14166] ppid=14159 vsize=10560444 CPUtime=10.87 cores=1,3,5,7
/proc/14161/task/14166/stat : 14166 (java) S 14159 14161 14047 0 -1 4202560 120651 0 0 0 1069 18 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14167] ppid=14159 vsize=10560444 CPUtime=11.11 cores=1,3,5,7
/proc/14161/task/14167/stat : 14167 (java) S 14159 14161 14047 0 -1 4202560 151433 0 0 0 1090 21 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14168] ppid=14159 vsize=10560444 CPUtime=12.66 cores=1,3,5,7
/proc/14161/task/14168/stat : 14168 (java) S 14159 14161 14047 0 -1 4202560 179762 0 0 0 1241 25 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14169] ppid=14159 vsize=10560444 CPUtime=10.52 cores=1,3,5,7
/proc/14161/task/14169/stat : 14169 (java) S 14159 14161 14047 0 -1 4202560 142874 0 0 0 1031 21 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14170] ppid=14159 vsize=10560444 CPUtime=10.75 cores=1,3,5,7
/proc/14161/task/14170/stat : 14170 (java) S 14159 14161 14047 0 -1 4202560 182385 0 0 0 1050 25 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14171] ppid=14159 vsize=10560444 CPUtime=11.8 cores=1,3,5,7
/proc/14161/task/14171/stat : 14171 (java) S 14159 14161 14047 0 -1 4202560 175136 0 0 0 1157 23 0 0 16 0 22 0 812071545 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14172] ppid=14159 vsize=10560444 CPUtime=16.04 cores=1,3,5,7
/proc/14161/task/14172/stat : 14172 (java) S 14159 14161 14047 0 -1 4202560 9091 0 0 0 1602 2 0 0 15 0 22 0 812071546 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 0 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14173] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14173/stat : 14173 (java) S 14159 14161 14047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812071547 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14174] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14174/stat : 14174 (java) S 14159 14161 14047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812071547 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14175] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14175/stat : 14175 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812071549 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350207409 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14176] ppid=14159 vsize=10560444 CPUtime=1.07 cores=1,3,5,7
/proc/14161/task/14176/stat : 14176 (java) S 14159 14161 14047 0 -1 4202560 2246 0 0 0 107 0 0 0 15 0 22 0 812071549 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14177] ppid=14159 vsize=10560444 CPUtime=0.82 cores=1,3,5,7
/proc/14161/task/14177/stat : 14177 (java) S 14159 14161 14047 0 -1 4202560 3203 0 0 0 82 0 0 0 15 0 22 0 812071549 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14178] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14178/stat : 14178 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812071549 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14179] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14179/stat : 14179 (java) S 14159 14161 14047 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 812071549 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14238] ppid=14159 vsize=10560444 CPUtime=744.04 cores=1,3,5,7
/proc/14161/task/14238/stat : 14238 (java) R 14159 14161 14047 0 -1 4202560 48 0 0 0 74404 0 0 0 25 0 22 0 812082833 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912505847259 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14161/tid=14239] ppid=14159 vsize=10560444 CPUtime=743.93 cores=1,3,5,7
/proc/14161/task/14239/stat : 14239 (java) R 14159 14161 14047 0 -1 4202560 105 0 0 0 74393 0 0 0 25 0 22 0 812082833 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912505986729 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14161/tid=14240] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14240/stat : 14240 (java) S 14159 14161 14047 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 812082940 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14241] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14241/stat : 14241 (java) S 14159 14161 14047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812082940 10813894656 1910948 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1693.2
Current children cumulated vsize (KiB) 10560444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+934.801 s]
/proc/loadavg: 3.01 3.18 3.43 4/478 14263
/proc/meminfo: memFree=12895120/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=10560444 CPUtime=1800.12 cores=1,3,5,7
/proc/14161/stat : 14161 (java) S 14159 14161 14047 0 -1 4202496 1924756 0 1 0 179751 261 0 0 22 0 22 0 812071543 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 2640111 1910957 2263 9 0 2630845 0
[pid=14161/tid=14162] ppid=14159 vsize=10560444 CPUtime=99.39 cores=1,3,5,7
/proc/14161/task/14162/stat : 14162 (java) S 14159 14161 14047 0 -1 4202560 651192 0 1 0 9858 81 0 0 15 0 22 0 812071544 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14164] ppid=14159 vsize=10560444 CPUtime=9.77 cores=1,3,5,7
/proc/14161/task/14164/stat : 14164 (java) S 14159 14161 14047 0 -1 4202560 126149 0 0 0 959 18 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14165] ppid=14159 vsize=10560444 CPUtime=11.13 cores=1,3,5,7
/proc/14161/task/14165/stat : 14165 (java) S 14159 14161 14047 0 -1 4202560 179258 0 0 0 1093 20 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14166] ppid=14159 vsize=10560444 CPUtime=11.48 cores=1,3,5,7
/proc/14161/task/14166/stat : 14166 (java) S 14159 14161 14047 0 -1 4202560 120651 0 0 0 1130 18 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14167] ppid=14159 vsize=10560444 CPUtime=11.58 cores=1,3,5,7
/proc/14161/task/14167/stat : 14167 (java) S 14159 14161 14047 0 -1 4202560 151436 0 0 0 1137 21 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14168] ppid=14159 vsize=10560444 CPUtime=13.08 cores=1,3,5,7
/proc/14161/task/14168/stat : 14168 (java) S 14159 14161 14047 0 -1 4202560 179762 0 0 0 1283 25 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14169] ppid=14159 vsize=10560444 CPUtime=10.88 cores=1,3,5,7
/proc/14161/task/14169/stat : 14169 (java) S 14159 14161 14047 0 -1 4202560 142874 0 0 0 1067 21 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14170] ppid=14159 vsize=10560444 CPUtime=11.37 cores=1,3,5,7
/proc/14161/task/14170/stat : 14170 (java) S 14159 14161 14047 0 -1 4202560 182385 0 0 0 1112 25 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14171] ppid=14159 vsize=10560444 CPUtime=12.39 cores=1,3,5,7
/proc/14161/task/14171/stat : 14171 (java) S 14159 14161 14047 0 -1 4202560 175136 0 0 0 1215 24 0 0 16 0 22 0 812071545 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14172] ppid=14159 vsize=10560444 CPUtime=16.04 cores=1,3,5,7
/proc/14161/task/14172/stat : 14172 (java) S 14159 14161 14047 0 -1 4202560 9095 0 0 0 1602 2 0 0 15 0 22 0 812071546 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 0 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14173] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14173/stat : 14173 (java) S 14159 14161 14047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812071547 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 1 0 0 0
[pid=14161/tid=14174] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14174/stat : 14174 (java) S 14159 14161 14047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812071547 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14175] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14175/stat : 14175 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812071549 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350207409 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14176] ppid=14159 vsize=10560444 CPUtime=1.07 cores=1,3,5,7
/proc/14161/task/14176/stat : 14176 (java) S 14159 14161 14047 0 -1 4202560 2247 0 0 0 107 0 0 0 15 0 22 0 812071549 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
[pid=14161/tid=14177] ppid=14159 vsize=10560444 CPUtime=0.82 cores=1,3,5,7
/proc/14161/task/14177/stat : 14177 (java) S 14159 14161 14047 0 -1 4202560 3203 0 0 0 82 0 0 0 15 0 22 0 812071549 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14178] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14178/stat : 14178 (java) S 14159 14161 14047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812071549 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350199705 0 4 0 16800975 18446604465765188672 0 0 -1 7 0 0 0
[pid=14161/tid=14179] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14179/stat : 14179 (java) S 14159 14161 14047 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 812071549 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14238] ppid=14159 vsize=10560444 CPUtime=795.56 cores=1,3,5,7
/proc/14161/task/14238/stat : 14238 (java) R 14159 14161 14047 0 -1 4202560 49 0 0 0 79556 0 0 0 25 0 22 0 812082833 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912506108890 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14161/tid=14239] ppid=14159 vsize=10560444 CPUtime=795.45 cores=1,3,5,7
/proc/14161/task/14239/stat : 14239 (java) R 14159 14161 14047 0 -1 4202560 107 0 0 0 79545 0 0 0 25 0 22 0 812082833 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 46912506124665 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14161/tid=14240] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14240/stat : 14240 (java) S 14159 14161 14047 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 812082940 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 5 0 0 0
[pid=14161/tid=14241] ppid=14159 vsize=10560444 CPUtime=0 cores=1,3,5,7
/proc/14161/task/14241/stat : 14241 (java) S 14159 14161 14047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812082940 10813894656 1910957 33554432000 1073741824 1073778376 140734845453600 18446744073709551615 270350200320 0 4 0 16800975 18446604465765188672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10560444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+935.001 s]
/proc/loadavg: 3.01 3.18 3.43 4/478 14263
/proc/meminfo: memFree=12895120/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/14161/stat : 14161 (java) Z 14159 14161 14047 0 -1 4203548 1924788 0 1 0 179756 277 0 0 17 0 2 0 812071543 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 0 0 0 0 0 0 0
[pid=14161/tid=14238] ppid=14159 vsize=0 CPUtime=795.73 cores=1,3,5,7
/proc/14161/task/14238/stat : 14238 (java) R 14159 14161 14047 0 -1 4203588 49 0 0 0 79558 15 0 0 25 0 2 0 812082833 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
[startup+935.101 s]
/proc/loadavg: 3.01 3.18 3.43 4/478 14263
/proc/meminfo: memFree=12895120/32951124 swapFree=50923800/67111528
[pid=14161] ppid=14159 vsize=0 CPUtime=1800.43 cores=1,3,5,7
/proc/14161/stat : 14161 (java) Z 14159 14161 14047 0 -1 4203548 1924788 0 1 0 179756 287 0 0 17 0 2 0 812071543 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14161/statm: 0 0 0 0 0 0 0
[pid=14161/tid=14238] ppid=14159 vsize=0 CPUtime=795.83 cores=1,3,5,7
/proc/14161/task/14238/stat : 14238 (java) R 14159 14161 14047 0 -1 4203588 49 0 0 0 79558 25 0 0 25 0 2 0 812082833 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 935.113
CPU time (s): 1800.45
CPU user time (s): 1797.57
CPU system time (s): 2.88756
CPU usage (%): 192.539
Max. virtual memory (cumulated for all children) (KiB): 10563372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.57
system time used= 2.88756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1924788
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31725
involuntary context switches= 148501
runsolver used 4.01439 second user time and 9.75752 second system time
The end