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-3456225-1307226658/watcher-3456225-1307226658 -o /tmp/evaluation-result-3456225-1307226658/solver-3456225-1307226658 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456225-1307226658.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.06 2.01 2/578 11335
/proc/meminfo: memFree=30003404/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 5235 0 1 0 0 0 0 0 25 0 2 0 834264504 10694979584 4937 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2611079 4949 917 9 0 2602235 0
[pid=11335/tid=11337] ppid=11333 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 6634 0 1 0 0 0 0 0 25 0 2 0 834264505 10694979584 7450 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.102149 s]
/proc/loadavg: 2.04 2.06 2.01 2/578 11335
/proc/meminfo: memFree=30003404/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10540436 CPUtime=0.1 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 13097 0 1 0 9 1 0 0 25 0 18 0 834264504 10793406464 12794 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2635109 12794 2093 9 0 2625843 0
[pid=11335/tid=11337] ppid=11333 vsize=10540436 CPUtime=0.09 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 11192 0 1 0 8 1 0 0 25 0 18 0 834264505 10793406464 12794 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912496201386 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540436
[startup+0.203263 s]
/proc/loadavg: 2.04 2.06 2.01 2/578 11335
/proc/meminfo: memFree=30003404/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10541220 CPUtime=0.25 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 14087 0 1 0 24 1 0 0 25 0 18 0 834264504 10794209280 13784 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2635305 13784 2181 9 0 2626039 0
[pid=11335/tid=11337] ppid=11333 vsize=10541220 CPUtime=0.18 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 11872 0 1 0 17 1 0 0 25 0 18 0 834264505 10794209280 13785 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10541220
[startup+0.301119 s]
/proc/loadavg: 2.04 2.06 2.01 2/578 11335
/proc/meminfo: memFree=30003404/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10542788 CPUtime=0.48 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 16303 0 1 0 46 2 0 0 25 0 18 0 834264504 10795814912 15675 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2635697 15675 2220 9 0 2626431 0
[pid=11335/tid=11337] ppid=11333 vsize=10542788 CPUtime=0.28 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 12792 0 1 0 27 1 0 0 25 0 18 0 834264505 10795814912 15675 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542788
[startup+0.701002 s]
/proc/loadavg: 2.04 2.06 2.01 2/578 11335
/proc/meminfo: memFree=30003404/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10552252 CPUtime=1.54 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 33674 0 1 0 150 4 0 0 25 0 19 0 834264504 10805506048 29588 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2638063 29594 2231 9 0 2628797 0
[pid=11335/tid=11337] ppid=11333 vsize=10552252 CPUtime=0.68 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 22308 0 1 0 66 2 0 0 25 0 19 0 834264505 10805506048 29595 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10552252
[startup+1.5009 s]
/proc/loadavg: 2.44 2.15 2.04 4/598 11356
/proc/meminfo: memFree=29536968/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10556936 CPUtime=3.1 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 85661 0 1 0 301 9 0 0 25 0 19 0 834264504 10810302464 79241 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2639234 79243 2240 9 0 2629968 0
[pid=11335/tid=11337] ppid=11333 vsize=10556936 CPUtime=1.48 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 69575 0 1 0 141 7 0 0 18 0 19 0 834264505 10810302464 79245 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505599615 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11335/tid=11339] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11339/stat : 11339 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79247 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11340] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11340/stat : 11340 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79248 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11341] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11341/stat : 11341 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79250 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11342] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11342/stat : 11342 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79251 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11343] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11343/stat : 11343 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79253 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11344] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11344/stat : 11344 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79254 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11345] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11345/stat : 11345 (java) S 11333 11335 10129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79256 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11346] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11346/stat : 11346 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 79257 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11347] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11347/stat : 11347 (java) S 11333 11335 10129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834264508 10810302464 79258 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11348] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11348/stat : 11348 (java) S 11333 11335 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834264508 10810302464 79260 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11349] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11349/stat : 11349 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264508 10810302464 79262 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11350] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11350/stat : 11350 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10810302464 79263 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11351] ppid=11333 vsize=10556936 CPUtime=0.81 cores=0,2,4,6
/proc/11335/task/11351/stat : 11351 (java) S 11333 11335 10129 0 -1 4202560 7352 0 0 0 81 0 0 0 17 0 19 0 834264510 10810302464 79265 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11352] ppid=11333 vsize=10556936 CPUtime=0.79 cores=0,2,4,6
/proc/11335/task/11352/stat : 11352 (java) S 11333 11335 10129 0 -1 4202560 7578 0 0 0 78 1 0 0 24 0 19 0 834264510 10810302464 79267 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11353] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11353/stat : 11353 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10810302464 79268 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11354] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11354/stat : 11354 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834264510 10810302464 79270 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11355] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11355/stat : 11355 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264544 10810302464 79271 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10556936
[startup+3.10071 s]
/proc/loadavg: 2.44 2.15 2.04 3/598 11356
/proc/meminfo: memFree=29018076/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10556936 CPUtime=4.87 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 189661 0 1 0 466 21 0 0 25 0 19 0 834264504 10810302464 183239 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2639234 183242 2241 9 0 2629968 0
[pid=11335/tid=11337] ppid=11333 vsize=10556936 CPUtime=3.08 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 173557 0 1 0 290 18 0 0 19 0 19 0 834264505 10810302464 183243 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505810235 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11335/tid=11339] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11339/stat : 11339 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183244 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11340] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11340/stat : 11340 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183246 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11341] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11341/stat : 11341 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183248 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11342] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11342/stat : 11342 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183249 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11343] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11343/stat : 11343 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183251 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11344] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11344/stat : 11344 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183253 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11345] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11345/stat : 11345 (java) S 11333 11335 10129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183254 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11346] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11346/stat : 11346 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10810302464 183256 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11347] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11347/stat : 11347 (java) S 11333 11335 10129 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834264508 10810302464 183257 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11348] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11348/stat : 11348 (java) S 11333 11335 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834264508 10810302464 183259 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11349] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11349/stat : 11349 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264508 10810302464 183261 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11350] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11350/stat : 11350 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10810302464 183262 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11351] ppid=11333 vsize=10556936 CPUtime=0.84 cores=0,2,4,6
/proc/11335/task/11351/stat : 11351 (java) S 11333 11335 10129 0 -1 4202560 7355 0 0 0 84 0 0 0 15 0 19 0 834264510 10810302464 183264 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11352] ppid=11333 vsize=10556936 CPUtime=0.92 cores=0,2,4,6
/proc/11335/task/11352/stat : 11352 (java) S 11333 11335 10129 0 -1 4202560 7592 0 0 0 91 1 0 0 15 0 19 0 834264510 10810302464 183266 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11353] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11353/stat : 11353 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10810302464 183268 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11354] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11354/stat : 11354 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834264510 10810302464 183269 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11355] ppid=11333 vsize=10556936 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11355/stat : 11355 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264544 10810302464 183271 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 10556936
[startup+6.30111 s]
/proc/loadavg: 2.44 2.15 2.04 3/598 11356
/proc/meminfo: memFree=27409856/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10553884 CPUtime=8.07 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 393193 0 1 0 764 43 0 0 25 0 19 0 834264504 10807177216 385994 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2638471 385996 2243 9 0 2629205 0
[pid=11335/tid=11337] ppid=11333 vsize=10553884 CPUtime=6.28 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 377086 0 1 0 587 41 0 0 21 0 19 0 834264505 10807177216 385997 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505785743 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11335/tid=11339] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11339/stat : 11339 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 385999 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11340] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11340/stat : 11340 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 386001 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11341] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11341/stat : 11341 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 386002 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11342] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11342/stat : 11342 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 386003 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11343] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11343/stat : 11343 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 386004 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11344] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11344/stat : 11344 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 386006 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11345] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11345/stat : 11345 (java) S 11333 11335 10129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 386008 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11346] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11346/stat : 11346 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264507 10807177216 386010 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11347] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11347/stat : 11347 (java) S 11333 11335 10129 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834264508 10807177216 386011 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11348] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11348/stat : 11348 (java) S 11333 11335 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834264508 10807177216 386016 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11349] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11349/stat : 11349 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264508 10807177216 386020 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11350] ppid=11333 vsize=10553884 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11350/stat : 11350 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10807177216 386024 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11351] ppid=11333 vsize=10553884 CPUtime=0.84 cores=0,2,4,6
/proc/11335/task/11351/stat : 11351 (java) S 11333 11335 10129 0 -1 4202560 7355 0 0 0 84 0 0 0 15 0 19 0 834264510 10807177216 386027 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11352] ppid=11333 vsize=10553884 CPUtime=0.94 cores=0,2,4,6
/proc/11335/task/11352/stat : 11352 (java) S 11333 11335 10129 0 -1 4202560 7593 0 0 0 93 1 0 0 15 0 19 0 834264510 10807177216 386028 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=11335/tid=11355] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11355/stat : 11355 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264544 10811043840 942272 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1667.77
Current children cumulated vsize (KiB) 10557660
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/598 11406
/proc/meminfo: memFree=22633928/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10557660 CPUtime=1727.97 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 957467 0 1 0 172688 109 0 0 25 0 19 0 834264504 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2639415 947681 2269 9 0 2630149 0
[pid=11335/tid=11337] ppid=11333 vsize=10557660 CPUtime=1719.94 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 829973 0 1 0 171908 86 0 0 25 0 19 0 834264505 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505809837 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11335/tid=11339] ppid=11333 vsize=10557660 CPUtime=0.73 cores=0,2,4,6
/proc/11335/task/11339/stat : 11339 (java) S 11333 11335 10129 0 -1 4202560 19308 0 0 0 70 3 0 0 15 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11340] ppid=11333 vsize=10557660 CPUtime=0.61 cores=0,2,4,6
/proc/11335/task/11340/stat : 11340 (java) S 11333 11335 10129 0 -1 4202560 10515 0 0 0 60 1 0 0 15 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11341] ppid=11333 vsize=10557660 CPUtime=0.48 cores=0,2,4,6
/proc/11335/task/11341/stat : 11341 (java) S 11333 11335 10129 0 -1 4202560 9754 0 0 0 47 1 0 0 15 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11342] ppid=11333 vsize=10557660 CPUtime=0.62 cores=0,2,4,6
/proc/11335/task/11342/stat : 11342 (java) S 11333 11335 10129 0 -1 4202560 15483 0 0 0 61 1 0 0 15 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11335/tid=11343] ppid=11333 vsize=10557660 CPUtime=0.64 cores=0,2,4,6
/proc/11335/task/11343/stat : 11343 (java) S 11333 11335 10129 0 -1 4202560 13274 0 0 0 63 1 0 0 15 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11344] ppid=11333 vsize=10557660 CPUtime=0.51 cores=0,2,4,6
/proc/11335/task/11344/stat : 11344 (java) S 11333 11335 10129 0 -1 4202560 9982 0 0 0 49 2 0 0 16 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11345] ppid=11333 vsize=10557660 CPUtime=0.62 cores=0,2,4,6
/proc/11335/task/11345/stat : 11345 (java) S 11333 11335 10129 0 -1 4202560 11822 0 0 0 60 2 0 0 15 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11346] ppid=11333 vsize=10557660 CPUtime=0.6 cores=0,2,4,6
/proc/11335/task/11346/stat : 11346 (java) S 11333 11335 10129 0 -1 4202560 17032 0 0 0 57 3 0 0 16 0 19 0 834264507 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11347] ppid=11333 vsize=10557660 CPUtime=0.78 cores=0,2,4,6
/proc/11335/task/11347/stat : 11347 (java) S 11333 11335 10129 0 -1 4202560 2382 0 0 0 77 1 0 0 15 0 19 0 834264508 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11348] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11348/stat : 11348 (java) S 11333 11335 10129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834264508 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11349] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11349/stat : 11349 (java) S 11333 11335 10129 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834264508 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11350] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11350/stat : 11350 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11351] ppid=11333 vsize=10557660 CPUtime=1.22 cores=0,2,4,6
/proc/11335/task/11351/stat : 11351 (java) S 11333 11335 10129 0 -1 4202560 9079 0 0 0 121 1 0 0 15 0 19 0 834264510 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11335/tid=11352] ppid=11333 vsize=10557660 CPUtime=1.09 cores=0,2,4,6
/proc/11335/task/11352/stat : 11352 (java) S 11333 11335 10129 0 -1 4202560 7611 0 0 0 108 1 0 0 15 0 19 0 834264510 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11353] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11353/stat : 11353 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11354] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11354/stat : 11354 (java) S 11333 11335 10129 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834264510 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11355] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11355/stat : 11355 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264544 10811043840 947681 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1727.97
Current children cumulated vsize (KiB) 10557660
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/598 11408
/proc/meminfo: memFree=22621460/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10557660 CPUtime=1788.1 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 959403 0 1 0 178700 110 0 0 25 0 19 0 834264504 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2639415 949563 2269 9 0 2630149 0
[pid=11335/tid=11337] ppid=11333 vsize=10557660 CPUtime=1779.89 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 829976 0 1 0 177903 86 0 0 25 0 19 0 834264505 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505810729 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11335/tid=11339] ppid=11333 vsize=10557660 CPUtime=0.75 cores=0,2,4,6
/proc/11335/task/11339/stat : 11339 (java) S 11333 11335 10129 0 -1 4202560 19346 0 0 0 72 3 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11340] ppid=11333 vsize=10557660 CPUtime=0.62 cores=0,2,4,6
/proc/11335/task/11340/stat : 11340 (java) S 11333 11335 10129 0 -1 4202560 10598 0 0 0 61 1 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11341] ppid=11333 vsize=10557660 CPUtime=0.51 cores=0,2,4,6
/proc/11335/task/11341/stat : 11341 (java) S 11333 11335 10129 0 -1 4202560 10167 0 0 0 50 1 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11342] ppid=11333 vsize=10557660 CPUtime=0.65 cores=0,2,4,6
/proc/11335/task/11342/stat : 11342 (java) S 11333 11335 10129 0 -1 4202560 15584 0 0 0 64 1 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11335/tid=11343] ppid=11333 vsize=10557660 CPUtime=0.66 cores=0,2,4,6
/proc/11335/task/11343/stat : 11343 (java) S 11333 11335 10129 0 -1 4202560 13441 0 0 0 65 1 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11344] ppid=11333 vsize=10557660 CPUtime=0.52 cores=0,2,4,6
/proc/11335/task/11344/stat : 11344 (java) S 11333 11335 10129 0 -1 4202560 10462 0 0 0 50 2 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11345] ppid=11333 vsize=10557660 CPUtime=0.64 cores=0,2,4,6
/proc/11335/task/11345/stat : 11345 (java) S 11333 11335 10129 0 -1 4202560 11960 0 0 0 62 2 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11346] ppid=11333 vsize=10557660 CPUtime=0.64 cores=0,2,4,6
/proc/11335/task/11346/stat : 11346 (java) S 11333 11335 10129 0 -1 4202560 17539 0 0 0 61 3 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11347] ppid=11333 vsize=10557660 CPUtime=0.78 cores=0,2,4,6
/proc/11335/task/11347/stat : 11347 (java) S 11333 11335 10129 0 -1 4202560 2386 0 0 0 77 1 0 0 15 0 19 0 834264508 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11348] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11348/stat : 11348 (java) S 11333 11335 10129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834264508 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11349] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11349/stat : 11349 (java) S 11333 11335 10129 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834264508 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11350] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11350/stat : 11350 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11351] ppid=11333 vsize=10557660 CPUtime=1.22 cores=0,2,4,6
/proc/11335/task/11351/stat : 11351 (java) S 11333 11335 10129 0 -1 4202560 9079 0 0 0 121 1 0 0 15 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11335/tid=11352] ppid=11333 vsize=10557660 CPUtime=1.09 cores=0,2,4,6
/proc/11335/task/11352/stat : 11352 (java) S 11333 11335 10129 0 -1 4202560 7611 0 0 0 108 1 0 0 15 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11353] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11353/stat : 11353 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11354] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11354/stat : 11354 (java) S 11333 11335 10129 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11355] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11355/stat : 11355 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264544 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1788.1
Current children cumulated vsize (KiB) 10557660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.22 s]
/proc/loadavg: 2.17 2.06 2.01 3/598 11408
/proc/meminfo: memFree=22621564/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=10557660 CPUtime=1800.04 cores=0,2,4,6
/proc/11335/stat : 11335 (java) S 11333 11335 10129 0 -1 4202496 959405 0 1 0 179894 110 0 0 25 0 19 0 834264504 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 2639415 949563 2269 9 0 2630149 0
[pid=11335/tid=11337] ppid=11333 vsize=10557660 CPUtime=1791.83 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4202560 829976 0 1 0 179097 86 0 0 25 0 19 0 834264505 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 46912505886068 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11335/tid=11339] ppid=11333 vsize=10557660 CPUtime=0.75 cores=0,2,4,6
/proc/11335/task/11339/stat : 11339 (java) S 11333 11335 10129 0 -1 4202560 19346 0 0 0 72 3 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11340] ppid=11333 vsize=10557660 CPUtime=0.62 cores=0,2,4,6
/proc/11335/task/11340/stat : 11340 (java) S 11333 11335 10129 0 -1 4202560 10598 0 0 0 61 1 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11341] ppid=11333 vsize=10557660 CPUtime=0.51 cores=0,2,4,6
/proc/11335/task/11341/stat : 11341 (java) S 11333 11335 10129 0 -1 4202560 10167 0 0 0 50 1 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11342] ppid=11333 vsize=10557660 CPUtime=0.65 cores=0,2,4,6
/proc/11335/task/11342/stat : 11342 (java) S 11333 11335 10129 0 -1 4202560 15584 0 0 0 64 1 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11335/tid=11343] ppid=11333 vsize=10557660 CPUtime=0.66 cores=0,2,4,6
/proc/11335/task/11343/stat : 11343 (java) S 11333 11335 10129 0 -1 4202560 13441 0 0 0 65 1 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11344] ppid=11333 vsize=10557660 CPUtime=0.52 cores=0,2,4,6
/proc/11335/task/11344/stat : 11344 (java) S 11333 11335 10129 0 -1 4202560 10462 0 0 0 50 2 0 0 15 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11345] ppid=11333 vsize=10557660 CPUtime=0.64 cores=0,2,4,6
/proc/11335/task/11345/stat : 11345 (java) S 11333 11335 10129 0 -1 4202560 11960 0 0 0 62 2 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11346] ppid=11333 vsize=10557660 CPUtime=0.64 cores=0,2,4,6
/proc/11335/task/11346/stat : 11346 (java) S 11333 11335 10129 0 -1 4202560 17539 0 0 0 61 3 0 0 16 0 19 0 834264507 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11335/tid=11347] ppid=11333 vsize=10557660 CPUtime=0.78 cores=0,2,4,6
/proc/11335/task/11347/stat : 11347 (java) S 11333 11335 10129 0 -1 4202560 2386 0 0 0 77 1 0 0 15 0 19 0 834264508 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11348] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11348/stat : 11348 (java) S 11333 11335 10129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834264508 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11349] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11349/stat : 11349 (java) S 11333 11335 10129 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834264508 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11350] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11350/stat : 11350 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11351] ppid=11333 vsize=10557660 CPUtime=1.22 cores=0,2,4,6
/proc/11335/task/11351/stat : 11351 (java) S 11333 11335 10129 0 -1 4202560 9079 0 0 0 121 1 0 0 15 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11335/tid=11352] ppid=11333 vsize=10557660 CPUtime=1.09 cores=0,2,4,6
/proc/11335/task/11352/stat : 11352 (java) S 11333 11335 10129 0 -1 4202560 7611 0 0 0 108 1 0 0 15 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11353] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11353/stat : 11353 (java) S 11333 11335 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11335/tid=11354] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11354/stat : 11354 (java) S 11333 11335 10129 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 834264510 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11335/tid=11355] ppid=11333 vsize=10557660 CPUtime=0 cores=0,2,4,6
/proc/11335/task/11355/stat : 11355 (java) S 11333 11335 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834264544 10811043840 949563 33554432000 1073741824 1073778376 140736873967008 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10557660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.33 s]
/proc/loadavg: 2.17 2.06 2.01 3/598 11408
/proc/meminfo: memFree=22621564/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/11335/stat : 11335 (java) Z 11333 11335 10129 0 -1 4203548 959438 0 1 0 179899 115 0 0 17 0 2 0 834264504 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 0 0 0 0 0 0 0
[pid=11335/tid=11337] ppid=11333 vsize=0 CPUtime=1791.91 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4203588 829976 0 1 0 179099 92 0 0 25 0 2 0 834264505 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
[startup+1794.4 s]
/proc/loadavg: 2.17 2.06 2.01 3/598 11408
/proc/meminfo: memFree=22621564/32950928 swapFree=41528364/67111528
[pid=11335] ppid=11333 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/11335/stat : 11335 (java) Z 11333 11335 10129 0 -1 4203548 959438 0 1 0 179899 122 0 0 17 0 2 0 834264504 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11335/statm: 0 0 0 0 0 0 0
[pid=11335/tid=11337] ppid=11333 vsize=0 CPUtime=1791.98 cores=0,2,4,6
/proc/11335/task/11337/stat : 11337 (java) R 11333 11335 10129 0 -1 4203588 829976 0 1 0 179099 99 0 0 25 0 2 0 834264505 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.42
CPU time (s): 1800.24
CPU user time (s): 1798.99
CPU system time (s): 1.24681
CPU usage (%): 100.324
Max. virtual memory (cumulated for all children) (KiB): 10557660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.24681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 959438
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= 39394
involuntary context switches= 19557
runsolver used 11.2633 second user time and 23.0335 second system time
The end