runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12161 MiB free)
memory of node 1: 16384 MiB (14359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302165-1532888001/watcher-4302165-1532888001 -o /tmp/evaluation-result-4302165-1532888001/solver-4302165-1532888001 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302165-1532888001.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21397, runsolver pid=21394
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 5.40 3.27 2.65 7/216 21412
/proc/meminfo: memFree=27063148/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10659012 memory=30876 CPUtime=0.13 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 6780 0 0 0 11 2 0 0 20 0 15 0 106363267 10914828288 7719 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2664753 7719 2820 1 0 2627263 0
[pid=21397/tid=21399] ppid=21394 vsize=10659012 memory=-8773748148830375291 CPUtime=0.09 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) R 21394 21397 13514 0 -1 4202560 4621 0 0 0 8 1 0 0 20 0 15 0 106363268 10914828288 7719 33554432000 4194304 4196468 140730438484272 140044386711408 140044382518678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 7719 33554432000 4194304 4196468 140730438484272 140044324510224 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10659012 memory=139880118089344 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 7719 33554432000 4194304 4196468 140730438484272 140044323457680 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 7719 33554432000 4194304 4196468 140730438484272 140044322404624 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) S 21394 21397 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043986196880 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10659012 memory=139880118089344 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106363270 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043942296304 140044382517890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106363270 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043941242528 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043939138000 140044382525339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) S 21394 21397 13514 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043938085104 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043937032560 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10659012 memory=139880118089344 CPUtime=0.01 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) R 21394 21397 13514 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 106363273 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043935979504 140044382518678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10659012 memory=139880118089344 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 7719 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30876 KiB
[startup+0.210711 s]*
/proc/loadavg: 5.40 3.27 2.65 4/216 21412
/proc/meminfo: memFree=27035472/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10659012 memory=41888 CPUtime=0.33 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 8088 0 0 0 30 3 0 0 20 0 15 0 106363267 10914828288 10472 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2664753 10472 3007 1 0 2627263 0
[pid=21397/tid=21399] ppid=21394 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) R 21394 21397 13514 0 -1 4202560 5024 0 0 0 18 2 0 0 20 0 15 0 106363268 10914828288 10472 33554432000 4194304 4196468 140730438484272 140044386741936 140044382518678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10659012 memory=339 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 10472 33554432000 4194304 4196468 140730438484272 140044324510224 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10659012 memory=288370256269801088 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 10472 33554432000 4194304 4196468 140730438484272 140044323457680 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 10472 33554432000 4194304 4196468 140730438484272 140044322404624 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) S 21394 21397 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106363269 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043986196880 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10659012 memory=139880118089344 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106363270 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043942296304 140044382517890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106363270 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043941242528 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043939138000 140044382525339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) S 21394 21397 13514 0 -1 1077944384 745 0 0 0 2 0 0 0 20 0 15 0 106363273 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043938085104 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) S 21394 21397 13514 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 106363273 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043937032560 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10659012 memory=139880118089344 CPUtime=0.07 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) R 21394 21397 13514 0 -1 4202560 716 0 0 0 7 0 0 0 20 0 15 0 106363273 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043935979504 140044361425238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10659012 memory=139880118089344 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363273 10914828288 10472 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41888 KiB
[startup+0.311504 s]*
/proc/loadavg: 5.40 3.27 2.65 5/216 21412
/proc/meminfo: memFree=27022220/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10659088 memory=53276 CPUtime=0.59 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 9927 0 0 0 56 3 0 0 20 0 15 0 106363267 10914906112 13319 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2664772 13319 3071 1 0 2627263 0
[pid=21397/tid=21399] ppid=21394 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) R 21394 21397 13514 0 -1 4202560 5594 0 0 0 28 2 0 0 20 0 15 0 106363268 10914906112 13319 33554432000 4194304 4196468 140730438484272 140044386741456 140044382528669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10659088 memory=4294977826 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 13319 33554432000 4194304 4196468 140730438484272 140044324510224 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10659088 memory=288370256269801088 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 13319 33554432000 4194304 4196468 140730438484272 140044323457680 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 13319 33554432000 4194304 4196468 140730438484272 140044322404624 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) S 21394 21397 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043986196880 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10659088 memory=139880118089344 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106363270 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043942296304 140044382517890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106363270 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043941242528 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043939138000 140044382525339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10659088 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) R 21394 21397 13514 0 -1 4202560 1306 0 0 0 8 0 0 0 20 0 15 0 106363273 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043938066120 140044360523735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) R 21394 21397 13514 0 -1 4202560 671 0 0 0 7 0 0 0 20 0 15 0 106363273 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043937018440 140044375603456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10659088 memory=139880118089344 CPUtime=0.12 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) R 21394 21397 13514 0 -1 1077944384 987 0 0 0 12 0 0 0 20 0 15 0 106363273 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043935979504 140044382517890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10659088 memory=139880118089344 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363273 10914906112 13319 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 53276 KiB
[startup+0.701818 s]
/proc/loadavg: 5.40 3.27 2.65 6/216 21412
/proc/meminfo: memFree=26982932/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10659088 memory=194320 CPUtime=1.92 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 12659 0 0 0 186 6 0 0 20 0 15 0 106363267 10914906112 48580 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2664772 48580 3128 1 0 2627263 0
[pid=21397/tid=21399] ppid=21394 vsize=10659088 memory=231809451321083 CPUtime=0.66 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) R 21394 21397 13514 0 -1 4202560 6020 0 0 0 62 4 0 0 20 0 15 0 106363268 10914906112 48580 33554432000 4194304 4196468 140730438484272 140044386741360 140044003905188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10659088 memory=605488 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) S 21394 21397 13514 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 48580 33554432000 4194304 4196468 140730438484272 140044324510224 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) S 21394 21397 13514 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 48580 33554432000 4194304 4196468 140730438484272 140044323457680 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) S 21394 21397 13514 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 48580 33554432000 4194304 4196468 140730438484272 140044322404624 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10659088 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) S 21394 21397 13514 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 106363269 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043986196880 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106363270 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043942296304 140044382517890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10659088 memory=-3535359994705171299 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106363270 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043941242528 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043939138000 140044382525339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10659088 memory=6656426216303648864 CPUtime=0.44 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) R 21394 21397 13514 0 -1 1077944384 1726 0 0 0 44 0 0 0 20 0 15 0 106363273 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043938076560 140044382516949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10659088 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) R 21394 21397 13514 0 -1 4202560 1654 0 0 0 44 0 0 0 20 0 15 0 106363273 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043937020112 140044382520625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10659088 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) R 21394 21397 13514 0 -1 4202560 1766 0 0 0 32 0 0 0 20 0 15 0 106363273 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043935979504 140044382518678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10659088 memory=12708 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106363273 10914906112 48580 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 194320 KiB
[startup+1.50147 s]
/proc/loadavg: 5.40 3.27 2.65 7/216 21412
/proc/meminfo: memFree=26517084/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10659088 memory=513276 CPUtime=4.28 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 13851 0 0 0 397 31 0 0 20 0 15 0 106363267 10914906112 128319 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2664772 128319 3146 1 0 2627263 0
[pid=21397/tid=21399] ppid=21394 vsize=10659088 memory=10757 CPUtime=1.21 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) S 21394 21397 13514 0 -1 1077944384 6122 0 0 0 115 6 0 0 20 0 15 0 106363268 10914906112 128319 33554432000 4194304 4196468 140730438484272 140044386743056 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10659088 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) R 21394 21397 13514 0 -1 4202560 219 0 0 0 18 5 0 0 20 0 15 0 106363269 10914906112 128319 33554432000 4194304 4196468 140730438484272 140044324510224 140044367528864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10659088 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) R 21394 21397 13514 0 -1 4202560 112 0 0 0 15 5 0 0 20 0 15 0 106363269 10914906112 128319 33554432000 4194304 4196468 140730438484272 140044323457880 140044367528871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10659088 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) R 21394 21397 13514 0 -1 4202560 184 0 0 0 16 5 0 0 20 0 15 0 106363269 10914906112 128319 33554432000 4194304 4196468 140730438484272 140044322404512 140044367528864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10659088 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) R 21394 21397 13514 0 -1 4202560 192 0 0 0 17 5 0 0 20 0 15 0 106363269 10914906112 128319 33554432000 4194304 4196468 140730438484272 140043986196880 140044367528864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 106363270 10914906112 128319 33554432000 4194304 4196468 140730438484272 140043942294816 140044382516949 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
################
# More data... #
################
/proc/21397/statm: 2697540 2112849 3177 1 0 2660031 0
[pid=21397/tid=21399] ppid=21394 vsize=10790160 memory=288230617509003574 CPUtime=13.41 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) S 21394 21397 13514 0 -1 1077944384 14178 0 0 0 1330 11 0 0 20 0 15 0 106363268 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044386744160 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10790160 memory=13847486485760432 CPUtime=55.85 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) R 21394 21397 13514 0 -1 4202560 20623 0 0 0 5436 149 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044324510424 140044367204495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10790160 memory=1172 CPUtime=55.56 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) R 21394 21397 13514 0 -1 4202560 23969 0 0 0 5403 153 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044323457576 140044375134951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10790160 memory=1968 CPUtime=56 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) R 21394 21397 13514 0 -1 4202560 37296 0 0 0 5445 155 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044322404208 140044375134951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10790160 memory=1572 CPUtime=55.66 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) R 21394 21397 13514 0 -1 4202560 43360 0 0 0 5397 169 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043986197080 140044364103258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10790160 memory=924 CPUtime=12.02 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 28431 0 0 0 1200 2 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043942294624 140044382516949 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10790160 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043941242592 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10790160 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10790160 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043939138000 140044382525339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10790160 memory=7528 CPUtime=1.22 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) S 21394 21397 13514 0 -1 1077944384 5185 0 0 0 122 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043938085104 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10790160 memory=804 CPUtime=1.81 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) S 21394 21397 13514 0 -1 1077944384 13927 0 0 0 180 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043937032560 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10790160 memory=1696 CPUtime=0.4 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) S 21394 21397 13514 0 -1 1077944384 2221 0 0 0 40 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043935979504 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10790160 memory=916 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10790160 memory=2948 CPUtime=0.03 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 130 0 0 0 2 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10790160 KiB
Current children cumulated memory: 8451396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+84.2505 s]
# the end of solver process 21397 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.439 s, system=6.53122 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2007 s]
/proc/loadavg: 6.49 4.12 3.00 6/216 21488
/proc/meminfo: memFree=17497564/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10790160 memory=8451396 CPUtime=255.99 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 191250 0 0 0 24951 648 0 0 20 0 15 0 106363267 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2697540 2112849 3177 1 0 2660031 0
[pid=21397/tid=21399] ppid=21394 vsize=10790160 memory=8451396 CPUtime=13.41 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) S 21394 21397 13514 0 -1 1077944384 14178 0 0 0 1330 11 0 0 20 0 15 0 106363268 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044386744160 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10790160 memory=279759944013920 CPUtime=56.85 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) R 21394 21397 13514 0 -1 4202560 20852 0 0 0 5536 149 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044324510424 140044367204518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10790160 memory=279759942582512 CPUtime=56.51 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) R 21394 21397 13514 0 -1 4202560 23969 0 0 0 5497 154 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044323457576 140044375134951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10790160 memory=6791534058613427641 CPUtime=56.97 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) R 21394 21397 13514 0 -1 4202560 37296 0 0 0 5541 156 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044322404208 140044375134951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10790160 memory=1172 CPUtime=56.66 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) R 21394 21397 13514 0 -1 4202560 43697 0 0 0 5497 169 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043986197080 140044366961500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10790160 memory=1812 CPUtime=12.02 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 28431 0 0 0 1200 2 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043942294624 140044382516949 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10790160 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043941242592 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10790160 memory=8451396 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10790160 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043939137648 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10790160 memory=5571041044293626465 CPUtime=1.22 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) S 21394 21397 13514 0 -1 1077944384 5185 0 0 0 122 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043938085104 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10790160 memory=8514701219781834910 CPUtime=1.81 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) S 21394 21397 13514 0 -1 1077944384 13927 0 0 0 180 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043937032560 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10790160 memory=8451372 CPUtime=0.4 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) S 21394 21397 13514 0 -1 1077944384 2221 0 0 0 40 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043935979504 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10790160 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10790160 memory=1572 CPUtime=0.03 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 130 0 0 0 2 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 255.99 s
Current children cumulated vsize: 10790160 KiB
Current children cumulated memory: 8451396 KiB
[startup+84.0006 s]*
/proc/loadavg: 6.49 4.12 3.00 6/216 21488
/proc/meminfo: memFree=17386168/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10790160 memory=8451396 CPUtime=259.15 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 191278 0 0 0 25267 648 0 0 20 0 15 0 106363267 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2697540 2112849 3177 1 0 2660031 0
[pid=21397/tid=21399] ppid=21394 vsize=10790160 memory=6791534058613427641 CPUtime=13.41 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) S 21394 21397 13514 0 -1 1077944384 14178 0 0 0 1330 11 0 0 20 0 15 0 106363268 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044386744160 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10790160 memory=4126316290023845779 CPUtime=57.66 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) R 21394 21397 13514 0 -1 4202560 20854 0 0 0 5617 149 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044324510424 140044367204495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10790160 memory=804 CPUtime=57.28 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) R 21394 21397 13514 0 -1 4202560 23969 0 0 0 5574 154 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044323457576 140044375134951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10790160 memory=1696 CPUtime=57.75 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) R 21394 21397 13514 0 -1 4202560 37296 0 0 0 5619 156 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044322404208 140044375134951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10790160 memory=916 CPUtime=57.47 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) R 21394 21397 13514 0 -1 4202560 43723 0 0 0 5578 169 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043986197080 140044367457870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10790160 memory=33 CPUtime=12.02 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 28431 0 0 0 1200 2 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043942294624 140044382516949 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10790160 memory=7811614964889703013 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043941242592 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10790160 memory=7525071051132396884 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10790160 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043939137648 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10790160 memory=7590653788767086698 CPUtime=1.22 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) S 21394 21397 13514 0 -1 1077944384 5185 0 0 0 122 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043938085104 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10790160 memory=7812147034716793201 CPUtime=1.81 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) S 21394 21397 13514 0 -1 1077944384 13927 0 0 0 180 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043937032560 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10790160 memory=7440056984007045732 CPUtime=0.4 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) S 21394 21397 13514 0 -1 1077944384 2221 0 0 0 40 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043935979504 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10790160 memory=7451584276780771175 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10790160 memory=7309454815259678313 CPUtime=0.03 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 130 0 0 0 2 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 259.15 s
Current children cumulated vsize: 10790160 KiB
Current children cumulated memory: 8451396 KiB
[startup+84.2007 s]
/proc/loadavg: 6.49 4.12 3.00 6/216 21488
/proc/meminfo: memFree=17386168/32770624 swapFree=67108860/67108860
[pid=21397] ppid=21394 vsize=10790160 memory=8451396 CPUtime=259.89 cores=0,2,4,6
/proc/21397/stat : 21397 (java) S 21394 21397 13514 0 -1 1077944320 191278 0 0 0 25341 648 0 0 20 0 15 0 106363267 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140730438466816 140044382506743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
/proc/21397/statm: 2697540 2112849 3177 1 0 2660031 0
[pid=21397/tid=21399] ppid=21394 vsize=10790160 memory=7885638464243525736 CPUtime=13.41 cores=0,2,4,6
/proc/21397/task/21399/stat : 21399 (java) S 21394 21397 13514 0 -1 1077944384 14178 0 0 0 1330 11 0 0 20 0 15 0 106363268 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044386744160 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21400] ppid=21394 vsize=10790160 memory=6010722641473202281 CPUtime=57.85 cores=0,2,4,6
/proc/21397/task/21400/stat : 21400 (java) R 21394 21397 13514 0 -1 4202560 20854 0 0 0 5636 149 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044324510424 140044367204382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21401] ppid=21394 vsize=10790160 memory=6010722641473202281 CPUtime=57.46 cores=0,2,4,6
/proc/21397/task/21401/stat : 21401 (java) R 21394 21397 13514 0 -1 4202560 23969 0 0 0 5592 154 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044323457576 140044375134951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21402] ppid=21394 vsize=10790160 memory=6010722641473202281 CPUtime=57.93 cores=0,2,4,6
/proc/21397/task/21402/stat : 21402 (java) R 21394 21397 13514 0 -1 4202560 37296 0 0 0 5637 156 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140044322404208 140044375134951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21403] ppid=21394 vsize=10790160 memory=6010722641473202281 CPUtime=57.66 cores=0,2,4,6
/proc/21397/task/21403/stat : 21403 (java) R 21394 21397 13514 0 -1 4202560 43723 0 0 0 5597 169 0 0 20 0 15 0 106363269 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043986197080 140044367457736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21404] ppid=21394 vsize=10790160 memory=7668908243271312488 CPUtime=12.02 cores=0,2,4,6
/proc/21397/task/21404/stat : 21404 (java) S 21394 21397 13514 0 -1 1077944384 28431 0 0 0 1200 2 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043942294624 140044382516949 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21405] ppid=21394 vsize=10790160 memory=7667749246298778221 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21405/stat : 21405 (java) S 21394 21397 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106363270 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043941242592 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21406] ppid=21394 vsize=10790160 memory=7667749246298778221 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21406/stat : 21406 (java) S 21394 21397 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106363271 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043940189424 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21407] ppid=21394 vsize=10790160 memory=7595999519475787882 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21407/stat : 21407 (java) S 21394 21397 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043939137648 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21408] ppid=21394 vsize=10790160 memory=7235149819623925568 CPUtime=1.22 cores=0,2,4,6
/proc/21397/task/21408/stat : 21408 (java) S 21394 21397 13514 0 -1 1077944384 5185 0 0 0 122 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043938085104 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21409] ppid=21394 vsize=10790160 memory=7523946452769783908 CPUtime=1.81 cores=0,2,4,6
/proc/21397/task/21409/stat : 21409 (java) S 21394 21397 13514 0 -1 1077944384 13927 0 0 0 180 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043937032560 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21410] ppid=21394 vsize=10790160 memory=5792869827017140839 CPUtime=0.4 cores=0,2,4,6
/proc/21397/task/21410/stat : 21410 (java) S 21394 21397 13514 0 -1 1077944384 2221 0 0 0 40 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043935979504 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21411] ppid=21394 vsize=10790160 memory=7595999519475787882 CPUtime=0 cores=0,2,4,6
/proc/21397/task/21411/stat : 21411 (java) S 21394 21397 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043934927200 140044382516949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
[pid=21397/tid=21412] ppid=21394 vsize=10790160 memory=288230574492221466 CPUtime=0.03 cores=0,2,4,6
/proc/21397/task/21412/stat : 21412 (java) S 21394 21397 13514 0 -1 1077944384 130 0 0 0 2 1 0 0 20 0 15 0 106363273 11049123840 2112849 33554432000 4194304 4196468 140730438484272 140043933875248 140044382517890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18698240 140730438489206 140730438489358 140730438489358 140730438492111 0
Current children cumulated CPU time: 259.89 s
Current children cumulated vsize: 10790160 KiB
Current children cumulated memory: 8451396 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 84.2505
CPU time (s): 259.97
CPU user time (s): 253.439
CPU system time (s): 6.53122
CPU usage (%): 308.568
Max. virtual memory (cumulated for all children) (KiB): 10790160
Max. memory (cumulated for all children) (KiB): 8451396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.439
system time used= 6.53122
maximum resident set size= 8451648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7046
involuntary context switches= 4314
# summary of solver processes directly reported to runsolver:
# pid: 21397
# total CPU time (s): 259.97
# total CPU user time (s): 253.439
# total CPU system time (s): 6.53122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.498026 second user time and 0.867622 second system time
The end