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-4084539-1465272791/watcher-4084539-1465272791 -o /tmp/evaluation-result-4084539-1465272791/solver-4084539-1465272791 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28820 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084539-1465272791.opb
pid=29059
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.06 1.97 3/188 29062
/proc/meminfo: memFree=31464004/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 109212436 98570240 978 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 24065 978 744 9 0 16771 0
[pid=29062/tid=29068] ppid=29059 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 109212436 98570240 978 33554432000 1073741824 1073778376 140736031334416 140025136049704 262962759040 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 2.15 2.06 1.97 3/188 29062
/proc/meminfo: memFree=31464004/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 4509 0 1 0 10 1 0 0 20 0 18 0 109212436 9787879424 6148 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2389619 6148 2157 9 0 2380296 0
[pid=29062/tid=29068] ppid=29059 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2393 0 1 0 7 0 0 0 20 0 18 0 109212436 9787879424 6148 33554432000 1073741824 1073778376 140736031334416 140025136054392 262966142221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200335 s]
/proc/loadavg: 2.15 2.06 1.97 3/188 29062
/proc/meminfo: memFree=31464004/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 5004 0 1 0 26 1 0 0 20 0 18 0 109212436 9787879424 7069 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2389619 7069 2215 9 0 2380296 0
[pid=29062/tid=29068] ppid=29059 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2410 0 1 0 16 1 0 0 20 0 18 0 109212436 9787879424 7069 33554432000 1073741824 1073778376 140736031334416 140025136054392 140025008294500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300331 s]
/proc/loadavg: 2.15 2.06 1.97 3/188 29062
/proc/meminfo: memFree=31464004/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 6399 0 1 0 48 2 0 0 20 0 18 0 109212436 9787879424 9368 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2389619 9368 2233 9 0 2380296 0
[pid=29062/tid=29068] ppid=29059 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2413 0 1 0 26 1 0 0 20 0 18 0 109212436 9787879424 9368 33554432000 1073741824 1073778376 140736031334416 140025136054392 140025143118497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700283 s]
/proc/loadavg: 2.15 2.06 1.97 3/188 29062
/proc/meminfo: memFree=31464004/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9558476 CPUtime=1.13 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 7548 0 1 0 108 5 0 0 20 0 18 0 109212436 9787879424 40736 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2389619 40736 2267 9 0 2380296 0
[pid=29062/tid=29068] ppid=29059 vsize=9558476 CPUtime=0.66 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2484 0 1 0 63 3 0 0 20 0 18 0 109212436 9787879424 40736 33554432000 1073741824 1073778376 140736031334416 140025136053784 262966142221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9558476
[startup+1.5008 s]
/proc/loadavg: 2.15 2.06 1.97 3/212 29086
/proc/meminfo: memFree=31122668/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 11764 0 1 0 242 6 0 0 20 0 19 0 109212436 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2406260 43519 2277 9 0 2396937 0
[pid=29062/tid=29068] ppid=29059 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2490 0 1 0 143 3 0 0 20 0 19 0 109212436 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140025136054376 140025008598507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29070] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29070/stat : 29070 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024979818792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29071] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29071/stat : 29071 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024978765992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29072] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29072/stat : 29072 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024977713704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29073] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29073/stat : 29073 (java) S 29059 29062 28803 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024976660904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29074] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29074/stat : 29074 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024975608616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29075] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29075/stat : 29075 (java) S 29059 29062 28803 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024974555816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29076] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29076/stat : 29076 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024973503528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29077] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29077/stat : 29077 (java) S 29059 29062 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024972450728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29078] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29078/stat : 29078 (java) S 29059 29062 28803 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 109212438 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024960252136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29079] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29079/stat : 29079 (java) S 29059 29062 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024959198200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29080] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29080/stat : 29080 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024958145800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29081] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29081/stat : 29081 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024957094288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29082] ppid=29059 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/29062/task/29082/stat : 29082 (java) S 29059 29062 28803 0 -1 4202560 3364 0 0 0 47 0 0 0 20 0 19 0 109212441 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024956041912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29083] ppid=29059 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/29062/task/29083/stat : 29083 (java) S 29059 29062 28803 0 -1 4202560 4537 0 0 0 46 1 0 0 20 0 19 0 109212441 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024954989112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29084] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29084/stat : 29084 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024953937016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29085] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29085/stat : 29085 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024952884424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29086] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29086/stat : 29086 (java) S 29059 29062 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109212526 9856040960 43519 33554432000 1073741824 1073778376 140736031334416 140024951829416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040
[startup+3.10073 s]
/proc/loadavg: 2.15 2.06 1.97 3/213 29087
/proc/meminfo: memFree=31119612/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9625040 CPUtime=4.33 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 14067 0 1 0 426 7 0 0 20 0 19 0 109212436 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2406260 43528 2284 9 0 2396937 0
[pid=29062/tid=29068] ppid=29059 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2491 0 1 0 303 3 0 0 20 0 19 0 109212436 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140025136054264 140025008900529 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29070] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29070/stat : 29070 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024979818792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29071] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29071/stat : 29071 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024978765992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29072] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29072/stat : 29072 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024977713704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29073] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29073/stat : 29073 (java) S 29059 29062 28803 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024976660904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29074] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29074/stat : 29074 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024975608616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29075] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29075/stat : 29075 (java) S 29059 29062 28803 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024974555816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29076] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29076/stat : 29076 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024973503528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29077] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29077/stat : 29077 (java) S 29059 29062 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024972450728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29078] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29078/stat : 29078 (java) S 29059 29062 28803 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 109212438 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024960252136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29079] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29079/stat : 29079 (java) S 29059 29062 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024959198200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29080] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29080/stat : 29080 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024958145800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29081] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29081/stat : 29081 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024957094288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29082] ppid=29059 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/29062/task/29082/stat : 29082 (java) S 29059 29062 28803 0 -1 4202560 5661 0 0 0 64 2 0 0 20 0 19 0 109212441 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024956041912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29083] ppid=29059 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/29062/task/29083/stat : 29083 (java) S 29059 29062 28803 0 -1 4202560 4542 0 0 0 53 2 0 0 20 0 19 0 109212441 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024954989112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29084] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29084/stat : 29084 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024953937016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29085] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29085/stat : 29085 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024952884424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29086] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29086/stat : 29086 (java) S 29059 29062 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109212526 9856040960 43528 33554432000 1073741824 1073778376 140736031334416 140024951829416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 2.13 2.06 1.97 3/213 29087
/proc/meminfo: memFree=31119272/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9625040 CPUtime=7.62 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 14070 0 1 0 754 8 0 0 20 0 19 0 109212436 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2406260 43298 2284 9 0 2396937 0
[pid=29062/tid=29068] ppid=29059 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2494 0 1 0 621 3 0 0 20 0 19 0 109212436 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140025136045776 140025008959223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29070] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29070/stat : 29070 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024979818792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29071] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29071/stat : 29071 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024978765992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29072] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29072/stat : 29072 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024977713704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29073] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29073/stat : 29073 (java) S 29059 29062 28803 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024976660904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29074] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29074/stat : 29074 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024975608616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29075] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29075/stat : 29075 (java) S 29059 29062 28803 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024974555816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29076] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29076/stat : 29076 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024973503528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29077] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29077/stat : 29077 (java) S 29059 29062 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109212437 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024972450728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29078] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29078/stat : 29078 (java) S 29059 29062 28803 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 109212438 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024960252136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29079] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29079/stat : 29079 (java) S 29059 29062 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024959198200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29080] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29080/stat : 29080 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024958145800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29081] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29081/stat : 29081 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024957094288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29082] ppid=29059 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/29062/task/29082/stat : 29082 (java) S 29059 29062 28803 0 -1 4202560 5661 0 0 0 69 2 0 0 20 0 19 0 109212441 9856040960 43298 33554432000 1073741824 1073778376 140736031334416 140024956041912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29083] ppid=29059 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
################
# More data... #
################
[pid=29062/tid=29079] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29079/stat : 29079 (java) S 29059 29062 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024959198200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29080] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29080/stat : 29080 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024958145800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29081] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29081/stat : 29081 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024957094288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29082] ppid=29059 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/29062/task/29082/stat : 29082 (java) S 29059 29062 28803 0 -1 4202560 5668 0 0 0 74 2 0 0 20 0 19 0 109212441 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024956041912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29083] ppid=29059 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/29062/task/29083/stat : 29083 (java) S 29059 29062 28803 0 -1 4202560 4542 0 0 0 59 2 0 0 20 0 19 0 109212441 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024954989112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29084] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29084/stat : 29084 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024953937016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29085] ppid=29059 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/29062/task/29085/stat : 29085 (java) S 29059 29062 28803 0 -1 4202560 95 0 0 0 26 39 0 0 20 0 19 0 109212441 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024952884424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29086] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29086/stat : 29086 (java) S 29059 29062 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109212526 9856040960 136376 33554432000 1073741824 1073778376 140736031334416 140024951829416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.55
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/213 29130
/proc/meminfo: memFree=29495684/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9625040 CPUtime=1725.62 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 15936 0 1 0 172464 98 0 0 20 0 19 0 109212436 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2406260 134038 2293 9 0 2396937 0
[pid=29062/tid=29068] ppid=29059 vsize=9625040 CPUtime=1721.34 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2515 0 1 0 172103 31 0 0 20 0 19 0 109212436 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140025136053536 140025008959896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29070] ppid=29059 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29062/task/29070/stat : 29070 (java) S 29059 29062 28803 0 -1 4202560 189 0 0 0 19 7 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024979818792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29071] ppid=29059 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/29062/task/29071/stat : 29071 (java) S 29059 29062 28803 0 -1 4202560 115 0 0 0 18 4 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024978765992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29072] ppid=29059 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29062/task/29072/stat : 29072 (java) S 29059 29062 28803 0 -1 4202560 225 0 0 0 26 9 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024977713704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29073] ppid=29059 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/29062/task/29073/stat : 29073 (java) S 29059 29062 28803 0 -1 4202560 138 0 0 0 19 6 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024976660904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29074] ppid=29059 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/29062/task/29074/stat : 29074 (java) S 29059 29062 28803 0 -1 4202560 270 0 0 0 27 9 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024975608616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29075] ppid=29059 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/29062/task/29075/stat : 29075 (java) S 29059 29062 28803 0 -1 4202560 361 0 0 0 16 6 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024974555816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29076] ppid=29059 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/29062/task/29076/stat : 29076 (java) S 29059 29062 28803 0 -1 4202560 153 0 0 0 25 5 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024973503528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29077] ppid=29059 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29062/task/29077/stat : 29077 (java) S 29059 29062 28803 0 -1 4202560 246 0 0 0 19 7 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024972450728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29078] ppid=29059 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/29062/task/29078/stat : 29078 (java) S 29059 29062 28803 0 -1 4202560 155 0 0 0 14 4 0 0 20 0 19 0 109212438 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024960252136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29079] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29079/stat : 29079 (java) S 29059 29062 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024959198200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29080] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29080/stat : 29080 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024958145800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29081] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29081/stat : 29081 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024957094288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29082] ppid=29059 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/29062/task/29082/stat : 29082 (java) S 29059 29062 28803 0 -1 4202560 5668 0 0 0 74 2 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024956041912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29083] ppid=29059 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/29062/task/29083/stat : 29083 (java) S 29059 29062 28803 0 -1 4202560 4542 0 0 0 59 2 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024954989112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29084] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29084/stat : 29084 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024953937016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29085] ppid=29059 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/29062/task/29085/stat : 29085 (java) S 29059 29062 28803 0 -1 4202560 99 0 0 0 27 40 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024952884424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29086] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29086/stat : 29086 (java) S 29059 29062 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109212526 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024951829416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.62
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/213 29131
/proc/meminfo: memFree=29490012/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9625040 CPUtime=1785.65 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 15942 0 1 0 178465 100 0 0 20 0 19 0 109212436 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2406260 134038 2293 9 0 2396937 0
[pid=29062/tid=29068] ppid=29059 vsize=9625040 CPUtime=1781.34 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2516 0 1 0 178102 32 0 0 20 0 19 0 109212436 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140025136054672 140025008900489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29070] ppid=29059 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29062/task/29070/stat : 29070 (java) S 29059 29062 28803 0 -1 4202560 189 0 0 0 19 7 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024979818792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29071] ppid=29059 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/29062/task/29071/stat : 29071 (java) S 29059 29062 28803 0 -1 4202560 115 0 0 0 18 4 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024978765992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29072] ppid=29059 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29062/task/29072/stat : 29072 (java) S 29059 29062 28803 0 -1 4202560 225 0 0 0 26 9 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024977713704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29073] ppid=29059 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/29062/task/29073/stat : 29073 (java) S 29059 29062 28803 0 -1 4202560 138 0 0 0 19 6 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024976660904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29074] ppid=29059 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/29062/task/29074/stat : 29074 (java) S 29059 29062 28803 0 -1 4202560 270 0 0 0 27 9 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024975608616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29075] ppid=29059 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/29062/task/29075/stat : 29075 (java) S 29059 29062 28803 0 -1 4202560 361 0 0 0 16 6 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024974555816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29076] ppid=29059 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/29062/task/29076/stat : 29076 (java) S 29059 29062 28803 0 -1 4202560 153 0 0 0 25 5 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024973503528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29077] ppid=29059 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29062/task/29077/stat : 29077 (java) S 29059 29062 28803 0 -1 4202560 246 0 0 0 19 7 0 0 20 0 19 0 109212437 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024972450728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29078] ppid=29059 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/29062/task/29078/stat : 29078 (java) S 29059 29062 28803 0 -1 4202560 156 0 0 0 14 4 0 0 20 0 19 0 109212438 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024960252136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29079] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29079/stat : 29079 (java) S 29059 29062 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024959198200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29080] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29080/stat : 29080 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024958145800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29081] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29081/stat : 29081 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024957094288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29082] ppid=29059 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/29062/task/29082/stat : 29082 (java) S 29059 29062 28803 0 -1 4202560 5668 0 0 0 74 2 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024956041912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29083] ppid=29059 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/29062/task/29083/stat : 29083 (java) S 29059 29062 28803 0 -1 4202560 4542 0 0 0 59 2 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024954989112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29084] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29084/stat : 29084 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024953937016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29085] ppid=29059 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/29062/task/29085/stat : 29085 (java) S 29059 29062 28803 0 -1 4202560 103 0 0 0 28 42 0 0 20 0 19 0 109212441 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024952884424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29086] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29086/stat : 29086 (java) S 29059 29062 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109212526 9856040960 134038 33554432000 1073741824 1073778376 140736031334416 140024951829416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.01 2.04 2.00 3/212 29196
/proc/meminfo: memFree=30776524/32872528 swapFree=11320/319964
[pid=29062] ppid=29059 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/29062/stat : 29062 (java) S 29059 29062 28803 0 -1 4202496 15953 0 1 0 179903 100 0 0 20 0 19 0 109212436 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140736031325552 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 2406260 133934 2293 9 0 2396937 0
[pid=29062/tid=29068] ppid=29059 vsize=9625040 CPUtime=1795.61 cores=1,3,5,7
/proc/29062/task/29068/stat : 29068 (java) R 29059 29062 28803 0 -1 4202560 2517 0 1 0 179529 32 0 0 20 0 19 0 109212436 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140025136053536 140025008868223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29070] ppid=29059 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/29062/task/29070/stat : 29070 (java) S 29059 29062 28803 0 -1 4202560 189 0 0 0 20 7 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024979818792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29071] ppid=29059 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/29062/task/29071/stat : 29071 (java) S 29059 29062 28803 0 -1 4202560 115 0 0 0 20 4 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024978765992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29072] ppid=29059 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/29062/task/29072/stat : 29072 (java) S 29059 29062 28803 0 -1 4202560 225 0 0 0 28 9 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024977713704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29073] ppid=29059 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29062/task/29073/stat : 29073 (java) S 29059 29062 28803 0 -1 4202560 138 0 0 0 20 6 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024976660904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29074] ppid=29059 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/29062/task/29074/stat : 29074 (java) S 29059 29062 28803 0 -1 4202560 270 0 0 0 28 9 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024975608616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29075] ppid=29059 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/29062/task/29075/stat : 29075 (java) S 29059 29062 28803 0 -1 4202560 364 0 0 0 17 6 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024974555816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29076] ppid=29059 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/29062/task/29076/stat : 29076 (java) S 29059 29062 28803 0 -1 4202560 158 0 0 0 26 5 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024973503528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29077] ppid=29059 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/29062/task/29077/stat : 29077 (java) S 29059 29062 28803 0 -1 4202560 246 0 0 0 20 7 0 0 20 0 19 0 109212437 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024972450728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29078] ppid=29059 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/29062/task/29078/stat : 29078 (java) S 29059 29062 28803 0 -1 4202560 158 0 0 0 14 4 0 0 20 0 19 0 109212438 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024960252136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29079] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29079/stat : 29079 (java) S 29059 29062 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024959198200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29080] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29080/stat : 29080 (java) S 29059 29062 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109212439 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024958145800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29081] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29081/stat : 29081 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024957094288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29062/tid=29082] ppid=29059 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/29062/task/29082/stat : 29082 (java) S 29059 29062 28803 0 -1 4202560 5668 0 0 0 74 2 0 0 20 0 19 0 109212441 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024956041912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29062/tid=29083] ppid=29059 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/29062/task/29083/stat : 29083 (java) S 29059 29062 28803 0 -1 4202560 4542 0 0 0 59 2 0 0 20 0 19 0 109212441 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024954989112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29084] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29084/stat : 29084 (java) S 29059 29062 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109212441 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024953937016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29062/tid=29085] ppid=29059 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/29062/task/29085/stat : 29085 (java) S 29059 29062 28803 0 -1 4202560 103 0 0 0 29 42 0 0 20 0 19 0 109212441 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024952884424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29062/tid=29086] ppid=29059 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29062/task/29086/stat : 29086 (java) S 29059 29062 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109212526 9856040960 133934 33554432000 1073741824 1073778376 140736031334416 140024951829416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 29062 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.64
CPU time (s): 1800.51
CPU user time (s): 1799.02
CPU system time (s): 1.49177
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.49177
maximum resident set size= 609788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15985
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38543
involuntary context switches= 10910
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0115 second user time and 14.1249 second system time
The end