runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258192-1501998719/watcher-4258192-1501998719 -o /tmp/evaluation-result-4258192-1501998719/solver-4258192-1501998719 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501992487-9585 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258192-1501998719.xml
pid=15823
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.05 2.14 3/196 15826
/proc/meminfo: memFree=31542476/32770624 swapFree=0/299348
[pid=15826] ppid=15823 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15826/stat : 15826 (runsolver) D 15823 15826 2450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 2065665 24240128 107 18446744073709551615 4194304 4338465 140723486081600 140723486079240 140402617332439 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 16687104 140723486085265 140723486085711 140723486085711 140723486089162 0
/proc/15826/statm: 5918 107 54 36 0 2156 0
[startup+0.100141 s]
/proc/loadavg: 2.00 2.05 2.14 3/196 15826
/proc/meminfo: memFree=31542476/32770624 swapFree=0/299348
[pid=15826] ppid=15823 vsize=9936560 CPUtime=0 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 2751 0 0 0 0 0 0 0 20 0 6 0 2065665 10175037440 3460 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2484140 3460 1424 1 0 2473637 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9936560
[startup+0.200329 s]
/proc/loadavg: 2.00 2.05 2.14 3/196 15826
/proc/meminfo: memFree=31542476/32770624 swapFree=0/299348
[pid=15826] ppid=15823 vsize=10484492 CPUtime=0.05 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 4668 0 0 0 4 1 0 0 20 0 14 0 2065665 10736119808 5714 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2621123 5714 2581 1 0 2610620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300864 s]
/proc/loadavg: 2.00 2.05 2.14 3/196 15826
/proc/meminfo: memFree=31542476/32770624 swapFree=0/299348
[pid=15826] ppid=15823 vsize=10551156 CPUtime=0.18 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 8020 0 0 0 15 3 0 0 20 0 15 0 2065665 10804383744 7781 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2637789 7781 2856 1 0 2627261 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10551156
[startup+0.700197 s]
/proc/loadavg: 2.00 2.05 2.14 3/196 15826
/proc/meminfo: memFree=31542476/32770624 swapFree=0/299348
[pid=15826] ppid=15823 vsize=10617796 CPUtime=1.19 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 12405 0 0 0 114 5 0 0 20 0 16 0 2065665 10872623104 20184 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 20184 3055 1 0 2643902 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10617796
[startup+1.50069 s]
/proc/loadavg: 2.00 2.05 2.14 4/212 15842
/proc/meminfo: memFree=31469228/32770624 swapFree=0/299380
[pid=15826] ppid=15823 vsize=10617796 CPUtime=3.06 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 20040 0 0 0 300 6 0 0 20 0 16 0 2065665 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 23437 3080 1 0 2643902 0
[pid=15826/tid=15828] ppid=15823 vsize=10617796 CPUtime=1.32 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) R 15823 15826 2450 0 -1 4202560 8653 0 0 0 129 3 0 0 20 0 16 0 2065674 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542929462160 140542557122897 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15834] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15834/stat : 15834 (java) S 15823 15826 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542488277792 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15835] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15835/stat : 15835 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542487225456 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15836] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15836/stat : 15836 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542486173776 140542925244315 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15837] ppid=15823 vsize=10617796 CPUtime=0.72 cores=1,3,5,7
/proc/15826/task/15837/stat : 15837 (java) R 15823 15826 2450 0 -1 4202560 4695 0 0 0 71 1 0 0 20 0 16 0 2065679 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542485121648 140542903210368 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15838] ppid=15823 vsize=10617796 CPUtime=0.71 cores=1,3,5,7
/proc/15826/task/15838/stat : 15838 (java) R 15823 15826 2450 0 -1 4202560 3503 0 0 0 70 1 0 0 20 0 16 0 2065679 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542484068848 140542906769953 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15839] ppid=15823 vsize=10617796 CPUtime=0.28 cores=1,3,5,7
/proc/15826/task/15839/stat : 15839 (java) S 15823 15826 2450 0 -1 1077944384 1584 0 0 0 28 0 0 0 20 0 16 0 2065679 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542483016560 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15840] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15840/stat : 15840 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542481964000 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15841] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15841/stat : 15841 (java) S 15823 15826 2450 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 2065687 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542480910768 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15842] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15842/stat : 15842 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065730 10872623104 23437 18446744073709551615 4194304 4196468 140723884529008 140542479856304 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10617796
[startup+3.10069 s]
/proc/loadavg: 2.00 2.05 2.14 3/212 15842
/proc/meminfo: memFree=31456360/32770624 swapFree=0/299380
[pid=15826] ppid=15823 vsize=10617796 CPUtime=4.9 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 20162 0 0 0 484 6 0 0 20 0 16 0 2065665 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 26575 3087 1 0 2643902 0
[pid=15826/tid=15828] ppid=15823 vsize=10617796 CPUtime=2.92 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) R 15823 15826 2450 0 -1 4202560 8677 0 0 0 289 3 0 0 20 0 16 0 2065674 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542929462200 140542553978928 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15834] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15834/stat : 15834 (java) S 15823 15826 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542488277792 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15835] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15835/stat : 15835 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542487225456 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15836] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15836/stat : 15836 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542486173776 140542925244315 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15837] ppid=15823 vsize=10617796 CPUtime=0.84 cores=1,3,5,7
/proc/15826/task/15837/stat : 15837 (java) R 15823 15826 2450 0 -1 4202560 4740 0 0 0 83 1 0 0 20 0 16 0 2065679 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542485121648 140542925239606 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15838] ppid=15823 vsize=10617796 CPUtime=0.82 cores=1,3,5,7
/proc/15826/task/15838/stat : 15838 (java) R 15823 15826 2450 0 -1 4202560 3520 0 0 0 81 1 0 0 20 0 16 0 2065679 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542484068848 140542910388720 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15839] ppid=15823 vsize=10617796 CPUtime=0.3 cores=1,3,5,7
/proc/15826/task/15839/stat : 15839 (java) S 15823 15826 2450 0 -1 1077944384 1618 0 0 0 30 0 0 0 20 0 16 0 2065679 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542483016560 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15840] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15840/stat : 15840 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542481964000 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15841] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15841/stat : 15841 (java) S 15823 15826 2450 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 2065687 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542480910768 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15842] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15842/stat : 15842 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065730 10872623104 26575 18446744073709551615 4194304 4196468 140723884529008 140542479856304 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 10617796
[startup+6.30072 s]
/proc/loadavg: 2.00 2.04 2.14 3/212 15842
/proc/meminfo: memFree=31437508/32770624 swapFree=0/299388
[pid=15826] ppid=15823 vsize=10617796 CPUtime=8.2 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 21572 0 0 0 814 6 0 0 20 0 16 0 2065665 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 29689 3088 1 0 2643902 0
[pid=15826/tid=15828] ppid=15823 vsize=10617796 CPUtime=6.11 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) R 15823 15826 2450 0 -1 4202560 8969 0 0 0 608 3 0 0 20 0 16 0 2065674 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542929462000 140542557219017 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15834] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15834/stat : 15834 (java) S 15823 15826 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542488277792 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15835] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15835/stat : 15835 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542487225456 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15836] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15836/stat : 15836 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542486173776 140542925244315 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15837] ppid=15823 vsize=10617796 CPUtime=0.88 cores=1,3,5,7
/proc/15826/task/15837/stat : 15837 (java) S 15823 15826 2450 0 -1 1077944384 4913 0 0 0 87 1 0 0 20 0 16 0 2065679 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542485121648 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15838] ppid=15823 vsize=10617796 CPUtime=0.87 cores=1,3,5,7
/proc/15826/task/15838/stat : 15838 (java) S 15823 15826 2450 0 -1 1077944384 3535 0 0 0 86 1 0 0 20 0 16 0 2065679 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542484068848 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15839] ppid=15823 vsize=10617796 CPUtime=0.3 cores=1,3,5,7
/proc/15826/task/15839/stat : 15839 (java) S 15823 15826 2450 0 -1 1077944384 1883 0 0 0 30 0 0 0 20 0 16 0 2065679 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542483016560 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15840] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15840/stat : 15840 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542481964000 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15841] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15841/stat : 15841 (java) S 15823 15826 2450 0 -1 1077944384 513 0 0 0 0 0 0 0 20 0 16 0 2065687 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542480910768 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15842] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15842/stat : 15842 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065730 10872623104 29689 18446744073709551615 4194304 4196468 140723884529008 140542479856304 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 10617796
[startup+12.7007 s]
/proc/loadavg: 2.00 2.04 2.14 3/211 15843
/proc/meminfo: memFree=31342580/32770624 swapFree=0/299400
[pid=15826] ppid=15823 vsize=10617796 CPUtime=14.63 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 22955 0 0 0 1456 7 0 0 20 0 16 0 2065665 10872623104 32769 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 32769 3088 1 0 2643902 0
[pid=15826/tid=15828] ppid=15823 vsize=10617796 CPUtime=12.51 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) R 15823 15826 2450 0 -1 4202560 9292 0 0 0 1248 3 0 0 20 0 16 0 2065674 10872623104 32769 18446744073709551615 4194304 4196468 140723884529008 140542929461760 140542557218984 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 32769 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 32769 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 32769 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 2065674 10872623104 32769 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 32769 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
################
# More data... #
################
[startup+162.301 s]
/proc/loadavg: 2.03 2.04 2.13 3/214 15861
/proc/meminfo: memFree=30752040/32770624 swapFree=0/299576
[pid=15826] ppid=15823 vsize=10617796 CPUtime=164.56 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 28248 0 0 0 16434 22 0 0 20 0 16 0 2065665 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 67951 3117 1 0 2643902 0
[pid=15826/tid=15828] ppid=15823 vsize=10617796 CPUtime=162.02 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) R 15823 15826 2450 0 -1 4202560 10601 0 0 0 16198 4 0 0 20 0 16 0 2065674 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542929464672 140542557302410 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 599 0 0 0 4 2 0 0 20 0 16 0 2065674 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 236 0 0 0 4 2 0 0 20 0 16 0 2065674 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 810 0 0 0 4 2 0 0 20 0 16 0 2065674 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 481 0 0 0 4 2 0 0 20 0 16 0 2065674 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 942 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15834] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15834/stat : 15834 (java) S 15823 15826 2450 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542488277792 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15835] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15835/stat : 15835 (java) S 15823 15826 2450 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542487225456 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15836] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15836/stat : 15836 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542486173776 140542925244315 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15837] ppid=15823 vsize=10617796 CPUtime=0.91 cores=1,3,5,7
/proc/15826/task/15837/stat : 15837 (java) S 15823 15826 2450 0 -1 1077944384 5281 0 0 0 90 1 0 0 20 0 16 0 2065679 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542485121648 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15838] ppid=15823 vsize=10617796 CPUtime=0.89 cores=1,3,5,7
/proc/15826/task/15838/stat : 15838 (java) S 15823 15826 2450 0 -1 1077944384 4719 0 0 0 88 1 0 0 20 0 16 0 2065679 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542484068848 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15839] ppid=15823 vsize=10617796 CPUtime=0.31 cores=1,3,5,7
/proc/15826/task/15839/stat : 15839 (java) S 15823 15826 2450 0 -1 1077944384 2277 0 0 0 31 0 0 0 20 0 16 0 2065679 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542483016560 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15840] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15840/stat : 15840 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542481964000 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15841] ppid=15823 vsize=10617796 CPUtime=0.07 cores=1,3,5,7
/proc/15826/task/15841/stat : 15841 (java) S 15823 15826 2450 0 -1 1077944384 847 0 0 0 3 4 0 0 20 0 16 0 2065687 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542480910768 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15842] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15842/stat : 15842 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065730 10872623104 67951 18446744073709551615 4194304 4196468 140723884529008 140542479856304 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
Current children cumulated CPU time (s) 164.56
Current children cumulated vsize (KiB) 10617796
[startup+222.307 s]
/proc/loadavg: 1.97 2.03 2.12 3/214 15945
/proc/meminfo: memFree=31406408/32770624 swapFree=0/301924
[pid=15826] ppid=15823 vsize=10617796 CPUtime=224.72 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 30055 0 0 0 22442 30 0 0 20 0 16 0 2065665 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 79235 3117 1 0 2643902 0
[pid=15826/tid=15828] ppid=15823 vsize=10617796 CPUtime=221.98 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) R 15823 15826 2450 0 -1 4202560 10956 0 0 0 22194 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542929464672 140542557192784 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 1105 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 344 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 1229 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 625 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 1165 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15834] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15834/stat : 15834 (java) S 15823 15826 2450 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542488277792 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15835] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15835/stat : 15835 (java) S 15823 15826 2450 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542487225456 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15836] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15836/stat : 15836 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542486173776 140542925244315 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15837] ppid=15823 vsize=10617796 CPUtime=0.91 cores=1,3,5,7
/proc/15826/task/15837/stat : 15837 (java) S 15823 15826 2450 0 -1 1077944384 5285 0 0 0 90 1 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542485121648 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15838] ppid=15823 vsize=10617796 CPUtime=0.89 cores=1,3,5,7
/proc/15826/task/15838/stat : 15838 (java) S 15823 15826 2450 0 -1 1077944384 4722 0 0 0 88 1 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542484068848 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15839] ppid=15823 vsize=10617796 CPUtime=0.31 cores=1,3,5,7
/proc/15826/task/15839/stat : 15839 (java) S 15823 15826 2450 0 -1 1077944384 2284 0 0 0 31 0 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542483016560 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15840] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15840/stat : 15840 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542481964000 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15841] ppid=15823 vsize=10617796 CPUtime=0.1 cores=1,3,5,7
/proc/15826/task/15841/stat : 15841 (java) S 15823 15826 2450 0 -1 1077944384 885 0 0 0 4 6 0 0 20 0 16 0 2065687 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542480910768 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15842] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15842/stat : 15842 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065730 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542479856304 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
Current children cumulated CPU time (s) 224.72
Current children cumulated vsize (KiB) 10617796
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.98 2.03 2.12 3/211 15945
/proc/meminfo: memFree=31361592/32770624 swapFree=0/301944
[pid=15826] ppid=15823 vsize=10617796 CPUtime=242.42 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 30056 0 0 0 24212 30 0 0 20 0 16 0 2065665 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2654449 79235 3117 1 0 2643902 0
[pid=15826/tid=15828] ppid=15823 vsize=10617796 CPUtime=239.68 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) R 15823 15826 2450 0 -1 4202560 10957 0 0 0 23964 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542929464672 140542557123269 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 1105 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 344 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 1229 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 625 0 0 0 7 4 0 0 20 0 16 0 2065674 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 1165 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15834] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15834/stat : 15834 (java) S 15823 15826 2450 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542488277792 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15835] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15835/stat : 15835 (java) S 15823 15826 2450 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 2065676 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542487225456 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15836] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15836/stat : 15836 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542486173776 140542925244315 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15837] ppid=15823 vsize=10617796 CPUtime=0.91 cores=1,3,5,7
/proc/15826/task/15837/stat : 15837 (java) S 15823 15826 2450 0 -1 1077944384 5285 0 0 0 90 1 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542485121648 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15838] ppid=15823 vsize=10617796 CPUtime=0.89 cores=1,3,5,7
/proc/15826/task/15838/stat : 15838 (java) S 15823 15826 2450 0 -1 1077944384 4722 0 0 0 88 1 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542484068848 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15839] ppid=15823 vsize=10617796 CPUtime=0.31 cores=1,3,5,7
/proc/15826/task/15839/stat : 15839 (java) S 15823 15826 2450 0 -1 1077944384 2284 0 0 0 31 0 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542483016560 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15840] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15840/stat : 15840 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 2065679 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542481964000 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15841] ppid=15823 vsize=10617796 CPUtime=0.1 cores=1,3,5,7
/proc/15826/task/15841/stat : 15841 (java) S 15823 15826 2450 0 -1 1077944384 885 0 0 0 4 6 0 0 20 0 16 0 2065687 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542480910768 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15842] ppid=15823 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15842/stat : 15842 (java) S 15823 15826 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 2065730 10872623104 79235 18446744073709551615 4194304 4196468 140723884529008 140542479856304 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
Current children cumulated CPU time (s) 242.42
Current children cumulated vsize (KiB) 10617796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15826 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.201 s]
/proc/loadavg: 1.98 2.03 2.12 3/211 15945
/proc/meminfo: memFree=31361592/32770624 swapFree=0/301944
[pid=15826] ppid=15823 vsize=10817488 CPUtime=242.46 cores=1,3,5,7
/proc/15826/stat : 15826 (java) S 15823 15826 2450 0 -1 1077944320 31127 0 0 0 24216 30 0 0 20 0 17 0 2065665 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140723884511552 140542925225719 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
/proc/15826/statm: 2704372 79297 3119 1 0 2693825 0
[pid=15826/tid=15828] ppid=15823 vsize=10817488 CPUtime=239.71 cores=1,3,5,7
/proc/15826/task/15828/stat : 15828 (java) S 15823 15826 2450 0 -1 1077944384 11105 0 0 0 23967 4 0 0 20 0 17 0 2065674 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542929468592 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15829] ppid=15823 vsize=10817488 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15829/stat : 15829 (java) S 15823 15826 2450 0 -1 1077944384 1105 0 0 0 7 4 0 0 20 0 17 0 2065674 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542882192272 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15830] ppid=15823 vsize=10817488 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15830/stat : 15830 (java) S 15823 15826 2450 0 -1 1077944384 344 0 0 0 7 4 0 0 20 0 17 0 2065674 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542881139472 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15831] ppid=15823 vsize=10817488 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15831/stat : 15831 (java) S 15823 15826 2450 0 -1 1077944384 1229 0 0 0 7 4 0 0 20 0 17 0 2065674 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542880087184 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15832] ppid=15823 vsize=10817488 CPUtime=0.11 cores=1,3,5,7
/proc/15826/task/15832/stat : 15832 (java) S 15823 15826 2450 0 -1 1077944384 625 0 0 0 7 4 0 0 20 0 17 0 2065674 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542879034384 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15833] ppid=15823 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15833/stat : 15833 (java) S 15823 15826 2450 0 -1 1077944384 1165 0 0 0 0 0 0 0 20 0 17 0 2065676 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542489331824 140542925236866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15834] ppid=15823 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15834/stat : 15834 (java) S 15823 15826 2450 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 17 0 2065676 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542488277792 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15835] ppid=15823 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15835/stat : 15835 (java) S 15823 15826 2450 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 2065676 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542487225456 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15836] ppid=15823 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15836/stat : 15836 (java) S 15823 15826 2450 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 17 0 2065679 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542486173776 140542925244315 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15837] ppid=15823 vsize=10817488 CPUtime=0.91 cores=1,3,5,7
/proc/15826/task/15837/stat : 15837 (java) S 15823 15826 2450 0 -1 1077944384 5410 0 0 0 90 1 0 0 20 0 17 0 2065679 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542485121648 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15838] ppid=15823 vsize=10817488 CPUtime=0.89 cores=1,3,5,7
/proc/15826/task/15838/stat : 15838 (java) S 15823 15826 2450 0 -1 1077944384 4781 0 0 0 88 1 0 0 20 0 17 0 2065679 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542484068848 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15839] ppid=15823 vsize=10817488 CPUtime=0.31 cores=1,3,5,7
/proc/15826/task/15839/stat : 15839 (java) S 15823 15826 2450 0 -1 1077944384 2527 0 0 0 31 0 0 0 20 0 17 0 2065679 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542483016560 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15840] ppid=15823 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/15826/task/15840/stat : 15840 (java) S 15823 15826 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 2065679 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542481964000 140542925235925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
[pid=15826/tid=15841] ppid=15823 vsize=10817488 CPUtime=0.1 cores=1,3,5,7
/proc/15826/task/15841/stat : 15841 (java) S 15823 15826 2450 0 -1 1077944384 885 0 0 0 4 6 0 0 20 0 17 0 2065687 11077107712 79297 18446744073709551615 4194304 4196468 140723884529008 140542480910768 140542925236866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25112576 140723884532155 140723884532308 140723884532308 140723884535759 0
Current children cumulated CPU time (s) 242.46
Current children cumulated vsize (KiB) 10817488
Child status: 143
Real time (s): 240.214
CPU time (s): 242.48
CPU user time (s): 242.166
CPU system time (s): 0.314099
CPU usage (%): 100.943
Max. virtual memory (cumulated for all children) (KiB): 10817488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.166
system time used= 0.314099
maximum resident set size= 317368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7039
involuntary context switches= 113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1445 second user time and 1.45944 second system time
The end