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-3457584-1307228576/watcher-3457584-1307228576 -o /tmp/evaluation-result-3457584-1307228576/solver-3457584-1307228576 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457584-1307228576.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: 2.06 2.07 2.02 3/464 31315
/proc/meminfo: memFree=27714452/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 4610 0 1 0 0 0 0 0 22 0 2 0 834456450 10694979584 4313 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2611079 4326 917 9 0 2602235 0
[pid=31315/tid=31316] ppid=31313 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 3555 0 1 0 0 0 0 0 23 0 2 0 834456450 10694979584 4372 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.02321 s]
/proc/loadavg: 2.06 2.07 2.02 3/464 31315
/proc/meminfo: memFree=27714452/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 8987 0 1 0 0 1 0 0 22 0 2 0 834456450 10694979584 8689 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2611079 8705 917 9 0 2602235 0
[pid=31315/tid=31316] ppid=31313 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 7901 0 1 0 0 0 0 0 23 0 2 0 834456450 10694979584 8717 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100198 s]
/proc/loadavg: 2.06 2.07 2.02 3/464 31315
/proc/meminfo: memFree=27714452/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10540372 CPUtime=0.09 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 13018 0 1 0 8 1 0 0 22 0 18 0 834456450 10793340928 12715 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635093 12715 2092 9 0 2625827 0
[pid=31315/tid=31316] ppid=31313 vsize=10540372 CPUtime=0.08 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 11114 0 1 0 7 1 0 0 25 0 18 0 834456450 10793340928 12715 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 47382019678502 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540372
[startup+0.300167 s]
/proc/loadavg: 2.06 2.07 2.02 3/464 31315
/proc/meminfo: memFree=27714452/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10541364 CPUtime=0.45 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 23894 0 1 0 42 3 0 0 22 0 18 0 834456450 10794356736 23345 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635341 23348 2199 9 0 2626075 0
[pid=31315/tid=31316] ppid=31313 vsize=10541364 CPUtime=0.28 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 21197 0 1 0 26 2 0 0 25 0 18 0 834456450 10794356736 23350 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 46912505575086 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541364
[startup+0.701093 s]
/proc/loadavg: 2.06 2.07 2.02 3/464 31315
/proc/meminfo: memFree=27714452/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10541364 CPUtime=0.85 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 55499 0 1 0 78 7 0 0 22 0 18 0 834456450 10794356736 54950 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635341 54953 2199 9 0 2626075 0
[pid=31315/tid=31316] ppid=31313 vsize=10541364 CPUtime=0.68 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 52802 0 1 0 62 6 0 0 25 0 18 0 834456450 10794356736 54955 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 46912505552038 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10541364
[startup+1.50096 s]
/proc/loadavg: 2.06 2.07 2.02 3/482 31333
/proc/meminfo: memFree=27406240/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10541364 CPUtime=1.67 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 116658 0 1 0 155 12 0 0 22 0 18 0 834456450 10794356736 116109 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635341 116109 2199 9 0 2626075 0
[pid=31315/tid=31316] ppid=31313 vsize=10541364 CPUtime=1.48 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 113948 0 1 0 136 12 0 0 25 0 18 0 834456450 10794356736 116110 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 47382019416069 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 834456452 10794356736 116110 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31325] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31325/stat : 31325 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31326] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31326/stat : 31326 (java) S 31313 31315 29607 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834456453 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31327] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31327/stat : 31327 (java) S 31313 31315 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834456454 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31328] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31328/stat : 31328 (java) S 31313 31315 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834456454 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31329] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31329/stat : 31329 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456456 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31330] ppid=31313 vsize=10541364 CPUtime=0.09 cores=1,3,5,7
/proc/31315/task/31330/stat : 31330 (java) R 31313 31315 29607 0 -1 4202560 711 0 0 0 9 0 0 0 16 0 18 0 834456456 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 47382023890975 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31315/tid=31331] ppid=31313 vsize=10541364 CPUtime=0.09 cores=1,3,5,7
/proc/31315/task/31331/stat : 31331 (java) R 31313 31315 29607 0 -1 4202560 850 0 0 0 9 0 0 0 17 0 18 0 834456456 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 47382020266490 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31315/tid=31332] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31332/stat : 31332 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456456 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31333] ppid=31313 vsize=10541364 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31333/stat : 31333 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834456456 10794356736 116111 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10541364
[startup+3.10067 s]
/proc/loadavg: 2.06 2.07 2.02 3/482 31333
/proc/meminfo: memFree=27013904/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10542012 CPUtime=3.39 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 281280 0 1 0 310 29 0 0 22 0 18 0 834456450 10795020288 280732 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635503 280749 2212 9 0 2626237 0
[pid=31315/tid=31316] ppid=31313 vsize=10542012 CPUtime=3.08 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 278407 0 1 0 279 29 0 0 25 0 18 0 834456450 10795020288 280758 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 46912505639884 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 834456452 10795020288 280770 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10795020288 280775 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10795020288 280780 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10795020288 280791 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10795020288 280802 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10795020288 280810 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10795020288 280818 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31325] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31325/stat : 31325 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456452 10795020288 280827 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31326] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31326/stat : 31326 (java) S 31313 31315 29607 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834456453 10795020288 280835 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31327] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31327/stat : 31327 (java) S 31313 31315 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834456454 10795020288 280844 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31328] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31328/stat : 31328 (java) S 31313 31315 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834456454 10795020288 280853 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31329] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31329/stat : 31329 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456456 10795020288 280862 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31330] ppid=31313 vsize=10542012 CPUtime=0.15 cores=1,3,5,7
/proc/31315/task/31330/stat : 31330 (java) S 31313 31315 29607 0 -1 4202560 763 0 0 0 15 0 0 0 15 0 18 0 834456456 10795020288 280865 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31331] ppid=31313 vsize=10542012 CPUtime=0.15 cores=1,3,5,7
/proc/31315/task/31331/stat : 31331 (java) S 31313 31315 29607 0 -1 4202560 988 0 0 0 15 0 0 0 17 0 18 0 834456456 10795020288 280865 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31332] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31332/stat : 31332 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834456456 10795020288 280865 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31333] ppid=31313 vsize=10542012 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31333/stat : 31333 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834456456 10795020288 280865 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10542012
[startup+6.30111 s]
/proc/loadavg: 2.13 2.08 2.02 3/482 31333
/proc/meminfo: memFree=25580464/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10543392 CPUtime=6.84 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 587579 0 1 0 619 65 0 0 22 0 19 0 834456450 10796433408 586393 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635848 586394 2222 9 0 2626582 0
[pid=31315/tid=31316] ppid=31313 vsize=10543392 CPUtime=6.28 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 583765 0 1 0 564 64 0 0 25 0 19 0 834456450 10796433408 586394 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 46912505789244 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834456452 10796433408 586395 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456452 10796433408 586395 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456452 10796433408 586396 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456452 10796433408 586396 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456452 10796433408 586397 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456452 10796433408 586397 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456452 10796433408 586398 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31325] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31325/stat : 31325 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456452 10796433408 586398 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31326] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31326/stat : 31326 (java) S 31313 31315 29607 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834456453 10796433408 586399 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31327] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31327/stat : 31327 (java) S 31313 31315 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834456454 10796433408 586399 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31328] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31328/stat : 31328 (java) S 31313 31315 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834456454 10796433408 586400 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31329] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31329/stat : 31329 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796433408 586400 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31330] ppid=31313 vsize=10543392 CPUtime=0.24 cores=1,3,5,7
/proc/31315/task/31330/stat : 31330 (java) S 31313 31315 29607 0 -1 4202560 1177 0 0 0 24 0 0 0 16 0 19 0 834456456 10796433408 586400 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31331] ppid=31313 vsize=10543392 CPUtime=0.3 cores=1,3,5,7
/proc/31315/task/31331/stat : 31331 (java) S 31313 31315 29607 0 -1 4202560 1476 0 0 0 30 0 0 0 15 0 19 0 834456456 10796433408 586401 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31332] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31332/stat : 31332 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796433408 586401 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31333] ppid=31313 vsize=10543392 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31333/stat : 31333 (java) S 31313 31315 29607 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834456456 10796433408 586402 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/31315/task/31328/stat : 31328 (java) S 31313 31315 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834456454 10796568576 1066875 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31329] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31329/stat : 31329 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1066875 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31330] ppid=31313 vsize=10543524 CPUtime=0.66 cores=1,3,5,7
/proc/31315/task/31330/stat : 31330 (java) S 31313 31315 29607 0 -1 4202560 4446 0 0 0 65 1 0 0 15 0 19 0 834456456 10796568576 1066875 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31331] ppid=31313 vsize=10543524 CPUtime=0.54 cores=1,3,5,7
/proc/31315/task/31331/stat : 31331 (java) S 31313 31315 29607 0 -1 4202560 1539 0 0 0 54 0 0 0 15 0 19 0 834456456 10796568576 1066875 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31332] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31332/stat : 31332 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1066875 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31333] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31333/stat : 31333 (java) S 31313 31315 29607 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834456456 10796568576 1066875 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31334] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31334/stat : 31334 (java) S 31313 31315 29607 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834457050 10796568576 1066875 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1674.16
Current children cumulated vsize (KiB) 10543524
[startup+1722.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/483 31431
/proc/meminfo: memFree=23445860/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10543524 CPUtime=1734.37 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 1078016 0 1 0 173305 132 0 0 22 0 19 0 834456450 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635881 1069783 2242 9 0 2626615 0
[pid=31315/tid=31316] ppid=31313 vsize=10543524 CPUtime=1717.78 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 651280 0 1 0 171706 72 0 0 25 0 19 0 834456450 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 46912505847643 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=10543524 CPUtime=2.32 cores=1,3,5,7
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 29607 0 -1 4202560 47002 0 0 0 226 6 0 0 16 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=10543524 CPUtime=2.17 cores=1,3,5,7
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 29607 0 -1 4202560 53620 0 0 0 211 6 0 0 16 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=10543524 CPUtime=1.85 cores=1,3,5,7
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 29607 0 -1 4202560 50501 0 0 0 177 8 0 0 16 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=10543524 CPUtime=1.38 cores=1,3,5,7
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 29607 0 -1 4202560 21811 0 0 0 136 2 0 0 15 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=10543524 CPUtime=1.52 cores=1,3,5,7
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 29607 0 -1 4202560 53775 0 0 0 145 7 0 0 15 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=10543524 CPUtime=2.08 cores=1,3,5,7
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 29607 0 -1 4202560 63734 0 0 0 199 9 0 0 15 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=10543524 CPUtime=2.03 cores=1,3,5,7
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 29607 0 -1 4202560 79815 0 0 0 193 10 0 0 15 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31325] ppid=31313 vsize=10543524 CPUtime=1.91 cores=1,3,5,7
/proc/31315/task/31325/stat : 31325 (java) S 31313 31315 29607 0 -1 4202560 49135 0 0 0 185 6 0 0 15 0 19 0 834456452 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31326] ppid=31313 vsize=10543524 CPUtime=0.02 cores=1,3,5,7
/proc/31315/task/31326/stat : 31326 (java) S 31313 31315 29607 0 -1 4202560 108 0 0 0 1 1 0 0 15 0 19 0 834456453 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31327] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31327/stat : 31327 (java) S 31313 31315 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834456454 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31328] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31328/stat : 31328 (java) S 31313 31315 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834456454 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31329] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31329/stat : 31329 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31330] ppid=31313 vsize=10543524 CPUtime=0.66 cores=1,3,5,7
/proc/31315/task/31330/stat : 31330 (java) S 31313 31315 29607 0 -1 4202560 4446 0 0 0 65 1 0 0 15 0 19 0 834456456 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31331] ppid=31313 vsize=10543524 CPUtime=0.54 cores=1,3,5,7
/proc/31315/task/31331/stat : 31331 (java) S 31313 31315 29607 0 -1 4202560 1539 0 0 0 54 0 0 0 15 0 19 0 834456456 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31332] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31332/stat : 31332 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31333] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31333/stat : 31333 (java) S 31313 31315 29607 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834456456 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31334] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31334/stat : 31334 (java) S 31313 31315 29607 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834457050 10796568576 1069783 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1734.37
Current children cumulated vsize (KiB) 10543524
[startup+1782.32 s]
/proc/loadavg: 1.99 2.02 2.00 3/483 31432
/proc/meminfo: memFree=23380352/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10543524 CPUtime=1794.71 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 1082870 0 1 0 179338 133 0 0 22 0 19 0 834456450 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635881 1074490 2243 9 0 2626615 0
[pid=31315/tid=31316] ppid=31313 vsize=10543524 CPUtime=1777.65 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 651287 0 1 0 177693 72 0 0 25 0 19 0 834456450 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 46912505818382 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=10543524 CPUtime=2.41 cores=1,3,5,7
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 29607 0 -1 4202560 47960 0 0 0 234 7 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=10543524 CPUtime=2.24 cores=1,3,5,7
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 29607 0 -1 4202560 54187 0 0 0 218 6 0 0 15 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=10543524 CPUtime=1.92 cores=1,3,5,7
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 29607 0 -1 4202560 50860 0 0 0 184 8 0 0 15 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=10543524 CPUtime=1.42 cores=1,3,5,7
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 29607 0 -1 4202560 22338 0 0 0 140 2 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=10543524 CPUtime=1.55 cores=1,3,5,7
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 29607 0 -1 4202560 54460 0 0 0 148 7 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=10543524 CPUtime=2.15 cores=1,3,5,7
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 29607 0 -1 4202560 64730 0 0 0 206 9 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=10543524 CPUtime=2.06 cores=1,3,5,7
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 29607 0 -1 4202560 79976 0 0 0 196 10 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31325] ppid=31313 vsize=10543524 CPUtime=1.98 cores=1,3,5,7
/proc/31315/task/31325/stat : 31325 (java) S 31313 31315 29607 0 -1 4202560 49717 0 0 0 192 6 0 0 15 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31326] ppid=31313 vsize=10543524 CPUtime=0.02 cores=1,3,5,7
/proc/31315/task/31326/stat : 31326 (java) S 31313 31315 29607 0 -1 4202560 112 0 0 0 1 1 0 0 15 0 19 0 834456453 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31327] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31327/stat : 31327 (java) S 31313 31315 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834456454 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31328] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31328/stat : 31328 (java) S 31313 31315 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834456454 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31329] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31329/stat : 31329 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31330] ppid=31313 vsize=10543524 CPUtime=0.67 cores=1,3,5,7
/proc/31315/task/31330/stat : 31330 (java) S 31313 31315 29607 0 -1 4202560 4448 0 0 0 66 1 0 0 15 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31331] ppid=31313 vsize=10543524 CPUtime=0.55 cores=1,3,5,7
/proc/31315/task/31331/stat : 31331 (java) S 31313 31315 29607 0 -1 4202560 1541 0 0 0 55 0 0 0 15 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31332] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31332/stat : 31332 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31333] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31333/stat : 31333 (java) S 31313 31315 29607 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31334] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31334/stat : 31334 (java) S 31313 31315 29607 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834457050 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 10543524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.7 s]
/proc/loadavg: 1.99 2.02 2.00 4/483 31433
/proc/meminfo: memFree=23361496/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=10543524 CPUtime=1800.12 cores=1,3,5,7
/proc/31315/stat : 31315 (java) S 31313 31315 29607 0 -1 4202496 1082870 0 1 0 179879 133 0 0 22 0 19 0 834456450 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 2635881 1074490 2243 9 0 2626615 0
[pid=31315/tid=31316] ppid=31313 vsize=10543524 CPUtime=1783.07 cores=1,3,5,7
/proc/31315/task/31316/stat : 31316 (java) R 31313 31315 29607 0 -1 4202560 651287 0 1 0 178235 72 0 0 25 0 19 0 834456450 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 46912505847632 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=10543524 CPUtime=2.41 cores=1,3,5,7
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 29607 0 -1 4202560 47960 0 0 0 234 7 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=10543524 CPUtime=2.24 cores=1,3,5,7
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 29607 0 -1 4202560 54187 0 0 0 218 6 0 0 15 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=10543524 CPUtime=1.92 cores=1,3,5,7
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 29607 0 -1 4202560 50860 0 0 0 184 8 0 0 15 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=10543524 CPUtime=1.42 cores=1,3,5,7
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 29607 0 -1 4202560 22338 0 0 0 140 2 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=10543524 CPUtime=1.55 cores=1,3,5,7
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 29607 0 -1 4202560 54460 0 0 0 148 7 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=10543524 CPUtime=2.15 cores=1,3,5,7
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 29607 0 -1 4202560 64730 0 0 0 206 9 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=10543524 CPUtime=2.06 cores=1,3,5,7
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 29607 0 -1 4202560 79976 0 0 0 196 10 0 0 16 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31325] ppid=31313 vsize=10543524 CPUtime=1.98 cores=1,3,5,7
/proc/31315/task/31325/stat : 31325 (java) S 31313 31315 29607 0 -1 4202560 49717 0 0 0 192 6 0 0 15 0 19 0 834456452 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31326] ppid=31313 vsize=10543524 CPUtime=0.02 cores=1,3,5,7
/proc/31315/task/31326/stat : 31326 (java) S 31313 31315 29607 0 -1 4202560 112 0 0 0 1 1 0 0 15 0 19 0 834456453 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31327] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31327/stat : 31327 (java) S 31313 31315 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834456454 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31328] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31328/stat : 31328 (java) S 31313 31315 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834456454 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31329] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31329/stat : 31329 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=31315/tid=31330] ppid=31313 vsize=10543524 CPUtime=0.67 cores=1,3,5,7
/proc/31315/task/31330/stat : 31330 (java) S 31313 31315 29607 0 -1 4202560 4448 0 0 0 66 1 0 0 15 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=31315/tid=31331] ppid=31313 vsize=10543524 CPUtime=0.55 cores=1,3,5,7
/proc/31315/task/31331/stat : 31331 (java) S 31313 31315 29607 0 -1 4202560 1541 0 0 0 55 0 0 0 15 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=31315/tid=31332] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31332/stat : 31332 (java) S 31313 31315 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31333] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31333/stat : 31333 (java) S 31313 31315 29607 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834456456 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=31315/tid=31334] ppid=31313 vsize=10543524 CPUtime=0 cores=1,3,5,7
/proc/31315/task/31334/stat : 31334 (java) S 31313 31315 29607 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834457050 10796568576 1074490 33554432000 1073741824 1073778376 140736247617136 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10543524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1787.84 s]
/proc/loadavg: 1.99 2.02 2.00 4/483 31433
/proc/meminfo: memFree=23361496/32950928 swapFree=34365992/67111528
[pid=31315] ppid=31313 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/31315/stat : 31315 (java) Z 31313 31315 29607 0 -1 4203548 1082899 0 1 0 179881 143 0 0 17 0 2 0 834456450 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31315/statm: 0 0 0 0 0 0 0
[pid=31315/tid=31334] ppid=31313 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/31315/task/31334/stat : 31334 (java) R 31313 31315 29607 0 -1 4203588 8 0 0 0 0 9 0 0 18 0 2 0 834457050 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1787.9
CPU time (s): 1800.3
CPU user time (s): 1798.81
CPU system time (s): 1.48877
CPU usage (%): 100.694
Max. virtual memory (cumulated for all children) (KiB): 10543524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.48877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1082899
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= 41317
involuntary context switches= 12272
runsolver used 7.74682 second user time and 18.7342 second system time
The end