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 (9959 MiB free)
memory of node 1: 16384 MiB (15783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301952-1532885902/watcher-4301952-1532885902 -o /tmp/evaluation-result-4301952-1532885902/solver-4301952-1532885902 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10061 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301952-1532885902.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=12958, runsolver pid=12955
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 3.59 3.00 2.68 3/216 12973
/proc/meminfo: memFree=26342764/32770624 swapFree=67028788/67108860
[pid=12958] ppid=12955 vsize=10659012 memory=31012 CPUtime=0.13 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 6821 0 0 0 12 1 0 0 20 0 15 0 106153390 10914828288 7753 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2664753 7753 2845 1 0 2627263 0
[pid=12958/tid=12960] ppid=12955 vsize=10659012 memory=-8701690554792055939 CPUtime=0.08 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) R 12955 12958 10029 0 -1 4202560 4658 0 0 0 8 0 0 0 20 0 15 0 106153390 10914828288 7753 33554432000 4194304 4196468 140732420944704 140620302165952 140620282025310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 7753 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10659012 memory=140431211083392 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10659012 memory=140431211083392 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106153393 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106153393 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106153393 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) S 12955 12958 10029 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619853584496 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) S 12955 12958 10029 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619852531696 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10659012 memory=140431211083392 CPUtime=0.02 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) R 12955 12958 10029 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 106153396 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619851479408 140620297966170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12973] ppid=12955 vsize=10659012 memory=140431211083392 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12973/stat : 12973 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 7753 33554432000 4194304 4196468 140732420944704 140619849374640 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31012 KiB
[startup+0.210575 s]*
/proc/loadavg: 3.59 3.00 2.68 5/216 12973
/proc/meminfo: memFree=26332940/32770624 swapFree=67028788/67108860
[pid=12958] ppid=12955 vsize=10659012 memory=41912 CPUtime=0.33 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 8068 0 0 0 32 1 0 0 20 0 15 0 106153390 10914828288 10478 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2664753 10478 3004 1 0 2627263 0
[pid=12958/tid=12960] ppid=12955 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) R 12955 12958 10029 0 -1 4202560 5039 0 0 0 19 1 0 0 20 0 15 0 106153390 10914828288 10478 33554432000 4194304 4196468 140732420944704 140620302181104 140620281988453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 10478 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10659012 memory=3977444731276211872 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106153391 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10659012 memory=140431211083392 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106153393 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106153393 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106153393 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) S 12955 12958 10029 0 -1 1077944384 638 0 0 0 2 0 0 0 20 0 15 0 106153396 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619853584496 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) S 12955 12958 10029 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 106153396 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619852531696 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10659012 memory=140431211083392 CPUtime=0.07 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) R 12955 12958 10029 0 -1 4202560 669 0 0 0 7 0 0 0 20 0 15 0 106153396 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619851479408 140620290181950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12973] ppid=12955 vsize=10659012 memory=140431211083392 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12973/stat : 12973 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153396 10914828288 10478 33554432000 4194304 4196468 140732420944704 140619849374640 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41912 KiB
[startup+0.318618 s]*
/proc/loadavg: 3.59 3.00 2.68 4/216 12973
/proc/meminfo: memFree=26323076/32770624 swapFree=67028788/67108860
[pid=12958] ppid=12955 vsize=10659088 memory=49396 CPUtime=0.55 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 8915 0 0 0 53 2 0 0 20 0 15 0 106153390 10914906112 12349 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2664772 12349 3062 1 0 2627263 0
[pid=12958/tid=12960] ppid=12955 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) R 12955 12958 10029 0 -1 4202560 5620 0 0 0 29 1 0 0 20 0 15 0 106153390 10914906112 12349 33554432000 4194304 4196468 140732420944704 140620302182352 140620281988453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10659088 memory=4294976237 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914906112 12349 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10659088 memory=3761271949162428064 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106153391 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10659088 memory=140431211083392 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106153393 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106153393 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106153393 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) S 12955 12958 10029 0 -1 1077944384 674 0 0 0 4 0 0 0 20 0 15 0 106153396 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619853584496 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) S 12955 12958 10029 0 -1 1077944384 471 0 0 0 5 0 0 0 20 0 15 0 106153396 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619852531696 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10659088 memory=140431211083392 CPUtime=0.13 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) R 12955 12958 10029 0 -1 1077944384 785 0 0 0 13 0 0 0 20 0 15 0 106153396 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619851473104 140620297955029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12973] ppid=12955 vsize=10659088 memory=140431211083392 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12973/stat : 12973 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153396 10914906112 12349 33554432000 4194304 4196468 140732420944704 140619849374640 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49396 KiB
[startup+0.700905 s]
/proc/loadavg: 3.59 3.00 2.68 5/216 12973
/proc/meminfo: memFree=26304900/32770624 swapFree=67028788/67108860
[pid=12958] ppid=12955 vsize=10661136 memory=105928 CPUtime=1.77 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 14474 0 0 0 174 3 0 0 20 0 15 0 106153390 10917003264 26482 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2665284 26482 3107 1 0 2627775 0
[pid=12958/tid=12960] ppid=12955 vsize=10661136 memory=196115320292868 CPUtime=0.67 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) R 12955 12958 10029 0 -1 4202560 6097 0 0 0 65 2 0 0 20 0 15 0 106153390 10917003264 26482 33554432000 4194304 4196468 140732420944704 140620302179888 140619934906276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10661136 memory=616836 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10917003264 26482 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153391 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10661136 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106153391 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106153393 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10661136 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106153393 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106153393 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10661136 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) D 12955 12958 10029 0 -1 4202560 2273 0 0 0 37 0 0 0 20 0 15 0 106153396 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619853569960 140620290661975 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10661136 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) R 12955 12958 10029 0 -1 4202560 2200 0 0 0 31 0 0 0 20 0 15 0 106153396 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619852512504 140620281441607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10661136 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) R 12955 12958 10029 0 -1 4202560 2535 0 0 0 40 0 0 0 20 0 15 0 106153396 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619851475352 140620276905055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12973] ppid=12955 vsize=10661136 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12973/stat : 12973 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106153396 10917003264 26482 33554432000 4194304 4196468 140732420944704 140619849374640 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 105928 KiB
[startup+1.50079 s]
/proc/loadavg: 3.59 3.00 2.68 5/217 12974
/proc/meminfo: memFree=26250140/32770624 swapFree=67028788/67108860
[pid=12958] ppid=12955 vsize=10727700 memory=123472 CPUtime=3.68 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 21157 0 0 0 363 5 0 0 20 0 16 0 106153390 10985164800 30868 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2681925 30868 3118 1 0 2644416 0
[pid=12958/tid=12960] ppid=12955 vsize=10727700 memory=9169 CPUtime=1.46 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) R 12955 12958 10029 0 -1 4202560 6417 0 0 0 144 2 0 0 20 0 16 0 106153390 10985164800 30868 33554432000 4194304 4196468 140732420944704 140620302181504 140619935668417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106153391 10985164800 30868 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106153391 10985164800 30868 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106153391 10985164800 30868 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106153391 10985164800 30868 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 30868 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
################
# More data... #
################
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 625 0 0 0 1 0 0 0 20 0 16 0 106153391 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10727700 memory=228996 CPUtime=0.01 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 16 0 106153391 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10727700 memory=228996 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 900 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10727700 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10727700 memory=228996 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10727700 memory=228996 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106153396 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10727700 memory=280862139376800 CPUtime=1.15 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) S 12955 12958 10029 0 -1 1077944384 5656 0 0 0 115 0 0 0 20 0 16 0 106153396 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619853584496 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10727700 memory=7666654205430096485 CPUtime=1.36 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) S 12955 12958 10029 0 -1 1077944384 9884 0 0 0 135 1 0 0 20 0 16 0 106153396 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619852531696 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10727700 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) S 12955 12958 10029 0 -1 1077944384 4604 0 0 0 52 0 0 0 20 0 16 0 106153396 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619851479408 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10727700 memory=7812454988116485201 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106153396 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12973] ppid=12955 vsize=10727700 memory=228996 CPUtime=0.05 cores=1,3,5,7
/proc/12958/task/12973/stat : 12973 (java) S 12955 12958 10029 0 -1 1077944384 1054 0 0 0 2 3 0 0 20 0 16 0 106153396 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619849374640 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12974] ppid=12955 vsize=10727700 memory=1664 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12974/stat : 12974 (java) S 12955 12958 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106153467 10985164800 57249 33554432000 4194304 4196468 140732420944704 140619848320176 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 165.46 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 228996 KiB
[startup+222.301 s]
/proc/loadavg: 2.04 2.48 2.54 3/218 13064
/proc/meminfo: memFree=26326680/32770624 swapFree=67028796/67108860
[pid=12958] ppid=12955 vsize=10727700 memory=233484 CPUtime=225.52 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 36769 0 0 0 22535 17 0 0 20 0 16 0 106153390 10985164800 58371 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2681925 58371 3165 1 0 2644416 0
[pid=12958/tid=12960] ppid=12955 vsize=10727700 memory=233484 CPUtime=222.2 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) R 12955 12958 10029 0 -1 4202560 9282 0 0 0 22216 4 0 0 20 0 16 0 106153390 10985164800 58371 33554432000 4194304 4196468 140732420944704 140620302183760 140619935710911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10727700 memory=233484 CPUtime=0.02 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1103 0 0 0 2 0 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10727700 memory=233484 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 947 0 0 0 2 1 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10727700 memory=233484 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 714 0 0 0 2 1 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10727700 memory=233484 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10727700 memory=233484 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 1102 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10727700 memory=27000 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10727700 memory=776 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10727700 memory=233484 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10727700 memory=1876 CPUtime=1.15 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) S 12955 12958 10029 0 -1 1077944384 5658 0 0 0 115 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619853584496 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10727700 memory=233484 CPUtime=1.36 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) S 12955 12958 10029 0 -1 1077944384 9887 0 0 0 135 1 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619852531696 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10727700 memory=3544 CPUtime=0.52 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) S 12955 12958 10029 0 -1 1077944384 4606 0 0 0 52 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619851479408 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10727700 memory=27000 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12973] ppid=12955 vsize=10727700 memory=776 CPUtime=0.09 cores=1,3,5,7
/proc/12958/task/12973/stat : 12973 (java) S 12955 12958 10029 0 -1 1077944384 1090 0 0 0 4 5 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619849374640 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12974] ppid=12955 vsize=10727700 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12974/stat : 12974 (java) S 12955 12958 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106153467 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619848320176 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 225.52 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 233484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.801 s]
/proc/loadavg: 2.03 2.44 2.53 3/218 13064
/proc/meminfo: memFree=26326476/32770624 swapFree=67028796/67108860
[pid=12958] ppid=12955 vsize=10727700 memory=233484 CPUtime=252.04 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 36779 0 0 0 25186 18 0 0 20 0 16 0 106153390 10985164800 58371 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2681925 58371 3165 1 0 2644416 0
[pid=12958/tid=12960] ppid=12955 vsize=10727700 memory=233484 CPUtime=248.7 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) R 12955 12958 10029 0 -1 4202560 9290 0 0 0 24866 4 0 0 20 0 16 0 106153390 10985164800 58371 33554432000 4194304 4196468 140732420944704 140620302183760 140619935711075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10727700 memory=233484 CPUtime=0.02 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1103 0 0 0 2 0 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10727700 memory=27000 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 947 0 0 0 2 1 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10727700 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 714 0 0 0 2 1 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10727700 memory=3008 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 16 0 106153391 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10727700 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 1102 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10727700 memory=796 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10727700 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 106153393 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10727700 memory=1876 CPUtime=1.15 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) S 12955 12958 10029 0 -1 1077944384 5658 0 0 0 115 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619853584496 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10727700 memory=1664 CPUtime=1.36 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) S 12955 12958 10029 0 -1 1077944384 9887 0 0 0 135 1 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619852531696 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10727700 memory=1828 CPUtime=0.52 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) S 12955 12958 10029 0 -1 1077944384 4606 0 0 0 52 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619851479408 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10727700 memory=800 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12973] ppid=12955 vsize=10727700 memory=5220 CPUtime=0.1 cores=1,3,5,7
/proc/12958/task/12973/stat : 12973 (java) S 12955 12958 10029 0 -1 1077944384 1092 0 0 0 4 6 0 0 20 0 16 0 106153396 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619849374640 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12974] ppid=12955 vsize=10727700 memory=12772 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12974/stat : 12974 (java) S 12955 12958 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106153467 10985164800 58371 33554432000 4194304 4196468 140732420944704 140619848320176 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 233484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+249.015 s]
# the end of solver process 12958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.027 s, system=0.188046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+249.001 s]*
/proc/loadavg: 2.02 2.43 2.52 2/219 13067
/proc/meminfo: memFree=26326492/32770624 swapFree=67028796/67108860
[pid=12958] ppid=12955 vsize=10927392 memory=233796 CPUtime=252.2 cores=1,3,5,7
/proc/12958/stat : 12958 (java) S 12955 12958 10029 0 -1 1077944320 37781 0 0 0 25202 18 0 0 20 0 17 0 106153390 11189649408 58449 33554432000 4194304 4196468 140732420944704 140732420927248 140620297944823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
/proc/12958/statm: 2731848 58449 3167 1 0 2694339 0
[pid=12958/tid=12960] ppid=12955 vsize=10927392 memory=6791534058613427641 CPUtime=248.85 cores=1,3,5,7
/proc/12958/task/12960/stat : 12960 (java) S 12955 12958 10029 0 -1 1077944384 9342 0 0 0 24881 4 0 0 20 0 17 0 106153390 11189649408 58450 33554432000 4194304 4196468 140732420944704 140620302187696 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12961] ppid=12955 vsize=10927392 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/12958/task/12961/stat : 12961 (java) S 12955 12958 10029 0 -1 1077944384 1103 0 0 0 2 0 0 0 20 0 17 0 106153391 11189649408 58450 33554432000 4194304 4196468 140732420944704 140620250565008 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12962] ppid=12955 vsize=10927392 memory=1220 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12962/stat : 12962 (java) S 12955 12958 10029 0 -1 1077944384 947 0 0 0 2 1 0 0 20 0 17 0 106153391 11189649408 58450 33554432000 4194304 4196468 140732420944704 140619903850768 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12963] ppid=12955 vsize=10927392 memory=1612 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12963/stat : 12963 (java) S 12955 12958 10029 0 -1 1077944384 714 0 0 0 2 1 0 0 20 0 17 0 106153391 11189649408 58450 33554432000 4194304 4196468 140732420944704 140619902798480 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12964] ppid=12955 vsize=10927392 memory=2164 CPUtime=0.03 cores=1,3,5,7
/proc/12958/task/12964/stat : 12964 (java) S 12955 12958 10029 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 17 0 106153391 11189649408 58450 33554432000 4194304 4196468 140732420944704 140619901745680 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12965] ppid=12955 vsize=10927392 memory=3700 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12965/stat : 12965 (java) S 12955 12958 10029 0 -1 1077944384 1262 0 0 0 0 0 0 0 20 0 17 0 106153393 11189649408 58450 33554432000 4194304 4196468 140732420944704 140619857795696 140620297955970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12966] ppid=12955 vsize=10927392 memory=844 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12966/stat : 12966 (java) S 12955 12958 10029 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 106153393 11189649408 58450 33554432000 4194304 4196468 140732420944704 140619856741664 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12967] ppid=12955 vsize=10927392 memory=1460 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12967/stat : 12967 (java) S 12955 12958 10029 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 106153393 11189649408 58450 33554432000 4194304 4196468 140732420944704 140619855689328 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12968] ppid=12955 vsize=10927392 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12968/stat : 12968 (java) S 12955 12958 10029 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 17 0 106153396 11189649408 58452 33554432000 4194304 4196468 140732420944704 140619854637648 140620297963419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12969] ppid=12955 vsize=10927392 memory=6768 CPUtime=1.15 cores=1,3,5,7
/proc/12958/task/12969/stat : 12969 (java) S 12955 12958 10029 0 -1 1077944384 5709 0 0 0 115 0 0 0 20 0 16 0 106153396 11189649408 58433 33554432000 4194304 4196468 140732420944704 140619853584496 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12970] ppid=12955 vsize=10927392 memory=824 CPUtime=1.36 cores=1,3,5,7
/proc/12958/task/12970/stat : 12970 (java) S 12955 12958 10029 0 -1 1077944384 9981 0 0 0 135 1 0 0 20 0 15 0 106153396 11189649408 58433 33554432000 4194304 4196468 140732420944704 140619852531696 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12971] ppid=12955 vsize=10927392 memory=4100 CPUtime=0.52 cores=1,3,5,7
/proc/12958/task/12971/stat : 12971 (java) S 12955 12958 10029 0 -1 1077944384 4734 0 0 0 52 0 0 0 20 0 15 0 106153396 11189649408 58433 33554432000 4194304 4196468 140732420944704 140619851479408 140620297955970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=12972] ppid=12955 vsize=10927392 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/12958/task/12972/stat : 12972 (java) S 12955 12958 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106153396 11189649408 58433 33554432000 4194304 4196468 140732420944704 140619850426848 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
[pid=12958/tid=13065] ppid=12955 vsize=10927392 memory=916 CPUtime=0 cores=1,3,5,7
/proc/12958/task/13065/stat : 13065 (java) S 12955 12958 10029 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 106178271 11189649408 58433 33554432000 4194304 4196468 140732420944704 140619777303408 140620297955029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28868608 140732420953206 140732420953358 140732420953358 140732420956111 0
Current children cumulated CPU time: 252.2 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 233796 KiB
Child status: 143
Real time (s): 249.015
CPU time (s): 252.215
CPU user time (s): 252.027
CPU system time (s): 0.188046
CPU usage (%): 101.285
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 233796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.027
system time used= 0.188046
maximum resident set size= 233960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7537
involuntary context switches= 230
# summary of solver processes directly reported to runsolver:
# pid: 12958
# total CPU time (s): 252.215
# total CPU user time (s): 252.027
# total CPU system time (s): 0.188046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44516 second user time and 2.401 second system time
The end