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 (7271 MiB free)
memory of node 1: 16384 MiB (13343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289750-1532209719/watcher-4289750-1532209719 -o /tmp/evaluation-result-4289750-1532209719/solver-4289750-1532209719 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532209718-28181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289750-1532209719.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=28205, runsolver pid=28199
[startup+0.100789 s]*
/proc/loadavg: 1.08 1.03 1.13 3/219 28240
/proc/meminfo: memFree=21078484/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10659012 memory=30068 CPUtime=0.12 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 6606 0 0 0 11 1 0 0 20 0 15 0 38535037 10914828288 7517 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2664753 7517 2822 1 0 2627263 0
[pid=28205/tid=28207] ppid=28199 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) R 28199 28205 25837 0 -1 4202560 4426 0 0 0 8 1 0 0 20 0 15 0 38535038 10914828288 7517 33554432000 4194304 4196468 140724592389216 140709057103728 140709052910998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10659012 memory=140305550968448 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10659012 memory=140305550968448 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535040 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535041 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708154406560 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535041 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708153353456 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) S 28199 28205 25837 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 38535043 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708151249136 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) S 28199 28205 25837 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 38535043 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708150196592 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10659012 memory=140305550968448 CPUtime=0.02 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) R 28199 28205 25837 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 38535043 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708149143536 140709052910998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10659012 memory=140305550968448 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535044 10914828288 7517 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30068 KiB
[startup+0.211311 s]*
/proc/loadavg: 1.08 1.03 1.13 4/219 28240
/proc/meminfo: memFree=21056048/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10659012 memory=41776 CPUtime=0.33 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 8085 0 0 0 31 2 0 0 20 0 15 0 38535037 10914828288 10444 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2664753 10444 2988 1 0 2627263 0
[pid=28205/tid=28207] ppid=28199 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) R 28199 28205 25837 0 -1 4202560 5005 0 0 0 18 1 0 0 20 0 15 0 38535038 10914828288 10444 33554432000 4194304 4196468 140724592389216 140709057135344 140709036942693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10659012 memory=288370681702680192 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10659012 memory=140305550968448 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535040 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535041 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708154406560 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535041 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708153353456 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) S 28199 28205 25837 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 38535043 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708151249136 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) S 28199 28205 25837 0 -1 1077944384 659 0 0 0 2 0 0 0 20 0 15 0 38535043 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708150196592 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10659012 memory=140305550968448 CPUtime=0.07 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) R 28199 28205 25837 0 -1 4202560 730 0 0 0 7 0 0 0 20 0 15 0 38535043 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708149143536 140709052910998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10659012 memory=140305550968448 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535044 10914828288 10444 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41776 KiB
[startup+0.311375 s]*
/proc/loadavg: 1.08 1.03 1.13 8/219 28240
/proc/meminfo: memFree=21041468/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10659088 memory=46956 CPUtime=0.52 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 8771 0 0 0 49 3 0 0 20 0 15 0 38535037 10914906112 11739 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2664772 11739 3041 1 0 2627263 0
[pid=28205/tid=28207] ppid=28199 vsize=10659088 memory=93309934 CPUtime=0.3 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) R 28199 28205 25837 0 -1 4202560 5579 0 0 0 28 2 0 0 20 0 15 0 38535038 10914906112 11739 33554432000 4194304 4196468 140724592389216 140709057135712 140709052920410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10659088 memory=140305441593295 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10659088 memory=280610883184272 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10659088 memory=280610992568640 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535040 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535041 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708154406560 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10659088 memory=2110656048731972 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535041 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708153353456 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10659088 memory=2110656048732004 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) S 28199 28205 25837 0 -1 1077944384 344 0 0 0 3 0 0 0 20 0 15 0 38535043 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708151249136 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) S 28199 28205 25837 0 -1 1077944384 681 0 0 0 4 0 0 0 20 0 15 0 38535043 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708150196592 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10659088 memory=140305550968448 CPUtime=0.12 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) R 28199 28205 25837 0 -1 4202560 797 0 0 0 12 0 0 0 20 0 15 0 38535043 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708149141328 140709031533011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10659088 memory=140305550968448 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535044 10914906112 11739 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46956 KiB
[startup+0.701632 s]
/proc/loadavg: 1.08 1.03 1.13 5/219 28240
/proc/meminfo: memFree=21003116/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10661136 memory=136004 CPUtime=1.68 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 13344 0 0 0 163 5 0 0 20 0 15 0 38535037 10917003264 34001 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2665284 34001 3106 1 0 2627775 0
[pid=28205/tid=28207] ppid=28199 vsize=10661136 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) R 28199 28205 25837 0 -1 4202560 6072 0 0 0 64 3 0 0 20 0 15 0 38535038 10917003264 34001 33554432000 4194304 4196468 140724592389216 140709057117312 140709035326948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10661136 memory=140305441623184 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535039 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10661136 memory=261522303517077 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10661136 memory=116145 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535039 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38535040 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535041 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708154406560 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10661136 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535041 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708153353456 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10661136 memory=-6580144465946764901 CPUtime=0.32 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) R 28199 28205 25837 0 -1 4202560 1636 0 0 0 32 0 0 0 20 0 15 0 38535043 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708151235232 140709036804992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10661136 memory=6944656592387989600 CPUtime=0.33 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) R 28199 28205 25837 0 -1 4202560 2676 0 0 0 32 1 0 0 20 0 15 0 38535043 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708150177128 140709036395803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10661136 memory=6944656592455360604 CPUtime=0.33 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) S 28199 28205 25837 0 -1 1077944384 1587 0 0 0 33 0 0 0 20 0 15 0 38535043 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708149143536 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10661136 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535043 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535044 10917003264 34001 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 136004 KiB
[startup+1.50076 s]
/proc/loadavg: 1.08 1.03 1.13 7/219 28240
/proc/meminfo: memFree=20681276/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10661136 memory=271736 CPUtime=3.81 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 22018 0 0 0 371 10 0 0 20 0 15 0 38535037 10917003264 67934 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2665284 67934 3150 1 0 2627775 0
[pid=28205/tid=28207] ppid=28199 vsize=10661136 memory=8099279071866868837 CPUtime=1.28 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) R 28199 28205 25837 0 -1 4202560 6099 0 0 0 125 3 0 0 20 0 15 0 38535038 10917003264 67934 33554432000 4194304 4196468 140724592389216 140709057129936 140709034846559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10661136 memory=7445126763383906901 CPUtime=0.02 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 15 0 38535039 10917003264 67934 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10661136 memory=7105722050195272834 CPUtime=0.06 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 124 0 0 0 5 1 0 0 20 0 15 0 38535039 10917003264 67934 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10661136 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 15 0 38535039 10917003264 67934 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10661136 memory=66508539 CPUtime=0.05 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 129 0 0 0 4 1 0 0 20 0 15 0 38535039 10917003264 67934 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10661136 memory=65 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 38535040 10917003264 67934 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
################
# More data... #
################
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 28725 0 0 0 1535 79 0 0 20 0 16 0 38535039 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10727700 memory=1008 CPUtime=16.07 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 21315 0 0 0 1531 76 0 0 20 0 16 0 38535039 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10727700 memory=5341340 CPUtime=15.97 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 26570 0 0 0 1520 77 0 0 20 0 16 0 38535039 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10727700 memory=15872 CPUtime=5.87 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 15594 0 0 0 583 4 0 0 20 0 16 0 38535040 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10727700 memory=8620 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 38535041 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708154406624 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10727700 memory=18472 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 38535041 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708153353472 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10727700 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10727700 memory=1792 CPUtime=2.53 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) S 28199 28205 25837 0 -1 1077944384 15029 0 0 0 251 2 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708151249136 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10727700 memory=1240 CPUtime=2.15 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) S 28199 28205 25837 0 -1 1077944384 12670 0 0 0 212 3 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708150196592 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10727700 memory=648 CPUtime=0.58 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) S 28199 28205 25837 0 -1 1077944384 6962 0 0 0 57 1 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708149143536 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10727700 memory=956 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10727700 memory=5341340 CPUtime=1.56 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 2194 0 0 0 79 77 0 0 20 0 16 0 38535044 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28242] ppid=28199 vsize=10727700 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28242/stat : 28242 (java) S 28199 28205 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38538265 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708143887920 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 2377.1 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5341340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2345.21 s]
/proc/loadavg: 2.16 2.22 2.05 3/220 28364
/proc/meminfo: memFree=11103208/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10727700 memory=5341340 CPUtime=2400.03 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 437692 0 0 0 239580 423 0 0 20 0 16 0 38535037 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2681925 1335335 3189 1 0 2644416 0
[pid=28205/tid=28207] ppid=28199 vsize=10727700 memory=5341340 CPUtime=2322.94 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) R 28199 28205 25837 0 -1 4202560 278603 0 0 0 232251 43 0 0 20 0 16 0 38535038 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140709057137480 140708655150468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10727700 memory=5341340 CPUtime=16.11 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 28594 0 0 0 1533 78 0 0 20 0 16 0 38535039 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10727700 memory=5341340 CPUtime=16.14 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 28725 0 0 0 1535 79 0 0 20 0 16 0 38535039 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10727700 memory=5341340 CPUtime=16.07 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 21315 0 0 0 1531 76 0 0 20 0 16 0 38535039 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10727700 memory=5341340 CPUtime=15.97 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 26570 0 0 0 1520 77 0 0 20 0 16 0 38535039 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10727700 memory=5341340 CPUtime=5.87 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 15594 0 0 0 583 4 0 0 20 0 16 0 38535040 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 38535041 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708154406624 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10727700 memory=5341340 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 38535041 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708153353472 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10727700 memory=5341340 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10727700 memory=4132 CPUtime=2.53 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) S 28199 28205 25837 0 -1 1077944384 15029 0 0 0 251 2 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708151249136 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10727700 memory=13912 CPUtime=2.15 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) S 28199 28205 25837 0 -1 1077944384 12670 0 0 0 212 3 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708150196592 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10727700 memory=5341340 CPUtime=0.58 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) S 28199 28205 25837 0 -1 1077944384 6962 0 0 0 57 1 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708149143536 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10727700 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535043 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10727700 memory=4664744 CPUtime=1.58 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 2196 0 0 0 80 78 0 0 20 0 16 0 38535044 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28242] ppid=28199 vsize=10727700 memory=6369899026714749800 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28242/stat : 28242 (java) S 28199 28205 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38538265 10985164800 1335335 33554432000 4194304 4196468 140724592389216 140708143887920 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5341340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2345.46 s]
# the end of solver process 28205 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.85 s, system=4.26175 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2345.31 s]
/proc/loadavg: 2.16 2.22 2.05 3/220 28364
/proc/meminfo: memFree=11103208/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10927392 memory=5341648 CPUtime=2400.05 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 438784 0 0 0 239582 423 0 0 20 0 17 0 38535037 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2731848 1335412 3192 1 0 2694339 0
[pid=28205/tid=28207] ppid=28199 vsize=10927392 memory=4664744 CPUtime=2322.95 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) S 28199 28205 25837 0 -1 1077944384 278736 0 0 0 232252 43 0 0 20 0 17 0 38535038 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140709057141936 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10927392 memory=5341340 CPUtime=16.11 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 28594 0 0 0 1533 78 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10927392 memory=4126316290023845779 CPUtime=16.14 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 28725 0 0 0 1535 79 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10927392 memory=18472 CPUtime=16.07 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 21315 0 0 0 1531 76 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10927392 memory=4048 CPUtime=15.97 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 26570 0 0 0 1520 77 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10927392 memory=1792 CPUtime=5.88 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 15644 0 0 0 584 4 0 0 20 0 17 0 38535040 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10927392 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 38535041 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708154406624 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10927392 memory=648 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 38535041 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708153353472 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10927392 memory=956 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10927392 memory=2340 CPUtime=2.53 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) S 28199 28205 25837 0 -1 1077944384 15029 0 0 0 251 2 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708151249136 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10927392 memory=1584 CPUtime=2.15 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) S 28199 28205 25837 0 -1 1077944384 12670 0 0 0 212 3 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708150196592 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10927392 memory=928 CPUtime=0.58 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) S 28199 28205 25837 0 -1 1077944384 7229 0 0 0 57 1 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708149143536 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10927392 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10927392 memory=13912 CPUtime=1.58 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 2196 0 0 0 80 78 0 0 20 0 17 0 38535044 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5341648 KiB
[startup+2345.4 s]
/proc/loadavg: 2.16 2.22 2.05 3/220 28364
/proc/meminfo: memFree=11103208/32770624 swapFree=67108860/67108860
[pid=28205] ppid=28199 vsize=10927392 memory=5341648 CPUtime=2400.05 cores=0,2,4,6
/proc/28205/stat : 28205 (java) S 28199 28205 25837 0 -1 1077944320 438784 0 0 0 239582 423 0 0 20 0 17 0 38535037 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140724592371760 140709052899063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
/proc/28205/statm: 2731848 1335412 3192 1 0 2694339 0
[pid=28205/tid=28207] ppid=28199 vsize=10927392 memory=5341340 CPUtime=2322.95 cores=0,2,4,6
/proc/28205/task/28207/stat : 28207 (java) S 28199 28205 25837 0 -1 1077944384 278736 0 0 0 232252 43 0 0 20 0 17 0 38535038 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140709057141936 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28210] ppid=28199 vsize=10927392 memory=5341340 CPUtime=16.11 cores=0,2,4,6
/proc/28205/task/28210/stat : 28210 (java) S 28199 28205 25837 0 -1 1077944384 28594 0 0 0 1533 78 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708978973200 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28211] ppid=28199 vsize=10927392 memory=5341340 CPUtime=16.14 cores=0,2,4,6
/proc/28205/task/28211/stat : 28211 (java) S 28199 28205 25837 0 -1 1077944384 28725 0 0 0 1535 79 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708977920656 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28212] ppid=28199 vsize=10927392 memory=5341340 CPUtime=16.07 cores=0,2,4,6
/proc/28205/task/28212/stat : 28212 (java) S 28199 28205 25837 0 -1 1077944384 21315 0 0 0 1531 76 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708976867600 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28213] ppid=28199 vsize=10927392 memory=5341340 CPUtime=15.97 cores=0,2,4,6
/proc/28205/task/28213/stat : 28213 (java) S 28199 28205 25837 0 -1 1077944384 26570 0 0 0 1520 77 0 0 20 0 17 0 38535039 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708975815056 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28223] ppid=28199 vsize=10927392 memory=5341340 CPUtime=5.88 cores=0,2,4,6
/proc/28205/task/28223/stat : 28223 (java) S 28199 28205 25837 0 -1 1077944384 15644 0 0 0 584 4 0 0 20 0 17 0 38535040 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708155460336 140709052910210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28224] ppid=28199 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28224/stat : 28224 (java) S 28199 28205 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 38535041 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708154406624 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28225] ppid=28199 vsize=10927392 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28225/stat : 28225 (java) S 28199 28205 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 38535041 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708153353472 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28229] ppid=28199 vsize=10927392 memory=13912 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28229/stat : 28229 (java) S 28199 28205 25837 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708152302032 140709052917659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28230] ppid=28199 vsize=10927392 memory=5341340 CPUtime=2.53 cores=0,2,4,6
/proc/28205/task/28230/stat : 28230 (java) S 28199 28205 25837 0 -1 1077944384 15029 0 0 0 251 2 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708151249136 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28231] ppid=28199 vsize=10927392 memory=4132 CPUtime=2.15 cores=0,2,4,6
/proc/28205/task/28231/stat : 28231 (java) S 28199 28205 25837 0 -1 1077944384 12670 0 0 0 212 3 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708150196592 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28232] ppid=28199 vsize=10927392 memory=5341340 CPUtime=0.58 cores=0,2,4,6
/proc/28205/task/28232/stat : 28232 (java) S 28199 28205 25837 0 -1 1077944384 7229 0 0 0 57 1 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708149143536 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28233] ppid=28199 vsize=10927392 memory=5341340 CPUtime=0 cores=0,2,4,6
/proc/28205/task/28233/stat : 28233 (java) S 28199 28205 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38535043 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708148091232 140709052909269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
[pid=28205/tid=28234] ppid=28199 vsize=10927392 memory=4664744 CPUtime=1.58 cores=0,2,4,6
/proc/28205/task/28234/stat : 28234 (java) S 28199 28205 25837 0 -1 1077944384 2196 0 0 0 80 78 0 0 20 0 17 0 38535044 11189649408 1335412 33554432000 4194304 4196468 140724592389216 140708147039280 140709052910210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29728768 140724592395377 140724592395529 140724592395529 140724592398287 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5341648 KiB
Child status: 143
Real time (s): 2345.46
CPU time (s): 2400.11
CPU user time (s): 2395.85
CPU system time (s): 4.26175
CPU usage (%): 102.33
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 5341648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.85
system time used= 4.26175
maximum resident set size= 5341856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440045
page faults= 0
swaps= 0
block input operations= 176
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55536
involuntary context switches= 1771
# summary of solver processes directly reported to runsolver:
# pid: 28205
# total CPU time (s): 2400.11
# total CPU user time (s): 2395.85
# total CPU system time (s): 4.26175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4465 second user time and 24.1375 second system time
The end