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 (7835 MiB free)
memory of node 1: 16384 MiB (8350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290075-1532222907/watcher-4290075-1532222907 -o /tmp/evaluation-result-4290075-1532222907/solver-4290075-1532222907 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532209713-28358 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290075-1532222907.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=30143, runsolver pid=30140
[startup+0.103537 s]*
/proc/loadavg: 2.00 2.01 2.08 4/221 30158
/proc/meminfo: memFree=16558628/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10659012 memory=25984 CPUtime=0.09 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 4883 0 0 0 8 1 0 0 20 0 15 0 39853848 10914828288 6496 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2664753 6496 2715 1 0 2627263 0
[pid=30143/tid=30145] ppid=30140 vsize=10659012 memory=-8413741653617184122 CPUtime=0.06 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) R 30140 30143 26255 0 -1 4202560 2973 0 0 0 6 0 0 0 20 0 15 0 39853848 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473942105552 140473937882518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10659012 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10659012 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853851 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39853851 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473496323488 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39853851 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473495270896 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853853 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) S 30140 30143 26255 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 39853853 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473493166064 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853853 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473492113520 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10659012 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) R 30140 30143 26255 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 15 0 39853853 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473491060976 140473919108144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853854 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10659012 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853856 10914828288 6496 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 25984 KiB
[startup+0.210706 s]*
/proc/loadavg: 2.00 2.01 2.08 3/221 30158
/proc/meminfo: memFree=16548936/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10659012 memory=38148 CPUtime=0.26 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 7607 0 0 0 24 2 0 0 20 0 15 0 39853848 10914828288 9537 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2664753 9537 2941 1 0 2627263 0
[pid=30143/tid=30145] ppid=30140 vsize=10659012 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) R 30140 30143 26255 0 -1 4202560 4902 0 0 0 16 1 0 0 20 0 15 0 39853848 10914828288 9537 33554432000 4194304 4196468 140732129305488 140473942086848 140473937892509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 9537 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10659012 memory=3977438355354699424 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 9537 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 9537 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853849 10914828288 9537 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10659012 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853851 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39853851 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473496323488 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39853851 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473495270896 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853853 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) R 30140 30143 26255 0 -1 4202560 467 0 0 0 1 0 0 0 20 0 15 0 39853853 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473493154952 140473918570880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) R 30140 30143 26255 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 39853853 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473492113520 140473937881730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10659012 memory=140626572756608 CPUtime=0.05 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) R 30140 30143 26255 0 -1 4202560 669 0 0 0 5 0 0 0 20 0 15 0 39853853 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473491057912 140473916841115 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853854 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10659012 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853856 10914828288 9603 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 38148 KiB
[startup+0.314155 s]*
/proc/loadavg: 2.00 2.01 2.08 6/221 30158
/proc/meminfo: memFree=16542944/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10659088 memory=46184 CPUtime=0.45 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 8679 0 0 0 42 3 0 0 20 0 15 0 39853848 10914906112 11546 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2664772 11546 3047 1 0 2627263 0
[pid=30143/tid=30145] ppid=30140 vsize=10659088 memory=7022364594140610616 CPUtime=0.27 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) R 30140 30143 26255 0 -1 4202560 5687 0 0 0 25 2 0 0 20 0 15 0 39853848 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473942105392 140473921914213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10659088 memory=3691177204528334496 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10659088 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853851 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39853851 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473496323488 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39853851 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473495270896 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853853 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) R 30140 30143 26255 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 39853853 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473493166064 140473937881730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10659088 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) R 30140 30143 26255 0 -1 4202560 353 0 0 0 3 0 0 0 20 0 15 0 39853853 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473492103904 140473919391758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10659088 memory=140626572756608 CPUtime=0.1 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) R 30140 30143 26255 0 -1 4202560 728 0 0 0 10 0 0 0 20 0 15 0 39853853 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473491060976 140473916827832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853854 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10659088 memory=140626572756608 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853856 10914906112 11546 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46184 KiB
[startup+0.700764 s]
/proc/loadavg: 2.00 2.01 2.08 5/221 30158
/proc/meminfo: memFree=16513040/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10659088 memory=111060 CPUtime=1.56 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 13712 0 0 0 151 5 0 0 20 0 15 0 39853848 10914906112 27765 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2664772 27765 3098 1 0 2627263 0
[pid=30143/tid=30145] ppid=30140 vsize=10659088 memory=1844 CPUtime=0.65 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) R 30140 30143 26255 0 -1 4202560 5937 0 0 0 62 3 0 0 20 0 15 0 39853848 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473942096544 140473568513588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10659088 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10659088 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10659088 memory=12984 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10659088 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853849 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10659088 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39853851 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10659088 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39853851 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473496323488 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10659088 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39853851 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473495270896 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10659088 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853853 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10659088 memory=6296683612537770333 CPUtime=0.34 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) R 30140 30143 26255 0 -1 4202560 2902 0 0 0 34 0 0 0 20 0 15 0 39853853 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473493150392 140473921781278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10659088 memory=7595725831727968097 CPUtime=0.37 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) R 30140 30143 26255 0 -1 4202560 2509 0 0 0 36 1 0 0 20 0 15 0 39853853 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473492100304 140473919391726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10659088 memory=7810487918915055718 CPUtime=0.17 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) S 30140 30143 26255 0 -1 1077944384 996 0 0 0 17 0 0 0 20 0 15 0 39853853 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473491060976 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39853854 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10659088 memory=281252846711744 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39853856 10914906112 27765 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 111060 KiB
[startup+1.50071 s]
/proc/loadavg: 2.00 2.01 2.08 3/221 30158
/proc/meminfo: memFree=16337172/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10725652 memory=343448 CPUtime=3.65 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 14921 0 0 0 339 26 0 0 20 0 16 0 39853848 10983067648 85862 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2681413 85862 3139 1 0 2643904 0
[pid=30143/tid=30145] ppid=30140 vsize=10725652 memory=17 CPUtime=1.26 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) R 30140 30143 26255 0 -1 4202560 6103 0 0 0 122 4 0 0 20 0 16 0 39853848 10983067648 85862 33554432000 4194304 4196468 140732129305488 140473942109136 140473568361856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10725652 memory=18 CPUtime=0.17 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 156 0 0 0 13 4 0 0 20 0 16 0 39853849 10983067648 85862 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10725652 memory=17 CPUtime=0.17 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 151 0 0 0 12 5 0 0 20 0 16 0 39853849 10983067648 85862 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10725652 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 144 0 0 0 13 5 0 0 20 0 16 0 39853849 10983067648 85862 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10725652 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 164 0 0 0 13 4 0 0 20 0 16 0 39853849 10983067648 85862 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 39853851 10983067648 85862 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
################
# More data... #
################
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 3581 0 0 0 257 69 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10725652 memory=1788 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 5096 0 0 0 257 69 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10725652 memory=796 CPUtime=0.58 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 16381 0 0 0 54 4 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10725652 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473496323552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10725652 memory=3243220 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473495270912 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10725652 memory=3243220 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10725652 memory=928 CPUtime=1.2 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) S 30140 30143 26255 0 -1 1077944384 7381 0 0 0 119 1 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473493166064 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10725652 memory=2244 CPUtime=1.27 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) S 30140 30143 26255 0 -1 1077944384 7535 0 0 0 125 2 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473492113520 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10725652 memory=3243220 CPUtime=0.33 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) S 30140 30143 26255 0 -1 1077944384 3476 0 0 0 32 1 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473491060976 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10725652 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39853854 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10725652 memory=14176 CPUtime=1.35 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 2036 0 0 0 68 67 0 0 20 0 16 0 39853856 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30159] ppid=30140 vsize=10725652 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30159/stat : 30159 (java) S 30140 30143 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39853979 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473487902000 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 2336.32 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3243220 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.30 1.71 2/200 30351
/proc/meminfo: memFree=13952472/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10725652 memory=3243220 CPUtime=2396.37 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 122269 0 0 0 239271 366 0 0 20 0 16 0 39853848 10983067648 810805 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2681413 810805 3173 1 0 2643904 0
[pid=30143/tid=30145] ppid=30140 vsize=10725652 memory=3243220 CPUtime=2378.45 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) R 30140 30143 26255 0 -1 4202560 67404 0 0 0 237819 26 0 0 20 0 16 0 39853848 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473942109472 140473569732710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10725652 memory=3243220 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 3917 0 0 0 258 68 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10725652 memory=3243220 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 3921 0 0 0 256 70 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10725652 memory=3243220 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 3581 0 0 0 257 69 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10725652 memory=3243220 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 5096 0 0 0 257 69 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10725652 memory=3243220 CPUtime=0.59 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 16414 0 0 0 55 4 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10725652 memory=3243220 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473496323552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10725652 memory=3243220 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473495270912 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10725652 memory=3243220 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10725652 memory=4036 CPUtime=1.2 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) S 30140 30143 26255 0 -1 1077944384 7392 0 0 0 119 1 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473493166064 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10725652 memory=3243220 CPUtime=1.27 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) S 30140 30143 26255 0 -1 1077944384 7548 0 0 0 125 2 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473492113520 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10725652 memory=1204 CPUtime=0.33 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) S 30140 30143 26255 0 -1 1077944384 3486 0 0 0 32 1 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473491060976 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39853854 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10725652 memory=1240 CPUtime=1.4 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 2097 0 0 0 71 69 0 0 20 0 16 0 39853856 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30159] ppid=30140 vsize=10725652 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30159/stat : 30159 (java) S 30140 30143 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39853979 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473487902000 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 2396.37 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3243220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386 s]*
/proc/loadavg: 1.00 1.30 1.71 2/200 30351
/proc/meminfo: memFree=13952472/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10725652 memory=3243220 CPUtime=2400.08 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 122401 0 0 0 239642 366 0 0 20 0 16 0 39853848 10983067648 810805 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2681413 810805 3173 1 0 2643904 0
[pid=30143/tid=30145] ppid=30140 vsize=10725652 memory=6791534058613427641 CPUtime=2382.16 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) R 30140 30143 26255 0 -1 4202560 67536 0 0 0 238190 26 0 0 20 0 16 0 39853848 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473942109472 140473569732710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10725652 memory=4126316290023845779 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 3917 0 0 0 258 68 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10725652 memory=6791534058613427641 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 3921 0 0 0 256 70 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10725652 memory=4126316290023845779 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 3581 0 0 0 257 69 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10725652 memory=4312 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 5096 0 0 0 257 69 0 0 20 0 16 0 39853849 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10725652 memory=2196 CPUtime=0.59 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 16414 0 0 0 55 4 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10725652 memory=7380 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473496323552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10725652 memory=840 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 39853851 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473495270912 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10725652 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10725652 memory=916 CPUtime=1.2 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) S 30140 30143 26255 0 -1 1077944384 7392 0 0 0 119 1 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473493166064 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10725652 memory=3848 CPUtime=1.27 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) S 30140 30143 26255 0 -1 1077944384 7548 0 0 0 125 2 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473492113520 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10725652 memory=2580 CPUtime=0.33 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) S 30140 30143 26255 0 -1 1077944384 3486 0 0 0 32 1 0 0 20 0 16 0 39853853 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473491060976 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10725652 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39853854 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10725652 memory=1408 CPUtime=1.4 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 2097 0 0 0 71 69 0 0 20 0 16 0 39853856 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30159] ppid=30140 vsize=10725652 memory=3272 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30159/stat : 30159 (java) S 30140 30143 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39853979 10983067648 810805 33554432000 4194304 4196468 140732129305488 140473487902000 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3243220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.29 s]
# the end of solver process 30143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.53 s, system=3.67977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2386.2 s]
/proc/loadavg: 1.00 1.30 1.71 2/200 30351
/proc/meminfo: memFree=13952472/32770624 swapFree=67108860/67108860
[pid=30143] ppid=30140 vsize=10925344 memory=3243516 CPUtime=2400.1 cores=0,2,4,6
/proc/30143/stat : 30143 (java) S 30140 30143 26255 0 -1 1077944320 123425 0 0 0 239644 366 0 0 20 0 17 0 39853848 11187552256 810879 33554432000 4194304 4196468 140732129305488 140732129288032 140473937870583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
/proc/30143/statm: 2731336 810879 3176 1 0 2693827 0
[pid=30143/tid=30145] ppid=30140 vsize=10925344 memory=288230621803970871 CPUtime=2382.17 cores=0,2,4,6
/proc/30143/task/30145/stat : 30145 (java) S 30140 30143 26255 0 -1 1077944384 67640 0 0 0 238191 26 0 0 20 0 17 0 39853848 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473942113456 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30146] ppid=30140 vsize=10925344 memory=16097065801353040 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30146/stat : 30146 (java) S 30140 30143 26255 0 -1 1077944384 3917 0 0 0 258 68 0 0 20 0 17 0 39853849 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473890490640 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30147] ppid=30140 vsize=10925344 memory=1240 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30147/stat : 30147 (java) S 30140 30143 26255 0 -1 1077944384 3921 0 0 0 256 70 0 0 20 0 17 0 39853849 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473889438096 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30148] ppid=30140 vsize=10925344 memory=8916 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30148/stat : 30148 (java) S 30140 30143 26255 0 -1 1077944384 3581 0 0 0 257 69 0 0 20 0 17 0 39853849 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473888385552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30149] ppid=30140 vsize=10925344 memory=1788 CPUtime=3.26 cores=0,2,4,6
/proc/30143/task/30149/stat : 30149 (java) S 30140 30143 26255 0 -1 1077944384 5096 0 0 0 257 69 0 0 20 0 17 0 39853849 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473887333008 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30150] ppid=30140 vsize=10925344 memory=644 CPUtime=0.59 cores=0,2,4,6
/proc/30143/task/30150/stat : 30150 (java) S 30140 30143 26255 0 -1 1077944384 16414 0 0 0 55 4 0 0 20 0 17 0 39853851 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473497377264 140473937881730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30151] ppid=30140 vsize=10925344 memory=956 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30151/stat : 30151 (java) S 30140 30143 26255 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 39853851 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473496323552 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30152] ppid=30140 vsize=10925344 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30152/stat : 30152 (java) S 30140 30143 26255 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 39853851 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473495270912 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30153] ppid=30140 vsize=10925344 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30153/stat : 30153 (java) S 30140 30143 26255 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 17 0 39853853 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473494219472 140473937889179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30154] ppid=30140 vsize=10925344 memory=928 CPUtime=1.2 cores=0,2,4,6
/proc/30143/task/30154/stat : 30154 (java) S 30140 30143 26255 0 -1 1077944384 7392 0 0 0 119 1 0 0 20 0 17 0 39853853 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473493166064 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30155] ppid=30140 vsize=10925344 memory=2244 CPUtime=1.27 cores=0,2,4,6
/proc/30143/task/30155/stat : 30155 (java) S 30140 30143 26255 0 -1 1077944384 7548 0 0 0 125 2 0 0 20 0 17 0 39853853 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473492113520 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30156] ppid=30140 vsize=10925344 memory=4312 CPUtime=0.33 cores=0,2,4,6
/proc/30143/task/30156/stat : 30156 (java) S 30140 30143 26255 0 -1 1077944384 3797 0 0 0 32 1 0 0 20 0 17 0 39853853 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473491060976 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30157] ppid=30140 vsize=10925344 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/30143/task/30157/stat : 30157 (java) S 30140 30143 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39853854 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473490008672 140473937880789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
[pid=30143/tid=30158] ppid=30140 vsize=10925344 memory=14176 CPUtime=1.4 cores=0,2,4,6
/proc/30143/task/30158/stat : 30158 (java) S 30140 30143 26255 0 -1 1077944384 2097 0 0 0 71 69 0 0 20 0 17 0 39853856 11187552256 810879 33554432000 4194304 4196468 140732129305488 140473488956208 140473937881730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23212032 140732129313905 140732129314057 140732129314057 140732129316815 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 3243516 KiB
Child status: 143
Real time (s): 2386.29
CPU time (s): 2400.21
CPU user time (s): 2396.53
CPU system time (s): 3.67977
CPU usage (%): 100.584
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 3243516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.53
system time used= 3.67977
maximum resident set size= 3243924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54126
involuntary context switches= 2192
# summary of solver processes directly reported to runsolver:
# pid: 30143
# total CPU time (s): 2400.21
# total CPU user time (s): 2396.53
# total CPU system time (s): 3.67977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4218 second user time and 23.2896 second system time
The end