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-3455900-1307224973/watcher-3455900-1307224973 -o /tmp/evaluation-result-3455900-1307224973/solver-3455900-1307224973 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455900-1307224973.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.03 2.03 2.00 3/404 12991
/proc/meminfo: memFree=19727636/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/12991/stat : 12991 (java) R 12989 12991 11997 0 -1 4202496 761 0 0 0 0 0 0 0 24 0 1 0 834100114 23580672 505 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12991/statm: 5757 517 388 9 0 124 0
[pid=12991/tid=12992] ppid=12989 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 1290 0 1 0 0 0 0 0 25 0 2 0 834100114 10681323520 2106 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0424641 s]
/proc/loadavg: 2.03 2.03 2.00 3/404 12991
/proc/meminfo: memFree=19727636/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 11144 0 1 0 2 1 0 0 24 0 13 0 834100114 10718699520 10841 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2616870 10841 1653 9 0 2607618 0
[pid=12991/tid=12992] ppid=12989 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 9997 0 1 0 1 1 0 0 25 0 13 0 834100114 10718699520 10841 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 47571417120773 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100415 s]
/proc/loadavg: 2.03 2.03 2.00 3/404 12991
/proc/meminfo: memFree=19727636/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10540300 CPUtime=0.09 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 13016 0 1 0 8 1 0 0 24 0 18 0 834100114 10793267200 12713 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2635075 12713 2093 9 0 2625809 0
[pid=12991/tid=12992] ppid=12989 vsize=10540300 CPUtime=0.07 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 11096 0 1 0 6 1 0 0 18 0 18 0 834100114 10793267200 12713 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912496218221 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540300
[startup+0.303756 s]
/proc/loadavg: 2.03 2.03 2.00 3/404 12991
/proc/meminfo: memFree=19727636/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10544088 CPUtime=0.51 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 16887 0 1 0 49 2 0 0 24 0 19 0 834100114 10797146112 15861 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2636022 15863 2210 9 0 2626756 0
[pid=12991/tid=12992] ppid=12989 vsize=10544088 CPUtime=0.28 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 12777 0 1 0 26 2 0 0 19 0 19 0 834100114 10797146112 15864 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912505586666 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10544088
[startup+0.700342 s]
/proc/loadavg: 2.03 2.03 2.00 3/404 12991
/proc/meminfo: memFree=19727636/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10555088 CPUtime=1.65 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 41444 0 1 0 160 5 0 0 24 0 19 0 834100114 10808410112 37009 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2638772 37009 2221 9 0 2629506 0
[pid=12991/tid=12992] ppid=12989 vsize=10555088 CPUtime=0.67 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 27903 0 1 0 64 3 0 0 19 0 19 0 834100114 10808410112 37010 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912505596691 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10555088
[startup+1.50121 s]
/proc/loadavg: 2.19 2.06 2.01 3/423 13010
/proc/meminfo: memFree=19481664/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10553444 CPUtime=2.85 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 119285 0 1 0 270 15 0 0 24 0 19 0 834100114 10806726656 112841 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2638361 112845 2226 9 0 2629095 0
[pid=12991/tid=12992] ppid=12989 vsize=10553444 CPUtime=1.47 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 105274 0 1 0 135 12 0 0 21 0 19 0 834100114 10806726656 112847 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912506065914 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12991/tid=12994] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12994/stat : 12994 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112848 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12995] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12995/stat : 12995 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112850 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12996] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12996/stat : 12996 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112854 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12997] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12997/stat : 12997 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112859 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12998] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12998/stat : 12998 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112862 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12999] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12999/stat : 12999 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112866 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13000] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13000/stat : 13000 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112870 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13001] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13001/stat : 13001 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 112873 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13002] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13002/stat : 13002 (java) S 12989 12991 11997 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834100117 10806726656 112877 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 0 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13003] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13003/stat : 13003 (java) S 12989 12991 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834100118 10806726656 112881 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13004] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13004/stat : 13004 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834100118 10806726656 112885 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13005] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13005/stat : 13005 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 112888 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382780849 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13006] ppid=12989 vsize=10553444 CPUtime=0.77 cores=1,3,5,7
/proc/12991/task/13006/stat : 13006 (java) S 12989 12991 11997 0 -1 4202560 5659 0 0 0 77 0 0 0 15 0 19 0 834100120 10806726656 112892 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13007] ppid=12989 vsize=10553444 CPUtime=0.58 cores=1,3,5,7
/proc/12991/task/13007/stat : 13007 (java) S 12989 12991 11997 0 -1 4202560 7199 0 0 0 57 1 0 0 18 0 19 0 834100120 10806726656 112895 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13008] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13008/stat : 13008 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 112898 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13009] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13009/stat : 13009 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834100120 10806726656 112901 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13010] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13010/stat : 13010 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834100136 10806726656 112904 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 10553444
[startup+3.10092 s]
/proc/loadavg: 2.19 2.06 2.01 3/423 13010
/proc/meminfo: memFree=19018896/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10553444 CPUtime=4.47 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 290719 0 1 0 413 34 0 0 24 0 19 0 834100114 10806726656 284274 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2638361 284277 2226 9 0 2629095 0
[pid=12991/tid=12992] ppid=12989 vsize=10553444 CPUtime=3.07 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 276702 0 1 0 275 32 0 0 25 0 19 0 834100114 10806726656 284278 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912505552127 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12991/tid=12994] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12994/stat : 12994 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284279 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12995] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12995/stat : 12995 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284281 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12996] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12996/stat : 12996 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284285 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12997] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12997/stat : 12997 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284288 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12998] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12998/stat : 12998 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284290 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12999] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12999/stat : 12999 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284292 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13000] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13000/stat : 13000 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284294 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13001] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13001/stat : 13001 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 284295 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13002] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13002/stat : 13002 (java) S 12989 12991 11997 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834100117 10806726656 284297 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 0 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13003] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13003/stat : 13003 (java) S 12989 12991 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834100118 10806726656 284298 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13004] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13004/stat : 13004 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834100118 10806726656 284300 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13005] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13005/stat : 13005 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 284303 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382780849 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13006] ppid=12989 vsize=10553444 CPUtime=0.79 cores=1,3,5,7
/proc/12991/task/13006/stat : 13006 (java) S 12989 12991 11997 0 -1 4202560 5663 0 0 0 79 0 0 0 15 0 19 0 834100120 10806726656 284308 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13007] ppid=12989 vsize=10553444 CPUtime=0.58 cores=1,3,5,7
/proc/12991/task/13007/stat : 13007 (java) S 12989 12991 11997 0 -1 4202560 7199 0 0 0 57 1 0 0 18 0 19 0 834100120 10806726656 284310 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13008] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13008/stat : 13008 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 284312 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13009] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13009/stat : 13009 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834100120 10806726656 284314 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13010] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13010/stat : 13010 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834100136 10806726656 284316 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 10553444
[startup+6.30135 s]
/proc/loadavg: 2.19 2.06 2.01 3/423 13010
/proc/meminfo: memFree=17707688/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10553444 CPUtime=7.67 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 593514 0 1 0 699 68 0 0 24 0 19 0 834100114 10806726656 586850 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2638361 586854 2227 9 0 2629095 0
[pid=12991/tid=12992] ppid=12989 vsize=10553444 CPUtime=6.27 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 579498 0 1 0 561 66 0 0 25 0 19 0 834100114 10806726656 586856 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912505576890 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12991/tid=12994] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12994/stat : 12994 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586858 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12995] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12995/stat : 12995 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586860 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12996] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12996/stat : 12996 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586862 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12997] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12997/stat : 12997 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586864 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12998] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12998/stat : 12998 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586867 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12999] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/12999/stat : 12999 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586869 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13000] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13000/stat : 13000 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586871 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13001] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13001/stat : 13001 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100116 10806726656 586873 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13002] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13002/stat : 13002 (java) S 12989 12991 11997 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 834100117 10806726656 586875 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 0 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13003] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13003/stat : 13003 (java) S 12989 12991 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834100118 10806726656 586877 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13004] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13004/stat : 13004 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834100118 10806726656 586879 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13005] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13005/stat : 13005 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 586881 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382780849 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13006] ppid=12989 vsize=10553444 CPUtime=0.79 cores=1,3,5,7
/proc/12991/task/13006/stat : 13006 (java) S 12989 12991 11997 0 -1 4202560 5663 0 0 0 79 0 0 0 15 0 19 0 834100120 10806726656 586883 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13007] ppid=12989 vsize=10553444 CPUtime=0.58 cores=1,3,5,7
/proc/12991/task/13007/stat : 13007 (java) S 12989 12991 11997 0 -1 4202560 7199 0 0 0 57 1 0 0 18 0 19 0 834100120 10806726656 586885 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/12991/task/13004/stat : 13004 (java) S 12989 12991 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834100118 10806726656 938844 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13005] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13005/stat : 13005 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 938844 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382780849 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13006] ppid=12989 vsize=10553444 CPUtime=0.88 cores=1,3,5,7
/proc/12991/task/13006/stat : 13006 (java) S 12989 12991 11997 0 -1 4202560 5679 0 0 0 88 0 0 0 16 0 19 0 834100120 10806726656 938844 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13007] ppid=12989 vsize=10553444 CPUtime=0.72 cores=1,3,5,7
/proc/12991/task/13007/stat : 13007 (java) S 12989 12991 11997 0 -1 4202560 7227 0 0 0 71 1 0 0 15 0 19 0 834100120 10806726656 938844 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13008] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13008/stat : 13008 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 938844 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13009] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13009/stat : 13009 (java) S 12989 12991 11997 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834100120 10806726656 938844 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13010] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13010/stat : 13010 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834100136 10806726656 938844 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.06
Current children cumulated vsize (KiB) 10553444
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/423 13107
/proc/meminfo: memFree=16077212/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10553444 CPUtime=1728.21 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 947839 0 1 0 172708 113 0 0 24 0 19 0 834100114 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2638361 939525 2257 9 0 2629095 0
[pid=12991/tid=12992] ppid=12989 vsize=10553444 CPUtime=1719.12 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 829148 0 1 0 171818 94 0 0 25 0 19 0 834100114 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912505576932 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12991/tid=12994] ppid=12989 vsize=10553444 CPUtime=0.75 cores=1,3,5,7
/proc/12991/task/12994/stat : 12994 (java) S 12989 12991 11997 0 -1 4202560 14504 0 0 0 74 1 0 0 15 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=12995] ppid=12989 vsize=10553444 CPUtime=0.71 cores=1,3,5,7
/proc/12991/task/12995/stat : 12995 (java) S 12989 12991 11997 0 -1 4202560 11070 0 0 0 69 2 0 0 15 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=12996] ppid=12989 vsize=10553444 CPUtime=0.78 cores=1,3,5,7
/proc/12991/task/12996/stat : 12996 (java) S 12989 12991 11997 0 -1 4202560 11202 0 0 0 77 1 0 0 15 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=12997] ppid=12989 vsize=10553444 CPUtime=0.85 cores=1,3,5,7
/proc/12991/task/12997/stat : 12997 (java) S 12989 12991 11997 0 -1 4202560 12008 0 0 0 83 2 0 0 16 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12998] ppid=12989 vsize=10553444 CPUtime=0.62 cores=1,3,5,7
/proc/12991/task/12998/stat : 12998 (java) S 12989 12991 11997 0 -1 4202560 10747 0 0 0 61 1 0 0 16 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=12999] ppid=12989 vsize=10553444 CPUtime=0.75 cores=1,3,5,7
/proc/12991/task/12999/stat : 12999 (java) S 12989 12991 11997 0 -1 4202560 10625 0 0 0 74 1 0 0 16 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13000] ppid=12989 vsize=10553444 CPUtime=0.87 cores=1,3,5,7
/proc/12991/task/13000/stat : 13000 (java) S 12989 12991 11997 0 -1 4202560 13745 0 0 0 85 2 0 0 16 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13001] ppid=12989 vsize=10553444 CPUtime=0.82 cores=1,3,5,7
/proc/12991/task/13001/stat : 13001 (java) S 12989 12991 11997 0 -1 4202560 11201 0 0 0 80 2 0 0 15 0 19 0 834100116 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13002] ppid=12989 vsize=10553444 CPUtime=1.22 cores=1,3,5,7
/proc/12991/task/13002/stat : 13002 (java) S 12989 12991 11997 0 -1 4202560 9432 0 0 0 121 1 0 0 15 0 19 0 834100117 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 0 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13003] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13003/stat : 13003 (java) S 12989 12991 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834100118 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13004] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13004/stat : 13004 (java) S 12989 12991 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834100118 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13005] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13005/stat : 13005 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382780849 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13006] ppid=12989 vsize=10553444 CPUtime=0.88 cores=1,3,5,7
/proc/12991/task/13006/stat : 13006 (java) S 12989 12991 11997 0 -1 4202560 5679 0 0 0 88 0 0 0 16 0 19 0 834100120 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13007] ppid=12989 vsize=10553444 CPUtime=0.72 cores=1,3,5,7
/proc/12991/task/13007/stat : 13007 (java) S 12989 12991 11997 0 -1 4202560 7227 0 0 0 71 1 0 0 15 0 19 0 834100120 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13008] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13008/stat : 13008 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13009] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13009/stat : 13009 (java) S 12989 12991 11997 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834100120 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13010] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13010/stat : 13010 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834100136 10806726656 939525 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.21
Current children cumulated vsize (KiB) 10553444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/423 13108
/proc/meminfo: memFree=16063552/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10553444 CPUtime=1788.36 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 948520 0 1 0 178723 113 0 0 24 0 19 0 834100114 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2638361 940183 2257 9 0 2629095 0
[pid=12991/tid=12992] ppid=12989 vsize=10553444 CPUtime=1779.06 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 829152 0 1 0 177812 94 0 0 25 0 19 0 834100114 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912505573989 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12991/tid=12994] ppid=12989 vsize=10553444 CPUtime=0.78 cores=1,3,5,7
/proc/12991/task/12994/stat : 12994 (java) S 12989 12991 11997 0 -1 4202560 14601 0 0 0 77 1 0 0 16 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=12995] ppid=12989 vsize=10553444 CPUtime=0.73 cores=1,3,5,7
/proc/12991/task/12995/stat : 12995 (java) S 12989 12991 11997 0 -1 4202560 11105 0 0 0 71 2 0 0 15 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=12996] ppid=12989 vsize=10553444 CPUtime=0.81 cores=1,3,5,7
/proc/12991/task/12996/stat : 12996 (java) S 12989 12991 11997 0 -1 4202560 11312 0 0 0 80 1 0 0 16 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=12997] ppid=12989 vsize=10553444 CPUtime=0.87 cores=1,3,5,7
/proc/12991/task/12997/stat : 12997 (java) S 12989 12991 11997 0 -1 4202560 12092 0 0 0 85 2 0 0 16 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12998] ppid=12989 vsize=10553444 CPUtime=0.67 cores=1,3,5,7
/proc/12991/task/12998/stat : 12998 (java) S 12989 12991 11997 0 -1 4202560 10908 0 0 0 66 1 0 0 16 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=12999] ppid=12989 vsize=10553444 CPUtime=0.78 cores=1,3,5,7
/proc/12991/task/12999/stat : 12999 (java) S 12989 12991 11997 0 -1 4202560 10653 0 0 0 77 1 0 0 15 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13000] ppid=12989 vsize=10553444 CPUtime=0.88 cores=1,3,5,7
/proc/12991/task/13000/stat : 13000 (java) S 12989 12991 11997 0 -1 4202560 13837 0 0 0 86 2 0 0 15 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13001] ppid=12989 vsize=10553444 CPUtime=0.84 cores=1,3,5,7
/proc/12991/task/13001/stat : 13001 (java) S 12989 12991 11997 0 -1 4202560 11265 0 0 0 82 2 0 0 15 0 19 0 834100116 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13002] ppid=12989 vsize=10553444 CPUtime=1.22 cores=1,3,5,7
/proc/12991/task/13002/stat : 13002 (java) S 12989 12991 11997 0 -1 4202560 9436 0 0 0 121 1 0 0 15 0 19 0 834100117 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 0 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13003] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13003/stat : 13003 (java) S 12989 12991 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834100118 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13004] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13004/stat : 13004 (java) S 12989 12991 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834100118 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13005] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13005/stat : 13005 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382780849 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13006] ppid=12989 vsize=10553444 CPUtime=0.88 cores=1,3,5,7
/proc/12991/task/13006/stat : 13006 (java) S 12989 12991 11997 0 -1 4202560 5679 0 0 0 88 0 0 0 16 0 19 0 834100120 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13007] ppid=12989 vsize=10553444 CPUtime=0.72 cores=1,3,5,7
/proc/12991/task/13007/stat : 13007 (java) S 12989 12991 11997 0 -1 4202560 7227 0 0 0 71 1 0 0 15 0 19 0 834100120 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13008] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13008/stat : 13008 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13009] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13009/stat : 13009 (java) S 12989 12991 11997 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834100120 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13010] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13010/stat : 13010 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834100136 10806726656 940183 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (KiB) 10553444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/423 13109
/proc/meminfo: memFree=16061188/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=10553444 CPUtime=1800.01 cores=1,3,5,7
/proc/12991/stat : 12991 (java) S 12989 12991 11997 0 -1 4202496 948840 0 1 0 179887 114 0 0 24 0 19 0 834100114 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 2638361 940493 2257 9 0 2629095 0
[pid=12991/tid=12992] ppid=12989 vsize=10553444 CPUtime=1790.66 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4202560 829153 0 1 0 178972 94 0 0 25 0 19 0 834100114 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 46912505573735 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12991/tid=12994] ppid=12989 vsize=10553444 CPUtime=0.8 cores=1,3,5,7
/proc/12991/task/12994/stat : 12994 (java) S 12989 12991 11997 0 -1 4202560 14680 0 0 0 78 2 0 0 16 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=12995] ppid=12989 vsize=10553444 CPUtime=0.74 cores=1,3,5,7
/proc/12991/task/12995/stat : 12995 (java) S 12989 12991 11997 0 -1 4202560 11166 0 0 0 72 2 0 0 16 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=12996] ppid=12989 vsize=10553444 CPUtime=0.81 cores=1,3,5,7
/proc/12991/task/12996/stat : 12996 (java) S 12989 12991 11997 0 -1 4202560 11312 0 0 0 80 1 0 0 15 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=12997] ppid=12989 vsize=10553444 CPUtime=0.87 cores=1,3,5,7
/proc/12991/task/12997/stat : 12997 (java) S 12989 12991 11997 0 -1 4202560 12092 0 0 0 85 2 0 0 15 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=12998] ppid=12989 vsize=10553444 CPUtime=0.67 cores=1,3,5,7
/proc/12991/task/12998/stat : 12998 (java) S 12989 12991 11997 0 -1 4202560 10908 0 0 0 66 1 0 0 15 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=12999] ppid=12989 vsize=10553444 CPUtime=0.78 cores=1,3,5,7
/proc/12991/task/12999/stat : 12999 (java) S 12989 12991 11997 0 -1 4202560 10653 0 0 0 77 1 0 0 15 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13000] ppid=12989 vsize=10553444 CPUtime=0.89 cores=1,3,5,7
/proc/12991/task/13000/stat : 13000 (java) S 12989 12991 11997 0 -1 4202560 13938 0 0 0 87 2 0 0 16 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13001] ppid=12989 vsize=10553444 CPUtime=0.86 cores=1,3,5,7
/proc/12991/task/13001/stat : 13001 (java) S 12989 12991 11997 0 -1 4202560 11341 0 0 0 84 2 0 0 16 0 19 0 834100116 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
[pid=12991/tid=13002] ppid=12989 vsize=10553444 CPUtime=1.22 cores=1,3,5,7
/proc/12991/task/13002/stat : 13002 (java) S 12989 12991 11997 0 -1 4202560 9436 0 0 0 121 1 0 0 15 0 19 0 834100117 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 0 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13003] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13003/stat : 13003 (java) S 12989 12991 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834100118 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13004] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13004/stat : 13004 (java) S 12989 12991 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834100118 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13005] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13005/stat : 13005 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382780849 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13006] ppid=12989 vsize=10553444 CPUtime=0.88 cores=1,3,5,7
/proc/12991/task/13006/stat : 13006 (java) S 12989 12991 11997 0 -1 4202560 5679 0 0 0 88 0 0 0 16 0 19 0 834100120 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 1 0 0 0
[pid=12991/tid=13007] ppid=12989 vsize=10553444 CPUtime=0.72 cores=1,3,5,7
/proc/12991/task/13007/stat : 13007 (java) S 12989 12991 11997 0 -1 4202560 7227 0 0 0 71 1 0 0 15 0 19 0 834100120 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 3 0 0 0
[pid=12991/tid=13008] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13008/stat : 13008 (java) S 12989 12991 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834100120 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773145 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13009] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13009/stat : 13009 (java) S 12989 12991 11997 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 834100120 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 5 0 0 0
[pid=12991/tid=13010] ppid=12989 vsize=10553444 CPUtime=0 cores=1,3,5,7
/proc/12991/task/13010/stat : 13010 (java) S 12989 12991 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834100136 10806726656 940493 33554432000 1073741824 1073778376 140737471959728 18446744073709551615 218382773760 0 4 0 16800975 18446604456040753984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10553444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.02 s]
/proc/loadavg: 2.00 2.01 2.00 3/407 13112
/proc/meminfo: memFree=17596548/32951124 swapFree=49244120/67111528
[pid=12991] ppid=12989 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/12991/stat : 12991 (java) Z 12989 12991 11997 0 -1 4203548 948882 0 1 0 179894 120 0 0 17 0 2 0 834100114 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12991/statm: 0 0 0 0 0 0 0
[pid=12991/tid=12992] ppid=12989 vsize=0 CPUtime=1790.76 cores=1,3,5,7
/proc/12991/task/12992/stat : 12992 (java) R 12989 12991 11997 0 -1 4203588 829153 0 1 0 178975 101 0 0 25 0 2 0 834100114 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.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.11
CPU time (s): 1800.24
CPU user time (s): 1798.95
CPU system time (s): 1.2898
CPU usage (%): 100.342
Max. virtual memory (cumulated for all children) (KiB): 10555088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.2898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 948882
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= 40561
involuntary context switches= 21194
runsolver used 6.85896 second user time and 16.0186 second system time
The end