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 (14051 MiB free)
memory of node 1: 16384 MiB (15623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392161-1568312333/watcher-4392161-1568312333 -o /tmp/evaluation-result-4392161-1568312333/solver-4392161-1568312333 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2141380625 HOME/instance-4392161-1568312333.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24514, runsolver pid=24511
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 1.46 1.43 1.43 3/223 24571
/proc/meminfo: memFree=30378432/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=9972712 memory=18864 CPUtime=0.08 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 4479 13024 0 0 1 0 4 3 20 0 6 0 407472999 10212057088 4716 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2493178 4716 1935 1 0 2481616 0
[pid=24514/tid=24567] ppid=24511 vsize=9972712 memory=4279135703980344719 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 2269 13024 0 0 1 0 4 3 20 0 6 0 407473008 10212057088 4716 33554432000 4194304 4196468 140734176270672 139972912886352 139972941071517 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 6 0 407473009 10212057088 4716 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=9972712 memory=140692399957632 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 6 0 407473009 10212057088 4716 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 6 0 407473009 10212057088 4716 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 6 0 407473009 10212057088 4716 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB
[startup+0.210756 s]*
/proc/loadavg: 1.46 1.43 1.43 3/232 24580
/proc/meminfo: memFree=30354872/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=10818940 memory=44340 CPUtime=0.26 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 6893 13024 0 0 18 1 4 3 20 0 15 0 407472999 11078594560 11085 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2704735 11085 2974 1 0 2667149 0
[pid=24514/tid=24567] ppid=24511 vsize=10818940 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 3401 13024 0 0 11 0 4 3 20 0 15 0 407473008 11078594560 11085 33554432000 4194304 4196468 140734176270672 139972912881792 139972925130078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10818940 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11078594560 11085 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10818940 memory=140692399957632 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11078594560 11085 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11078594560 11085 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473009 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10818940 memory=140692399957632 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473010 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 13 13024 0 0 0 0 4 3 20 0 15 0 407473011 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972380189472 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972245972080 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11078594560 11150 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) R 24511 24514 20959 0 -1 1077944384 463 13024 0 0 1 0 4 3 20 0 15 0 407473014 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 193 13024 0 0 0 0 4 3 20 0 15 0 407473014 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10818940 memory=140692399957632 CPUtime=0.1 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) R 24511 24514 20959 0 -1 1077944384 615 13024 0 0 3 0 4 3 20 0 15 0 407473014 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972464536432 139972941060738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11078594560 11150 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10818940 memory=140692399957632 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473014 11078594560 11150 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 44340 KiB
[startup+0.317965 s]*
/proc/loadavg: 1.46 1.43 1.43 3/232 24580
/proc/meminfo: memFree=30342444/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=10820244 memory=56196 CPUtime=0.41 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 10742 13024 0 0 31 3 4 3 20 0 15 0 407472999 11079929856 14049 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2705061 14049 3317 1 0 2667149 0
[pid=24514/tid=24567] ppid=24511 vsize=10820244 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 7204 13024 0 0 20 2 4 3 20 0 15 0 407473008 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972912869408 139972941071517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10820244 memory=7228928657774891088 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10820244 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10820244 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473009 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473010 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 13 13024 0 0 0 0 4 3 20 0 15 0 407473011 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972380189472 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972245972080 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11079929856 14049 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) R 24511 24514 20959 0 -1 1077944384 473 13024 0 0 2 0 4 3 20 0 15 0 407473014 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 194 13024 0 0 1 0 4 3 20 0 15 0 407473014 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10820244 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) R 24511 24514 20959 0 -1 4202560 641 13024 0 0 6 0 4 3 20 0 15 0 407473014 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972464536432 139972941061526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11079929856 14049 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473014 11079929856 14049 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 56196 KiB
[startup+0.700783 s]
/proc/loadavg: 1.46 1.43 1.43 6/231 24580
/proc/meminfo: memFree=30328016/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=10824340 memory=86648 CPUtime=1.14 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 14844 13024 0 0 102 5 4 3 20 0 15 0 407472999 11084124160 21662 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2706085 21662 3508 1 0 2668173 0
[pid=24514/tid=24567] ppid=24511 vsize=10824340 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 10499 13024 0 0 55 4 4 3 20 0 15 0 407473008 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972912876784 139972921874480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10824340 memory=3280 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473009 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473009 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10824340 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 5 13024 0 0 0 0 4 3 20 0 15 0 407473010 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10824340 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 13 13024 0 0 0 0 4 3 20 0 15 0 407473011 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972380189472 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10824340 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972245972080 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10824340 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11084124160 21662 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10824340 memory=13252 CPUtime=0.21 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) S 24511 24514 20959 0 -1 1077944384 799 13024 0 0 14 0 4 3 20 0 15 0 407473014 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10824340 memory=15460 CPUtime=0.2 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 477 13024 0 0 13 0 4 3 20 0 15 0 407473014 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10824340 memory=17668 CPUtime=0.24 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) R 24511 24514 20959 0 -1 4202560 831 13024 0 0 17 0 4 3 20 0 15 0 407473014 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972464536432 139972934155322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10824340 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11084124160 21662 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10824340 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473014 11084124160 21662 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 86648 KiB
[startup+1.50075 s]
/proc/loadavg: 1.46 1.43 1.43 5/231 24581
/proc/meminfo: memFree=30278948/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=10834656 memory=201672 CPUtime=3.22 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 26490 13024 0 0 304 11 4 3 20 0 15 0 407472999 11094687744 50418 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2708664 50418 3580 1 0 2670733 0
[pid=24514/tid=24567] ppid=24511 vsize=10834656 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 15640 13024 0 0 129 6 4 3 20 0 15 0 407473008 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972912881712 139972934149438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 60 13024 0 0 1 0 4 3 20 0 15 0 407473009 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 51 13024 0 0 1 0 4 3 20 0 15 0 407473009 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 35 13024 0 0 1 0 4 3 20 0 15 0 407473009 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 322 13024 0 0 1 0 4 3 20 0 15 0 407473009 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10834656 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 107 13024 0 0 1 0 4 3 20 0 15 0 407473010 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10834656 memory=281384514038016 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 14 13024 0 0 0 0 4 3 20 0 15 0 407473011 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972380189536 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972245972080 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10834656 memory=8252 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11094687744 50418 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10834656 memory=5912 CPUtime=0.67 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) S 24511 24514 20959 0 -1 1077944384 3368 13024 0 0 60 0 4 3 20 0 15 0 407473014 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10834656 memory=1056 CPUtime=0.66 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 2843 13024 0 0 59 0 4 3 20 0 15 0 407473014 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10834656 memory=1540 CPUtime=0.53 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) S 24511 24514 20959 0 -1 1077944384 1837 13024 0 0 46 0 4 3 20 0 15 0 407473014 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972464536432 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10834656 memory=728 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11094687744 50418 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10834656 memory=3436 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473014 11094687744 50418 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 76065 13024 0 0 223687 53 4 3 20 0 15 0 407473008 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972912884400 139972923569940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.12 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 20822 13024 0 0 1156 49 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10851072 memory=281384514940288 CPUtime=12.1 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 14328 13024 0 0 1159 44 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10851072 memory=0 CPUtime=12.08 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 16890 13024 0 0 1152 49 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.1 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 22470 13024 0 0 1152 51 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10851072 memory=1037908 CPUtime=9.42 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 18327 13024 0 0 886 49 4 3 20 0 15 0 407473010 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 18 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972380189536 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10851072 memory=3280 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972245972096 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11111497728 259477 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10851072 memory=3280 CPUtime=9.69 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) S 24511 24514 20959 0 -1 1077944384 47393 13024 0 0 954 8 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10851072 memory=1037908 CPUtime=9.42 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 43138 13024 0 0 927 8 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10851072 memory=1037908 CPUtime=5.54 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) S 24511 24514 20959 0 -1 1077944384 35418 13024 0 0 536 11 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972464536432 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10851072 memory=1037908 CPUtime=1.45 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 954 13024 0 0 67 71 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 2320.88 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1037908 KiB
[startup+2322.3 s]
/proc/loadavg: 1.45 1.47 1.43 3/234 25059
/proc/meminfo: memFree=29894356/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=10851072 memory=1037908 CPUtime=2381.77 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 299565 13024 0 0 237818 352 4 3 20 0 15 0 407472999 11111497728 259477 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2712768 259477 3630 1 0 2674829 0
[pid=24514/tid=24567] ppid=24511 vsize=10851072 memory=1037908 CPUtime=2296.79 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 76801 13024 0 0 229618 54 4 3 20 0 15 0 407473008 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972912885120 139972550740730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.45 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 20876 13024 0 0 1187 51 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.42 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 14620 13024 0 0 1190 45 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.41 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 17016 13024 0 0 1184 50 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.43 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 22543 13024 0 0 1184 52 4 3 20 0 15 0 407473009 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10851072 memory=1037908 CPUtime=9.66 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 18548 13024 0 0 909 50 4 3 20 0 15 0 407473010 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 18 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972380189536 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972245972096 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11111497728 259477 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10851072 memory=1037908 CPUtime=9.69 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) S 24511 24514 20959 0 -1 1077944384 47395 13024 0 0 954 8 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10851072 memory=1804 CPUtime=9.42 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 43141 13024 0 0 927 8 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10851072 memory=920 CPUtime=5.54 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) S 24511 24514 20959 0 -1 1077944384 35420 13024 0 0 536 11 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972464536432 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10851072 memory=8252 CPUtime=1.49 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 971 13024 0 0 69 73 4 3 20 0 15 0 407473014 11111497728 259477 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 2381.77 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1037908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2340.3 s]
/proc/loadavg: 1.35 1.45 1.42 3/234 25060
/proc/meminfo: memFree=29892556/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=10851072 memory=1039956 CPUtime=2400.02 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 299714 13024 0 0 239641 354 4 3 20 0 15 0 407472999 11111497728 259989 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2712768 259989 3630 1 0 2674829 0
[pid=24514/tid=24567] ppid=24511 vsize=10851072 memory=1037908 CPUtime=2314.59 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 76921 13024 0 0 231398 54 4 3 20 0 15 0 407473008 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972912885216 139972550605350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.54 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 20880 13024 0 0 1196 51 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.51 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 14635 13024 0 0 1198 46 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.5 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 17018 13024 0 0 1192 51 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10851072 memory=0 CPUtime=12.52 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 22545 13024 0 0 1193 52 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10851072 memory=1037908 CPUtime=9.74 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 18554 13024 0 0 916 51 4 3 20 0 15 0 407473010 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 18 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972380189536 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972245972096 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11111497728 259989 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10851072 memory=1039956 CPUtime=9.69 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) S 24511 24514 20959 0 -1 1077944384 47395 13024 0 0 954 8 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10851072 memory=1039956 CPUtime=9.43 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 43141 13024 0 0 928 8 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10851072 memory=3280 CPUtime=5.54 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) S 24511 24514 20959 0 -1 1077944384 35420 13024 0 0 536 11 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972464536432 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10851072 memory=1036 CPUtime=1.5 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 971 13024 0 0 70 73 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1039956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2340.33 s]
# the end of solver process 24514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.49 s, system=3.59155 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2340.3 s]
/proc/loadavg: 1.35 1.45 1.42 3/234 25060
/proc/meminfo: memFree=29892556/32770624 swapFree=67003340/67108860
[pid=24514] ppid=24511 vsize=10851072 memory=1039956 CPUtime=2400.02 cores=1,3,5,7
/proc/24514/stat : 24514 (java) S 24511 24514 20959 0 -1 1077944320 299714 13024 0 0 239641 354 4 3 20 0 15 0 407472999 11111497728 259989 33554432000 4194304 4196468 140734176270672 140734176253216 139972941049591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
/proc/24514/statm: 2712768 259989 3630 1 0 2674829 0
[pid=24514/tid=24567] ppid=24511 vsize=10851072 memory=1037908 CPUtime=2314.59 cores=1,3,5,7
/proc/24514/task/24567/stat : 24567 (java) R 24511 24514 20959 0 -1 4202560 76921 13024 0 0 231398 54 4 3 20 0 15 0 407473008 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972912885216 139972550605350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24568] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.54 cores=1,3,5,7
/proc/24514/task/24568/stat : 24568 (java) S 24511 24514 20959 0 -1 1077944384 20880 13024 0 0 1196 51 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972945292176 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24569] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.51 cores=1,3,5,7
/proc/24514/task/24569/stat : 24569 (java) S 24511 24514 20959 0 -1 1077944384 14635 13024 0 0 1198 46 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972860111632 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24570] ppid=24511 vsize=10851072 memory=1037908 CPUtime=12.5 cores=1,3,5,7
/proc/24514/task/24570/stat : 24570 (java) S 24511 24514 20959 0 -1 1077944384 17018 13024 0 0 1192 51 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972859059344 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24571] ppid=24511 vsize=10851072 memory=0 CPUtime=12.52 cores=1,3,5,7
/proc/24514/task/24571/stat : 24571 (java) S 24511 24514 20959 0 -1 1077944384 22545 13024 0 0 1193 52 4 3 20 0 15 0 407473009 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972858006544 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24572] ppid=24511 vsize=10851072 memory=1037908 CPUtime=9.74 cores=1,3,5,7
/proc/24514/task/24572/stat : 24572 (java) S 24511 24514 20959 0 -1 1077944384 18554 13024 0 0 916 51 4 3 20 0 15 0 407473010 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972467693680 139972941060738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24573] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24573/stat : 24573 (java) S 24511 24514 20959 0 -1 1077944384 18 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972380189536 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24574] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24574/stat : 24574 (java) S 24511 24514 20959 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 407473011 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972245972096 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24575] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24575/stat : 24575 (java) S 24511 24514 20959 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 407473013 11111497728 259989 33554432000 4194304 4196468 140734176270672 139971641993296 139972941068187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24576] ppid=24511 vsize=10851072 memory=1039956 CPUtime=9.69 cores=1,3,5,7
/proc/24514/task/24576/stat : 24576 (java) S 24511 24514 20959 0 -1 1077944384 47395 13024 0 0 954 8 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972466641520 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24577] ppid=24511 vsize=10851072 memory=1039956 CPUtime=9.43 cores=1,3,5,7
/proc/24514/task/24577/stat : 24577 (java) S 24511 24514 20959 0 -1 1077944384 43141 13024 0 0 928 8 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972465588720 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24578] ppid=24511 vsize=10851072 memory=3280 CPUtime=5.54 cores=1,3,5,7
/proc/24514/task/24578/stat : 24578 (java) S 24511 24514 20959 0 -1 1077944384 35420 13024 0 0 536 11 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972464536432 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24579] ppid=24511 vsize=10851072 memory=1037908 CPUtime=0.07 cores=1,3,5,7
/proc/24514/task/24579/stat : 24579 (java) S 24511 24514 20959 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139971172232160 139972941059797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
[pid=24514/tid=24580] ppid=24511 vsize=10851072 memory=1036 CPUtime=1.5 cores=1,3,5,7
/proc/24514/task/24580/stat : 24580 (java) S 24511 24514 20959 0 -1 1077944384 971 13024 0 0 70 73 4 3 20 0 15 0 407473014 11111497728 259989 33554432000 4194304 4196468 140734176270672 139972463483312 139972941060738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8044544 140734176275189 140734176277701 140734176277701 140734176280527 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1039956 KiB
Child status: 143
Real time (s): 2340.33
CPU time (s): 2400.09
CPU user time (s): 2396.49
CPU system time (s): 3.59155
CPU usage (%): 102.553
Max. virtual memory (cumulated for all children) (KiB): 10856748
Max. memory (cumulated for all children) (KiB): 1069764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.49
system time used= 3.59154
maximum resident set size= 1071300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 263889
involuntary context switches= 8431
# summary of solver processes directly reported to runsolver:
# pid: 24514
# total CPU time (s): 2400.09
# total CPU user time (s): 2396.49
# total CPU system time (s): 3.59155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9291 second user time and 22.9909 second system time
The end