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 (3209 MiB free)
memory of node 1: 16384 MiB (8133 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295763-1532595053/watcher-4295763-1532595053 -o /tmp/evaluation-result-4295763-1532595053/solver-4295763-1532595053 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532582651-32661 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=564187864 HOME/instance-4295763-1532595053.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=2489, runsolver pid=2486
[startup+0.100062 s]*
/proc/loadavg: 1.43 1.36 1.40 3/206 2546
/proc/meminfo: memFree=11609364/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=9972712 memory=16812 CPUtime=0.08 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 4348 12846 0 0 1 0 5 2 20 0 6 0 77068507 10212057088 4203 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2493178 4203 1934 1 0 2481616 0
[pid=2489/tid=2542] ppid=2486 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 2216 12846 0 0 1 0 5 2 20 0 6 0 77068516 10212057088 4269 33554432000 4194304 4196468 140723855575488 140367263392336 140367275636092 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 6 0 77068517 10212057088 4269 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=9972712 memory=140086989543040 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 6 0 77068517 10212057088 4269 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 6 0 77068517 10212057088 4269 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 6 0 77068517 10212057088 4269 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209886 s]*
/proc/loadavg: 1.43 1.36 1.40 3/215 2555
/proc/meminfo: memFree=11586848/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=10818856 memory=40596 CPUtime=0.25 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 8511 12846 0 0 17 1 5 2 20 0 15 0 77068507 11078508544 10149 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2704714 10149 2967 1 0 2667149 0
[pid=2489/tid=2542] ppid=2486 vsize=10818856 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 5033 12846 0 0 11 0 5 2 20 0 15 0 77068516 11078508544 10149 33554432000 4194304 4196468 140723855575488 140367263353232 140367273119152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10818856 memory=4294967638 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068517 11078508544 10149 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10818856 memory=288370463141254784 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068517 11078508544 10149 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068517 11078508544 10149 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068517 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10818856 memory=140086989543040 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068518 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 33 12846 0 0 0 0 5 2 20 0 15 0 77068519 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366360999072 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068519 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366107894512 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11078508544 10149 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 551 12846 0 0 1 0 5 2 20 0 15 0 77068522 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 68 12846 0 0 0 0 5 2 20 0 15 0 77068522 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10818856 memory=140086989543040 CPUtime=0.1 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) S 2486 2489 32629 0 -1 1077944384 622 12846 0 0 3 0 5 2 20 0 15 0 77068522 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366325336560 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11078508544 10149 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10818856 memory=140086989543040 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068522 11078508544 10149 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 40596 KiB
[startup+0.31037 s]*
/proc/loadavg: 1.43 1.36 1.40 3/215 2555
/proc/meminfo: memFree=11578040/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=10819352 memory=51936 CPUtime=0.38 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 10532 12846 0 0 29 2 5 2 20 0 15 0 77068507 11079016448 12984 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2704838 12984 3098 1 0 2667149 0
[pid=2489/tid=2542] ppid=2486 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 7059 12846 0 0 20 1 5 2 20 0 15 0 77068516 11079016448 12984 33554432000 4194304 4196468 140723855575488 140367263367584 140367291577501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10819352 memory=-7022969359889120089 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 12984 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10819352 memory=-7390251449858225344 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 12984 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 12984 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068518 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 33 12846 0 0 0 0 5 2 20 0 15 0 77068519 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366360999072 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068519 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366107894512 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11079016448 12984 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 553 12846 0 0 2 0 5 2 20 0 15 0 77068522 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 68 12846 0 0 1 0 5 2 20 0 15 0 77068522 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) R 2486 2489 32629 0 -1 4202560 627 12846 0 0 5 0 5 2 20 0 15 0 77068522 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366325336560 140367270944892 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11079016448 12984 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068522 11079016448 12984 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51936 KiB
[startup+0.700843 s]
/proc/loadavg: 1.43 1.36 1.40 3/215 2555
/proc/meminfo: memFree=11565916/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=10819352 memory=84740 CPUtime=0.99 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 16862 12846 0 0 88 4 5 2 20 0 15 0 77068507 11079016448 21185 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2704838 21185 3237 1 0 2667149 0
[pid=2489/tid=2542] ppid=2486 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 12397 12846 0 0 56 3 5 2 20 0 15 0 77068516 11079016448 21185 33554432000 4194304 4196468 140723855575488 140367263376400 140367271831456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 21185 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10819352 memory=8751464017575688501 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 21185 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10819352 memory=5787220424116168018 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 21185 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10819352 memory=7588675599774802240 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068517 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10819352 memory=2319389199337275488 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 5 12846 0 0 0 0 5 2 20 0 15 0 77068518 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 33 12846 0 0 0 0 5 2 20 0 15 0 77068519 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366360999072 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10819352 memory=140086989541873 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068519 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366107894512 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11079016448 21185 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10819352 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 1235 12846 0 0 11 0 5 2 20 0 15 0 77068522 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 293 12846 0 0 5 0 5 2 20 0 15 0 77068522 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) S 2486 2489 32629 0 -1 1077944384 697 12846 0 0 13 0 5 2 20 0 15 0 77068522 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366325336560 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11079016448 21185 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068522 11079016448 21185 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84740 KiB
[startup+1.50074 s]
/proc/loadavg: 1.43 1.36 1.40 3/215 2555
/proc/meminfo: memFree=11507188/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=10834252 memory=177800 CPUtime=2.35 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 24854 12846 0 0 219 9 5 2 20 0 15 0 77068507 11094274048 44450 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2708563 44450 3467 1 0 2670221 0
[pid=2489/tid=2542] ppid=2486 vsize=10834252 memory=2600 CPUtime=1.42 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 18224 12846 0 0 130 5 5 2 20 0 15 0 77068516 11094274048 44450 33554432000 4194304 4196468 140723855575488 140367263386976 140367291577501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10834252 memory=2600 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 27 12846 0 0 1 0 5 2 20 0 15 0 77068517 11094274048 44450 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10834252 memory=280173736115680 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 215 12846 0 0 1 0 5 2 20 0 15 0 77068517 11094274048 44450 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10834252 memory=7595436659801221223 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 30 12846 0 0 1 0 5 2 20 0 15 0 77068517 11094274048 44450 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 55 12846 0 0 1 0 5 2 20 0 15 0 77068517 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10834252 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 467 12846 0 0 1 0 5 2 20 0 15 0 77068518 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10834252 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 34 12846 0 0 0 0 5 2 20 0 15 0 77068519 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366360999136 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10834252 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 2 12846 0 0 0 0 5 2 20 0 15 0 77068519 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366107894528 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10834252 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11094274048 44450 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10834252 memory=6944656592387989600 CPUtime=0.32 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 1424 12846 0 0 25 0 5 2 20 0 15 0 77068522 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10834252 memory=280173736399632 CPUtime=0.27 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 740 12846 0 0 20 0 5 2 20 0 15 0 77068522 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10834252 memory=12806 CPUtime=0.43 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) S 2486 2489 32629 0 -1 1077944384 1441 12846 0 0 36 0 5 2 20 0 15 0 77068522 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366325336560 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10834252 memory=24385 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11094274048 44450 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1 12846 0 0 0 0 5 2 20 0 15 0 77068522 11094274048 44450 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 107561 12846 0 0 235638 55 5 2 20 0 15 0 77068516 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367263389440 140366879588908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10916192 memory=8112282956445269571 CPUtime=12.94 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 23819 12846 0 0 1225 62 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10916192 memory=960 CPUtime=12.92 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 16211 12846 0 0 1228 57 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10916192 memory=1115584 CPUtime=12.97 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 29869 12846 0 0 1228 62 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10916192 memory=1113536 CPUtime=12.93 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 24319 12846 0 0 1232 54 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10916192 memory=1113536 CPUtime=10.45 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 19124 12846 0 0 984 54 5 2 20 0 15 0 77068518 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 47 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366360999136 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 5 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366107894528 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10916192 memory=1115584 CPUtime=5.11 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 30226 12846 0 0 500 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10916192 memory=4128 CPUtime=4.56 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 27348 12846 0 0 447 2 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10916192 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) S 2486 2489 32629 0 -1 1077944384 20149 12846 0 0 212 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366325336560 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10916192 memory=8112282956445269571 CPUtime=1.41 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1631 12846 0 0 62 72 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 2432.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1115584 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.31 1.35 3/216 2654
/proc/meminfo: memFree=10300752/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=10916192 memory=1115584 CPUtime=2493.01 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 304199 12846 0 0 248917 377 5 2 20 0 15 0 77068507 11178180608 278896 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2729048 278896 3525 1 0 2690701 0
[pid=2489/tid=2542] ppid=2486 vsize=10916192 memory=1115584 CPUtime=2416.36 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 108389 12846 0 0 241573 56 5 2 20 0 15 0 77068516 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367263389648 140366879938368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.28 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 24177 12846 0 0 1258 63 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.25 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 16346 12846 0 0 1261 57 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.31 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 29892 12846 0 0 1261 63 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.26 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 24450 12846 0 0 1264 55 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10916192 memory=1115584 CPUtime=10.71 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 19322 12846 0 0 1008 56 5 2 20 0 15 0 77068518 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 47 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366360999136 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 5 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366107894528 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10916192 memory=1115584 CPUtime=5.11 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 30228 12846 0 0 500 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10916192 memory=1115584 CPUtime=4.56 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 27350 12846 0 0 447 2 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10916192 memory=1115584 CPUtime=2.23 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) S 2486 2489 32629 0 -1 1077944384 20151 12846 0 0 212 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366325336560 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10916192 memory=23008 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10916192 memory=1115584 CPUtime=1.44 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1648 12846 0 0 63 74 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 2493.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1115584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.9 s]
/proc/loadavg: 1.44 1.33 1.36 4/216 2782
/proc/meminfo: memFree=10518960/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=10916192 memory=1115584 CPUtime=2520.07 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 305500 12846 0 0 251620 380 5 2 20 0 15 0 77068507 11178180608 278896 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2729048 278896 3525 1 0 2690701 0
[pid=2489/tid=2542] ppid=2486 vsize=10916192 memory=1115584 CPUtime=2442.67 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 108900 12846 0 0 244204 56 5 2 20 0 15 0 77068516 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367263389648 140366880368692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.43 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 24238 12846 0 0 1273 63 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.41 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 16713 12846 0 0 1276 58 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10916192 memory=4128 CPUtime=13.45 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 29907 12846 0 0 1275 63 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.42 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 24583 12846 0 0 1279 56 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10916192 memory=1115584 CPUtime=10.83 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 19516 12846 0 0 1020 56 5 2 20 0 15 0 77068518 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 47 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366360999136 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 5 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366107894528 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10916192 memory=1115584 CPUtime=5.11 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 30231 12846 0 0 500 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10916192 memory=1115584 CPUtime=4.57 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 27352 12846 0 0 448 2 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10916192 memory=4128 CPUtime=2.23 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) S 2486 2489 32629 0 -1 1077944384 20153 12846 0 0 212 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366325336560 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10916192 memory=1228 CPUtime=1.46 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1661 12846 0 0 64 75 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1115584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.93 s]
# the end of solver process 2489 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.83969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.9 s]
/proc/loadavg: 1.44 1.33 1.36 4/216 2782
/proc/meminfo: memFree=10518960/32770624 swapFree=67108860/67108860
[pid=2489] ppid=2486 vsize=10916192 memory=1115584 CPUtime=2520.07 cores=1,3,5,7
/proc/2489/stat : 2489 (java) S 2486 2489 32629 0 -1 1077944320 305500 12846 0 0 251620 380 5 2 20 0 15 0 77068507 11178180608 278896 33554432000 4194304 4196468 140723855575488 140723855558032 140367291555575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
/proc/2489/statm: 2729048 278896 3525 1 0 2690701 0
[pid=2489/tid=2542] ppid=2486 vsize=10916192 memory=1115584 CPUtime=2442.67 cores=1,3,5,7
/proc/2489/task/2542/stat : 2542 (java) R 2486 2489 32629 0 -1 4202560 108900 12846 0 0 244204 56 5 2 20 0 15 0 77068516 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367263389648 140366880368692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2543] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.43 cores=1,3,5,7
/proc/2489/task/2543/stat : 2543 (java) S 2486 2489 32629 0 -1 1077944384 24238 12846 0 0 1273 63 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367295798288 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2544] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.41 cores=1,3,5,7
/proc/2489/task/2544/stat : 2544 (java) S 2486 2489 32629 0 -1 1077944384 16713 12846 0 0 1276 58 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367184071824 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2545] ppid=2486 vsize=10916192 memory=4128 CPUtime=13.45 cores=1,3,5,7
/proc/2489/task/2545/stat : 2545 (java) S 2486 2489 32629 0 -1 1077944384 29907 12846 0 0 1275 63 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140367183018768 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2546] ppid=2486 vsize=10916192 memory=1115584 CPUtime=13.42 cores=1,3,5,7
/proc/2489/task/2546/stat : 2546 (java) S 2486 2489 32629 0 -1 1077944384 24583 12846 0 0 1279 56 5 2 20 0 15 0 77068517 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366862871440 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2547] ppid=2486 vsize=10916192 memory=1115584 CPUtime=10.83 cores=1,3,5,7
/proc/2489/task/2547/stat : 2547 (java) S 2486 2489 32629 0 -1 1077944384 19516 12846 0 0 1020 56 5 2 20 0 15 0 77068518 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366362052848 140367291566722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2548] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2548/stat : 2548 (java) S 2486 2489 32629 0 -1 1077944384 47 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366360999136 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2549] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2549/stat : 2549 (java) S 2486 2489 32629 0 -1 1077944384 5 12846 0 0 0 0 5 2 20 0 15 0 77068519 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366107894528 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2550] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2550/stat : 2550 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365867603920 140367291574171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2551] ppid=2486 vsize=10916192 memory=1115584 CPUtime=5.11 cores=1,3,5,7
/proc/2489/task/2551/stat : 2551 (java) S 2486 2489 32629 0 -1 1077944384 30231 12846 0 0 500 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366327442160 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2552] ppid=2486 vsize=10916192 memory=1115584 CPUtime=4.57 cores=1,3,5,7
/proc/2489/task/2552/stat : 2552 (java) S 2486 2489 32629 0 -1 1077944384 27352 12846 0 0 448 2 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366326389616 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2553] ppid=2486 vsize=10916192 memory=4128 CPUtime=2.23 cores=1,3,5,7
/proc/2489/task/2553/stat : 2553 (java) S 2486 2489 32629 0 -1 1077944384 20153 12846 0 0 212 4 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366325336560 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2554] ppid=2486 vsize=10916192 memory=1115584 CPUtime=0.07 cores=1,3,5,7
/proc/2489/task/2554/stat : 2554 (java) S 2486 2489 32629 0 -1 1077944384 3 12846 0 0 0 0 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140365834046304 140367291565781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
[pid=2489/tid=2555] ppid=2486 vsize=10916192 memory=1228 CPUtime=1.46 cores=1,3,5,7
/proc/2489/task/2555/stat : 2555 (java) S 2486 2489 32629 0 -1 1077944384 1661 12846 0 0 64 75 5 2 20 0 15 0 77068522 11178180608 278896 33554432000 4194304 4196468 140723855575488 140366324283952 140367291566722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140723855579759 140723855582556 140723855582556 140723855585231 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1115584 KiB
Child status: 143
Real time (s): 2468.93
CPU time (s): 2520.12
CPU user time (s): 2516.28
CPU system time (s): 3.83969
CPU usage (%): 102.074
Max. virtual memory (cumulated for all children) (KiB): 10918900
Max. memory (cumulated for all children) (KiB): 1313908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.83969
maximum resident set size= 1316980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283081
involuntary context switches= 4845
# summary of solver processes directly reported to runsolver:
# pid: 2489
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.83969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1844 second user time and 23.955 second system time
The end