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-3457649-1307230315/watcher-3457649-1307230315 -o /tmp/evaluation-result-3457649-1307230315/solver-3457649-1307230315 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457649-1307230315.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: 1.93 2.04 2.01 2/593 7273
/proc/meminfo: memFree=18994908/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 1168 0 0 0 0 0 0 0 25 0 2 0 834629279 26714112 897 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 6522 897 682 9 0 381 0
[pid=7273/tid=7274] ppid=7271 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 7206 0 1 0 0 0 0 0 25 0 2 0 834629280 10694979584 8022 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.101262 s]
/proc/loadavg: 1.93 2.04 2.01 2/593 7273
/proc/meminfo: memFree=18994908/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10540324 CPUtime=0.1 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 13077 0 1 0 9 1 0 0 25 0 18 0 834629279 10793291776 12757 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2635081 12758 2093 9 0 2625815 0
[pid=7273/tid=7274] ppid=7271 vsize=10540324 CPUtime=0.08 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 11149 0 1 0 7 1 0 0 25 0 18 0 834629280 10793291776 12758 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699502027 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540324
[startup+0.201977 s]
/proc/loadavg: 1.93 2.04 2.01 2/593 7273
/proc/meminfo: memFree=18994908/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10541136 CPUtime=0.27 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 14261 0 1 0 25 2 0 0 25 0 18 0 834629279 10794123264 13911 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2635284 13912 2181 9 0 2626018 0
[pid=7273/tid=7274] ppid=7271 vsize=10541136 CPUtime=0.18 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 12020 0 1 0 17 1 0 0 25 0 18 0 834629280 10794123264 13912 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 47013624305288 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10541136
[startup+0.304982 s]
/proc/loadavg: 1.93 2.04 2.01 2/593 7273
/proc/meminfo: memFree=18994908/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10543528 CPUtime=0.5 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 17011 0 1 0 48 2 0 0 25 0 18 0 834629279 10796572672 16135 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2635882 16136 2202 9 0 2626616 0
[pid=7273/tid=7274] ppid=7271 vsize=10543528 CPUtime=0.28 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 13312 0 1 0 27 1 0 0 25 0 18 0 834629280 10796572672 16137 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912505543774 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543528
[startup+0.701177 s]
/proc/loadavg: 1.93 2.04 2.01 2/593 7273
/proc/meminfo: memFree=18994908/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10546144 CPUtime=1.15 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 49968 0 1 0 108 7 0 0 25 0 18 0 834629279 10799251456 47895 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2636536 47898 2222 9 0 2627270 0
[pid=7273/tid=7274] ppid=7271 vsize=10546144 CPUtime=0.68 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 43884 0 1 0 62 6 0 0 18 0 18 0 834629280 10799251456 47899 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912505559710 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 10546144
[startup+1.50101 s]
/proc/loadavg: 1.93 2.04 2.01 5/611 7291
/proc/meminfo: memFree=18670628/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10552244 CPUtime=2.68 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 109493 0 1 0 254 14 0 0 25 0 19 0 834629279 10805497856 105961 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2638061 105961 2234 9 0 2628795 0
[pid=7273/tid=7274] ppid=7271 vsize=10552244 CPUtime=1.48 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 98659 0 1 0 136 12 0 0 19 0 19 0 834629280 10805497856 105961 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912506028304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7273/tid=7276] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7276/stat : 7276 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105962 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7277] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7277/stat : 7277 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105962 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7278] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7278/stat : 7278 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105962 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7279] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7279/stat : 7279 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105962 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7280] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7280/stat : 7280 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105962 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7281] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7281/stat : 7281 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105962 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7282] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7282/stat : 7282 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105968 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7283] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 105972 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5603 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834629282 10805497856 105974 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 0 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834629283 10805497856 105978 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834629283 10805497856 105982 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 105987 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699498929 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10552244 CPUtime=0.56 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5603 0 -1 4202560 3381 0 0 0 56 0 0 0 15 0 19 0 834629285 10805497856 105991 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10552244 CPUtime=0.62 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5603 0 -1 4202560 6292 0 0 0 62 0 0 0 21 0 19 0 834629285 10805497856 105995 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 105999 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7291] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7291/stat : 7291 (java) S 7271 7273 5603 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834629285 10805497856 106003 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10552244
[startup+3.10072 s]
/proc/loadavg: 1.93 2.04 2.01 3/612 7292
/proc/meminfo: memFree=18262040/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10552244 CPUtime=4.61 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 287816 0 1 0 428 33 0 0 25 0 19 0 834629279 10805497856 284284 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2638061 284289 2236 9 0 2628795 0
[pid=7273/tid=7274] ppid=7271 vsize=10552244 CPUtime=3.07 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 276919 0 1 0 276 31 0 0 19 0 19 0 834629280 10805497856 284291 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912506134854 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7273/tid=7276] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7276/stat : 7276 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284294 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7277] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7277/stat : 7277 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284296 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7278] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7278/stat : 7278 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284297 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7279] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7279/stat : 7279 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284297 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7280] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7280/stat : 7280 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284297 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7281] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7281/stat : 7281 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284297 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7282] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7282/stat : 7282 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284298 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7283] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629281 10805497856 284298 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5603 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834629282 10805497856 284298 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 0 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834629283 10805497856 284299 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834629283 10805497856 284299 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 284300 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699498929 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10552244 CPUtime=0.75 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5603 0 -1 4202560 3440 0 0 0 75 0 0 0 15 0 19 0 834629285 10805497856 284300 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10552244 CPUtime=0.75 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5603 0 -1 4202560 6304 0 0 0 75 0 0 0 15 0 19 0 834629285 10805497856 284302 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 284306 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7291] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7291/stat : 7291 (java) S 7271 7273 5603 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834629285 10805497856 284310 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7292] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7292/stat : 7292 (java) S 7271 7273 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834629395 10805497856 284314 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 10552244
[startup+6.30113 s]
/proc/loadavg: 1.94 2.04 2.01 3/612 7292
/proc/meminfo: memFree=16711364/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10552244 CPUtime=7.98 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 668735 0 1 0 722 76 0 0 25 0 19 0 834629279 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2638061 665153 2251 9 0 2628795 0
[pid=7273/tid=7274] ppid=7271 vsize=10552244 CPUtime=6.25 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 650907 0 1 0 551 74 0 0 25 0 19 0 834629280 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912506024451 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7273/tid=7276] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7276/stat : 7276 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7277] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7277/stat : 7277 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7278] ppid=7271 vsize=10552244 CPUtime=0.01 cores=0,2,4,6
/proc/7273/task/7278/stat : 7278 (java) S 7271 7273 5603 0 -1 4202560 504 0 0 0 1 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7279] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7279/stat : 7279 (java) S 7271 7273 5603 0 -1 4202560 297 0 0 0 0 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7280] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7280/stat : 7280 (java) S 7271 7273 5603 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7281] ppid=7271 vsize=10552244 CPUtime=0.02 cores=0,2,4,6
/proc/7273/task/7281/stat : 7281 (java) S 7271 7273 5603 0 -1 4202560 1621 0 0 0 2 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7282] ppid=7271 vsize=10552244 CPUtime=0.02 cores=0,2,4,6
/proc/7273/task/7282/stat : 7282 (java) S 7271 7273 5603 0 -1 4202560 2098 0 0 0 2 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7283] ppid=7271 vsize=10552244 CPUtime=0.02 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5603 0 -1 4202560 2068 0 0 0 2 0 0 0 18 0 19 0 834629281 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5603 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 834629282 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 0 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699498929 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10552244 CPUtime=0.77 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5603 0 -1 4202560 3442 0 0 0 77 0 0 0 15 0 19 0 834629285 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10552244 CPUtime=0.83 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5603 0 -1 4202560 6308 0 0 0 82 1 0 0 15 0 19 0 834629285 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 665153 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=7273/tid=7292] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7292/stat : 7292 (java) S 7271 7273 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834629395 10805497856 1013119 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1671.76
Current children cumulated vsize (KiB) 10552244
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/612 7386
/proc/meminfo: memFree=14978224/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10552244 CPUtime=1732.07 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 1025823 0 1 0 173080 127 0 0 25 0 19 0 834629279 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2638061 1018464 2267 9 0 2628795 0
[pid=7273/tid=7274] ppid=7271 vsize=10552244 CPUtime=1716.07 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 801991 0 1 0 171517 90 0 0 25 0 19 0 834629280 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912505975016 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7273/tid=7276] ppid=7271 vsize=10552244 CPUtime=1.54 cores=0,2,4,6
/proc/7273/task/7276/stat : 7276 (java) S 7271 7273 5603 0 -1 4202560 25947 0 0 0 150 4 0 0 16 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7277] ppid=7271 vsize=10552244 CPUtime=1.42 cores=0,2,4,6
/proc/7273/task/7277/stat : 7277 (java) S 7271 7273 5603 0 -1 4202560 29647 0 0 0 139 3 0 0 15 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7278] ppid=7271 vsize=10552244 CPUtime=1.31 cores=0,2,4,6
/proc/7273/task/7278/stat : 7278 (java) S 7271 7273 5603 0 -1 4202560 20159 0 0 0 128 3 0 0 16 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7279] ppid=7271 vsize=10552244 CPUtime=1.43 cores=0,2,4,6
/proc/7273/task/7279/stat : 7279 (java) S 7271 7273 5603 0 -1 4202560 26524 0 0 0 139 4 0 0 16 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7280] ppid=7271 vsize=10552244 CPUtime=1.6 cores=0,2,4,6
/proc/7273/task/7280/stat : 7280 (java) S 7271 7273 5603 0 -1 4202560 29226 0 0 0 155 5 0 0 16 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7281] ppid=7271 vsize=10552244 CPUtime=1.21 cores=0,2,4,6
/proc/7273/task/7281/stat : 7281 (java) S 7271 7273 5603 0 -1 4202560 22635 0 0 0 118 3 0 0 16 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7282] ppid=7271 vsize=10552244 CPUtime=1.37 cores=0,2,4,6
/proc/7273/task/7282/stat : 7282 (java) S 7271 7273 5603 0 -1 4202560 27547 0 0 0 133 4 0 0 16 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7283] ppid=7271 vsize=10552244 CPUtime=1.33 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5603 0 -1 4202560 26537 0 0 0 130 3 0 0 15 0 19 0 834629281 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10552244 CPUtime=2.75 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5603 0 -1 4202560 4576 0 0 0 274 1 0 0 15 0 19 0 834629282 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 0 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699498929 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10552244 CPUtime=0.9 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5603 0 -1 4202560 3464 0 0 0 90 0 0 0 15 0 19 0 834629285 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10552244 CPUtime=1.03 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5603 0 -1 4202560 6321 0 0 0 102 1 0 0 15 0 19 0 834629285 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7291] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7291/stat : 7291 (java) S 7271 7273 5603 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834629285 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7292] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7292/stat : 7292 (java) S 7271 7273 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834629395 10805497856 1018464 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1732.07
Current children cumulated vsize (KiB) 10552244
[startup+1782.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/612 7396
/proc/meminfo: memFree=14931792/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10552244 CPUtime=1792.37 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 1029801 0 1 0 179109 128 0 0 25 0 19 0 834629279 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2638061 1022366 2267 9 0 2628795 0
[pid=7273/tid=7274] ppid=7271 vsize=10552244 CPUtime=1775.95 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 801995 0 1 0 177505 90 0 0 25 0 19 0 834629280 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912505982103 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7273/tid=7276] ppid=7271 vsize=10552244 CPUtime=1.56 cores=0,2,4,6
/proc/7273/task/7276/stat : 7276 (java) S 7271 7273 5603 0 -1 4202560 26246 0 0 0 152 4 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7277] ppid=7271 vsize=10552244 CPUtime=1.51 cores=0,2,4,6
/proc/7273/task/7277/stat : 7277 (java) S 7271 7273 5603 0 -1 4202560 30381 0 0 0 148 3 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7278] ppid=7271 vsize=10552244 CPUtime=1.34 cores=0,2,4,6
/proc/7273/task/7278/stat : 7278 (java) S 7271 7273 5603 0 -1 4202560 20489 0 0 0 131 3 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7279] ppid=7271 vsize=10552244 CPUtime=1.48 cores=0,2,4,6
/proc/7273/task/7279/stat : 7279 (java) S 7271 7273 5603 0 -1 4202560 27012 0 0 0 144 4 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7280] ppid=7271 vsize=10552244 CPUtime=1.65 cores=0,2,4,6
/proc/7273/task/7280/stat : 7280 (java) S 7271 7273 5603 0 -1 4202560 29918 0 0 0 160 5 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7281] ppid=7271 vsize=10552244 CPUtime=1.27 cores=0,2,4,6
/proc/7273/task/7281/stat : 7281 (java) S 7271 7273 5603 0 -1 4202560 23144 0 0 0 124 3 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7282] ppid=7271 vsize=10552244 CPUtime=1.42 cores=0,2,4,6
/proc/7273/task/7282/stat : 7282 (java) S 7271 7273 5603 0 -1 4202560 28168 0 0 0 138 4 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7283] ppid=7271 vsize=10552244 CPUtime=1.37 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5603 0 -1 4202560 26830 0 0 0 134 3 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10552244 CPUtime=2.75 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5603 0 -1 4202560 4580 0 0 0 274 1 0 0 15 0 19 0 834629282 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 0 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699498929 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10552244 CPUtime=0.9 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5603 0 -1 4202560 3464 0 0 0 90 0 0 0 15 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10552244 CPUtime=1.03 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5603 0 -1 4202560 6321 0 0 0 102 1 0 0 15 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7291] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7291/stat : 7291 (java) S 7271 7273 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7292] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7292/stat : 7292 (java) S 7271 7273 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834629395 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1792.37
Current children cumulated vsize (KiB) 10552244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790 s]
/proc/loadavg: 2.13 2.06 2.01 3/612 7396
/proc/meminfo: memFree=14925964/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=10552244 CPUtime=1800.08 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5603 0 -1 4202496 1029801 0 1 0 179880 128 0 0 25 0 19 0 834629279 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 2638061 1022366 2267 9 0 2628795 0
[pid=7273/tid=7274] ppid=7271 vsize=10552244 CPUtime=1783.68 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4202560 801995 0 1 0 178278 90 0 0 25 0 19 0 834629280 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 46912505925448 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7273/tid=7276] ppid=7271 vsize=10552244 CPUtime=1.56 cores=0,2,4,6
/proc/7273/task/7276/stat : 7276 (java) S 7271 7273 5603 0 -1 4202560 26246 0 0 0 152 4 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7277] ppid=7271 vsize=10552244 CPUtime=1.51 cores=0,2,4,6
/proc/7273/task/7277/stat : 7277 (java) S 7271 7273 5603 0 -1 4202560 30381 0 0 0 148 3 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7278] ppid=7271 vsize=10552244 CPUtime=1.34 cores=0,2,4,6
/proc/7273/task/7278/stat : 7278 (java) S 7271 7273 5603 0 -1 4202560 20489 0 0 0 131 3 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7279] ppid=7271 vsize=10552244 CPUtime=1.48 cores=0,2,4,6
/proc/7273/task/7279/stat : 7279 (java) S 7271 7273 5603 0 -1 4202560 27012 0 0 0 144 4 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7280] ppid=7271 vsize=10552244 CPUtime=1.65 cores=0,2,4,6
/proc/7273/task/7280/stat : 7280 (java) S 7271 7273 5603 0 -1 4202560 29918 0 0 0 160 5 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7281] ppid=7271 vsize=10552244 CPUtime=1.27 cores=0,2,4,6
/proc/7273/task/7281/stat : 7281 (java) S 7271 7273 5603 0 -1 4202560 23144 0 0 0 124 3 0 0 16 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7282] ppid=7271 vsize=10552244 CPUtime=1.42 cores=0,2,4,6
/proc/7273/task/7282/stat : 7282 (java) S 7271 7273 5603 0 -1 4202560 28168 0 0 0 138 4 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7283] ppid=7271 vsize=10552244 CPUtime=1.37 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5603 0 -1 4202560 26830 0 0 0 134 3 0 0 15 0 19 0 834629281 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10552244 CPUtime=2.75 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5603 0 -1 4202560 4580 0 0 0 274 1 0 0 15 0 19 0 834629282 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 0 0 16800975 18446604445493174400 0 0 -1 2 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834629283 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699498929 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10552244 CPUtime=0.9 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5603 0 -1 4202560 3464 0 0 0 90 0 0 0 15 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 0 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10552244 CPUtime=1.03 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5603 0 -1 4202560 6321 0 0 0 102 1 0 0 15 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491225 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7291] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7291/stat : 7291 (java) S 7271 7273 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834629285 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
[pid=7273/tid=7292] ppid=7271 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7292/stat : 7292 (java) S 7271 7273 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834629395 10805497856 1022366 33554432000 1073741824 1073778376 140737203262944 18446744073709551615 212699491840 0 4 0 16800975 18446604445493174400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.13 s]
/proc/loadavg: 2.13 2.06 2.01 3/612 7396
/proc/meminfo: memFree=14925964/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/7273/stat : 7273 (java) Z 7271 7273 5603 0 -1 4203548 1029829 0 1 0 179886 135 0 0 17 0 2 0 834629279 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 0 0 0 0 0 0 0
[pid=7273/tid=7274] ppid=7271 vsize=0 CPUtime=1783.77 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4203588 801995 0 1 0 178280 97 0 0 25 0 2 0 834629280 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
[startup+1790.2 s]
/proc/loadavg: 2.13 2.06 2.01 3/612 7396
/proc/meminfo: memFree=14925964/32951124 swapFree=58940260/67111528
[pid=7273] ppid=7271 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/7273/stat : 7273 (java) Z 7271 7273 5603 0 -1 4203548 1029829 0 1 0 179886 142 0 0 17 0 2 0 834629279 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7273/statm: 0 0 0 0 0 0 0
[pid=7273/tid=7274] ppid=7271 vsize=0 CPUtime=1783.84 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) R 7271 7273 5603 0 -1 4203588 801995 0 1 0 178280 104 0 0 25 0 2 0 834629280 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.23
CPU time (s): 1800.32
CPU user time (s): 1798.87
CPU system time (s): 1.44978
CPU usage (%): 100.564
Max. virtual memory (cumulated for all children) (KiB): 10552244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.44978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1029829
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= 40316
involuntary context switches= 14009
runsolver used 11.5072 second user time and 23.6724 second system time
The end