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 (15072 MiB free)
memory of node 1: 16384 MiB (15143 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273182-1502870696/watcher-4273182-1502870696 -o /tmp/evaluation-result-4273182-1502870696/solver-4273182-1502870696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502869858-14426 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1136640144 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273182-1502870696.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=14445, runsolver pid=14442
[startup+0.100394 s]*
/proc/loadavg: 1.00 1.03 1.22 3/200 14469
/proc/meminfo: memFree=30923728/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13573664 memory=16964 CPUtime=0.02 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 4153 0 0 0 2 0 0 0 20 0 9 0 40952197 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3393416 4241 2101 1 0 3382913 0
[pid=14445/tid=14457] ppid=14442 vsize=13573664 memory=-8774313645642428999 CPUtime=0.02 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 2788 0 0 0 2 0 0 0 20 0 9 0 40952205 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696501289192 139696497077021 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13573664 memory=4270431478482867305 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 40952206 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13573664 memory=140305944438400 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40952206 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40952206 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13573664 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40952206 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40952207 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 40952208 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696042469024 139696497063637 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 40952208 13899431936 4241 18446744073709551615 4194304 4196468 140725914789328 139696041415984 139696497063637 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16964 KiB
[startup+0.220087 s]*
/proc/loadavg: 1.00 1.03 1.22 3/214 14483
/proc/meminfo: memFree=30912460/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13975920 memory=30812 CPUtime=0.09 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 7036 0 0 0 8 1 0 0 20 0 15 0 40952197 14311342080 7703 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3493980 7703 3353 1 0 3482759 0
[pid=14445/tid=14457] ppid=14442 vsize=13975920 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 5113 0 0 0 7 1 0 0 20 0 15 0 40952205 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696501278528 139696489290558 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13975920 memory=4270431478482867305 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13975920 memory=140305944438400 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13975920 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952207 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40952208 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696042469024 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40952208 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696041415920 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) S 14442 14445 7968 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 40952210 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696039311600 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952210 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696038259056 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) R 14442 14445 7968 0 -1 4202560 295 0 0 0 1 0 0 0 20 0 15 0 40952210 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696475923030 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14481] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14481/stat : 14481 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696036153696 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14483] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14483/stat : 14483 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952217 14311342080 7768 18446744073709551615 4194304 4196468 140725914789328 139696035101744 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30812 KiB
[startup+0.314077 s]*
/proc/loadavg: 1.00 1.03 1.22 4/215 14484
/proc/meminfo: memFree=30888904/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13975920 memory=40132 CPUtime=0.24 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 10337 0 0 0 21 3 0 0 20 0 15 0 40952197 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3493980 10033 3493 1 0 3482759 0
[pid=14445/tid=14457] ppid=14442 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 8065 0 0 0 14 2 0 0 20 0 15 0 40952205 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696501276768 139696497065366 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13975920 memory=-7445115991795297412 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13975920 memory=-8195925453750481479 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13975920 memory=140305944445393 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13975920 memory=6225782721963582568 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40952207 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13975920 memory=6441388177652802915 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40952208 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696042469024 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40952208 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696041415920 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) S 14442 14445 7968 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 40952210 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696039311600 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) S 14442 14445 7968 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 40952210 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696038259056 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) R 14442 14445 7968 0 -1 4202560 384 0 0 0 4 0 0 0 20 0 15 0 40952210 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696475972350 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14481] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14481/stat : 14481 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696036153696 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14483] ppid=14442 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14483/stat : 14483 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952217 14311342080 10033 18446744073709551615 4194304 4196468 140725914789328 139696035101744 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40132 KiB
[startup+0.702283 s]
/proc/loadavg: 1.00 1.03 1.22 4/215 14484
/proc/meminfo: memFree=30865240/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13977988 memory=68020 CPUtime=0.94 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 13749 0 1 0 89 5 0 0 20 0 15 0 40952197 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3494497 17005 3722 1 0 3483271 0
[pid=14445/tid=14457] ppid=14442 vsize=13977988 memory=24272 CPUtime=0.53 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 10406 0 1 0 49 4 0 0 20 0 15 0 40952205 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696501286368 139696497075357 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13977988 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952206 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13977988 memory=9 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40952207 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13977988 memory=36 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40952208 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696042469024 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13977988 memory=2 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40952208 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696041415920 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13977988 memory=51036 CPUtime=0.09 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) S 14442 14445 7968 0 -1 1077944384 771 0 0 0 9 0 0 0 20 0 15 0 40952210 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696039311600 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13977988 memory=-8774313645642428999 CPUtime=0.09 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) S 14442 14445 7968 0 -1 1077944384 439 0 0 0 9 0 0 0 20 0 15 0 40952210 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696038259056 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13977988 memory=4126316290023845779 CPUtime=0.2 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) S 14442 14445 7968 0 -1 1077944384 749 0 0 0 20 0 0 0 20 0 15 0 40952210 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14481] ppid=14442 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14481/stat : 14481 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696036153696 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14483] ppid=14442 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14483/stat : 14483 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952217 14313459712 17005 18446744073709551615 4194304 4196468 140725914789328 139696035101744 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68020 KiB
[startup+1.50111 s]
/proc/loadavg: 1.00 1.03 1.22 4/215 14484
/proc/meminfo: memFree=30791156/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13982084 memory=141060 CPUtime=3.13 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 27720 0 1 0 304 9 0 0 20 0 15 0 40952197 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3495521 35265 3762 1 0 3484295 0
[pid=14445/tid=14457] ppid=14442 vsize=13982084 memory=66385162013172 CPUtime=1.32 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 14906 0 1 0 126 6 0 0 20 0 15 0 40952205 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696501289936 139696116508442 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13982084 memory=66385162013172 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40952206 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13982084 memory=-7522837415797432223 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13982084 memory=-7384994774051102368 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40952206 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13982084 memory=7682744562830902035 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 40952207 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13982084 memory=-9001733975035373671 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696042469024 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13982084 memory=140305844283584 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696041415920 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13982084 memory=5520 CPUtime=0.56 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) R 14442 14445 7968 0 -1 4202560 3099 0 0 0 56 0 0 0 20 0 15 0 40952210 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696039297624 139696481933635 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13982084 memory=4612 CPUtime=0.6 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) R 14442 14445 7968 0 -1 4202560 2470 0 0 0 60 0 0 0 20 0 15 0 40952210 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696038248528 139696478574822 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13982084 memory=792 CPUtime=0.6 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) R 14442 14445 7968 0 -1 4202560 5846 0 0 0 59 1 0 0 20 0 15 0 40952210 14317654016 35265 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696481133918 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
################
# More data... #
################
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 87301 0 1 0 235469 52 0 0 20 0 15 0 40952205 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696501291888 139696116381107 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13982084 memory=308988 CPUtime=15.59 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 12882 0 0 0 1487 72 0 0 20 0 15 0 40952206 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13982084 memory=280611689221344 CPUtime=15.6 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 11839 0 0 0 1484 76 0 0 20 0 15 0 40952206 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13982084 memory=309584 CPUtime=15.58 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 13005 0 0 0 1483 75 0 0 20 0 15 0 40952206 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13982084 memory=306504 CPUtime=15.61 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 13313 0 0 0 1487 74 0 0 20 0 15 0 40952206 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13982084 memory=311636 CPUtime=7.39 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 13445 0 0 0 665 74 0 0 20 0 15 0 40952207 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13982084 memory=305036 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696042469088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13982084 memory=304012 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696041415936 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13982084 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13982084 memory=4124 CPUtime=2.07 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) S 14442 14445 7968 0 -1 1077944384 14373 0 0 0 205 2 0 0 20 0 15 0 40952210 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696039311600 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13982084 memory=316376 CPUtime=2.58 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) S 14442 14445 7968 0 -1 1077944384 14397 0 0 0 257 1 0 0 20 0 15 0 40952210 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696038259056 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13982084 memory=311080 CPUtime=0.89 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) S 14442 14445 7968 0 -1 1077944384 12807 0 0 0 87 2 0 0 20 0 15 0 40952210 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14481] ppid=14442 vsize=13982084 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14481/stat : 14481 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696036153696 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14483] ppid=14442 vsize=13982084 memory=304524 CPUtime=1.43 cores=1,3,5,7
/proc/14445/task/14483/stat : 14483 (java) S 14442 14445 7968 0 -1 1077944384 976 0 0 0 59 84 0 0 20 0 15 0 40952217 14317654016 76003 18446744073709551615 4194304 4196468 140725914789328 139696035101744 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 2432.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 304012 KiB
[startup+2442.3 s]
/proc/loadavg: 1.11 1.25 1.32 3/214 14732
/proc/meminfo: memFree=30200148/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13982084 memory=300608 CPUtime=2493.16 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 202794 0 1 0 248862 454 0 0 20 0 15 0 40952197 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3495521 75152 3832 1 0 3484295 0
[pid=14445/tid=14457] ppid=14442 vsize=13982084 memory=309328 CPUtime=2414.49 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 89891 0 1 0 241396 53 0 0 20 0 15 0 40952205 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696501291840 139696118877001 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13982084 memory=311892 CPUtime=15.99 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 13471 0 0 0 1526 73 0 0 20 0 15 0 40952206 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13982084 memory=316768 CPUtime=16 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 12354 0 0 0 1522 78 0 0 20 0 15 0 40952206 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13982084 memory=307788 CPUtime=15.97 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 13653 0 0 0 1521 76 0 0 20 0 15 0 40952206 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13982084 memory=306252 CPUtime=16 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 13900 0 0 0 1524 76 0 0 20 0 15 0 40952206 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13982084 memory=302660 CPUtime=7.6 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 15514 0 0 0 684 76 0 0 20 0 15 0 40952207 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13982084 memory=305736 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696042469088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13982084 memory=301632 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696041415936 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13982084 memory=301120 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13982084 memory=302148 CPUtime=2.07 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) S 14442 14445 7968 0 -1 1077944384 14375 0 0 0 205 2 0 0 20 0 15 0 40952210 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696039311600 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13982084 memory=321704 CPUtime=2.58 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) S 14442 14445 7968 0 -1 1077944384 14399 0 0 0 257 1 0 0 20 0 15 0 40952210 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696038259056 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13982084 memory=302148 CPUtime=0.89 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) S 14442 14445 7968 0 -1 1077944384 12810 0 0 0 87 2 0 0 20 0 15 0 40952210 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14481] ppid=14442 vsize=13982084 memory=301632 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14481/stat : 14481 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696036153696 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14483] ppid=14442 vsize=13982084 memory=301120 CPUtime=1.46 cores=1,3,5,7
/proc/14445/task/14483/stat : 14483 (java) S 14442 14445 7968 0 -1 1077944384 991 0 0 0 61 85 0 0 20 0 15 0 40952217 14317654016 75152 18446744073709551615 4194304 4196468 140725914789328 139696035101744 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 2493.16 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 300608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.7 s]
/proc/loadavg: 0.96 1.20 1.30 3/191 14788
/proc/meminfo: memFree=30634692/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13982084 memory=318084 CPUtime=2520.04 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 207511 0 1 0 251544 460 0 0 20 0 15 0 40952197 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3495521 79521 3832 1 0 3484295 0
[pid=14445/tid=14457] ppid=14442 vsize=13982084 memory=317572 CPUtime=2440.6 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 93255 0 1 0 244006 54 0 0 20 0 15 0 40952205 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696501291888 139696118876976 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13982084 memory=319112 CPUtime=16.16 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 13778 0 0 0 1542 74 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13982084 memory=316140 CPUtime=16.17 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 12681 0 0 0 1538 79 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13982084 memory=318096 CPUtime=16.14 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 13982 0 0 0 1536 78 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13982084 memory=318088 CPUtime=16.17 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 14247 0 0 0 1540 77 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13982084 memory=316792 CPUtime=7.69 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 15555 0 0 0 692 77 0 0 20 0 15 0 40952207 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13982084 memory=319108 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696042469088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13982084 memory=317572 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696041415936 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13982084 memory=317580 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13982084 memory=317580 CPUtime=2.07 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) S 14442 14445 7968 0 -1 1077944384 14375 0 0 0 205 2 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696039311600 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13982084 memory=305036 CPUtime=2.58 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) S 14442 14445 7968 0 -1 1077944384 14399 0 0 0 257 1 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696038259056 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13982084 memory=308556 CPUtime=0.89 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) S 14442 14445 7968 0 -1 1077944384 12810 0 0 0 87 2 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14481] ppid=14442 vsize=13982084 memory=318596 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14481/stat : 14481 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696036153696 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14483] ppid=14442 vsize=13982084 memory=318088 CPUtime=1.48 cores=1,3,5,7
/proc/14445/task/14483/stat : 14483 (java) S 14442 14445 7968 0 -1 1077944384 993 0 0 0 62 86 0 0 20 0 15 0 40952217 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696035101744 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 318084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.72 s]
# the end of solver process 14445 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.45 s, system=4.60813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.7 s]
/proc/loadavg: 0.96 1.20 1.30 3/191 14788
/proc/meminfo: memFree=30634692/32770624 swapFree=67108860/67108860
[pid=14445] ppid=14442 vsize=13982084 memory=318084 CPUtime=2520.04 cores=1,3,5,7
/proc/14445/stat : 14445 (java) S 14442 14445 7968 0 -1 1077944320 207511 0 1 0 251544 460 0 0 20 0 15 0 40952197 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 140725914771872 139696497053431 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
/proc/14445/statm: 3495521 79521 3832 1 0 3484295 0
[pid=14445/tid=14457] ppid=14442 vsize=13982084 memory=317572 CPUtime=2440.6 cores=1,3,5,7
/proc/14445/task/14457/stat : 14457 (java) R 14442 14445 7968 0 -1 4202560 93255 0 1 0 244006 54 0 0 20 0 15 0 40952205 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696501291888 139696118876976 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14459] ppid=14442 vsize=13982084 memory=319112 CPUtime=16.16 cores=1,3,5,7
/proc/14445/task/14459/stat : 14459 (java) S 14442 14445 7968 0 -1 1077944384 13778 0 0 0 1542 74 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696431487504 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14461] ppid=14442 vsize=13982084 memory=316140 CPUtime=16.17 cores=1,3,5,7
/proc/14445/task/14461/stat : 14461 (java) S 14442 14445 7968 0 -1 1077944384 12681 0 0 0 1538 79 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696430434960 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14463] ppid=14442 vsize=13982084 memory=318096 CPUtime=16.14 cores=1,3,5,7
/proc/14445/task/14463/stat : 14463 (java) S 14442 14445 7968 0 -1 1077944384 13982 0 0 0 1536 78 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696094755088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14465] ppid=14442 vsize=13982084 memory=318088 CPUtime=16.17 cores=1,3,5,7
/proc/14445/task/14465/stat : 14465 (java) S 14442 14445 7968 0 -1 1077944384 14247 0 0 0 1540 77 0 0 20 0 15 0 40952206 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696093702544 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14467] ppid=14442 vsize=13982084 memory=316792 CPUtime=7.69 cores=1,3,5,7
/proc/14445/task/14467/stat : 14467 (java) S 14442 14445 7968 0 -1 1077944384 15555 0 0 0 692 77 0 0 20 0 15 0 40952207 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696043522800 139696497064578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14469] ppid=14442 vsize=13982084 memory=319108 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14469/stat : 14469 (java) S 14442 14445 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696042469088 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14471] ppid=14442 vsize=13982084 memory=317572 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14471/stat : 14471 (java) S 14442 14445 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40952208 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696041415936 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14473] ppid=14442 vsize=13982084 memory=317580 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14473/stat : 14473 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696040364496 139696497072027 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14474] ppid=14442 vsize=13982084 memory=317580 CPUtime=2.07 cores=1,3,5,7
/proc/14445/task/14474/stat : 14474 (java) S 14442 14445 7968 0 -1 1077944384 14375 0 0 0 205 2 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696039311600 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14475] ppid=14442 vsize=13982084 memory=305036 CPUtime=2.58 cores=1,3,5,7
/proc/14445/task/14475/stat : 14475 (java) S 14442 14445 7968 0 -1 1077944384 14399 0 0 0 257 1 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696038259056 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14476] ppid=14442 vsize=13982084 memory=308556 CPUtime=0.89 cores=1,3,5,7
/proc/14445/task/14476/stat : 14476 (java) S 14442 14445 7968 0 -1 1077944384 12810 0 0 0 87 2 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696037206000 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14481] ppid=14442 vsize=13982084 memory=318596 CPUtime=0 cores=1,3,5,7
/proc/14445/task/14481/stat : 14481 (java) S 14442 14445 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40952210 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696036153696 139696497063637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
[pid=14445/tid=14483] ppid=14442 vsize=13982084 memory=318088 CPUtime=1.48 cores=1,3,5,7
/proc/14445/task/14483/stat : 14483 (java) S 14442 14445 7968 0 -1 1077944384 993 0 0 0 62 86 0 0 20 0 15 0 40952217 14317654016 79521 18446744073709551615 4194304 4196468 140725914789328 139696035101744 139696497064578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27656192 140725914796405 140725914796586 140725914796586 140725914800079 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 318084 KiB
Child status: 143
Real time (s): 2468.72
CPU time (s): 2520.06
CPU user time (s): 2515.45
CPU system time (s): 4.60813
CPU usage (%): 102.08
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 799560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.45
system time used= 4.60813
maximum resident set size= 799560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207798
page faults= 1
swaps= 0
block input operations= 1272
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254548
involuntary context switches= 8177
# summary of solver processes directly reported to runsolver:
# pid: 14445
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.45
# total CPU system time (s): 4.60813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.619 second user time and 23.56 second system time
The end