runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4085764-1465300175/watcher-4085764-1465300175 -o /tmp/evaluation-result-4085764-1465300175/solver-4085764-1465300175 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28819 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085764-1465300175.opb
pid=32334
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.08 2.08 2.02 3/194 32337
/proc/meminfo: memFree=29132248/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 111950839 98570240 977 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 24065 977 743 9 0 16771 0
[pid=32337/tid=32338] ppid=32334 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 111950840 98570240 977 33554432000 1073741824 1073778376 140735044972864 140394308255272 262962759040 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 2.08 2.08 2.02 3/194 32337
/proc/meminfo: memFree=29132248/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 4502 0 1 0 10 1 0 0 20 0 18 0 111950839 9787879424 6125 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2389619 6125 2157 9 0 2380296 0
[pid=32337/tid=32338] ppid=32334 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 2380 0 1 0 6 1 0 0 20 0 18 0 111950840 9787879424 6125 33554432000 1073741824 1073778376 140735044972864 140394308258720 262966142221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200273 s]
/proc/loadavg: 2.08 2.08 2.02 3/194 32337
/proc/meminfo: memFree=29132248/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 5128 0 1 0 28 1 0 0 20 0 18 0 111950839 9787879424 11115 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2389619 11115 2217 9 0 2380296 0
[pid=32337/tid=32338] ppid=32334 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 2406 0 1 0 16 1 0 0 20 0 18 0 111950840 9787879424 11115 33554432000 1073741824 1073778376 140735044972864 140394308258720 140394176306081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300284 s]
/proc/loadavg: 2.08 2.08 2.02 3/194 32337
/proc/meminfo: memFree=29132248/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 6007 0 1 0 53 2 0 0 20 0 18 0 111950839 9787879424 13559 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2389619 13559 2236 9 0 2380296 0
[pid=32337/tid=32338] ppid=32334 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 2411 0 1 0 26 1 0 0 20 0 18 0 111950840 9787879424 13559 33554432000 1073741824 1073778376 140735044972864 140394308251552 140394176623744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700327 s]
/proc/loadavg: 2.08 2.08 2.02 3/194 32337
/proc/meminfo: memFree=29132248/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9558476 CPUtime=1.2 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 7310 0 1 0 115 5 0 0 20 0 18 0 111950839 9787879424 44273 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2389619 44273 2261 9 0 2380296 0
[pid=32337/tid=32338] ppid=32334 vsize=9558476 CPUtime=0.64 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 2464 0 1 0 61 3 0 0 20 0 18 0 111950840 9787879424 44273 33554432000 1073741824 1073778376 140735044972864 140394308259144 262966142221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 2.07 2.08 2.02 3/212 32355
/proc/meminfo: memFree=28787472/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9558476 CPUtime=2.27 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 8028 0 1 0 214 13 0 0 20 0 18 0 111950839 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2389619 88342 2263 9 0 2380296 0
[pid=32337/tid=32338] ppid=32334 vsize=9558476 CPUtime=1.35 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 2518 0 1 0 131 4 0 0 20 0 18 0 111950840 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394308251696 262966142221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32340] ppid=32334 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/32337/task/32340/stat : 32340 (java) S 32334 32337 28803 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394297322408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32341] ppid=32334 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/32337/task/32341/stat : 32341 (java) S 32334 32337 28803 0 -1 4202560 132 0 0 0 5 2 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394296269864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32342] ppid=32334 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/32337/task/32342/stat : 32342 (java) S 32334 32337 28803 0 -1 4202560 43 0 0 0 3 2 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394295216808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32343] ppid=32334 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/32337/task/32343/stat : 32343 (java) S 32334 32337 28803 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394148608808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32344] ppid=32334 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/32337/task/32344/stat : 32344 (java) S 32334 32337 28803 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394147555752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32345] ppid=32334 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/32337/task/32345/stat : 32345 (java) S 32334 32337 28803 0 -1 4202560 122 0 0 0 4 1 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394146503208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32346] ppid=32334 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/32337/task/32346/stat : 32346 (java) S 32334 32337 28803 0 -1 4202560 95 0 0 0 3 0 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394145450152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32347] ppid=32334 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/32337/task/32347/stat : 32347 (java) S 32334 32337 28803 0 -1 4202560 130 0 0 0 5 1 0 0 20 0 18 0 111950841 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394144397608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32348] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32348/stat : 32348 (java) S 32334 32337 28803 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 111950842 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394132200296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32349] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32349/stat : 32349 (java) S 32334 32337 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 111950842 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394131146616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32350] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32350/stat : 32350 (java) S 32334 32337 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 111950842 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394130093448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32351] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32351/stat : 32351 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111950844 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394129042192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32352] ppid=32334 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/32337/task/32352/stat : 32352 (java) S 32334 32337 28803 0 -1 4202560 1052 0 0 0 19 0 0 0 20 0 18 0 111950844 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394127989048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32353] ppid=32334 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/32337/task/32353/stat : 32353 (java) S 32334 32337 28803 0 -1 4202560 2413 0 0 0 25 0 0 0 20 0 18 0 111950844 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394126936504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32354] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32354/stat : 32354 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111950844 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394125883640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32355] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32355/stat : 32355 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111950844 9787879424 88342 33554432000 1073741824 1073778376 140735044972864 140394124831304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9558476
[startup+3.10076 s]
/proc/loadavg: 2.07 2.08 2.02 4/212 32355
/proc/meminfo: memFree=28505596/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9558476 CPUtime=4.29 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 8868 0 1 0 400 29 0 0 20 0 18 0 111950839 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2389619 170287 2263 9 0 2380296 0
[pid=32337/tid=32338] ppid=32334 vsize=9558476 CPUtime=2.82 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) S 32334 32337 28803 0 -1 4202560 2807 0 1 0 273 9 0 0 20 0 18 0 111950840 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394308258632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32340] ppid=32334 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/32337/task/32340/stat : 32340 (java) R 32334 32337 28803 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394297322584 140394310731507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32341] ppid=32334 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/32337/task/32341/stat : 32341 (java) R 32334 32337 28803 0 -1 4202560 184 0 0 0 15 4 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394296269744 140394312435887 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32342] ppid=32334 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/32337/task/32342/stat : 32342 (java) R 32334 32337 28803 0 -1 4202560 73 0 0 0 8 3 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394295216832 140394312435887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32343] ppid=32334 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/32337/task/32343/stat : 32343 (java) R 32334 32337 28803 0 -1 4202560 55 0 0 0 7 2 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394148608984 140394310731449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32344] ppid=32334 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/32337/task/32344/stat : 32344 (java) R 32334 32337 28803 0 -1 4202560 63 0 0 0 5 3 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394147555928 140394312017036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32345] ppid=32334 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/32337/task/32345/stat : 32345 (java) R 32334 32337 28803 0 -1 4202560 151 0 0 0 9 2 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394146503384 140394310731449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32346] ppid=32334 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/32337/task/32346/stat : 32346 (java) R 32334 32337 28803 0 -1 4202560 123 0 0 0 6 2 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394145450328 140394312435887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32347] ppid=32334 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/32337/task/32347/stat : 32347 (java) R 32334 32337 28803 0 -1 4202560 174 0 0 0 12 3 0 0 20 0 18 0 111950841 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394144397608 140394310731449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32348] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32348/stat : 32348 (java) S 32334 32337 28803 0 -1 4202560 478 0 0 0 0 0 0 0 20 0 18 0 111950842 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394132199176 262966129724 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32349] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32349/stat : 32349 (java) S 32334 32337 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 111950842 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394131146616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32350] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32350/stat : 32350 (java) S 32334 32337 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 111950842 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394130093448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32351] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32351/stat : 32351 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111950844 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394129042192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32352] ppid=32334 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/32337/task/32352/stat : 32352 (java) S 32334 32337 28803 0 -1 4202560 1052 0 0 0 19 0 0 0 20 0 18 0 111950844 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394127989048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32353] ppid=32334 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/32337/task/32353/stat : 32353 (java) S 32334 32337 28803 0 -1 4202560 2413 0 0 0 25 0 0 0 20 0 18 0 111950844 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394126936504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32354] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32354/stat : 32354 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111950844 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394125883640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32355] ppid=32334 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32355/stat : 32355 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111950844 9787879424 170287 33554432000 1073741824 1073778376 140735044972864 140394124831304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 9558476
[startup+6.30084 s]
/proc/loadavg: 2.22 2.11 2.03 6/213 32356
/proc/meminfo: memFree=26914208/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9625040 CPUtime=8.9 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 16257 0 1 0 823 67 0 0 20 0 19 0 111950839 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2406260 557216 2277 9 0 2396937 0
[pid=32337/tid=32338] ppid=32334 vsize=9625040 CPUtime=5.73 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 4299 0 1 0 544 29 0 0 20 0 19 0 111950840 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394308260104 140394176933492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32340] ppid=32334 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/32337/task/32340/stat : 32340 (java) S 32334 32337 28803 0 -1 4202560 372 0 0 0 23 5 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394297322408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32341] ppid=32334 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/32337/task/32341/stat : 32341 (java) S 32334 32337 28803 0 -1 4202560 464 0 0 0 29 7 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394296269864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32342] ppid=32334 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/32337/task/32342/stat : 32342 (java) S 32334 32337 28803 0 -1 4202560 418 0 0 0 17 5 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394295216808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32343] ppid=32334 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/32337/task/32343/stat : 32343 (java) S 32334 32337 28803 0 -1 4202560 363 0 0 0 16 3 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394148608808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32344] ppid=32334 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/32337/task/32344/stat : 32344 (java) S 32334 32337 28803 0 -1 4202560 121 0 0 0 13 4 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394147555752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32345] ppid=32334 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/32337/task/32345/stat : 32345 (java) S 32334 32337 28803 0 -1 4202560 196 0 0 0 20 4 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394146503208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32346] ppid=32334 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/32337/task/32346/stat : 32346 (java) S 32334 32337 28803 0 -1 4202560 203 0 0 0 15 4 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394145450152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32347] ppid=32334 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/32337/task/32347/stat : 32347 (java) S 32334 32337 28803 0 -1 4202560 267 0 0 0 25 6 0 0 20 0 19 0 111950841 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394144397608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32348] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32348/stat : 32348 (java) S 32334 32337 28803 0 -1 4202560 1265 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394132200296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32349] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32349/stat : 32349 (java) S 32334 32337 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394131146616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32350] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32350/stat : 32350 (java) S 32334 32337 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394130093448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32351] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32351/stat : 32351 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394129042192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32352] ppid=32334 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/32337/task/32352/stat : 32352 (java) S 32334 32337 28803 0 -1 4202560 3445 0 0 0 54 0 0 0 20 0 19 0 111950844 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394127989048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32353] ppid=32334 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/32337/task/32353/stat : 32353 (java) S 32334 32337 28803 0 -1 4202560 3585 0 0 0 51 0 0 0 20 0 19 0 111950844 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394126936504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32354] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32354/stat : 32354 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 557216 33554432000 1073741824 1073778376 140735044972864 140394125883640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32355] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=32337/tid=32349] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32349/stat : 32349 (java) S 32334 32337 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394131146616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32350] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32350/stat : 32350 (java) S 32334 32337 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394130093448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32351] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32351/stat : 32351 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394129042192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32352] ppid=32334 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/32337/task/32352/stat : 32352 (java) S 32334 32337 28803 0 -1 4202560 10276 0 0 0 97 3 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394127989048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32353] ppid=32334 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/32337/task/32353/stat : 32353 (java) S 32334 32337 28803 0 -1 4202560 3752 0 0 0 65 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394126936504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32354] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32354/stat : 32354 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394125883640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32355] ppid=32334 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/32337/task/32355/stat : 32355 (java) S 32334 32337 28803 0 -1 4202560 95 0 0 0 29 24 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394124831304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32356] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32356/stat : 32356 (java) S 32334 32337 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 111951383 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394123777576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.49
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/213 32422
/proc/meminfo: memFree=26756896/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9625040 CPUtime=1725.5 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 23480 0 1 0 172437 113 0 0 20 0 19 0 111950839 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2406260 572897 2285 9 0 2396937 0
[pid=32337/tid=32338] ppid=32334 vsize=9625040 CPUtime=1721.29 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 4309 0 1 0 172063 66 0 0 20 0 19 0 111950840 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394308251328 140394177067005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32340] ppid=32334 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/32337/task/32340/stat : 32340 (java) S 32334 32337 28803 0 -1 4202560 380 0 0 0 26 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394297322408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32341] ppid=32334 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/32337/task/32341/stat : 32341 (java) S 32334 32337 28803 0 -1 4202560 473 0 0 0 31 8 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394296269864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32342] ppid=32334 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32337/task/32342/stat : 32342 (java) S 32334 32337 28803 0 -1 4202560 426 0 0 0 20 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394295216808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32343] ppid=32334 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/32337/task/32343/stat : 32343 (java) S 32334 32337 28803 0 -1 4202560 377 0 0 0 18 4 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394148608808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32344] ppid=32334 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/32337/task/32344/stat : 32344 (java) S 32334 32337 28803 0 -1 4202560 138 0 0 0 15 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394147555752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32345] ppid=32334 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/32337/task/32345/stat : 32345 (java) S 32334 32337 28803 0 -1 4202560 214 0 0 0 22 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394146503208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32346] ppid=32334 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/32337/task/32346/stat : 32346 (java) S 32334 32337 28803 0 -1 4202560 232 0 0 0 17 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394145450152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32347] ppid=32334 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/32337/task/32347/stat : 32347 (java) S 32334 32337 28803 0 -1 4202560 278 0 0 0 27 6 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394144397608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32348] ppid=32334 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/32337/task/32348/stat : 32348 (java) S 32334 32337 28803 0 -1 4202560 1268 0 0 0 0 3 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394132200296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32349] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32349/stat : 32349 (java) S 32334 32337 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394131146616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32350] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32350/stat : 32350 (java) S 32334 32337 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394130093448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32351] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32351/stat : 32351 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394129042192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32352] ppid=32334 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/32337/task/32352/stat : 32352 (java) S 32334 32337 28803 0 -1 4202560 10276 0 0 0 97 3 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394127989048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32353] ppid=32334 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/32337/task/32353/stat : 32353 (java) S 32334 32337 28803 0 -1 4202560 3752 0 0 0 65 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394126936504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32354] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32354/stat : 32354 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394125883640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32355] ppid=32334 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/32337/task/32355/stat : 32355 (java) S 32334 32337 28803 0 -1 4202560 99 0 0 0 30 25 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394124831304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32356] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32356/stat : 32356 (java) S 32334 32337 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 111951383 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394123777576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.5
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/213 32423
/proc/meminfo: memFree=26756520/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9625040 CPUtime=1785.5 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 23484 0 1 0 178436 114 0 0 20 0 19 0 111950839 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2406260 572897 2285 9 0 2396937 0
[pid=32337/tid=32338] ppid=32334 vsize=9625040 CPUtime=1781.29 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 4309 0 1 0 178062 67 0 0 20 0 19 0 111950840 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394308251328 140394176991587 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32340] ppid=32334 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/32337/task/32340/stat : 32340 (java) S 32334 32337 28803 0 -1 4202560 380 0 0 0 26 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394297322408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32341] ppid=32334 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/32337/task/32341/stat : 32341 (java) S 32334 32337 28803 0 -1 4202560 473 0 0 0 31 8 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394296269864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32342] ppid=32334 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32337/task/32342/stat : 32342 (java) S 32334 32337 28803 0 -1 4202560 426 0 0 0 20 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394295216808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32343] ppid=32334 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/32337/task/32343/stat : 32343 (java) S 32334 32337 28803 0 -1 4202560 377 0 0 0 18 4 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394148608808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32344] ppid=32334 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/32337/task/32344/stat : 32344 (java) S 32334 32337 28803 0 -1 4202560 138 0 0 0 15 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394147555752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32345] ppid=32334 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/32337/task/32345/stat : 32345 (java) S 32334 32337 28803 0 -1 4202560 214 0 0 0 22 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394146503208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32346] ppid=32334 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/32337/task/32346/stat : 32346 (java) S 32334 32337 28803 0 -1 4202560 232 0 0 0 17 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394145450152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32347] ppid=32334 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/32337/task/32347/stat : 32347 (java) S 32334 32337 28803 0 -1 4202560 278 0 0 0 27 6 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394144397608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32348] ppid=32334 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/32337/task/32348/stat : 32348 (java) S 32334 32337 28803 0 -1 4202560 1268 0 0 0 0 3 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394132200296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32349] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32349/stat : 32349 (java) S 32334 32337 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394131146616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32350] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32350/stat : 32350 (java) S 32334 32337 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394130093448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32351] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32351/stat : 32351 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394129042192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32352] ppid=32334 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/32337/task/32352/stat : 32352 (java) S 32334 32337 28803 0 -1 4202560 10276 0 0 0 97 3 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394127989048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32353] ppid=32334 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/32337/task/32353/stat : 32353 (java) S 32334 32337 28803 0 -1 4202560 3752 0 0 0 65 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394126936504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32354] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32354/stat : 32354 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394125883640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32355] ppid=32334 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/32337/task/32355/stat : 32355 (java) S 32334 32337 28803 0 -1 4202560 103 0 0 0 31 28 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394124831304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32356] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32356/stat : 32356 (java) S 32334 32337 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 111951383 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394123777576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.09 2.11 2.09 3/213 32490
/proc/meminfo: memFree=26838080/32872528 swapFree=11320/319964
[pid=32337] ppid=32334 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/32337/stat : 32337 (java) S 32334 32337 28803 0 -1 4202496 23484 0 1 0 179886 115 0 0 20 0 19 0 111950839 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140735044964000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32337/statm: 2406260 572897 2285 9 0 2396937 0
[pid=32337/tid=32338] ppid=32334 vsize=9625040 CPUtime=1795.79 cores=0,2,4,6
/proc/32337/task/32338/stat : 32338 (java) R 32334 32337 28803 0 -1 4202560 4309 0 1 0 179512 67 0 0 20 0 19 0 111950840 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394308251328 140394176933532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32340] ppid=32334 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/32337/task/32340/stat : 32340 (java) S 32334 32337 28803 0 -1 4202560 380 0 0 0 26 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394297322408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32341] ppid=32334 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/32337/task/32341/stat : 32341 (java) S 32334 32337 28803 0 -1 4202560 473 0 0 0 31 8 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394296269864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32342] ppid=32334 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32337/task/32342/stat : 32342 (java) S 32334 32337 28803 0 -1 4202560 426 0 0 0 20 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394295216808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32343] ppid=32334 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/32337/task/32343/stat : 32343 (java) S 32334 32337 28803 0 -1 4202560 377 0 0 0 18 4 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394148608808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32344] ppid=32334 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/32337/task/32344/stat : 32344 (java) S 32334 32337 28803 0 -1 4202560 138 0 0 0 15 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394147555752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32345] ppid=32334 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/32337/task/32345/stat : 32345 (java) S 32334 32337 28803 0 -1 4202560 214 0 0 0 22 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394146503208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32346] ppid=32334 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/32337/task/32346/stat : 32346 (java) S 32334 32337 28803 0 -1 4202560 232 0 0 0 17 5 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394145450152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32347] ppid=32334 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/32337/task/32347/stat : 32347 (java) S 32334 32337 28803 0 -1 4202560 278 0 0 0 27 6 0 0 20 0 19 0 111950841 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394144397608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32348] ppid=32334 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/32337/task/32348/stat : 32348 (java) S 32334 32337 28803 0 -1 4202560 1268 0 0 0 0 3 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394132200296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32349] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32349/stat : 32349 (java) S 32334 32337 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394131146616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32350] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32350/stat : 32350 (java) S 32334 32337 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111950842 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394130093448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32351] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32351/stat : 32351 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394129042192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32352] ppid=32334 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/32337/task/32352/stat : 32352 (java) S 32334 32337 28803 0 -1 4202560 10276 0 0 0 97 3 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394127989048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32337/tid=32353] ppid=32334 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/32337/task/32353/stat : 32353 (java) S 32334 32337 28803 0 -1 4202560 3752 0 0 0 65 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394126936504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32337/tid=32354] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32354/stat : 32354 (java) S 32334 32337 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394125883640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32337/tid=32355] ppid=32334 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/32337/task/32355/stat : 32355 (java) S 32334 32337 28803 0 -1 4202560 103 0 0 0 32 28 0 0 20 0 19 0 111950844 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394124831304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32337/tid=32356] ppid=32334 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32337/task/32356/stat : 32356 (java) S 32334 32337 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 111951383 9856040960 572897 33554432000 1073741824 1073778376 140735044972864 140394123777576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32337 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.83
CPU time (s): 1800.55
CPU user time (s): 1798.97
CPU system time (s): 1.58276
CPU usage (%): 100.207
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.58276
maximum resident set size= 2291724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23525
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38396
involuntary context switches= 30514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0843 second user time and 13.5519 second system time
The end