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 (15240 MiB free)
memory of node 1: 16384 MiB (14554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387408-1568303464/watcher-4387408-1568303464 -o /tmp/evaluation-result-4387408-1568303464/solver-4387408-1568303464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2060310206 HOME/instance-4387408-1568303464.xml
running on 4 cores: 0,2,4,6
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
solver pid=11496, runsolver pid=11493
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 1.22 1.36 1.38 3/217 11553
/proc/meminfo: memFree=30501356/32770624 swapFree=66920432/67108860
[pid=11496] ppid=11493 vsize=9972712 memory=17080 CPUtime=0.09 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 4544 13109 0 0 1 1 5 2 20 0 6 0 406602579 10212057088 4270 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2493178 4270 1935 1 0 2481616 0
[pid=11496/tid=11549] ppid=11493 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 2348 13109 0 0 1 0 5 2 20 0 6 0 406602588 10212057088 4336 33554432000 4194304 4196468 140721463090080 140643265925712 140643278169438 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 6 0 406602588 10212057088 4336 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=9972712 memory=140116626010984 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 6 0 406602588 10212057088 4336 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 6 0 406602588 10212057088 4336 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 6 0 406602588 10212057088 4336 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210014 s]*
/proc/loadavg: 1.22 1.36 1.38 3/226 11562
/proc/meminfo: memFree=30480032/32770624 swapFree=66920432/67108860
[pid=11496] ppid=11493 vsize=10818940 memory=43192 CPUtime=0.26 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 7099 13109 0 0 17 2 5 2 20 0 15 0 406602579 11078594560 10798 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2704735 10798 2982 1 0 2667149 0
[pid=11496/tid=11549] ppid=11493 vsize=10818940 memory=729618466009055537 CPUtime=0.19 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 3595 13109 0 0 11 1 5 2 20 0 15 0 406602588 11078594560 10798 33554432000 4194304 4196468 140721463090080 140643265918944 140643278169438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602588 11078594560 10798 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10818940 memory=140116626010984 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602588 11078594560 10798 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602588 11078594560 10798 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602588 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602590 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 13 13109 0 0 0 0 5 2 20 0 15 0 406602590 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642730632224 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602591 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642260870000 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11078594560 10798 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) S 11493 11496 5621 0 -1 1077944384 470 13109 0 0 0 0 5 2 20 0 15 0 406602593 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642819697520 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) S 11493 11496 5621 0 -1 1077944384 159 13109 0 0 1 0 5 2 20 0 15 0 406602593 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642818644720 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10818940 memory=140116625999488 CPUtime=0.1 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 646 13109 0 0 3 0 5 2 20 0 15 0 406602593 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11078594560 10798 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10818940 memory=140116625999488 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602594 11078594560 10798 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 43192 KiB
[startup+0.310272 s]*
/proc/loadavg: 1.22 1.36 1.38 3/226 11562
/proc/meminfo: memFree=30468148/32770624 swapFree=66920432/67108860
[pid=11496] ppid=11493 vsize=10820096 memory=54480 CPUtime=0.4 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 10716 13109 0 0 29 4 5 2 20 0 15 0 406602579 11079778304 13620 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2705024 13620 3233 1 0 2667149 0
[pid=11496/tid=11549] ppid=11493 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 7193 13109 0 0 19 3 5 2 20 0 15 0 406602588 11079778304 13620 33554432000 4194304 4196468 140721463090080 140643265910352 140642881733358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602588 11079778304 13620 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602588 11079778304 13620 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602588 11079778304 13620 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602588 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10820096 memory=140116625999487 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602590 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 13 13109 0 0 0 0 5 2 20 0 15 0 406602590 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642730632224 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602591 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642260870000 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11079778304 13620 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) S 11493 11496 5621 0 -1 1077944384 471 13109 0 0 1 0 5 2 20 0 15 0 406602593 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642819697520 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) S 11493 11496 5621 0 -1 1077944384 160 13109 0 0 2 0 5 2 20 0 15 0 406602593 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642818644720 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10820096 memory=140116625999488 CPUtime=0.12 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 655 13109 0 0 5 0 5 2 20 0 15 0 406602593 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11079778304 13620 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10820096 memory=140116625999488 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602594 11079778304 13620 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 54480 KiB
[startup+0.701332 s]
/proc/loadavg: 1.22 1.36 1.38 5/226 11562
/proc/meminfo: memFree=30454044/32770624 swapFree=66920432/67108860
[pid=11496] ppid=11493 vsize=10824340 memory=84676 CPUtime=1.13 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 14854 13109 0 0 100 6 5 2 20 0 15 0 406602579 11084124160 21169 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2706085 21169 3491 1 0 2668173 0
[pid=11496/tid=11549] ppid=11493 vsize=10824340 memory=5795117241467496816 CPUtime=0.66 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) D 11493 11496 5621 0 -1 1077944384 10534 13109 0 0 55 4 5 2 20 0 15 0 406602588 11084124160 21169 33554432000 4194304 4196468 140721463090080 140643265916144 140643294112829 0 4 0 16800975 18446744072101547556 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10824340 memory=1284 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602588 11084124160 21169 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10824340 memory=1044 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602588 11084124160 21169 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10824340 memory=4580 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602588 11084124160 21169 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602588 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 5 13109 0 0 0 0 5 2 20 0 15 0 406602590 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 13 13109 0 0 0 0 5 2 20 0 15 0 406602590 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642730632224 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602591 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642260870000 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11084124160 21169 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10824340 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) S 11493 11496 5621 0 -1 1077944384 813 13109 0 0 13 0 5 2 20 0 15 0 406602593 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642819697520 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10824340 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) S 11493 11496 5621 0 -1 1077944384 434 13109 0 0 13 0 5 2 20 0 15 0 406602593 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642818644720 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10824340 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 833 13109 0 0 17 0 5 2 20 0 15 0 406602593 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11084124160 21169 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10824340 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602594 11084124160 21169 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84676 KiB
[startup+1.50144 s]
/proc/loadavg: 1.22 1.36 1.38 3/226 11562
/proc/meminfo: memFree=30231980/32770624 swapFree=66920432/67108860
[pid=11496] ppid=11493 vsize=10826464 memory=1112672 CPUtime=2.76 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 17881 13109 0 0 225 44 5 2 20 0 15 0 406602579 11086299136 278168 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2706616 278168 3568 1 0 2668685 0
[pid=11496/tid=11549] ppid=11493 vsize=10826464 memory=140116462932568 CPUtime=1.35 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 12382 13109 0 0 110 18 5 2 20 0 15 0 406602588 11086299136 278168 33554432000 4194304 4196468 140721463090080 140643265920064 140642885377609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10826464 memory=6 CPUtime=0.17 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 236 13109 0 0 4 6 5 2 20 0 15 0 406602588 11086299136 278168 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10826464 memory=6628 CPUtime=0.17 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 118 13109 0 0 4 6 5 2 20 0 15 0 406602588 11086299136 278168 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10826464 memory=7 CPUtime=0.17 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 113 13109 0 0 4 6 5 2 20 0 15 0 406602588 11086299136 278168 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10826464 memory=280232926271904 CPUtime=0.15 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 208 13109 0 0 4 4 5 2 20 0 15 0 406602588 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10826464 memory=189476777253382 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 86 13109 0 0 0 0 5 2 20 0 15 0 406602590 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10826464 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 13 13109 0 0 0 0 5 2 20 0 15 0 406602590 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642730632288 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10826464 memory=6011695796136604464 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602591 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642260870016 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10826464 memory=-8412658770403813517 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11086299136 278168 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10826464 memory=-7668917182949848256 CPUtime=0.39 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) R 11493 11496 5621 0 -1 4202560 874 13109 0 0 32 0 5 2 20 0 15 0 406602593 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642819685072 140643277499752 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10826464 memory=8514726395714956677 CPUtime=0.39 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) R 11493 11496 5621 0 -1 4202560 510 13109 0 0 32 0 5 2 20 0 15 0 406602593 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642818626288 140643278970329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10826464 memory=-8995268955501401461 CPUtime=0.37 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 1124 13109 0 0 30 0 5 2 20 0 15 0 406602593 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10826464 memory=4283920778551074714 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11086299136 278168 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10826464 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 406602594 11086299136 278168 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 10826464 KiB
################
# More data... #
################
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 337367 13109 0 0 236904 78 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643265923712 140642896551862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10846964 memory=4151976 CPUtime=8.78 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 51419 13109 0 0 829 42 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10846964 memory=4155056 CPUtime=8.78 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 56945 13109 0 0 827 44 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10846964 memory=7523107478184158290 CPUtime=8.75 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 63271 13109 0 0 826 42 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10846964 memory=4151976 CPUtime=8.8 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 47687 13109 0 0 832 41 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10846964 memory=4151976 CPUtime=2.9 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 21416 13109 0 0 273 10 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642730632352 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 6 13109 0 0 0 0 5 2 20 0 15 0 406602591 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642260870016 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10846964 memory=142 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10846964 memory=4151976 CPUtime=5.81 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) S 11493 11496 5621 0 -1 1077944384 26963 13109 0 0 567 7 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642819697520 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10846964 memory=4151976 CPUtime=6.78 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) S 11493 11496 5621 0 -1 1077944384 36172 13109 0 0 665 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642818644720 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10846964 memory=4151976 CPUtime=3.62 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 23096 13109 0 0 349 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10846964 memory=4151976 CPUtime=1.5 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1402 13109 0 0 73 70 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 2425.09 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4151976 KiB
[startup+2442.3 s]
/proc/loadavg: 1.45 1.47 1.54 3/226 12071
/proc/meminfo: memFree=24593428/32770624 swapFree=66920484/67108860
[pid=11496] ppid=11493 vsize=10846964 memory=4151976 CPUtime=2486.09 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 677655 13109 0 0 248272 330 5 2 20 0 15 0 406602579 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2711741 1037994 3623 1 0 2673805 0
[pid=11496/tid=11549] ppid=11493 vsize=10846964 memory=4151976 CPUtime=2429.46 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 339313 13109 0 0 242861 78 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643265915360 140642896553696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.11 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 52366 13109 0 0 862 42 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.11 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 59428 13109 0 0 860 44 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.09 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 65281 13109 0 0 859 43 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10846964 memory=988 CPUtime=9.13 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 49234 13109 0 0 865 41 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10846964 memory=2016 CPUtime=2.96 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 22108 13109 0 0 279 10 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10846964 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642730632352 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10846964 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 6 13109 0 0 0 0 5 2 20 0 15 0 406602591 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642260870016 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10846964 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10846964 memory=4151976 CPUtime=5.82 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) S 11493 11496 5621 0 -1 1077944384 26968 13109 0 0 568 7 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642819697520 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10846964 memory=4151976 CPUtime=6.78 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) S 11493 11496 5621 0 -1 1077944384 36177 13109 0 0 665 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642818644720 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10846964 memory=988 CPUtime=3.62 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 23100 13109 0 0 349 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10846964 memory=4151976 CPUtime=1.54 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1444 13109 0 0 75 72 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 2486.09 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4151976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.7 s]
/proc/loadavg: 1.38 1.45 1.53 3/228 12082
/proc/meminfo: memFree=24605496/32770624 swapFree=66920484/67108860
[pid=11496] ppid=11493 vsize=10846964 memory=4151976 CPUtime=2520.06 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 683095 13109 0 0 251667 332 5 2 20 0 15 0 406602579 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2711741 1037994 3623 1 0 2673805 0
[pid=11496/tid=11549] ppid=11493 vsize=10846964 memory=14012 CPUtime=2462.62 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 340482 13109 0 0 246177 78 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643265909072 140642892224192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.29 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 53321 13109 0 0 880 42 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.31 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 60736 13109 0 0 879 45 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.27 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 66421 13109 0 0 877 43 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.33 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 49739 13109 0 0 884 42 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10846964 memory=4151976 CPUtime=3 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 22441 13109 0 0 282 11 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642730632352 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10846964 memory=1164 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 6 13109 0 0 0 0 5 2 20 0 15 0 406602591 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642260870016 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10846964 memory=2257 CPUtime=5.82 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) S 11493 11496 5621 0 -1 1077944384 26970 13109 0 0 568 7 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642819697520 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10846964 memory=4151976 CPUtime=6.78 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) S 11493 11496 5621 0 -1 1077944384 36180 13109 0 0 665 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642818644720 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10846964 memory=4151976 CPUtime=3.62 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 23102 13109 0 0 349 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10846964 memory=16472 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10846964 memory=4151976 CPUtime=1.56 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1467 13109 0 0 76 73 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4151976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.75 s]
# the end of solver process 11496 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.75 s, system=3.37889 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.7 s]
/proc/loadavg: 1.38 1.45 1.53 3/228 12082
/proc/meminfo: memFree=24605496/32770624 swapFree=66920484/67108860
[pid=11496] ppid=11493 vsize=10846964 memory=4151976 CPUtime=2520.06 cores=0,2,4,6
/proc/11496/stat : 11496 (java) S 11493 11496 5621 0 -1 1077944320 683095 13109 0 0 251667 332 5 2 20 0 15 0 406602579 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140721463072624 140643294088951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
/proc/11496/statm: 2711741 1037994 3623 1 0 2673805 0
[pid=11496/tid=11549] ppid=11493 vsize=10846964 memory=14012 CPUtime=2462.62 cores=0,2,4,6
/proc/11496/task/11549/stat : 11549 (java) R 11493 11496 5621 0 -1 4202560 340482 13109 0 0 246177 78 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643265909072 140642892224192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11550] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.29 cores=0,2,4,6
/proc/11496/task/11550/stat : 11550 (java) S 11493 11496 5621 0 -1 1077944384 53321 13109 0 0 880 42 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643298331792 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11551] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.31 cores=0,2,4,6
/proc/11496/task/11551/stat : 11551 (java) S 11493 11496 5621 0 -1 1077944384 60736 13109 0 0 879 45 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643202534416 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11552] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.27 cores=0,2,4,6
/proc/11496/task/11552/stat : 11552 (java) S 11493 11496 5621 0 -1 1077944384 66421 13109 0 0 877 43 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140643201481616 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11553] ppid=11493 vsize=10846964 memory=4151976 CPUtime=9.33 cores=0,2,4,6
/proc/11496/task/11553/stat : 11553 (java) S 11493 11496 5621 0 -1 1077944384 49739 13109 0 0 884 42 5 2 20 0 15 0 406602588 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642865699600 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11554] ppid=11493 vsize=10846964 memory=4151976 CPUtime=3 cores=0,2,4,6
/proc/11496/task/11554/stat : 11554 (java) S 11493 11496 5621 0 -1 1077944384 22441 13109 0 0 282 11 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642820749680 140643294100098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11555] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11555/stat : 11555 (java) S 11493 11496 5621 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 406602590 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642730632352 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11556] ppid=11493 vsize=10846964 memory=1164 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11556/stat : 11556 (java) S 11493 11496 5621 0 -1 1077944384 6 13109 0 0 0 0 5 2 20 0 15 0 406602591 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642260870016 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11557] ppid=11493 vsize=10846964 memory=4151976 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11557/stat : 11557 (java) S 11493 11496 5621 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641992435536 140643294107547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11558] ppid=11493 vsize=10846964 memory=2257 CPUtime=5.82 cores=0,2,4,6
/proc/11496/task/11558/stat : 11558 (java) S 11493 11496 5621 0 -1 1077944384 26970 13109 0 0 568 7 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642819697520 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11559] ppid=11493 vsize=10846964 memory=4151976 CPUtime=6.78 cores=0,2,4,6
/proc/11496/task/11559/stat : 11559 (java) S 11493 11496 5621 0 -1 1077944384 36180 13109 0 0 665 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642818644720 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11560] ppid=11493 vsize=10846964 memory=4151976 CPUtime=3.62 cores=0,2,4,6
/proc/11496/task/11560/stat : 11560 (java) S 11493 11496 5621 0 -1 1077944384 23102 13109 0 0 349 6 5 2 20 0 15 0 406602593 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642817591920 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11561] ppid=11493 vsize=10846964 memory=16472 CPUtime=0.07 cores=0,2,4,6
/proc/11496/task/11561/stat : 11561 (java) S 11493 11496 5621 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140641522674400 140643294099157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
[pid=11496/tid=11562] ppid=11493 vsize=10846964 memory=4151976 CPUtime=1.56 cores=0,2,4,6
/proc/11496/task/11562/stat : 11562 (java) S 11493 11496 5621 0 -1 1077944384 1467 13109 0 0 76 73 5 2 20 0 15 0 406602594 11107291136 1037994 33554432000 4194304 4196468 140721463090080 140642816539312 140643294100098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25563136 140721463098101 140721463100613 140721463100613 140721463103439 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4151976 KiB
Child status: 143
Real time (s): 2475.75
CPU time (s): 2520.13
CPU user time (s): 2516.75
CPU system time (s): 3.37889
CPU usage (%): 101.793
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 4195548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.75
system time used= 3.37889
maximum resident set size= 4195548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97339
involuntary context switches= 3452
# summary of solver processes directly reported to runsolver:
# pid: 11496
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.75
# total CPU system time (s): 3.37889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9157 second user time and 23.7038 second system time
The end