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 (6262 MiB free)
memory of node 1: 16384 MiB (14172 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258239-1502637161/watcher-4258239-1502637161 -o /tmp/evaluation-result-4258239-1502637161/solver-4258239-1502637161 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2901 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258239-1502637161.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3633, runsolver pid=3630
[startup+0.100108 s]*
/proc/loadavg: 5.42 4.14 2.86 8/215 3648
/proc/meminfo: memFree=20907892/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555400 memory=29340 CPUtime=0.13 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 6958 0 0 0 11 2 0 0 20 0 15 0 96804232 10808729600 7335 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638850 7335 2832 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 31794 0 -1 4202560 4753 0 0 0 8 1 0 0 20 0 15 0 96804232 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698733656000 140698713515358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698701278224 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555400 memory=139629092402816 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698334891152 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698333838096 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698332785552 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555400 memory=139629092402816 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96804234 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698221242608 140698729446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96804235 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698220188832 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96804235 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698219135728 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804237 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698218084304 140698729453467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 96804237 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698217032432 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 96804237 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698215979888 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555400 memory=139629092402816 CPUtime=0.02 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) R 3630 3633 31794 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 96804237 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698214926832 140698708393216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555400 memory=139629092402816 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804238 10808729600 7335 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29340 KiB
[startup+0.210489 s]*
/proc/loadavg: 5.42 4.14 2.86 7/215 3648
/proc/meminfo: memFree=20898836/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555400 memory=38572 CPUtime=0.31 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 8412 0 0 0 28 3 0 0 20 0 15 0 96804232 10808729600 9643 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638850 9643 2959 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 31794 0 -1 4202560 5334 0 0 0 18 2 0 0 20 0 15 0 96804232 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698733667072 140698713515358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555400 memory=331 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698701278224 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555400 memory=139629092416890 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698334891152 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698333838096 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96804233 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698332785552 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555400 memory=139629092402816 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96804234 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698221242608 140698729446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96804235 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698220188832 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96804235 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698219135728 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804237 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698218084304 140698729453467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 96804237 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698217032432 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 15 0 96804237 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698215979888 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555400 memory=139629092402816 CPUtime=0.06 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 31794 0 -1 1077944384 936 0 0 0 6 0 0 0 20 0 15 0 96804237 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698214926832 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555400 memory=139629092402816 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804238 10808729600 9643 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38572 KiB
[startup+0.310959 s]*
/proc/loadavg: 5.42 4.14 2.86 9/215 3648
/proc/meminfo: memFree=20891144/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555476 memory=45908 CPUtime=0.52 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 9234 0 0 0 49 3 0 0 20 0 15 0 96804232 10808807424 11477 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638869 11477 3039 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 31794 0 -1 4202560 5764 0 0 0 28 2 0 0 20 0 15 0 96804232 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698733670400 140698713515358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698701278224 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=139629092460832 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698334891152 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804233 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698333838096 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96804233 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698332785552 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=139629092467744 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96804234 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698221242608 140698729446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698220188832 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698219135728 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804237 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698218084304 140698729453467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 523 0 0 0 4 0 0 0 20 0 15 0 96804237 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698217032432 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555476 memory=139628984258063 CPUtime=0.04 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 15 0 96804237 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698215979888 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555476 memory=139629092406372 CPUtime=0.12 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) R 3630 3633 31794 0 -1 4202560 1122 0 0 0 12 0 0 0 20 0 15 0 96804237 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698214926832 140698713515358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555476 memory=139628984262607 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555476 memory=279258076682176 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 11477 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 45908 KiB
[startup+0.700881 s]
/proc/loadavg: 5.42 4.14 2.86 8/215 3648
/proc/meminfo: memFree=20795088/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555476 memory=321636 CPUtime=1.64 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 11500 0 0 0 146 18 0 0 20 0 15 0 96804232 10808807424 79897 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638869 80409 3100 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=2372 CPUtime=0.58 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 31794 0 -1 4202560 5975 0 0 0 53 5 0 0 20 0 15 0 96804232 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698733671568 140698715502990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 31794 0 -1 1077944384 126 0 0 0 6 2 0 0 20 0 15 0 96804233 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698701278224 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 31794 0 -1 1077944384 121 0 0 0 6 2 0 0 20 0 15 0 96804233 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698334891152 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=15872 CPUtime=0.08 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 31794 0 -1 1077944384 128 0 0 0 6 2 0 0 20 0 15 0 96804233 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698333838096 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=18448 CPUtime=0.08 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 31794 0 -1 1077944384 124 0 0 0 6 2 0 0 20 0 15 0 96804233 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698332785552 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96804234 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698221242608 140698729446018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698220188832 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698219135728 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804237 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698218084304 140698729453467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555476 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 1189 0 0 0 21 0 0 0 20 0 15 0 96804237 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698217032432 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555476 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 946 0 0 0 21 0 0 0 20 0 15 0 96804237 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698215979888 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555476 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 31794 0 -1 1077944384 1450 0 0 0 22 0 0 0 20 0 15 0 96804237 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698214926832 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 80409 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 321636 KiB
[startup+1.50119 s]
/proc/loadavg: 5.42 4.14 2.86 10/215 3648
/proc/meminfo: memFree=20215076/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555476 memory=1357536 CPUtime=3.35 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 14105 0 0 0 280 55 0 0 20 0 15 0 96804232 10808807424 339384 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638869 339384 3104 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=3467832410428944703 CPUtime=1.07 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3630 3633 31794 0 -1 1077944384 6860 0 0 0 91 16 0 0 20 0 15 0 96804232 10808807424 339384 33554432000 4194304 4196468 140720337507472 140698733671872 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=485760 CPUtime=0.37 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) R 3630 3633 31794 0 -1 4202560 259 0 0 0 29 8 0 0 20 0 15 0 96804233 10808807424 339384 33554432000 4194304 4196468 140720337507472 140698701278224 140698714462921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=2241 CPUtime=0.39 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) R 3630 3633 31794 0 -1 4202560 277 0 0 0 31 8 0 0 20 0 15 0 96804233 10808807424 339384 33554432000 4194304 4196468 140720337507472 140698334891352 140698714456992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=4612 CPUtime=0.38 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) R 3630 3633 31794 0 -1 4202560 955 0 0 0 29 9 0 0 20 0 15 0 96804233 10808807424 339384 33554432000 4194304 4196468 140720337507472 140698333838096 140698714463212 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=15872 CPUtime=0.38 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) R 3630 3633 31794 0 -1 4202560 290 0 0 0 29 9 0 0 20 0 15 0 96804233 10808807424 339384 33554432000 4194304 4196468 140720337507472 140698332785440 140698722537706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 15 0 96804234 10808807424 339384 33554432000 4194304 4196468 140720337507472 140698221241120 140698729445077 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
################
# More data... #
################
/proc/3633/statm: 2638869 2085118 3137 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=1952 CPUtime=16.12 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3630 3633 31794 0 -1 1077944384 22117 0 0 0 1581 31 0 0 20 0 15 0 96804232 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698733668560 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=8552 CPUtime=55.3 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) R 3630 3633 31794 0 -1 4202560 86891 0 0 0 5386 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698701277808 140698722063079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=1224 CPUtime=55.74 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) R 3630 3633 31794 0 -1 4202560 129510 0 0 0 5436 138 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698334891352 140698713888800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=8112282956445269571 CPUtime=55.71 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) R 3630 3633 31794 0 -1 4202560 153159 0 0 0 5435 136 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698333837992 140698722063079 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=1728 CPUtime=55.69 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) R 3630 3633 31794 0 -1 4202560 112212 0 0 0 5425 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698332785136 140698722063079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=8340472 CPUtime=12.18 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 35349 0 0 0 1215 3 0 0 20 0 15 0 96804234 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698221240928 140698729445077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555476 memory=8340472 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698220188896 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555476 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698219135744 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555476 memory=27688 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698218084304 140698729453467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555476 memory=8340472 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 3463 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698217032192 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555476 memory=8340472 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 3192 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698215979936 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555476 memory=1224 CPUtime=0.28 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 31794 0 -1 1077944384 2225 0 0 0 27 1 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698214926880 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555476 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 252.18 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8340472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+86.8671 s]
# the end of solver process 3633 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.106 s, system=6.07071 s
Solver just ended.
Dumping a history of the last processes samples
[startup+85.6012 s]
/proc/loadavg: 4.85 4.16 2.97 6/215 3724
/proc/meminfo: memFree=12672004/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555476 memory=8340472 CPUtime=255.32 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 550963 0 0 0 24930 602 0 0 20 0 15 0 96804232 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638869 2085118 3137 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=1420 CPUtime=16.12 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3630 3633 31794 0 -1 1077944384 22117 0 0 0 1581 31 0 0 20 0 15 0 96804232 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698733668560 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=11032 CPUtime=56.08 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) R 3630 3633 31794 0 -1 4202560 86922 0 0 0 5464 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698701278424 140698714431440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=8112282956445269571 CPUtime=56.53 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) R 3630 3633 31794 0 -1 4202560 130488 0 0 0 5515 138 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698334891152 140698714431440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=1292 CPUtime=56.48 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) R 3630 3633 31794 0 -1 4202560 153159 0 0 0 5512 136 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698333838096 140698711044537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=2428 CPUtime=56.47 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) R 3630 3633 31794 0 -1 4202560 112212 0 0 0 5503 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698332785440 140698714431272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=1728 CPUtime=12.18 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 35353 0 0 0 1215 3 0 0 20 0 15 0 96804234 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698221241152 140698729445077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555476 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698220188896 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555476 memory=11032 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698219135744 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555476 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698218083952 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555476 memory=1952 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 3463 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698217032192 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555476 memory=8552 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 3192 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698215979936 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555476 memory=1224 CPUtime=0.28 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 31794 0 -1 1077944384 2225 0 0 0 27 1 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698214926880 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555476 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 255.32 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8340472 KiB
[startup+86.4007 s]
/proc/loadavg: 4.85 4.16 2.97 9/215 3724
/proc/meminfo: memFree=12672004/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555476 memory=8340472 CPUtime=258.48 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 550963 0 0 0 25246 602 0 0 20 0 15 0 96804232 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638869 2085118 3137 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=8340472 CPUtime=16.12 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3630 3633 31794 0 -1 1077944384 22117 0 0 0 1581 31 0 0 20 0 15 0 96804232 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698733668560 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=8112282956445269571 CPUtime=56.88 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) R 3630 3633 31794 0 -1 4202560 86922 0 0 0 5544 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698701278424 140698714134736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=2428 CPUtime=57.32 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) R 3630 3633 31794 0 -1 4202560 130488 0 0 0 5594 138 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698334890960 140698722063079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=1728 CPUtime=57.28 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) R 3630 3633 31794 0 -1 4202560 153159 0 0 0 5592 136 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698333838296 140698714431216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=1420 CPUtime=57.24 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) R 3630 3633 31794 0 -1 4202560 112212 0 0 0 5580 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698332785672 140698722063079 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=5296 CPUtime=12.18 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 35353 0 0 0 1215 3 0 0 20 0 15 0 96804234 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698221241152 140698729445077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555476 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698220188896 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555476 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698219135744 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555476 memory=27688 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698218083952 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555476 memory=8112282956445269571 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 3463 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698217032192 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555476 memory=1196 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 3192 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698215979936 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555476 memory=4612 CPUtime=0.28 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 31794 0 -1 1077944384 2225 0 0 0 27 1 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698214926880 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555476 memory=18448 CPUtime=0.03 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 258.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8340472 KiB
[startup+86.8012 s]
/proc/loadavg: 4.85 4.16 2.97 9/215 3724
/proc/meminfo: memFree=12672004/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555476 memory=8340472 CPUtime=260.08 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 31794 0 -1 1077944320 550963 0 0 0 25406 602 0 0 20 0 15 0 96804232 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140720337490016 140698729434871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
/proc/3633/statm: 2638869 2085118 3137 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=8340472 CPUtime=16.12 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3630 3633 31794 0 -1 1077944384 22117 0 0 0 1581 31 0 0 20 0 15 0 96804232 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698733668560 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=6504 CPUtime=57.28 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) R 3630 3633 31794 0 -1 4202560 86922 0 0 0 5584 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698701278424 140698722534624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=840 CPUtime=57.72 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) R 3630 3633 31794 0 -1 4202560 130488 0 0 0 5634 138 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698334890960 140698714135779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=55 CPUtime=57.68 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) R 3630 3633 31794 0 -1 4202560 153159 0 0 0 5632 136 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698333838296 140698714135456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=301741390638088506 CPUtime=57.64 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) R 3630 3633 31794 0 -1 4202560 112212 0 0 0 5620 144 0 0 20 0 15 0 96804233 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698332785672 140698714135538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=15541808151136681 CPUtime=12.18 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 31794 0 -1 1077944384 35353 0 0 0 1215 3 0 0 20 0 15 0 96804234 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698221241152 140698729445077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3641] ppid=3630 vsize=10555476 memory=5931329019416957008 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 31794 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698220188896 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3642] ppid=3630 vsize=10555476 memory=7449887618316134993 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 31794 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 96804235 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698219135744 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3643] ppid=3630 vsize=10555476 memory=7377830024278796625 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698218083952 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3644] ppid=3630 vsize=10555476 memory=7518312430197297488 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 31794 0 -1 1077944384 3463 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698217032192 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3645] ppid=3630 vsize=10555476 memory=5932196461344220504 CPUtime=0.52 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 31794 0 -1 1077944384 3192 0 0 0 52 0 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698215979936 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3646] ppid=3630 vsize=10555476 memory=7375038377425397312 CPUtime=0.28 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 31794 0 -1 1077944384 2225 0 0 0 27 1 0 0 20 0 15 0 96804237 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698214926880 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3647] ppid=3630 vsize=10555476 memory=7518312430197297488 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698213874528 140698729445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
[pid=3633/tid=3648] ppid=3630 vsize=10555476 memory=5933602736716146775 CPUtime=0.03 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 31794 0 -1 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 96804238 10808807424 2085118 33554432000 4194304 4196468 140720337507472 140698212821552 140698729446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11276288 140720337511563 140720337511716 140720337511716 140720337514447 0
Current children cumulated CPU time: 260.08 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8340472 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 86.8671
CPU time (s): 260.177
CPU user time (s): 254.106
CPU system time (s): 6.07071
CPU usage (%): 299.511
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8340472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.106
system time used= 6.07071
maximum resident set size= 8340544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8133
involuntary context switches= 4755
# summary of solver processes directly reported to runsolver:
# pid: 3633
# total CPU time (s): 260.177
# total CPU user time (s): 254.106
# total CPU system time (s): 6.07071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.552446 second user time and 0.868357 second system time
The end