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-3456564-1307635099/watcher-3456564-1307635099 -o /tmp/evaluation-result-3456564-1307635099/solver-3456564-1307635099 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456564-1307635099.opb
running on 4 cores: 1,3,5,7
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: 1.84 1.95 1.67 4/194 28975
/proc/meminfo: memFree=32243332/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 1275 0 0 0 0 0 0 0 25 0 2 0 953740579 32362496 993 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 7901 993 763 9 0 386 0
[pid=28975/tid=28976] ppid=28973 vsize=33748 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 174 0 0 0 0 0 0 0 25 0 2 0 953740580 34557952 1004 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912499691648 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.053923 s]
/proc/loadavg: 1.84 1.95 1.67 4/194 28975
/proc/meminfo: memFree=32243332/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 11520 0 1 0 3 1 0 0 25 0 13 0 953740579 10718838784 11218 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2616904 11219 1686 9 0 2607652 0
[pid=28975/tid=28976] ppid=28973 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 10376 0 1 0 3 0 0 0 25 0 13 0 953740580 10718838784 11220 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 47973315220227 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100914 s]
/proc/loadavg: 1.84 1.95 1.67 4/194 28975
/proc/meminfo: memFree=32243332/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10540020 CPUtime=0.1 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 13115 0 1 0 9 1 0 0 25 0 18 0 953740579 10792980480 12784 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2635005 12785 2092 9 0 2625739 0
[pid=28975/tid=28976] ppid=28973 vsize=10540020 CPUtime=0.09 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 11218 0 1 0 8 1 0 0 25 0 18 0 953740580 10792980480 12785 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 47973316078116 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540020
[startup+0.300878 s]
/proc/loadavg: 1.84 1.95 1.67 4/194 28975
/proc/meminfo: memFree=32243332/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10542380 CPUtime=0.52 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 16568 0 1 0 50 2 0 0 25 0 18 0 953740579 10795397120 15772 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2635595 15772 2200 9 0 2626329 0
[pid=28975/tid=28976] ppid=28973 vsize=10542380 CPUtime=0.28 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 13462 0 1 0 27 1 0 0 25 0 18 0 953740580 10795397120 15773 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912505557577 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542380
[startup+0.700802 s]
/proc/loadavg: 1.84 1.95 1.67 4/194 28975
/proc/meminfo: memFree=32243332/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10544680 CPUtime=1.2 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 21477 0 1 0 118 2 0 0 25 0 19 0 953740579 10797752320 19549 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2636170 19549 2226 9 0 2626904 0
[pid=28975/tid=28976] ppid=28973 vsize=10544680 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 16016 0 1 0 67 2 0 0 25 0 19 0 953740580 10797752320 19549 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 47973319715451 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10544680
[startup+1.50066 s]
/proc/loadavg: 1.84 1.95 1.67 4/214 28995
/proc/meminfo: memFree=32022912/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10545000 CPUtime=2.21 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 23665 0 1 0 218 3 0 0 25 0 19 0 953740579 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2636250 21736 2233 9 0 2626984 0
[pid=28975/tid=28976] ppid=28973 vsize=10545000 CPUtime=1.48 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 18070 0 1 0 146 2 0 0 25 0 19 0 953740580 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912505797549 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28975/tid=28978] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28979] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28980] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28981] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28982] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28983] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28984] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28985] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28986] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28973 28975 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953740582 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 0 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28987] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28973 28975 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953740583 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28988] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740583 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28990] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917217713 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28991] ppid=28973 vsize=10545000 CPUtime=0.33 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28973 28975 28735 0 -1 4202560 1350 0 0 0 33 0 0 0 18 0 19 0 953740585 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28992] ppid=28973 vsize=10545000 CPUtime=0.37 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28973 28975 28735 0 -1 4202560 3085 0 0 0 37 0 0 0 19 0 19 0 953740585 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28993] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28994] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28973 28975 28735 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953740585 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28995] ppid=28973 vsize=10545000 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28995/stat : 28995 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740617 10798080000 21736 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10545000
[startup+3.10137 s]
/proc/loadavg: 1.84 1.95 1.67 3/214 28995
/proc/meminfo: memFree=31818516/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10545036 CPUtime=3.94 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 32995 0 1 0 390 4 0 0 25 0 19 0 953740579 10798116864 30756 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2636259 30756 2233 9 0 2626993 0
[pid=28975/tid=28976] ppid=28973 vsize=10545036 CPUtime=3.09 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 27062 0 1 0 306 3 0 0 19 0 19 0 953740580 10798116864 30757 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912505721799 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28975/tid=28978] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30757 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28979] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30757 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28980] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30758 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28981] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30758 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28982] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30759 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28983] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30759 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28984] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30760 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28985] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10798116864 30760 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28986] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28973 28975 28735 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953740582 10798116864 30761 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 0 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28987] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28973 28975 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953740583 10798116864 30761 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28988] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740583 10798116864 30762 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28990] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10798116864 30762 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917217713 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28991] ppid=28973 vsize=10545036 CPUtime=0.43 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28973 28975 28735 0 -1 4202560 1684 0 0 0 43 0 0 0 15 0 19 0 953740585 10798116864 30762 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28992] ppid=28973 vsize=10545036 CPUtime=0.4 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28973 28975 28735 0 -1 4202560 3090 0 0 0 40 0 0 0 15 0 19 0 953740585 10798116864 30763 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28993] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10798116864 30763 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28994] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28973 28975 28735 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953740585 10798116864 30763 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28995] ppid=28973 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28995/stat : 28995 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740617 10798116864 30764 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 10545036
[startup+6.30078 s]
/proc/loadavg: 1.85 1.95 1.67 3/214 28995
/proc/meminfo: memFree=31157100/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10544088 CPUtime=7.17 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 59411 0 1 0 710 7 0 0 25 0 19 0 953740579 10797146112 56965 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2636022 56965 2235 9 0 2626756 0
[pid=28975/tid=28976] ppid=28973 vsize=10544088 CPUtime=6.29 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 53467 0 1 0 623 6 0 0 25 0 19 0 953740580 10797146112 56965 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912505797452 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28975/tid=28978] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56965 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28979] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28980] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28981] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28982] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28983] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28984] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28985] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740581 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28986] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28973 28975 28735 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953740582 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 0 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28987] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28973 28975 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953740583 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28988] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740583 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28990] ppid=28973 vsize=10544088 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917217713 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28991] ppid=28973 vsize=10544088 CPUtime=0.44 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28973 28975 28735 0 -1 4202560 1685 0 0 0 44 0 0 0 15 0 19 0 953740585 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28992] ppid=28973 vsize=10544088 CPUtime=0.42 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28973 28975 28735 0 -1 4202560 3098 0 0 0 42 0 0 0 15 0 19 0 953740585 10797146112 56966 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/28975/task/28988/stat : 28988 (java) S 28973 28975 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953740583 10797326336 913783 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28990] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 913783 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917217713 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28991] ppid=28973 vsize=10544264 CPUtime=0.58 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28973 28975 28735 0 -1 4202560 2556 0 0 0 58 0 0 0 15 0 19 0 953740585 10797326336 913783 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28992] ppid=28973 vsize=10544264 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28973 28975 28735 0 -1 4202560 3647 0 0 0 69 0 0 0 15 0 19 0 953740585 10797326336 913783 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28993] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 913783 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28994] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28973 28975 28735 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 953740585 10797326336 913783 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28995] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28995/stat : 28995 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740617 10797326336 913783 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1665.12
Current children cumulated vsize (KiB) 10544264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/214 29050
/proc/meminfo: memFree=24958380/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10544264 CPUtime=1725.14 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 920675 0 1 0 172395 119 0 0 25 0 19 0 953740579 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2636066 914803 2248 9 0 2626800 0
[pid=28975/tid=28976] ppid=28973 vsize=10544264 CPUtime=1721.71 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 797706 0 1 0 172066 105 0 0 25 0 19 0 953740580 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912505810131 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28975/tid=28978] ppid=28973 vsize=10544264 CPUtime=0.27 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28973 28975 28735 0 -1 4202560 18120 0 0 0 25 2 0 0 16 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28979] ppid=28973 vsize=10544264 CPUtime=0.19 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28973 28975 28735 0 -1 4202560 10906 0 0 0 18 1 0 0 16 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28980] ppid=28973 vsize=10544264 CPUtime=0.23 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28973 28975 28735 0 -1 4202560 10862 0 0 0 23 0 0 0 15 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28981] ppid=28973 vsize=10544264 CPUtime=0.28 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28973 28975 28735 0 -1 4202560 16061 0 0 0 27 1 0 0 15 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28982] ppid=28973 vsize=10544264 CPUtime=0.32 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28973 28975 28735 0 -1 4202560 19610 0 0 0 31 1 0 0 15 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 7 0 0 0
[pid=28975/tid=28983] ppid=28973 vsize=10544264 CPUtime=0.23 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28973 28975 28735 0 -1 4202560 11852 0 0 0 22 1 0 0 16 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28984] ppid=28973 vsize=10544264 CPUtime=0.26 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28973 28975 28735 0 -1 4202560 15128 0 0 0 25 1 0 0 16 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 7 0 0 0
[pid=28975/tid=28985] ppid=28973 vsize=10544264 CPUtime=0.25 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28973 28975 28735 0 -1 4202560 12900 0 0 0 24 1 0 0 15 0 19 0 953740581 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28986] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28973 28975 28735 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 953740582 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 0 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28987] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28973 28975 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953740583 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28988] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28973 28975 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953740583 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28990] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917217713 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28991] ppid=28973 vsize=10544264 CPUtime=0.58 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28973 28975 28735 0 -1 4202560 2556 0 0 0 58 0 0 0 15 0 19 0 953740585 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28992] ppid=28973 vsize=10544264 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28973 28975 28735 0 -1 4202560 3647 0 0 0 69 0 0 0 15 0 19 0 953740585 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28993] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28994] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28973 28975 28735 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 953740585 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28995] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28995/stat : 28995 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740617 10797326336 914803 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.14
Current children cumulated vsize (KiB) 10544264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/214 29051
/proc/meminfo: memFree=24949424/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10544264 CPUtime=1785.17 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 921682 0 1 0 178398 119 0 0 25 0 19 0 953740579 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2636066 915787 2248 9 0 2626800 0
[pid=28975/tid=28976] ppid=28973 vsize=10544264 CPUtime=1781.7 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 797707 0 1 0 178065 105 0 0 25 0 19 0 953740580 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912505809691 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28975/tid=28978] ppid=28973 vsize=10544264 CPUtime=0.27 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28973 28975 28735 0 -1 4202560 18120 0 0 0 25 2 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28979] ppid=28973 vsize=10544264 CPUtime=0.19 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28973 28975 28735 0 -1 4202560 10906 0 0 0 18 1 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28980] ppid=28973 vsize=10544264 CPUtime=0.23 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28973 28975 28735 0 -1 4202560 10862 0 0 0 23 0 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28981] ppid=28973 vsize=10544264 CPUtime=0.29 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28973 28975 28735 0 -1 4202560 16212 0 0 0 28 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28982] ppid=28973 vsize=10544264 CPUtime=0.33 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28973 28975 28735 0 -1 4202560 19858 0 0 0 32 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 7 0 0 0
[pid=28975/tid=28983] ppid=28973 vsize=10544264 CPUtime=0.23 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28973 28975 28735 0 -1 4202560 11852 0 0 0 22 1 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28984] ppid=28973 vsize=10544264 CPUtime=0.27 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28973 28975 28735 0 -1 4202560 15422 0 0 0 26 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28985] ppid=28973 vsize=10544264 CPUtime=0.26 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28973 28975 28735 0 -1 4202560 13209 0 0 0 25 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28986] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28973 28975 28735 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 953740582 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 0 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28987] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28973 28975 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953740583 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28988] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28973 28975 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953740583 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28990] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917217713 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28991] ppid=28973 vsize=10544264 CPUtime=0.58 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28973 28975 28735 0 -1 4202560 2556 0 0 0 58 0 0 0 15 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28992] ppid=28973 vsize=10544264 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28973 28975 28735 0 -1 4202560 3647 0 0 0 69 0 0 0 15 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28993] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28994] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28973 28975 28735 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28995] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28995/stat : 28995 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740617 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 10544264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.00 2.01 1.92 2/194 29055
/proc/meminfo: memFree=28624284/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=10544264 CPUtime=1800.08 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28973 28975 28735 0 -1 4202496 921684 0 1 0 179889 119 0 0 25 0 19 0 953740579 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 2636066 915787 2248 9 0 2626800 0
[pid=28975/tid=28976] ppid=28973 vsize=10544264 CPUtime=1796.61 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4202560 797707 0 1 0 179556 105 0 0 25 0 19 0 953740580 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 46912505899818 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28975/tid=28978] ppid=28973 vsize=10544264 CPUtime=0.27 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28973 28975 28735 0 -1 4202560 18120 0 0 0 25 2 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28979] ppid=28973 vsize=10544264 CPUtime=0.19 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28973 28975 28735 0 -1 4202560 10906 0 0 0 18 1 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28980] ppid=28973 vsize=10544264 CPUtime=0.23 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28973 28975 28735 0 -1 4202560 10862 0 0 0 23 0 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28981] ppid=28973 vsize=10544264 CPUtime=0.29 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28973 28975 28735 0 -1 4202560 16212 0 0 0 28 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28982] ppid=28973 vsize=10544264 CPUtime=0.33 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28973 28975 28735 0 -1 4202560 19858 0 0 0 32 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 7 0 0 0
[pid=28975/tid=28983] ppid=28973 vsize=10544264 CPUtime=0.23 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28973 28975 28735 0 -1 4202560 11852 0 0 0 22 1 0 0 15 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28984] ppid=28973 vsize=10544264 CPUtime=0.27 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28973 28975 28735 0 -1 4202560 15422 0 0 0 26 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28985] ppid=28973 vsize=10544264 CPUtime=0.26 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28973 28975 28735 0 -1 4202560 13209 0 0 0 25 1 0 0 16 0 19 0 953740581 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28986] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28973 28975 28735 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 953740582 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 0 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28987] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28973 28975 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953740583 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28988] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28973 28975 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953740583 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28990] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917217713 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28991] ppid=28973 vsize=10544264 CPUtime=0.58 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28973 28975 28735 0 -1 4202560 2556 0 0 0 58 0 0 0 15 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 1 0 0 0
[pid=28975/tid=28992] ppid=28973 vsize=10544264 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28973 28975 28735 0 -1 4202560 3647 0 0 0 69 0 0 0 15 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
[pid=28975/tid=28993] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28973 28975 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210009 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28994] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28973 28975 28735 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 953740585 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 5 0 0 0
[pid=28975/tid=28995] ppid=28973 vsize=10544264 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28995/stat : 28995 (java) S 28973 28975 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953740617 10797326336 915787 33554432000 1073741824 1073778376 140737435642272 18446744073709551615 260917210624 0 4 0 16800975 18446604471149801600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10544264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.31 s]
/proc/loadavg: 2.00 2.01 1.92 2/178 29058
/proc/meminfo: memFree=30626940/32950928 swapFree=67051812/67111528
[pid=28975] ppid=28973 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/28975/stat : 28975 (java) Z 28973 28975 28735 0 -1 4203548 921722 0 1 0 179896 127 0 0 17 0 2 0 953740579 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28975/statm: 0 0 0 0 0 0 0
[pid=28975/tid=28976] ppid=28973 vsize=0 CPUtime=1796.71 cores=1,3,5,7
/proc/28975/task/28976/stat : 28976 (java) R 28973 28975 28735 0 -1 4203588 797707 0 1 0 179558 113 0 0 25 0 2 0 953740580 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.37
CPU time (s): 1800.3
CPU user time (s): 1798.96
CPU system time (s): 1.3318
CPU usage (%): 100.163
Max. virtual memory (cumulated for all children) (KiB): 10545404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.3318
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921722
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= 37526
involuntary context switches= 7874
runsolver used 2.94855 second user time and 6.87395 second system time
The end