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-3457094-1307216743/watcher-3457094-1307216743 -o /tmp/evaluation-result-3457094-1307216743/solver-3457094-1307216743 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457094-1307216743.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/427 13334
/proc/meminfo: memFree=25966576/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 1317 0 0 0 0 0 0 0 24 0 2 0 289283744 36646912 1018 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 8947 1018 782 9 0 386 0
[pid=13334/tid=13335] ppid=13332 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) S 13332 13334 12126 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 289283744 36646912 1018 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218880585286 0 0 0 16784584 6897144636112895999 0 0 -1 3 0 0 0
[startup+0.0855581 s]
/proc/loadavg: 1.00 1.00 1.00 3/427 13334
/proc/meminfo: memFree=25966576/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 11739 0 1 0 4 1 0 0 24 0 18 0 289283744 10724302848 11435 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2618238 11435 1740 9 0 2608972 0
[pid=13334/tid=13335] ppid=13332 vsize=10472952 CPUtime=0.04 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 10563 0 1 0 4 0 0 0 24 0 18 0 289283744 10724302848 11435 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 47234977418067 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.100555 s]
/proc/loadavg: 1.00 1.00 1.00 3/427 13334
/proc/meminfo: memFree=25966576/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 12023 0 1 0 6 1 0 0 24 0 18 0 289283744 10724442112 11720 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2618272 11729 1772 9 0 2609006 0
[pid=13334/tid=13335] ppid=13332 vsize=10473244 CPUtime=0.06 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 10828 0 1 0 5 1 0 0 24 0 18 0 289283744 10724601856 11732 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892391093 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.300447 s]
/proc/loadavg: 1.00 1.00 1.00 3/427 13334
/proc/meminfo: memFree=25966576/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10540284 CPUtime=0.42 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 15508 0 1 0 40 2 0 0 24 0 18 0 289283744 10793250816 14974 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2635071 14974 2197 9 0 2625805 0
[pid=13334/tid=13335] ppid=13332 vsize=10540284 CPUtime=0.26 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 12699 0 1 0 25 1 0 0 25 0 18 0 289283744 10793250816 14974 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912505182023 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10540284
[startup+0.700378 s]
/proc/loadavg: 1.00 1.00 1.00 3/427 13334
/proc/meminfo: memFree=25966576/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10544816 CPUtime=1.26 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 43348 0 1 0 121 5 0 0 24 0 19 0 289283744 10797891584 40534 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2636204 40534 2234 9 0 2626938 0
[pid=13334/tid=13335] ppid=13332 vsize=10544816 CPUtime=0.65 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 36417 0 1 0 61 4 0 0 19 0 19 0 289283744 10797891584 40534 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912505357412 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10544816
[startup+1.50124 s]
/proc/loadavg: 1.00 1.00 1.00 5/452 13359
/proc/meminfo: memFree=25583288/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10545036 CPUtime=2.81 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 88899 0 1 0 270 11 0 0 24 0 19 0 289283744 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2636259 81366 2238 9 0 2626993 0
[pid=13334/tid=13335] ppid=13332 vsize=10545036 CPUtime=1.44 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 73684 0 1 0 136 8 0 0 18 0 19 0 289283744 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912505964959 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13334/tid=13342] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13342/stat : 13342 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13343] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13343/stat : 13343 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13344] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13344/stat : 13344 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13345] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13345/stat : 13345 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13346] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13346/stat : 13346 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13347] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13347/stat : 13347 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13348] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13348/stat : 13348 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13349] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13349/stat : 13349 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13350] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13350/stat : 13350 (java) S 13332 13334 12126 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 289283748 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 0 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13351] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13351/stat : 13351 (java) S 13332 13334 12126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 289283748 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13352] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13352/stat : 13352 (java) S 13332 13334 12126 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 289283748 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13353] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13353/stat : 13353 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289283752 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892388785 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13354] ppid=13332 vsize=10545036 CPUtime=0.85 cores=1,3,5,7
/proc/13334/task/13354/stat : 13354 (java) S 13332 13334 12126 0 -1 4202560 10683 0 0 0 84 1 0 0 15 0 19 0 289283752 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13355] ppid=13332 vsize=10545036 CPUtime=0.49 cores=1,3,5,7
/proc/13334/task/13355/stat : 13355 (java) S 13332 13334 12126 0 -1 4202560 3370 0 0 0 49 0 0 0 15 0 19 0 289283752 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13356] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13356/stat : 13356 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 289283752 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13357] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13357/stat : 13357 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289283752 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13359] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13359/stat : 13359 (java) S 13332 13334 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289283805 10798116864 81366 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10545036
[startup+3.10096 s]
/proc/loadavg: 1.08 1.02 1.01 3/452 13359
/proc/meminfo: memFree=24783488/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10545036 CPUtime=4.46 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 211825 0 1 0 423 23 0 0 24 0 19 0 289283744 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2636259 204290 2238 9 0 2626993 0
[pid=13334/tid=13335] ppid=13332 vsize=10545036 CPUtime=3.03 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 196601 0 1 0 283 20 0 0 21 0 19 0 289283744 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912505859504 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13334/tid=13342] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13342/stat : 13342 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13343] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13343/stat : 13343 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13344] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13344/stat : 13344 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13345] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13345/stat : 13345 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13346] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13346/stat : 13346 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13347] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13347/stat : 13347 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13348] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13348/stat : 13348 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13349] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13349/stat : 13349 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289283747 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13350] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13350/stat : 13350 (java) S 13332 13334 12126 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 289283748 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 0 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13351] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13351/stat : 13351 (java) S 13332 13334 12126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 289283748 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13352] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13352/stat : 13352 (java) S 13332 13334 12126 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 289283748 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13353] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13353/stat : 13353 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289283752 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892388785 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13354] ppid=13332 vsize=10545036 CPUtime=0.9 cores=1,3,5,7
/proc/13334/task/13354/stat : 13354 (java) S 13332 13334 12126 0 -1 4202560 10691 0 0 0 89 1 0 0 15 0 19 0 289283752 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13355] ppid=13332 vsize=10545036 CPUtime=0.49 cores=1,3,5,7
/proc/13334/task/13355/stat : 13355 (java) S 13332 13334 12126 0 -1 4202560 3370 0 0 0 49 0 0 0 15 0 19 0 289283752 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13356] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13356/stat : 13356 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 289283752 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13357] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13357/stat : 13357 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289283752 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13359] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13359/stat : 13359 (java) S 13332 13334 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289283805 10798116864 204290 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 10545036
[startup+6.30139 s]
/proc/loadavg: 1.08 1.02 1.01 3/452 13359
/proc/meminfo: memFree=22248480/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10545036 CPUtime=7.79 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 406154 0 1 0 733 46 0 0 24 0 19 0 289283744 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2636259 398112 2267 9 0 2626993 0
[pid=13334/tid=13335] ppid=13332 vsize=10545036 CPUtime=6.17 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 386577 0 1 0 575 42 0 0 20 0 19 0 289283744 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912505859408 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13334/tid=13342] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13342/stat : 13342 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13343] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13343/stat : 13343 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13344] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13344/stat : 13344 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13345] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13345/stat : 13345 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13346] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13346/stat : 13346 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13347] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13347/stat : 13347 (java) S 13332 13334 12126 0 -1 4202560 418 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13348] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13348/stat : 13348 (java) S 13332 13334 12126 0 -1 4202560 667 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13349] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13349/stat : 13349 (java) S 13332 13334 12126 0 -1 4202560 962 0 0 0 0 0 0 0 18 0 19 0 289283747 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13350] ppid=13332 vsize=10545036 CPUtime=0.03 cores=1,3,5,7
/proc/13334/task/13350/stat : 13350 (java) S 13332 13334 12126 0 -1 4202560 2292 0 0 0 3 0 0 0 15 0 19 0 289283748 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 0 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13351] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13351/stat : 13351 (java) S 13332 13334 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13352] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13352/stat : 13352 (java) S 13332 13334 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13353] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13353/stat : 13353 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289283752 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892388785 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13354] ppid=13332 vsize=10545036 CPUtime=0.99 cores=1,3,5,7
/proc/13334/task/13354/stat : 13354 (java) S 13332 13334 12126 0 -1 4202560 10705 0 0 0 98 1 0 0 15 0 19 0 289283752 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13355] ppid=13332 vsize=10545036 CPUtime=0.53 cores=1,3,5,7
/proc/13334/task/13355/stat : 13355 (java) S 13332 13334 12126 0 -1 4202560 3376 0 0 0 53 0 0 0 15 0 19 0 289283752 10798116864 398112 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/13334/task/13352/stat : 13352 (java) S 13332 13334 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 894211 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13353] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13353/stat : 13353 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289283752 10798116864 894211 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892388785 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13354] ppid=13332 vsize=10545036 CPUtime=1.15 cores=1,3,5,7
/proc/13334/task/13354/stat : 13354 (java) S 13332 13334 12126 0 -1 4202560 10721 0 0 0 114 1 0 0 16 0 19 0 289283752 10798116864 894211 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13355] ppid=13332 vsize=10545036 CPUtime=0.59 cores=1,3,5,7
/proc/13334/task/13355/stat : 13355 (java) S 13332 13334 12126 0 -1 4202560 3377 0 0 0 59 0 0 0 15 0 19 0 289283752 10798116864 894211 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13356] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13356/stat : 13356 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 289283752 10798116864 894211 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13357] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13357/stat : 13357 (java) S 13332 13334 12126 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 289283752 10798116864 894211 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13359] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13359/stat : 13359 (java) S 13332 13334 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289283805 10798116864 894211 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.54
Current children cumulated vsize (KiB) 10545036
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.84 3/452 13417
/proc/meminfo: memFree=18757392/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10545036 CPUtime=1725.61 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 903498 0 1 0 172461 100 0 0 24 0 19 0 289283744 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2636259 894772 2268 9 0 2626993 0
[pid=13334/tid=13335] ppid=13332 vsize=10545036 CPUtime=1720.79 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 856754 0 1 0 171989 90 0 0 25 0 19 0 289283744 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912506007934 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13334/tid=13342] ppid=13332 vsize=10545036 CPUtime=0.32 cores=1,3,5,7
/proc/13334/task/13342/stat : 13342 (java) S 13332 13334 12126 0 -1 4202560 3634 0 0 0 32 0 0 0 15 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13343] ppid=13332 vsize=10545036 CPUtime=0.33 cores=1,3,5,7
/proc/13334/task/13343/stat : 13343 (java) S 13332 13334 12126 0 -1 4202560 3587 0 0 0 33 0 0 0 16 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13344] ppid=13332 vsize=10545036 CPUtime=0.3 cores=1,3,5,7
/proc/13334/task/13344/stat : 13344 (java) S 13332 13334 12126 0 -1 4202560 3290 0 0 0 30 0 0 0 15 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13345] ppid=13332 vsize=10545036 CPUtime=0.29 cores=1,3,5,7
/proc/13334/task/13345/stat : 13345 (java) S 13332 13334 12126 0 -1 4202560 2953 0 0 0 29 0 0 0 16 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13346] ppid=13332 vsize=10545036 CPUtime=0.27 cores=1,3,5,7
/proc/13334/task/13346/stat : 13346 (java) S 13332 13334 12126 0 -1 4202560 2516 0 0 0 27 0 0 0 15 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13347] ppid=13332 vsize=10545036 CPUtime=0.28 cores=1,3,5,7
/proc/13334/task/13347/stat : 13347 (java) S 13332 13334 12126 0 -1 4202560 3418 0 0 0 28 0 0 0 16 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13348] ppid=13332 vsize=10545036 CPUtime=0.32 cores=1,3,5,7
/proc/13334/task/13348/stat : 13348 (java) S 13332 13334 12126 0 -1 4202560 3069 0 0 0 32 0 0 0 15 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13349] ppid=13332 vsize=10545036 CPUtime=0.28 cores=1,3,5,7
/proc/13334/task/13349/stat : 13349 (java) S 13332 13334 12126 0 -1 4202560 3785 0 0 0 28 0 0 0 15 0 19 0 289283747 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13350] ppid=13332 vsize=10545036 CPUtime=0.56 cores=1,3,5,7
/proc/13334/task/13350/stat : 13350 (java) S 13332 13334 12126 0 -1 4202560 5142 0 0 0 54 2 0 0 15 0 19 0 289283748 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 0 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13351] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13351/stat : 13351 (java) S 13332 13334 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13352] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13352/stat : 13352 (java) S 13332 13334 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13353] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13353/stat : 13353 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289283752 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892388785 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13354] ppid=13332 vsize=10545036 CPUtime=1.15 cores=1,3,5,7
/proc/13334/task/13354/stat : 13354 (java) S 13332 13334 12126 0 -1 4202560 10721 0 0 0 114 1 0 0 16 0 19 0 289283752 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13355] ppid=13332 vsize=10545036 CPUtime=0.59 cores=1,3,5,7
/proc/13334/task/13355/stat : 13355 (java) S 13332 13334 12126 0 -1 4202560 3377 0 0 0 59 0 0 0 15 0 19 0 289283752 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13356] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13356/stat : 13356 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 289283752 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13357] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13357/stat : 13357 (java) S 13332 13334 12126 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 289283752 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13359] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13359/stat : 13359 (java) S 13332 13334 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289283805 10798116864 894772 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.61
Current children cumulated vsize (KiB) 10545036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/452 13418
/proc/meminfo: memFree=18751304/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10545036 CPUtime=1785.66 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 903988 0 1 0 178466 100 0 0 24 0 19 0 289283744 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2636259 895253 2268 9 0 2626993 0
[pid=13334/tid=13335] ppid=13332 vsize=10545036 CPUtime=1780.75 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 856758 0 1 0 177985 90 0 0 25 0 19 0 289283744 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912505971029 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13334/tid=13342] ppid=13332 vsize=10545036 CPUtime=0.32 cores=1,3,5,7
/proc/13334/task/13342/stat : 13342 (java) S 13332 13334 12126 0 -1 4202560 3652 0 0 0 32 0 0 0 16 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13343] ppid=13332 vsize=10545036 CPUtime=0.35 cores=1,3,5,7
/proc/13334/task/13343/stat : 13343 (java) S 13332 13334 12126 0 -1 4202560 3715 0 0 0 35 0 0 0 15 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13344] ppid=13332 vsize=10545036 CPUtime=0.31 cores=1,3,5,7
/proc/13334/task/13344/stat : 13344 (java) S 13332 13334 12126 0 -1 4202560 3329 0 0 0 31 0 0 0 15 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13345] ppid=13332 vsize=10545036 CPUtime=0.3 cores=1,3,5,7
/proc/13334/task/13345/stat : 13345 (java) S 13332 13334 12126 0 -1 4202560 3054 0 0 0 30 0 0 0 16 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13346] ppid=13332 vsize=10545036 CPUtime=0.28 cores=1,3,5,7
/proc/13334/task/13346/stat : 13346 (java) S 13332 13334 12126 0 -1 4202560 2572 0 0 0 28 0 0 0 16 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13347] ppid=13332 vsize=10545036 CPUtime=0.29 cores=1,3,5,7
/proc/13334/task/13347/stat : 13347 (java) S 13332 13334 12126 0 -1 4202560 3497 0 0 0 29 0 0 0 16 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13348] ppid=13332 vsize=10545036 CPUtime=0.33 cores=1,3,5,7
/proc/13334/task/13348/stat : 13348 (java) S 13332 13334 12126 0 -1 4202560 3084 0 0 0 33 0 0 0 15 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13349] ppid=13332 vsize=10545036 CPUtime=0.3 cores=1,3,5,7
/proc/13334/task/13349/stat : 13349 (java) S 13332 13334 12126 0 -1 4202560 3831 0 0 0 30 0 0 0 15 0 19 0 289283747 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13350] ppid=13332 vsize=10545036 CPUtime=0.56 cores=1,3,5,7
/proc/13334/task/13350/stat : 13350 (java) S 13332 13334 12126 0 -1 4202560 5144 0 0 0 54 2 0 0 15 0 19 0 289283748 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 0 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13351] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13351/stat : 13351 (java) S 13332 13334 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13352] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13352/stat : 13352 (java) S 13332 13334 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13353] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13353/stat : 13353 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289283752 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892388785 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13354] ppid=13332 vsize=10545036 CPUtime=1.15 cores=1,3,5,7
/proc/13334/task/13354/stat : 13354 (java) S 13332 13334 12126 0 -1 4202560 10721 0 0 0 114 1 0 0 16 0 19 0 289283752 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13355] ppid=13332 vsize=10545036 CPUtime=0.59 cores=1,3,5,7
/proc/13334/task/13355/stat : 13355 (java) S 13332 13334 12126 0 -1 4202560 3377 0 0 0 59 0 0 0 15 0 19 0 289283752 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13356] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13356/stat : 13356 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 289283752 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13357] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13357/stat : 13357 (java) S 13332 13334 12126 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 289283752 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13359] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13359/stat : 13359 (java) S 13332 13334 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289283805 10798116864 895253 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (KiB) 10545036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 1.85 2/432 13422
/proc/meminfo: memFree=22417520/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=10545036 CPUtime=1800.09 cores=1,3,5,7
/proc/13334/stat : 13334 (java) S 13332 13334 12126 0 -1 4202496 904115 0 1 0 179909 100 0 0 24 0 19 0 289283744 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 2636259 895374 2268 9 0 2626993 0
[pid=13334/tid=13335] ppid=13332 vsize=10545036 CPUtime=1795.15 cores=1,3,5,7
/proc/13334/task/13335/stat : 13335 (java) R 13332 13334 12126 0 -1 4202560 856759 0 1 0 179425 90 0 0 25 0 19 0 289283744 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 46912506007934 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13334/tid=13342] ppid=13332 vsize=10545036 CPUtime=0.33 cores=1,3,5,7
/proc/13334/task/13342/stat : 13342 (java) S 13332 13334 12126 0 -1 4202560 3682 0 0 0 33 0 0 0 16 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13343] ppid=13332 vsize=10545036 CPUtime=0.35 cores=1,3,5,7
/proc/13334/task/13343/stat : 13343 (java) S 13332 13334 12126 0 -1 4202560 3715 0 0 0 35 0 0 0 15 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13344] ppid=13332 vsize=10545036 CPUtime=0.32 cores=1,3,5,7
/proc/13334/task/13344/stat : 13344 (java) S 13332 13334 12126 0 -1 4202560 3404 0 0 0 32 0 0 0 16 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13345] ppid=13332 vsize=10545036 CPUtime=0.3 cores=1,3,5,7
/proc/13334/task/13345/stat : 13345 (java) S 13332 13334 12126 0 -1 4202560 3054 0 0 0 30 0 0 0 15 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 1 0 0 0
[pid=13334/tid=13346] ppid=13332 vsize=10545036 CPUtime=0.29 cores=1,3,5,7
/proc/13334/task/13346/stat : 13346 (java) S 13332 13334 12126 0 -1 4202560 2573 0 0 0 29 0 0 0 16 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13347] ppid=13332 vsize=10545036 CPUtime=0.29 cores=1,3,5,7
/proc/13334/task/13347/stat : 13347 (java) S 13332 13334 12126 0 -1 4202560 3497 0 0 0 29 0 0 0 15 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13348] ppid=13332 vsize=10545036 CPUtime=0.33 cores=1,3,5,7
/proc/13334/task/13348/stat : 13348 (java) S 13332 13334 12126 0 -1 4202560 3084 0 0 0 33 0 0 0 15 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13349] ppid=13332 vsize=10545036 CPUtime=0.3 cores=1,3,5,7
/proc/13334/task/13349/stat : 13349 (java) S 13332 13334 12126 0 -1 4202560 3847 0 0 0 30 0 0 0 16 0 19 0 289283747 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 7 0 0 0
[pid=13334/tid=13350] ppid=13332 vsize=10545036 CPUtime=0.56 cores=1,3,5,7
/proc/13334/task/13350/stat : 13350 (java) S 13332 13334 12126 0 -1 4202560 5146 0 0 0 54 2 0 0 15 0 19 0 289283748 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 0 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13351] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13351/stat : 13351 (java) S 13332 13334 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13352] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13352/stat : 13352 (java) S 13332 13334 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 289283748 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13353] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13353/stat : 13353 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289283752 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892388785 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13354] ppid=13332 vsize=10545036 CPUtime=1.15 cores=1,3,5,7
/proc/13334/task/13354/stat : 13354 (java) S 13332 13334 12126 0 -1 4202560 10721 0 0 0 114 1 0 0 16 0 19 0 289283752 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13355] ppid=13332 vsize=10545036 CPUtime=0.59 cores=1,3,5,7
/proc/13334/task/13355/stat : 13355 (java) S 13332 13334 12126 0 -1 4202560 3377 0 0 0 59 0 0 0 15 0 19 0 289283752 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13356] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13356/stat : 13356 (java) S 13332 13334 12126 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 289283752 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381081 0 4 0 16800975 18446604454518559872 0 0 -1 3 0 0 0
[pid=13334/tid=13357] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13357/stat : 13357 (java) S 13332 13334 12126 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 289283752 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
[pid=13334/tid=13359] ppid=13332 vsize=10545036 CPUtime=0 cores=1,3,5,7
/proc/13334/task/13359/stat : 13359 (java) S 13332 13334 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289283805 10798116864 895374 33554432000 1073741824 1073778376 140736388905872 18446744073709551615 218892381696 0 4 0 16800975 18446604454518559872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10545036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.82 s]
/proc/loadavg: 2.00 2.02 1.85 2/432 13422
/proc/meminfo: memFree=22417520/32950928 swapFree=52006644/67111528
[pid=13334] ppid=13332 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/13334/stat : 13334 (java) Z 13332 13334 12126 0 -1 4203548 904145 0 1 0 179917 107 0 0 17 0 2 0 289283744 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13334/statm: 0 0 0 0 0 0 0
[pid=13334/tid=13356] ppid=13332 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/13334/task/13356/stat : 13356 (java) R 13332 13334 12126 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 289283752 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.89
CPU time (s): 1800.32
CPU user time (s): 1799.18
CPU system time (s): 1.13883
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 10546412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.13883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 904145
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= 40928
involuntary context switches= 24934
runsolver used 7.2559 second user time and 17.2764 second system time
The end