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 (14383 MiB free)
memory of node 1: 16384 MiB (11509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301958-1532885974/watcher-4301958-1532885974 -o /tmp/evaluation-result-4301958-1532885974/solver-4301958-1532885974 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301958-1532885974.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30630, runsolver pid=30627
[startup+0.100089 s]*
/proc/loadavg: 2.15 2.49 2.56 3/216 30645
/proc/meminfo: memFree=26497340/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10659012 memory=30052 CPUtime=0.13 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 6606 0 0 0 11 2 0 0 20 0 15 0 106160588 10914828288 7513 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2664753 7513 2842 1 0 2627263 0
[pid=30630/tid=30632] ppid=30627 vsize=10659012 memory=-8773748148829982851 CPUtime=0.09 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) R 30627 30630 22004 0 -1 4202560 4421 0 0 0 8 1 0 0 20 0 15 0 106160589 10914828288 7513 33554432000 4194304 4196468 140722212093680 140032714353168 140032710139286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 7513 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10659012 memory=139833247950464 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 7513 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 7513 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 7513 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10659012 memory=139833247950464 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106160591 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106160591 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106160591 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) S 30627 30630 22004 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031741905008 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) S 30627 30630 22004 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031740852208 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10659012 memory=139833247950464 CPUtime=0.02 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) S 30627 30630 22004 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 106160594 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031739799920 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10659012 memory=139833247950464 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 7513 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30052 KiB
[startup+0.210709 s]*
/proc/loadavg: 2.15 2.49 2.56 3/216 30645
/proc/meminfo: memFree=26486944/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10659012 memory=42000 CPUtime=0.33 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 8121 0 0 0 31 2 0 0 20 0 15 0 106160588 10914828288 10500 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2664753 10500 3008 1 0 2627263 0
[pid=30630/tid=30632] ppid=30627 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) R 30627 30630 22004 0 -1 4202560 4998 0 0 0 19 1 0 0 20 0 15 0 106160589 10914828288 10500 33554432000 4194304 4196468 140722212093680 140032714363632 140032694170981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10659012 memory=365 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 10500 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10659012 memory=139833248588829 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 10500 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 10500 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106160590 10914828288 10500 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10659012 memory=139833247950464 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106160591 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106160591 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106160591 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) S 30627 30630 22004 0 -1 1077944384 629 0 0 0 2 0 0 0 20 0 15 0 106160594 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031741905008 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) S 30627 30630 22004 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 15 0 106160594 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031740852208 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10659012 memory=139833247950464 CPUtime=0.07 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) R 30627 30630 22004 0 -1 4202560 713 0 0 0 7 0 0 0 20 0 15 0 106160594 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031739799920 140032688729335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10659012 memory=139833247950464 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160594 10914828288 10500 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42000 KiB
[startup+0.319164 s]*
/proc/loadavg: 2.15 2.49 2.56 4/216 30645
/proc/meminfo: memFree=26473980/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10659088 memory=53376 CPUtime=0.59 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 9944 0 0 0 56 3 0 0 20 0 15 0 106160588 10914906112 13344 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2664772 13344 3068 1 0 2627263 0
[pid=30630/tid=30632] ppid=30627 vsize=10659088 memory=7311146985107750967 CPUtime=0.31 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) R 30627 30630 22004 0 -1 1077944384 5569 0 0 0 29 2 0 0 20 0 15 0 106160589 10914906112 13344 33554432000 4194304 4196468 140722212093680 140032714364848 140032710137557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10659088 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914906112 13344 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10659088 memory=139833248588828 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914906112 13344 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10914906112 13344 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106160590 10914906112 13344 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10659088 memory=139833247950464 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106160591 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106160591 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106160591 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) R 30627 30630 22004 0 -1 4202560 938 0 0 0 5 0 0 0 20 0 15 0 106160594 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031741890976 140032710148698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) R 30627 30630 22004 0 -1 4202560 977 0 0 0 7 0 0 0 20 0 15 0 106160594 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031740838752 140032710148698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10659088 memory=139833247950464 CPUtime=0.13 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) R 30627 30630 22004 0 -1 4202560 1091 0 0 0 13 0 0 0 20 0 15 0 106160594 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031739796856 140032710148698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10659088 memory=139833247950464 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160594 10914906112 13344 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 53376 KiB
[startup+0.700676 s]
/proc/loadavg: 2.15 2.49 2.56 5/216 30645
/proc/meminfo: memFree=26455460/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10661136 memory=99512 CPUtime=1.9 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 12853 0 0 0 185 5 0 0 20 0 15 0 106160588 10917003264 24878 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2665284 24878 3110 1 0 2627775 0
[pid=30630/tid=30632] ppid=30627 vsize=10661136 memory=1840 CPUtime=0.66 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) R 30627 30630 22004 0 -1 4202560 6054 0 0 0 64 2 0 0 20 0 15 0 106160589 10917003264 24878 33554432000 4194304 4196468 140722212093680 140032714362624 140032328943937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10661136 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10917003264 24878 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10661136 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10917003264 24878 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10661136 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160590 10917003264 24878 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10661136 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106160590 10917003264 24878 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10661136 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106160591 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10661136 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106160591 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10661136 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106160591 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10661136 memory=7236533984234661184 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10661136 memory=7590935255203861604 CPUtime=0.38 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) R 30627 30630 22004 0 -1 4202560 1859 0 0 0 38 0 0 0 20 0 15 0 106160594 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031741891904 140032695053997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10661136 memory=6293050847276651881 CPUtime=0.42 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) R 30627 30630 22004 0 -1 4202560 1477 0 0 0 42 0 0 0 20 0 15 0 106160594 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031740845232 140032693627549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10661136 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) S 30627 30630 22004 0 -1 1077944384 2093 0 0 0 40 0 0 0 20 0 15 0 106160594 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031739799920 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106160594 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10661136 memory=33 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106160594 10917003264 24878 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 99512 KiB
[startup+1.50079 s]
/proc/loadavg: 2.15 2.49 2.56 5/217 30646
/proc/meminfo: memFree=26387388/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10727700 memory=148324 CPUtime=3.78 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 15641 0 0 0 372 6 0 0 20 0 16 0 106160588 10985164800 37081 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2681925 37081 3120 1 0 2644416 0
[pid=30630/tid=30632] ppid=30627 vsize=10727700 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) R 30627 30630 22004 0 -1 4202560 6495 0 0 0 143 3 0 0 20 0 16 0 106160589 10985164800 37081 33554432000 4194304 4196468 140722212093680 140032714345984 140032330950458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106160590 10985164800 37081 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106160590 10985164800 37081 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106160590 10985164800 37081 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106160590 10985164800 37081 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 37081 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
################
# More data... #
################
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 798 0 0 0 1 1 0 0 20 0 16 0 106160590 10985164800 54909 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10727700 memory=219628 CPUtime=0.02 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 789 0 0 0 1 1 0 0 20 0 16 0 106160590 10985164800 54909 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10727700 memory=219636 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 852 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10727700 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10727700 memory=844 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10727700 memory=219636 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106160594 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10727700 memory=219636 CPUtime=1.24 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) S 30627 30630 22004 0 -1 1077944384 5497 0 0 0 123 1 0 0 20 0 16 0 106160594 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031741905008 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10727700 memory=219636 CPUtime=1.07 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) S 30627 30630 22004 0 -1 1077944384 4831 0 0 0 107 0 0 0 20 0 16 0 106160594 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031740852208 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10727700 memory=219636 CPUtime=0.54 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) S 30627 30630 22004 0 -1 1077944384 4733 0 0 0 53 1 0 0 20 0 16 0 106160594 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031739799920 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10727700 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106160594 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10727700 memory=219636 CPUtime=0.07 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 631 0 0 0 3 4 0 0 20 0 16 0 106160594 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30646] ppid=30627 vsize=10727700 memory=219636 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30646/stat : 30646 (java) S 30627 30630 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106160677 10985164800 54909 33554432000 4194304 4196468 140722212093680 140031734543536 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 165.3 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 219636 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 2.22 2.44 3/218 30814
/proc/meminfo: memFree=27320020/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10727700 memory=223736 CPUtime=225.36 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 30605 0 0 0 22519 17 0 0 20 0 16 0 106160588 10985164800 55934 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2681925 55934 3160 1 0 2644416 0
[pid=30630/tid=30632] ppid=30627 vsize=10727700 memory=223736 CPUtime=222.19 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) R 30627 30630 22004 0 -1 4202560 8981 0 0 0 22215 4 0 0 20 0 16 0 106160589 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032714366400 140032330744007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10727700 memory=223736 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 612 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10727700 memory=223736 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 444 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10727700 memory=223736 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1492 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10727700 memory=223736 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 882 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10727700 memory=223736 CPUtime=0.01 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 16 0 106160591 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10727700 memory=223736 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10727700 memory=223736 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10727700 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10727700 memory=15872 CPUtime=1.24 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) S 30627 30630 22004 0 -1 1077944384 5497 0 0 0 123 1 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031741905008 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10727700 memory=4028 CPUtime=1.07 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) S 30627 30630 22004 0 -1 1077944384 4831 0 0 0 107 0 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031740852208 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10727700 memory=30248 CPUtime=0.54 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) S 30627 30630 22004 0 -1 1077944384 4733 0 0 0 53 1 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031739799920 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10727700 memory=223736 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10727700 memory=223736 CPUtime=0.1 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 635 0 0 0 5 5 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30646] ppid=30627 vsize=10727700 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30646/stat : 30646 (java) S 30627 30630 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106160677 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031734543536 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 225.36 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 223736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+249.001 s]*
/proc/loadavg: 2.00 2.21 2.43 3/218 30814
/proc/meminfo: memFree=27320180/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10727700 memory=223736 CPUtime=252.08 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 30735 0 0 0 25190 18 0 0 20 0 16 0 106160588 10985164800 55934 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2681925 55934 3160 1 0 2644416 0
[pid=30630/tid=30632] ppid=30627 vsize=10727700 memory=6791534058613427641 CPUtime=248.9 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) R 30627 30630 22004 0 -1 4202560 9084 0 0 0 24886 4 0 0 20 0 16 0 106160589 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032714365832 140032331068736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10727700 memory=4028 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 612 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10727700 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 444 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10727700 memory=1296 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1492 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10727700 memory=2424 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 882 0 0 0 2 1 0 0 20 0 16 0 106160590 10985164800 55934 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10727700 memory=1840 CPUtime=0.01 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 1059 0 0 0 1 0 0 0 20 0 16 0 106160591 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10727700 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10727700 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 106160591 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10727700 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10727700 memory=792 CPUtime=1.24 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) S 30627 30630 22004 0 -1 1077944384 5499 0 0 0 123 1 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031741905008 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10727700 memory=1228 CPUtime=1.07 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) S 30627 30630 22004 0 -1 1077944384 4833 0 0 0 107 0 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031740852208 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10727700 memory=1944 CPUtime=0.54 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) S 30627 30630 22004 0 -1 1077944384 4750 0 0 0 53 1 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031739799920 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10727700 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10727700 memory=4612 CPUtime=0.12 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 639 0 0 0 6 6 0 0 20 0 16 0 106160594 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30646] ppid=30627 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30646/stat : 30646 (java) S 30627 30630 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106160677 10985164800 55934 33554432000 4194304 4196468 140722212093680 140031734543536 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 223736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+249.225 s]
# the end of solver process 30630 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.957 s, system=0.19206 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+249.201 s]
/proc/loadavg: 2.00 2.21 2.43 3/218 30814
/proc/meminfo: memFree=27320180/32770624 swapFree=67108860/67108860
[pid=30630] ppid=30627 vsize=10927392 memory=223956 CPUtime=252.13 cores=0,2,4,6
/proc/30630/stat : 30630 (java) S 30627 30630 22004 0 -1 1077944320 31554 0 0 0 25195 18 0 0 20 0 17 0 106160588 11189649408 55989 33554432000 4194304 4196468 140722212093680 140722212076224 140032710127351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
/proc/30630/statm: 2731848 55989 3162 1 0 2694339 0
[pid=30630/tid=30632] ppid=30627 vsize=10927392 memory=960 CPUtime=248.94 cores=0,2,4,6
/proc/30630/task/30632/stat : 30632 (java) S 30627 30630 22004 0 -1 1077944384 9160 0 0 0 24890 4 0 0 20 0 17 0 106160589 11189649408 55989 33554432000 4194304 4196468 140722212093680 140032714370224 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30633] ppid=30627 vsize=10927392 memory=2424 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30633/stat : 30633 (java) S 30627 30630 22004 0 -1 1077944384 612 0 0 0 2 1 0 0 20 0 17 0 106160590 11189649408 55989 33554432000 4194304 4196468 140722212093680 140032646818192 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30634] ppid=30627 vsize=10927392 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30634/stat : 30634 (java) S 30627 30630 22004 0 -1 1077944384 444 0 0 0 2 1 0 0 20 0 17 0 106160590 11189649408 55989 33554432000 4194304 4196468 140722212093680 140032645765392 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30635] ppid=30627 vsize=10927392 memory=12060 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30635/stat : 30635 (java) S 30627 30630 22004 0 -1 1077944384 1492 0 0 0 2 1 0 0 20 0 17 0 106160590 11189649408 55989 33554432000 4194304 4196468 140722212093680 140032314567312 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30636] ppid=30627 vsize=10927392 memory=5788 CPUtime=0.03 cores=0,2,4,6
/proc/30630/task/30636/stat : 30636 (java) S 30627 30630 22004 0 -1 1077944384 882 0 0 0 2 1 0 0 20 0 17 0 106160590 11189649408 55989 33554432000 4194304 4196468 140722212093680 140032313514512 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30637] ppid=30627 vsize=10927392 memory=792 CPUtime=0.01 cores=0,2,4,6
/proc/30630/task/30637/stat : 30637 (java) S 30627 30630 22004 0 -1 1077944384 1059 0 0 0 1 0 0 0 20 0 17 0 106160591 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031746116208 140032710138498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30638] ppid=30627 vsize=10927392 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30638/stat : 30638 (java) S 30627 30630 22004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 106160591 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031745062176 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30639] ppid=30627 vsize=10927392 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30639/stat : 30639 (java) S 30627 30630 22004 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 17 0 106160591 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031744009840 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30640] ppid=30627 vsize=10927392 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30640/stat : 30640 (java) S 30627 30630 22004 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 17 0 106160594 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031742958160 140032710145947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30641] ppid=30627 vsize=10927392 memory=4108 CPUtime=1.24 cores=0,2,4,6
/proc/30630/task/30641/stat : 30641 (java) S 30627 30630 22004 0 -1 1077944384 5572 0 0 0 123 1 0 0 20 0 17 0 106160594 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031741905008 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30642] ppid=30627 vsize=10927392 memory=1408 CPUtime=1.07 cores=0,2,4,6
/proc/30630/task/30642/stat : 30642 (java) S 30627 30630 22004 0 -1 1077944384 4877 0 0 0 107 0 0 0 20 0 17 0 106160594 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031740852208 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30643] ppid=30627 vsize=10927392 memory=3068 CPUtime=0.55 cores=0,2,4,6
/proc/30630/task/30643/stat : 30643 (java) S 30627 30630 22004 0 -1 1077944384 4851 0 0 0 54 1 0 0 20 0 17 0 106160594 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031739799920 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30644] ppid=30627 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30630/task/30644/stat : 30644 (java) S 30627 30630 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106160594 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031738747360 140032710137557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
[pid=30630/tid=30645] ppid=30627 vsize=10927392 memory=1404 CPUtime=0.12 cores=0,2,4,6
/proc/30630/task/30645/stat : 30645 (java) S 30627 30630 22004 0 -1 1077944384 639 0 0 0 6 6 0 0 20 0 17 0 106160594 11189649408 55989 33554432000 4194304 4196468 140722212093680 140031737695152 140032710138498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140722212095094 140722212095246 140722212095246 140722212097999 0
Current children cumulated CPU time: 252.13 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 223956 KiB
Child status: 143
Real time (s): 249.225
CPU time (s): 252.149
CPU user time (s): 251.957
CPU system time (s): 0.19206
CPU usage (%): 101.173
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 223956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.957
system time used= 0.19206
maximum resident set size= 224284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7399
involuntary context switches= 256
# summary of solver processes directly reported to runsolver:
# pid: 30630
# total CPU time (s): 252.149
# total CPU user time (s): 251.957
# total CPU system time (s): 0.19206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47247 second user time and 2.44436 second system time
The end