runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3479086-1307446564/watcher-3479086-1307446564 -o /tmp/evaluation-result-3479086-1307446564/solver-3479086-1307446564 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479086-1307446564.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.03 1.73 3/507 22365
/proc/meminfo: memFree=23231504/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 2208 0 1 0 0 0 0 0 24 0 2 0 856254973 10681323520 1911 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2607745 1924 906 9 0 2598901 0
[pid=22365/tid=22366] ppid=22363 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 4799 0 1 0 0 0 0 0 25 0 2 0 856254973 10694979584 5614 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.059841 s]
/proc/loadavg: 2.02 2.03 1.73 3/507 22365
/proc/meminfo: memFree=23231504/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 11537 0 1 0 3 1 0 0 24 0 13 0 856254973 10718838784 11235 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2616904 11235 1691 9 0 2607652 0
[pid=22365/tid=22366] ppid=22363 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) S 22363 22365 22213 0 -1 4202560 10392 0 1 0 3 1 0 0 25 0 13 0 856254973 10718838784 11235 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210204643173 0 2147483391 0 16800971 18446744071699207358 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100865 s]
/proc/loadavg: 2.02 2.03 1.73 3/507 22365
/proc/meminfo: memFree=23231504/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10540240 CPUtime=0.09 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 13043 0 1 0 8 1 0 0 24 0 18 0 856254973 10793205760 12741 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2635060 12742 2092 9 0 2625794 0
[pid=22365/tid=22366] ppid=22363 vsize=10540240 CPUtime=0.08 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 11134 0 1 0 7 1 0 0 18 0 18 0 856254973 10793205760 12742 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210204308513 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540240
[startup+0.300798 s]
/proc/loadavg: 2.02 2.03 1.73 3/507 22365
/proc/meminfo: memFree=23231504/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10541360 CPUtime=0.47 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 16515 0 1 0 45 2 0 0 24 0 18 0 856254973 10794352640 16062 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2635340 16063 2199 9 0 2626074 0
[pid=22365/tid=22366] ppid=22363 vsize=10541360 CPUtime=0.28 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 13882 0 1 0 26 2 0 0 18 0 18 0 856254973 10794352640 16063 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505575674 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541360
[startup+0.700792 s]
/proc/loadavg: 2.02 2.03 1.73 3/507 22365
/proc/meminfo: memFree=23231504/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10544876 CPUtime=1.11 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 52919 0 1 0 104 7 0 0 24 0 18 0 856254973 10797953024 50756 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2636219 50760 2213 9 0 2626953 0
[pid=22365/tid=22366] ppid=22363 vsize=10544876 CPUtime=0.68 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 46960 0 1 0 62 6 0 0 18 0 18 0 856254973 10797953024 50762 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505554974 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10544876
[startup+1.50063 s]
/proc/loadavg: 2.02 2.03 1.73 3/525 22383
/proc/meminfo: memFree=22913124/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10544876 CPUtime=1.91 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 133664 0 1 0 174 17 0 0 24 0 18 0 856254973 10797953024 131500 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2636219 131504 2213 9 0 2626953 0
[pid=22365/tid=22366] ppid=22363 vsize=10544876 CPUtime=1.47 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 127704 0 1 0 131 16 0 0 19 0 18 0 856254973 10797953024 131507 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505575390 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131509 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131512 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131514 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131517 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131520 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131522 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131525 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 131527 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 22213 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856254976 10797953024 131530 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 0 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 22213 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856254977 10797953024 131532 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856254977 10797953024 131535 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254979 10797953024 131538 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216470961 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=10544876 CPUtime=0.21 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 22213 0 -1 4202560 2488 0 0 0 20 1 0 0 18 0 18 0 856254979 10797953024 131540 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=10544876 CPUtime=0.21 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 22213 0 -1 4202560 2330 0 0 0 21 0 0 0 16 0 18 0 856254979 10797953024 131543 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254979 10797953024 131545 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856254979 10797953024 131548 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 10544876
[startup+3.10132 s]
/proc/loadavg: 2.02 2.03 1.73 3/525 22383
/proc/meminfo: memFree=22462880/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10544876 CPUtime=3.53 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 292422 0 1 0 316 37 0 0 24 0 18 0 856254973 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2636219 290258 2222 9 0 2626953 0
[pid=22365/tid=22366] ppid=22363 vsize=10544876 CPUtime=3.07 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 286455 0 1 0 272 35 0 0 23 0 18 0 856254973 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505216740 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254975 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 22213 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856254976 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 0 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 22213 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856254977 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856254977 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254979 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216470961 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=10544876 CPUtime=0.22 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) R 22363 22365 22213 0 -1 4202560 2488 0 0 0 21 1 0 0 18 0 18 0 856254979 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46932362317284 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=10544876 CPUtime=0.22 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) R 22363 22365 22213 0 -1 4202560 2331 0 0 0 22 0 0 0 15 0 18 0 856254979 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46932363330275 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856254979 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=10544876 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856254979 10797953024 290258 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 10544876
[startup+6.3008 s]
/proc/loadavg: 1.94 2.01 1.73 2/506 22387
/proc/meminfo: memFree=25695436/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10545384 CPUtime=7.16 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 301263 0 1 0 678 38 0 0 24 0 19 0 856254973 10798473216 297080 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2636346 297081 2238 9 0 2627080 0
[pid=22365/tid=22366] ppid=22363 vsize=10545384 CPUtime=6.27 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 293359 0 1 0 591 36 0 0 25 0 19 0 856254973 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505851199 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254975 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 22213 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 856254976 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 0 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 22213 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856254977 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856254977 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216470961 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=10545384 CPUtime=0.38 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 22213 0 -1 4202560 3413 0 0 0 37 1 0 0 15 0 19 0 856254979 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=10545384 CPUtime=0.49 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 22213 0 -1 4202560 3333 0 0 0 49 0 0 0 15 0 19 0 856254979 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=10545384 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856254979 10798473216 297081 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 22213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856254977 10798964736 1252904 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1252904 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216470961 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=10545864 CPUtime=0.51 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 22213 0 -1 4202560 3529 0 0 0 50 1 0 0 15 0 19 0 856254979 10798964736 1252904 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=10545864 CPUtime=0.73 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 22213 0 -1 4202560 3456 0 0 0 73 0 0 0 15 0 19 0 856254979 10798964736 1252904 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1252904 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 22213 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 856254979 10798964736 1252904 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856255285 10798964736 1252904 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.7
Current children cumulated vsize (KiB) 10545864
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 1.96 3/526 22536
/proc/meminfo: memFree=18664484/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10545864 CPUtime=1725.78 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 1291576 0 1 0 172399 179 0 0 24 0 19 0 856254973 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2636466 1265223 2266 9 0 2627200 0
[pid=22365/tid=22366] ppid=22363 vsize=10545864 CPUtime=1715.73 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 794287 0 1 0 171480 93 0 0 25 0 19 0 856254973 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505839041 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=10545864 CPUtime=0.43 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 22213 0 -1 4202560 41961 0 0 0 35 8 0 0 16 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=10545864 CPUtime=0.44 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 22213 0 -1 4202560 50669 0 0 0 36 8 0 0 16 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=10545864 CPUtime=0.32 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 22213 0 -1 4202560 42115 0 0 0 23 9 0 0 15 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=10545864 CPUtime=0.35 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 22213 0 -1 4202560 31636 0 0 0 29 6 0 0 16 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=10545864 CPUtime=0.44 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 22213 0 -1 4202560 38108 0 0 0 37 7 0 0 15 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=10545864 CPUtime=0.42 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 22213 0 -1 4202560 37647 0 0 0 35 7 0 0 15 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=10545864 CPUtime=0.39 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 22213 0 -1 4202560 41586 0 0 0 32 7 0 0 15 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=10545864 CPUtime=0.54 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 22213 0 -1 4202560 57734 0 0 0 43 11 0 0 15 0 19 0 856254975 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=10545864 CPUtime=5.37 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 22213 0 -1 4202560 147600 0 0 0 521 16 0 0 15 0 19 0 856254976 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 0 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856254977 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 22213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856254977 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216470961 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=10545864 CPUtime=0.51 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 22213 0 -1 4202560 3529 0 0 0 50 1 0 0 15 0 19 0 856254979 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=10545864 CPUtime=0.73 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 22213 0 -1 4202560 3456 0 0 0 73 0 0 0 15 0 19 0 856254979 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 22213 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 856254979 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856255285 10798964736 1265223 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.78
Current children cumulated vsize (KiB) 10545864
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 1.96 3/526 22537
/proc/meminfo: memFree=18575280/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10545864 CPUtime=1785.92 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 1315759 0 1 0 178408 184 0 0 24 0 19 0 856254973 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2636466 1287361 2266 9 0 2627200 0
[pid=22365/tid=22366] ppid=22363 vsize=10545864 CPUtime=1774.88 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 794289 0 1 0 177395 93 0 0 25 0 19 0 856254973 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505877152 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=10545864 CPUtime=0.49 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 22213 0 -1 4202560 48254 0 0 0 39 10 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=10545864 CPUtime=0.5 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 22213 0 -1 4202560 57319 0 0 0 41 9 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=10545864 CPUtime=0.32 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 22213 0 -1 4202560 42115 0 0 0 23 9 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=10545864 CPUtime=0.4 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 22213 0 -1 4202560 37218 0 0 0 32 8 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=10545864 CPUtime=0.46 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 22213 0 -1 4202560 41831 0 0 0 38 8 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=10545864 CPUtime=0.43 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 22213 0 -1 4202560 39570 0 0 0 36 7 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=10545864 CPUtime=0.39 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 22213 0 -1 4202560 41586 0 0 0 32 7 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=10545864 CPUtime=0.54 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 22213 0 -1 4202560 57734 0 0 0 43 11 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=10545864 CPUtime=6.16 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 22213 0 -1 4202560 147608 0 0 0 600 16 0 0 15 0 19 0 856254976 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 0 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856254977 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 22213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856254977 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216470961 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=10545864 CPUtime=0.51 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 22213 0 -1 4202560 3529 0 0 0 50 1 0 0 15 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=10545864 CPUtime=0.73 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 22213 0 -1 4202560 3456 0 0 0 73 0 0 0 15 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 22213 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856255285 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.92
Current children cumulated vsize (KiB) 10545864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.4 s]
/proc/loadavg: 2.06 2.05 1.96 3/526 22538
/proc/meminfo: memFree=18575652/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=10545864 CPUtime=1800.04 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 22213 0 -1 4202496 1315761 0 1 0 179820 184 0 0 24 0 19 0 856254973 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 2636466 1287361 2266 9 0 2627200 0
[pid=22365/tid=22366] ppid=22363 vsize=10545864 CPUtime=1789 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4202560 794289 0 1 0 178807 93 0 0 25 0 19 0 856254973 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 46912505838923 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=10545864 CPUtime=0.49 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 22213 0 -1 4202560 48254 0 0 0 39 10 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=10545864 CPUtime=0.5 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 22213 0 -1 4202560 57319 0 0 0 41 9 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=10545864 CPUtime=0.32 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 22213 0 -1 4202560 42115 0 0 0 23 9 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=10545864 CPUtime=0.4 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 22213 0 -1 4202560 37218 0 0 0 32 8 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=10545864 CPUtime=0.46 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 22213 0 -1 4202560 41831 0 0 0 38 8 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=10545864 CPUtime=0.43 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 22213 0 -1 4202560 39570 0 0 0 36 7 0 0 16 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=10545864 CPUtime=0.39 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 22213 0 -1 4202560 41586 0 0 0 32 7 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=10545864 CPUtime=0.54 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 22213 0 -1 4202560 57734 0 0 0 43 11 0 0 15 0 19 0 856254975 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=10545864 CPUtime=6.16 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 22213 0 -1 4202560 147608 0 0 0 600 16 0 0 15 0 19 0 856254976 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 0 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856254977 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 22213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856254977 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216470961 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=10545864 CPUtime=0.51 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 22213 0 -1 4202560 3529 0 0 0 50 1 0 0 15 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=10545864 CPUtime=0.73 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 22213 0 -1 4202560 3456 0 0 0 73 0 0 0 15 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 4 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463257 0 4 0 16800975 18446604444951467840 0 0 -1 2 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 22213 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 856254979 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=10545864 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856255285 10798964736 1287361 33554432000 1073741824 1073778376 140735020302416 18446744073709551615 210216463872 0 4 0 16800975 18446604444951467840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10545864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.6 s]
/proc/loadavg: 2.06 2.05 1.96 3/526 22538
/proc/meminfo: memFree=18575652/32951124 swapFree=63649284/67111528
[pid=22365] ppid=22363 vsize=0 CPUtime=1800.33 cores=0,2,4,6
/proc/22365/stat : 22365 (java) Z 22363 22365 22213 0 -1 4203548 1315796 0 1 0 179837 196 0 0 17 0 2 0 856254973 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22365/statm: 0 0 0 0 0 0 0
[pid=22365/tid=22366] ppid=22363 vsize=0 CPUtime=1789.16 cores=0,2,4,6
/proc/22365/task/22366/stat : 22366 (java) R 22363 22365 22213 0 -1 4203588 794289 0 1 0 178812 104 0 0 25 0 2 0 856254973 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.69
CPU time (s): 1800.42
CPU user time (s): 1798.37
CPU system time (s): 2.05069
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 10547792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 2.05069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1315796
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38098
involuntary context switches= 18205
runsolver used 9.70053 second user time and 19.746 second system time
The end