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-3736339-1338716877/watcher-3736339-1338716877 -o /tmp/evaluation-result-3736339-1338716877/solver-3736339-1338716877 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736339-1338716877.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: 1.92 1.99 1.94 3/194 31249
/proc/meminfo: memFree=30621680/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/31249/stat : 31249 (java) D 31247 31249 30888 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 337816272 2560000 47 33554432000 1073741824 1073778376 140737159622912 140737159620040 249640873255 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/31249/statm: 625 47 37 9 0 29 0
[startup+0.056826 s]
/proc/loadavg: 1.92 1.99 1.94 3/194 31249
/proc/meminfo: memFree=30621680/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 3927 0 1 0 2 0 0 0 20 0 13 0 337816272 2686889984 5134 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 655979 5134 1696 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100327 s]
/proc/loadavg: 1.92 1.99 1.94 3/194 31249
/proc/meminfo: memFree=30621680/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 4137 0 1 0 5 1 0 0 20 0 18 0 337816272 3028844544 5854 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 739464 5854 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.300279 s]
/proc/loadavg: 1.92 1.99 1.94 3/194 31249
/proc/meminfo: memFree=30621680/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=2957856 CPUtime=0.43 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 6128 0 1 0 42 1 0 0 20 0 18 0 337816272 3028844544 9364 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 739464 9364 2248 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.700291 s]
/proc/loadavg: 1.92 1.99 1.94 3/194 31249
/proc/meminfo: memFree=30621680/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=3024420 CPUtime=1.56 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 20398 0 1 0 151 5 0 0 20 0 19 0 337816272 3097006080 20647 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 756105 20647 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 3024420
[startup+1.50066 s]
/proc/loadavg: 1.92 1.99 1.94 3/213 31273
/proc/meminfo: memFree=30547996/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=3024420 CPUtime=2.57 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 20440 0 1 0 252 5 0 0 20 0 19 0 337816272 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 756105 22570 2270 9 0 746526 0
[pid=31249/tid=31251] ppid=31247 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/31249/task/31251/stat : 31251 (java) R 31247 31249 30888 0 -1 4202560 3053 0 1 0 144 1 0 0 20 0 19 0 337816274 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139732010135976 139731879454427 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31252/stat : 31252 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731875351464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31253] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31253/stat : 31253 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731874298920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31254] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31254/stat : 31254 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731873245864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31255] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31255/stat : 31255 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731872193320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31256] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31256/stat : 31256 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731871140264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31257] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31257/stat : 31257 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731870087720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31258] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31258/stat : 31258 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731869034664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31259] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31259/stat : 31259 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731867982120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31260] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31260/stat : 31260 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337816276 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731385944936 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31261] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31261/stat : 31261 (java) S 31247 31249 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731384891256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31262] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31262/stat : 31262 (java) S 31247 31249 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731383838088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31263] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31263/stat : 31263 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731382786832 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31264] ppid=31247 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/31249/task/31264/stat : 31264 (java) S 31247 31249 30888 0 -1 4202560 8260 0 0 0 53 2 0 0 20 0 19 0 337816279 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731381733688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31265] ppid=31247 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/31249/task/31265/stat : 31265 (java) S 31247 31249 30888 0 -1 4202560 7921 0 0 0 51 2 0 0 20 0 19 0 337816279 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731380681144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31266] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31266/stat : 31266 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731379628280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31267] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31267/stat : 31267 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731378575944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31273] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31273/stat : 31273 (java) S 31247 31249 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337816317 3097006080 22570 33554432000 1073741824 1073778376 140734796808400 139731376444584 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 3024420
[startup+3.1007 s]
/proc/loadavg: 1.92 1.99 1.94 2/193 31276
/proc/meminfo: memFree=31267964/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=3024420 CPUtime=4.19 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 20452 0 1 0 414 5 0 0 20 0 19 0 337816272 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 756105 28202 2270 9 0 746526 0
[pid=31249/tid=31251] ppid=31247 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/31249/task/31251/stat : 31251 (java) R 31247 31249 30888 0 -1 4202560 3065 0 1 0 303 1 0 0 20 0 19 0 337816274 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139732010134016 139731879267430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31252/stat : 31252 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731875351464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31253] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31253/stat : 31253 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731874298920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31254] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31254/stat : 31254 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731873245864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31255] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31255/stat : 31255 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731872193320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31256] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31256/stat : 31256 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731871140264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31257] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31257/stat : 31257 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731870087720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31258] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31258/stat : 31258 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731869034664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31259] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31259/stat : 31259 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731867982120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31260] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31260/stat : 31260 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337816276 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731385944936 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31261] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31261/stat : 31261 (java) S 31247 31249 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731384891256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31262] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31262/stat : 31262 (java) S 31247 31249 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731383838088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31263] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31263/stat : 31263 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731382786832 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31264] ppid=31247 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/31249/task/31264/stat : 31264 (java) S 31247 31249 30888 0 -1 4202560 8260 0 0 0 54 2 0 0 20 0 19 0 337816279 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731381733688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31265] ppid=31247 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/31249/task/31265/stat : 31265 (java) S 31247 31249 30888 0 -1 4202560 7921 0 0 0 53 2 0 0 20 0 19 0 337816279 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731380681144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31266] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31266/stat : 31266 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731379628280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31267] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31267/stat : 31267 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731378575944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31273] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31273/stat : 31273 (java) S 31247 31249 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337816317 3097006080 28202 33554432000 1073741824 1073778376 140734796808400 139731376444584 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 3024420
[startup+6.3007 s]
/proc/loadavg: 1.85 1.97 1.93 3/213 31341
/proc/meminfo: memFree=31132744/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=3024420 CPUtime=7.4 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 20473 0 1 0 734 6 0 0 20 0 19 0 337816272 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 756105 34692 2271 9 0 746526 0
[pid=31249/tid=31251] ppid=31247 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/31249/task/31251/stat : 31251 (java) R 31247 31249 30888 0 -1 4202560 3085 0 1 0 621 2 0 0 20 0 19 0 337816274 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139732010135896 139731879267624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31252/stat : 31252 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731875351464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31253] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31253/stat : 31253 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731874298920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31254] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31254/stat : 31254 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731873245864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31255] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31255/stat : 31255 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731872193320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31256] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31256/stat : 31256 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731871140264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31257] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31257/stat : 31257 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731870087720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31258] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31258/stat : 31258 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731869034664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31259] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31259/stat : 31259 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337816275 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731867982120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31260] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31260/stat : 31260 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337816276 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731385944936 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31261] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31261/stat : 31261 (java) S 31247 31249 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731384891256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31262] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31262/stat : 31262 (java) S 31247 31249 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731383838088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31263] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31263/stat : 31263 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731382786832 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31264] ppid=31247 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/31249/task/31264/stat : 31264 (java) S 31247 31249 30888 0 -1 4202560 8260 0 0 0 54 2 0 0 20 0 19 0 337816279 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731381733688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31265] ppid=31247 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/31249/task/31265/stat : 31265 (java) S 31247 31249 30888 0 -1 4202560 7921 0 0 0 53 2 0 0 20 0 19 0 337816279 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731380681144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31266] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31266/stat : 31266 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731379628280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31267] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31267/stat : 31267 (java) S 31247 31249 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731378575944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31273] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31273/stat : 31273 (java) S 31247 31249 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337816317 3097006080 34692 33554432000 1073741824 1073778376 140734796808400 139731376444584 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=31249/tid=31262] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31262/stat : 31262 (java) S 31247 31249 30888 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 415277 33554432000 1073741824 1073778376 140734796808400 139731383838088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31263] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31263/stat : 31263 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415277 33554432000 1073741824 1073778376 140734796808400 139731382786832 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31264] ppid=31247 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/31249/task/31264/stat : 31264 (java) S 31247 31249 30888 0 -1 4202560 8264 0 0 0 57 2 0 0 20 0 19 0 337816279 3097006080 415277 33554432000 1073741824 1073778376 140734796808400 139731381733688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31265] ppid=31247 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/31249/task/31265/stat : 31265 (java) S 31247 31249 30888 0 -1 4202560 7948 0 0 0 60 2 0 0 20 0 19 0 337816279 3097006080 415277 33554432000 1073741824 1073778376 140734796808400 139731380681144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31266] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31266/stat : 31266 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415277 33554432000 1073741824 1073778376 140734796808400 139731379628280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31267] ppid=31247 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/31249/task/31267/stat : 31267 (java) S 31247 31249 30888 0 -1 4202560 104 0 0 0 41 47 0 0 20 0 19 0 337816279 3097006080 415277 33554432000 1073741824 1073778376 140734796808400 139731378575944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31386] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31386/stat : 31386 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337979739 3097006080 415277 33554432000 1073741824 1073778376 140734796808400 139731376444456 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1786.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 31387
/proc/meminfo: memFree=28112636/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=3024420 CPUtime=1800.24 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 24605 0 1 0 179801 223 0 0 20 0 19 0 337816272 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 756105 415278 2290 9 0 746526 0
[pid=31249/tid=31251] ppid=31247 vsize=3024420 CPUtime=1776.11 cores=1,3,5,7
/proc/31249/task/31251/stat : 31251 (java) S 31247 31249 30888 0 -1 4202560 3291 0 1 0 177576 35 0 0 20 0 19 0 337816274 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139732010134856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=3024420 CPUtime=1.89 cores=1,3,5,7
/proc/31249/task/31252/stat : 31252 (java) S 31247 31249 30888 0 -1 4202560 461 0 0 0 176 13 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731875351464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31253] ppid=31247 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/31249/task/31253/stat : 31253 (java) S 31247 31249 30888 0 -1 4202560 452 0 0 0 181 14 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731874298920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31254] ppid=31247 vsize=3024420 CPUtime=1.85 cores=1,3,5,7
/proc/31249/task/31254/stat : 31254 (java) S 31247 31249 30888 0 -1 4202560 466 0 0 0 169 16 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731873245864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31255] ppid=31247 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/31249/task/31255/stat : 31255 (java) S 31247 31249 30888 0 -1 4202560 449 0 0 0 173 18 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731872193320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31256] ppid=31247 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/31249/task/31256/stat : 31256 (java) S 31247 31249 30888 0 -1 4202560 484 0 0 0 176 15 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731871140264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31257] ppid=31247 vsize=3024420 CPUtime=1.98 cores=1,3,5,7
/proc/31249/task/31257/stat : 31257 (java) S 31247 31249 30888 0 -1 4202560 486 0 0 0 184 14 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731870087720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31258] ppid=31247 vsize=3024420 CPUtime=1.77 cores=1,3,5,7
/proc/31249/task/31258/stat : 31258 (java) S 31247 31249 30888 0 -1 4202560 435 0 0 0 165 12 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731869034664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31259] ppid=31247 vsize=3024420 CPUtime=2 cores=1,3,5,7
/proc/31249/task/31259/stat : 31259 (java) S 31247 31249 30888 0 -1 4202560 460 0 0 0 186 14 0 0 20 0 19 0 337816275 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731867982120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31260] ppid=31247 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/31249/task/31260/stat : 31260 (java) R 31247 31249 30888 0 -1 4202560 86 0 0 0 130 3 0 0 20 0 19 0 337816276 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731385943696 139732016644168 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31261] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31261/stat : 31261 (java) S 31247 31249 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731384891256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31262] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31262/stat : 31262 (java) S 31247 31249 30888 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731383838088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31263] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31263/stat : 31263 (java) S 31247 31249 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731382786376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31264] ppid=31247 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/31249/task/31264/stat : 31264 (java) S 31247 31249 30888 0 -1 4202560 8264 0 0 0 57 2 0 0 20 0 19 0 337816279 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731381733688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31265] ppid=31247 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/31249/task/31265/stat : 31265 (java) S 31247 31249 30888 0 -1 4202560 7948 0 0 0 60 2 0 0 20 0 19 0 337816279 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731380681144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31266] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31266/stat : 31266 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731379628280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31267] ppid=31247 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/31249/task/31267/stat : 31267 (java) S 31247 31249 30888 0 -1 4202560 104 0 0 0 41 47 0 0 20 0 19 0 337816279 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731378575944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31386] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31386/stat : 31386 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337979739 3097006080 415278 33554432000 1073741824 1073778376 140734796808400 139731376444456 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 3024420
[startup+1787 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 31388
/proc/meminfo: memFree=28112636/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=3024420 CPUtime=1801.04 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 24606 0 1 0 179881 223 0 0 20 0 19 0 337816272 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 756105 415279 2291 9 0 746526 0
[pid=31249/tid=31251] ppid=31247 vsize=3024420 CPUtime=1776.11 cores=1,3,5,7
/proc/31249/task/31251/stat : 31251 (java) S 31247 31249 30888 0 -1 4202560 3291 0 1 0 177576 35 0 0 20 0 19 0 337816274 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139732010134856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=3024420 CPUtime=1.89 cores=1,3,5,7
/proc/31249/task/31252/stat : 31252 (java) S 31247 31249 30888 0 -1 4202560 461 0 0 0 176 13 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731875351464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31253] ppid=31247 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/31249/task/31253/stat : 31253 (java) S 31247 31249 30888 0 -1 4202560 452 0 0 0 181 14 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731874298920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31254] ppid=31247 vsize=3024420 CPUtime=1.85 cores=1,3,5,7
/proc/31249/task/31254/stat : 31254 (java) S 31247 31249 30888 0 -1 4202560 466 0 0 0 169 16 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731873245864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31255] ppid=31247 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/31249/task/31255/stat : 31255 (java) S 31247 31249 30888 0 -1 4202560 449 0 0 0 173 18 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731872193320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31256] ppid=31247 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/31249/task/31256/stat : 31256 (java) S 31247 31249 30888 0 -1 4202560 484 0 0 0 176 15 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731871140264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31257] ppid=31247 vsize=3024420 CPUtime=1.98 cores=1,3,5,7
/proc/31249/task/31257/stat : 31257 (java) S 31247 31249 30888 0 -1 4202560 486 0 0 0 184 14 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731870087720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31258] ppid=31247 vsize=3024420 CPUtime=1.77 cores=1,3,5,7
/proc/31249/task/31258/stat : 31258 (java) S 31247 31249 30888 0 -1 4202560 435 0 0 0 165 12 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731869034664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31259] ppid=31247 vsize=3024420 CPUtime=2 cores=1,3,5,7
/proc/31249/task/31259/stat : 31259 (java) S 31247 31249 30888 0 -1 4202560 460 0 0 0 186 14 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731867982120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31260] ppid=31247 vsize=3024420 CPUtime=2.13 cores=1,3,5,7
/proc/31249/task/31260/stat : 31260 (java) R 31247 31249 30888 0 -1 4202560 87 0 0 0 210 3 0 0 20 0 19 0 337816276 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731385943696 139732011689304 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31261] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31261/stat : 31261 (java) S 31247 31249 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731384891256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31262] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31262/stat : 31262 (java) S 31247 31249 30888 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731383838088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31263] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31263/stat : 31263 (java) S 31247 31249 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731382786376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31264] ppid=31247 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/31249/task/31264/stat : 31264 (java) S 31247 31249 30888 0 -1 4202560 8264 0 0 0 57 2 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731381733688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31265] ppid=31247 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/31249/task/31265/stat : 31265 (java) S 31247 31249 30888 0 -1 4202560 7948 0 0 0 60 2 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731380681144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31266] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31266/stat : 31266 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731379628280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31267] ppid=31247 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/31249/task/31267/stat : 31267 (java) S 31247 31249 30888 0 -1 4202560 104 0 0 0 41 47 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731378575944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31386] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31386/stat : 31386 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337979739 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731376444456 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 3024420
[startup+1787.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 31388
/proc/meminfo: memFree=28112636/32873844 swapFree=8656/8656
[pid=31249] ppid=31247 vsize=3024420 CPUtime=1801.24 cores=1,3,5,7
/proc/31249/stat : 31249 (java) S 31247 31249 30888 0 -1 4202496 24606 0 1 0 179901 223 0 0 20 0 19 0 337816272 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 140734796799536 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31249/statm: 756105 415279 2291 9 0 746526 0
[pid=31249/tid=31251] ppid=31247 vsize=3024420 CPUtime=1776.11 cores=1,3,5,7
/proc/31249/task/31251/stat : 31251 (java) S 31247 31249 30888 0 -1 4202560 3291 0 1 0 177576 35 0 0 20 0 19 0 337816274 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139732010134856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=3024420 CPUtime=1.89 cores=1,3,5,7
/proc/31249/task/31252/stat : 31252 (java) S 31247 31249 30888 0 -1 4202560 461 0 0 0 176 13 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731875351464 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31253] ppid=31247 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/31249/task/31253/stat : 31253 (java) S 31247 31249 30888 0 -1 4202560 452 0 0 0 181 14 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731874298920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31254] ppid=31247 vsize=3024420 CPUtime=1.85 cores=1,3,5,7
/proc/31249/task/31254/stat : 31254 (java) S 31247 31249 30888 0 -1 4202560 466 0 0 0 169 16 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731873245864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31255] ppid=31247 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/31249/task/31255/stat : 31255 (java) S 31247 31249 30888 0 -1 4202560 449 0 0 0 173 18 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731872193320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31256] ppid=31247 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/31249/task/31256/stat : 31256 (java) S 31247 31249 30888 0 -1 4202560 484 0 0 0 176 15 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731871140264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31257] ppid=31247 vsize=3024420 CPUtime=1.98 cores=1,3,5,7
/proc/31249/task/31257/stat : 31257 (java) S 31247 31249 30888 0 -1 4202560 486 0 0 0 184 14 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731870087720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31258] ppid=31247 vsize=3024420 CPUtime=1.77 cores=1,3,5,7
/proc/31249/task/31258/stat : 31258 (java) S 31247 31249 30888 0 -1 4202560 435 0 0 0 165 12 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731869034664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31259] ppid=31247 vsize=3024420 CPUtime=2 cores=1,3,5,7
/proc/31249/task/31259/stat : 31259 (java) S 31247 31249 30888 0 -1 4202560 460 0 0 0 186 14 0 0 20 0 19 0 337816275 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731867982120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31260] ppid=31247 vsize=3024420 CPUtime=2.33 cores=1,3,5,7
/proc/31249/task/31260/stat : 31260 (java) R 31247 31249 30888 0 -1 4202560 87 0 0 0 230 3 0 0 20 0 19 0 337816276 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731385943696 139732016991976 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31261] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31261/stat : 31261 (java) S 31247 31249 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731384891256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31249/tid=31262] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31262/stat : 31262 (java) S 31247 31249 30888 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 337816277 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731383838088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31263] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31263/stat : 31263 (java) S 31247 31249 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731382786376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31264] ppid=31247 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/31249/task/31264/stat : 31264 (java) S 31247 31249 30888 0 -1 4202560 8264 0 0 0 57 2 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731381733688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31249/tid=31265] ppid=31247 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/31249/task/31265/stat : 31265 (java) S 31247 31249 30888 0 -1 4202560 7948 0 0 0 60 2 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731380681144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31266] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31266/stat : 31266 (java) S 31247 31249 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731379628280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31249/tid=31267] ppid=31247 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/31249/task/31267/stat : 31267 (java) S 31247 31249 30888 0 -1 4202560 104 0 0 0 41 47 0 0 20 0 19 0 337816279 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731378575944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31249/tid=31386] ppid=31247 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31249/task/31386/stat : 31386 (java) S 31247 31249 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337979739 3097006080 415279 33554432000 1073741824 1073778376 140734796808400 139731376444456 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.24
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31249 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=919282
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=181668
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1801.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1787.27
CPU time (s): 1801.24
CPU user time (s): 1799.01
CPU system time (s): 2.23
CPU usage (%): 100.782
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 2.18167
maximum resident set size= 1661236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24642
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39254
involuntary context switches= 32358
runsolver used 6.64999 second user time and 15.6936 second system time
The end