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-4092261-1466084185/watcher-4092261-1466084185 -o /tmp/evaluation-result-4092261-1466084185/solver-4092261-1466084185 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13483 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092261-1466084185.wbo
pid=20040
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.05 3/196 20043
/proc/meminfo: memFree=31202556/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (java) R 20040 20043 11533 0 -1 4202496 590 0 0 0 0 0 0 0 20 0 1 0 10468390 23793664 239 33554432000 1073741824 1073778376 140737260874048 140737260863112 224913308211 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 5809 252 197 9 0 128 0
[startup+0.100158 s]
/proc/loadavg: 2.03 2.03 2.05 3/196 20043
/proc/meminfo: memFree=31202556/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 10468390 9787879424 6040 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2389619 6040 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200323 s]
/proc/loadavg: 2.03 2.03 2.05 3/196 20043
/proc/meminfo: memFree=31202556/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 4743 0 1 0 22 1 0 0 20 0 18 0 10468390 9787879424 6827 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2389619 6827 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300345 s]
/proc/loadavg: 2.03 2.03 2.05 3/196 20043
/proc/meminfo: memFree=31202556/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 5608 0 1 0 45 2 0 0 20 0 18 0 10468390 9787879424 8430 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2389619 8430 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700238 s]
/proc/loadavg: 2.03 2.03 2.05 3/196 20043
/proc/meminfo: memFree=31202556/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 12428 0 1 0 140 5 0 0 20 0 19 0 10468390 10060525568 14856 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2456183 14856 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9824732
[startup+1.50083 s]
/proc/loadavg: 2.03 2.03 2.05 3/215 20068
/proc/meminfo: memFree=31149580/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 12503 0 1 0 178 9 0 0 20 0 19 0 10468390 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2456183 17471 2273 9 0 2446860 0
[pid=20043/tid=20045] ppid=20040 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/20043/task/20045/stat : 20045 (java) S 20040 20043 11533 0 -1 4202560 2448 0 1 0 34 1 0 0 20 0 19 0 10468391 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581889684344 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20046] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20046/stat : 20046 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581867784872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20047] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20047/stat : 20047 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581866732328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20048] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20048/stat : 20048 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581865679784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20049] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20049/stat : 20049 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581864627240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20050] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20050/stat : 20050 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581527349416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20051] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20051/stat : 20051 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581526296872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20052] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20052/stat : 20052 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581525244328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20053] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20053/stat : 20053 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581524191784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20054] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20054/stat : 20054 (java) S 20040 20043 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10468393 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581511993960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20055] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20055/stat : 20055 (java) S 20040 20043 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10468394 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581510940280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20056] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20056/stat : 20056 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10468394 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581509887624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20057] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20057/stat : 20057 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581508836368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20058] ppid=20040 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/20043/task/20058/stat : 20058 (java) S 20040 20043 11533 0 -1 4202560 4695 0 0 0 52 0 0 0 20 0 19 0 10468396 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581507782712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20059] ppid=20040 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/20043/task/20059/stat : 20059 (java) S 20040 20043 11533 0 -1 4202560 4013 0 0 0 51 0 0 0 20 0 19 0 10468396 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581506730168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20060] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20060/stat : 20060 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581505677816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20061] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20061/stat : 20061 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581504625480 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20064] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20064/stat : 20064 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10468427 10060525568 17471 33554432000 1073741824 1073778376 140737260874048 140581501466152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9824732
[startup+3.10083 s]
/proc/loadavg: 1.95 2.01 2.05 2/215 20074
/proc/meminfo: memFree=31134624/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 12784 0 1 0 196 10 0 0 20 0 19 0 10468390 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2456183 22594 2275 9 0 2446860 0
[pid=20043/tid=20045] ppid=20040 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/20043/task/20045/stat : 20045 (java) S 20040 20043 11533 0 -1 4202560 2451 0 1 0 36 2 0 0 20 0 19 0 10468391 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581889684344 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20046] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20046/stat : 20046 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581867784872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20047] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20047/stat : 20047 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581866732328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20048] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20048/stat : 20048 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581865679784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20049] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20049/stat : 20049 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581864627240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20050] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20050/stat : 20050 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581527349416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20051] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20051/stat : 20051 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581526296872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20052] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20052/stat : 20052 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581525244328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20053] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20053/stat : 20053 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581524191784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20054] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20054/stat : 20054 (java) S 20040 20043 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10468393 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581511993960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20055] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20055/stat : 20055 (java) S 20040 20043 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10468394 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581510940280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20056] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20056/stat : 20056 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10468394 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581509887624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20057] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20057/stat : 20057 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581508836368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20058] ppid=20040 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/20043/task/20058/stat : 20058 (java) S 20040 20043 11533 0 -1 4202560 4941 0 0 0 63 0 0 0 20 0 19 0 10468396 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581507782712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20059] ppid=20040 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/20043/task/20059/stat : 20059 (java) S 20040 20043 11533 0 -1 4202560 4015 0 0 0 56 0 0 0 20 0 19 0 10468396 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581506730168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20060] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20060/stat : 20060 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581505677816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20061] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20061/stat : 20061 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581504625480 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20064] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20064/stat : 20064 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10468427 10060525568 22594 33554432000 1073741824 1073778376 140737260874048 140581501466152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30083 s]
/proc/loadavg: 1.95 2.01 2.05 2/215 20095
/proc/meminfo: memFree=31082388/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 14103 0 1 0 250 21 0 0 20 0 19 0 10468390 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2456183 35402 2278 9 0 2446860 0
[pid=20043/tid=20045] ppid=20040 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/20043/task/20045/stat : 20045 (java) S 20040 20043 11533 0 -1 4202560 2456 0 1 0 38 2 0 0 20 0 19 0 10468391 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581889684344 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20046] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20046/stat : 20046 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581867784872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20047] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20047/stat : 20047 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581866732328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20048] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20048/stat : 20048 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581865679784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20049] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20049/stat : 20049 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581864627240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20050] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20050/stat : 20050 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581527349416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20051] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20051/stat : 20051 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581526296872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20052] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20052/stat : 20052 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581525244328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20053] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20053/stat : 20053 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10468392 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581524191784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20054] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20054/stat : 20054 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10468393 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581511993960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20055] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20055/stat : 20055 (java) S 20040 20043 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10468394 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581510940280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20056] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20056/stat : 20056 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10468394 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581509887624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20057] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20057/stat : 20057 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581508836368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20058] ppid=20040 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/20043/task/20058/stat : 20058 (java) S 20040 20043 11533 0 -1 4202560 5080 0 0 0 73 0 0 0 20 0 19 0 10468396 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581507782712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20059] ppid=20040 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/20043/task/20059/stat : 20059 (java) S 20040 20043 11533 0 -1 4202560 5102 0 0 0 72 2 0 0 20 0 19 0 10468396 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581506730168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20060] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20060/stat : 20060 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581505677816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20061] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20061/stat : 20061 (java) S 20040 20043 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10468396 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581504625480 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20064] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20064/stat : 20064 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10468427 10060525568 35402 33554432000 1073741824 1073778376 140737260874048 140581501466152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9824732
################
# More data... #
################
[pid=20043/tid=20163] ppid=20040 vsize=9824732 CPUtime=1563.52 cores=1,3,5,7
/proc/20043/task/20163/stat : 20163 (java) R 20040 20043 11533 0 -1 4202560 3089 0 0 0 156302 50 0 0 20 0 21 0 10470106 10060525568 1095237 33554432000 1073741824 1073778376 140737260874048 140581500411104 140581746201606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20164] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20164/stat : 20164 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10470108 10060525568 1095237 33554432000 1073741824 1073778376 140737260874048 140581502518312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1623.56
Current children cumulated vsize (KiB) 9824732
[startup+1662.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/217 20416
/proc/meminfo: memFree=25846656/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9824732 CPUtime=1684.79 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 38839 0 1 0 168086 393 0 0 20 0 21 0 10468390 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2456183 1119203 2302 9 0 2446860 0
[pid=20043/tid=20045] ppid=20040 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/20043/task/20045/stat : 20045 (java) S 20040 20043 11533 0 -1 4202560 2513 0 1 0 92 24 0 0 20 0 21 0 10468391 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581889684456 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20046] ppid=20040 vsize=9824732 CPUtime=5.19 cores=1,3,5,7
/proc/20043/task/20046/stat : 20046 (java) S 20040 20043 11533 0 -1 4202560 982 0 0 0 489 30 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581867784872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20047] ppid=20040 vsize=9824732 CPUtime=5.11 cores=1,3,5,7
/proc/20043/task/20047/stat : 20047 (java) S 20040 20043 11533 0 -1 4202560 1356 0 0 0 481 30 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581866732328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20048] ppid=20040 vsize=9824732 CPUtime=5.23 cores=1,3,5,7
/proc/20043/task/20048/stat : 20048 (java) S 20040 20043 11533 0 -1 4202560 917 0 0 0 494 29 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581865679784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20049] ppid=20040 vsize=9824732 CPUtime=5.53 cores=1,3,5,7
/proc/20043/task/20049/stat : 20049 (java) S 20040 20043 11533 0 -1 4202560 1290 0 0 0 521 32 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581864627240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20050] ppid=20040 vsize=9824732 CPUtime=5.48 cores=1,3,5,7
/proc/20043/task/20050/stat : 20050 (java) S 20040 20043 11533 0 -1 4202560 886 0 0 0 514 34 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581527349416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20051] ppid=20040 vsize=9824732 CPUtime=5.25 cores=1,3,5,7
/proc/20043/task/20051/stat : 20051 (java) S 20040 20043 11533 0 -1 4202560 804 0 0 0 496 29 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581526296872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20052] ppid=20040 vsize=9824732 CPUtime=5.59 cores=1,3,5,7
/proc/20043/task/20052/stat : 20052 (java) S 20040 20043 11533 0 -1 4202560 1155 0 0 0 521 38 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581525244328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20053] ppid=20040 vsize=9824732 CPUtime=5.28 cores=1,3,5,7
/proc/20043/task/20053/stat : 20053 (java) S 20040 20043 11533 0 -1 4202560 872 0 0 0 497 31 0 0 20 0 21 0 10468392 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581524191784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20054] ppid=20040 vsize=9824732 CPUtime=10.8 cores=1,3,5,7
/proc/20043/task/20054/stat : 20054 (java) S 20040 20043 11533 0 -1 4202560 4171 0 0 0 1071 9 0 0 20 0 21 0 10468393 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581511993960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20055] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20055/stat : 20055 (java) S 20040 20043 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10468394 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581510940280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20056] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20056/stat : 20056 (java) S 20040 20043 11533 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 21 0 10468394 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581509887624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20057] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20057/stat : 20057 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10468396 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581508836368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20058] ppid=20040 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/20043/task/20058/stat : 20058 (java) S 20040 20043 11533 0 -1 4202560 13896 0 0 0 142 2 0 0 20 0 21 0 10468396 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581507782712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20059] ppid=20040 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/20043/task/20059/stat : 20059 (java) S 20040 20043 11533 0 -1 4202560 5108 0 0 0 104 2 0 0 20 0 21 0 10468396 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581506730168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20060] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20060/stat : 20060 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10468396 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581505677816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20061] ppid=20040 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/20043/task/20061/stat : 20061 (java) S 20040 20043 11533 0 -1 4202560 98 0 0 0 21 29 0 0 20 0 21 0 10468396 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581504625480 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20064] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20064/stat : 20064 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10468427 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581501466152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20163] ppid=20040 vsize=9824732 CPUtime=1623.11 cores=1,3,5,7
/proc/20043/task/20163/stat : 20163 (java) R 20040 20043 11533 0 -1 4202560 3089 0 0 0 162260 51 0 0 20 0 21 0 10470106 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581500411120 140581746151782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20164] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20164/stat : 20164 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10470108 10060525568 1119203 33554432000 1073741824 1073778376 140737260874048 140581502518312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1684.79
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 1.99 2.04 2.01 3/217 20417
/proc/meminfo: memFree=25899272/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9824732 CPUtime=1745.38 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 38909 0 1 0 174143 395 0 0 20 0 21 0 10468390 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2456183 1127421 2302 9 0 2446860 0
[pid=20043/tid=20045] ppid=20040 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/20043/task/20045/stat : 20045 (java) S 20040 20043 11533 0 -1 4202560 2516 0 1 0 93 25 0 0 20 0 21 0 10468391 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581889684456 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20046] ppid=20040 vsize=9824732 CPUtime=5.26 cores=1,3,5,7
/proc/20043/task/20046/stat : 20046 (java) S 20040 20043 11533 0 -1 4202560 990 0 0 0 496 30 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581867784872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20047] ppid=20040 vsize=9824732 CPUtime=5.19 cores=1,3,5,7
/proc/20043/task/20047/stat : 20047 (java) S 20040 20043 11533 0 -1 4202560 1361 0 0 0 489 30 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581866732328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20048] ppid=20040 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/20043/task/20048/stat : 20048 (java) S 20040 20043 11533 0 -1 4202560 926 0 0 0 503 30 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581865679784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20049] ppid=20040 vsize=9824732 CPUtime=5.69 cores=1,3,5,7
/proc/20043/task/20049/stat : 20049 (java) S 20040 20043 11533 0 -1 4202560 1298 0 0 0 537 32 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581864627240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20050] ppid=20040 vsize=9824732 CPUtime=5.6 cores=1,3,5,7
/proc/20043/task/20050/stat : 20050 (java) S 20040 20043 11533 0 -1 4202560 895 0 0 0 526 34 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581527349416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20051] ppid=20040 vsize=9824732 CPUtime=5.35 cores=1,3,5,7
/proc/20043/task/20051/stat : 20051 (java) S 20040 20043 11533 0 -1 4202560 814 0 0 0 506 29 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581526296872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20052] ppid=20040 vsize=9824732 CPUtime=5.69 cores=1,3,5,7
/proc/20043/task/20052/stat : 20052 (java) S 20040 20043 11533 0 -1 4202560 1164 0 0 0 531 38 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581525244328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20053] ppid=20040 vsize=9824732 CPUtime=5.36 cores=1,3,5,7
/proc/20043/task/20053/stat : 20053 (java) S 20040 20043 11533 0 -1 4202560 877 0 0 0 505 31 0 0 20 0 21 0 10468392 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581524191784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20054] ppid=20040 vsize=9824732 CPUtime=10.8 cores=1,3,5,7
/proc/20043/task/20054/stat : 20054 (java) S 20040 20043 11533 0 -1 4202560 4173 0 0 0 1071 9 0 0 20 0 21 0 10468393 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581511993960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20055] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20055/stat : 20055 (java) S 20040 20043 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10468394 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581510940280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20056] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20056/stat : 20056 (java) S 20040 20043 11533 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 21 0 10468394 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581509887624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20057] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20057/stat : 20057 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10468396 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581508836368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20058] ppid=20040 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/20043/task/20058/stat : 20058 (java) S 20040 20043 11533 0 -1 4202560 13896 0 0 0 142 2 0 0 20 0 21 0 10468396 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581507782712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20059] ppid=20040 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/20043/task/20059/stat : 20059 (java) S 20040 20043 11533 0 -1 4202560 5108 0 0 0 104 2 0 0 20 0 21 0 10468396 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581506730168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20060] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20060/stat : 20060 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10468396 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581505677816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20061] ppid=20040 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/20043/task/20061/stat : 20061 (java) S 20040 20043 11533 0 -1 4202560 100 0 0 0 21 31 0 0 20 0 21 0 10468396 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581504625480 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20064] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20064/stat : 20064 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10468427 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581501466152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20163] ppid=20040 vsize=9824732 CPUtime=1682.9 cores=1,3,5,7
/proc/20043/task/20163/stat : 20163 (java) R 20040 20043 11533 0 -1 4202560 3089 0 0 0 168238 52 0 0 20 0 21 0 10470106 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581500411104 140581746114320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20164] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20164/stat : 20164 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10470108 10060525568 1127421 33554432000 1073741824 1073778376 140737260874048 140581502518312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1745.38
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776.2 s]
/proc/loadavg: 2.36 2.14 2.05 3/217 20417
/proc/meminfo: memFree=25879968/32872528 swapFree=162364/176672
[pid=20043] ppid=20040 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/20043/stat : 20043 (java) S 20040 20043 11533 0 -1 4202496 38965 0 1 0 179604 398 0 0 20 0 21 0 10468390 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140737260865184 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20043/statm: 2456183 1124145 2302 9 0 2446860 0
[pid=20043/tid=20045] ppid=20040 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/20043/task/20045/stat : 20045 (java) S 20040 20043 11533 0 -1 4202560 2518 0 1 0 94 26 0 0 20 0 21 0 10468391 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581889684456 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20046] ppid=20040 vsize=9824732 CPUtime=5.52 cores=1,3,5,7
/proc/20043/task/20046/stat : 20046 (java) S 20040 20043 11533 0 -1 4202560 991 0 0 0 522 30 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581867784872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20047] ppid=20040 vsize=9824732 CPUtime=5.28 cores=1,3,5,7
/proc/20043/task/20047/stat : 20047 (java) S 20040 20043 11533 0 -1 4202560 1365 0 0 0 498 30 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581866732328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20048] ppid=20040 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/20043/task/20048/stat : 20048 (java) S 20040 20043 11533 0 -1 4202560 933 0 0 0 512 30 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581865679784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20049] ppid=20040 vsize=9824732 CPUtime=5.8 cores=1,3,5,7
/proc/20043/task/20049/stat : 20049 (java) S 20040 20043 11533 0 -1 4202560 1304 0 0 0 548 32 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581864627240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20050] ppid=20040 vsize=9824732 CPUtime=5.71 cores=1,3,5,7
/proc/20043/task/20050/stat : 20050 (java) S 20040 20043 11533 0 -1 4202560 899 0 0 0 537 34 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581527349416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20051] ppid=20040 vsize=9824732 CPUtime=5.45 cores=1,3,5,7
/proc/20043/task/20051/stat : 20051 (java) S 20040 20043 11533 0 -1 4202560 818 0 0 0 516 29 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581526296872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20052] ppid=20040 vsize=9824732 CPUtime=5.83 cores=1,3,5,7
/proc/20043/task/20052/stat : 20052 (java) S 20040 20043 11533 0 -1 4202560 1166 0 0 0 545 38 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581525244328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20053] ppid=20040 vsize=9824732 CPUtime=5.45 cores=1,3,5,7
/proc/20043/task/20053/stat : 20053 (java) S 20040 20043 11533 0 -1 4202560 884 0 0 0 514 31 0 0 20 0 21 0 10468392 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581524191784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20054] ppid=20040 vsize=9824732 CPUtime=10.8 cores=1,3,5,7
/proc/20043/task/20054/stat : 20054 (java) S 20040 20043 11533 0 -1 4202560 4187 0 0 0 1071 9 0 0 20 0 21 0 10468393 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581511993960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20055] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20055/stat : 20055 (java) S 20040 20043 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10468394 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581510940280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20056] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20056/stat : 20056 (java) S 20040 20043 11533 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 21 0 10468394 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581509887624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20057] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20057/stat : 20057 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10468396 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581508836368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20058] ppid=20040 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/20043/task/20058/stat : 20058 (java) S 20040 20043 11533 0 -1 4202560 13896 0 0 0 142 2 0 0 20 0 21 0 10468396 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581507782712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20059] ppid=20040 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/20043/task/20059/stat : 20059 (java) S 20040 20043 11533 0 -1 4202560 5108 0 0 0 104 2 0 0 20 0 21 0 10468396 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581506730168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20043/tid=20060] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20060/stat : 20060 (java) S 20040 20043 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10468396 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581505677816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20043/tid=20061] ppid=20040 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/20043/task/20061/stat : 20061 (java) S 20040 20043 11533 0 -1 4202560 104 0 0 0 22 32 0 0 20 0 21 0 10468396 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581504625480 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20064] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20064/stat : 20064 (java) S 20040 20043 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10468427 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581501466152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20043/tid=20163] ppid=20040 vsize=9824732 CPUtime=1736.53 cores=1,3,5,7
/proc/20043/task/20163/stat : 20163 (java) R 20040 20043 11533 0 -1 4202560 3090 0 0 0 173600 53 0 0 20 0 21 0 10470106 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581500410928 140581746003995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20043/tid=20164] ppid=20040 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20043/task/20164/stat : 20164 (java) S 20040 20043 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10470108 10060525568 1124145 33554432000 1073741824 1073778376 140737260874048 140581502518312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
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 20043 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1776.25
CPU time (s): 1800.83
CPU user time (s): 1796.29
CPU system time (s): 4.54031
CPU usage (%): 101.384
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.29
system time used= 4.54031
maximum resident set size= 4509784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38990
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78237
involuntary context switches= 65298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0953 second user time and 13.8999 second system time
The end