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-4101026-1466212432/watcher-4101026-1466212432 -o /tmp/evaluation-result-4101026-1466212432/solver-4101026-1466212432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13554 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101026-1466212432.opb
pid=16102
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.08 4.12 4.09 4/197 16105
/proc/meminfo: memFree=30331824/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/16105/stat : 16105 (java) R 16102 16105 13538 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 1 0 23293122 9445376 71 33554432000 1073741824 1073778376 140734446217152 140734446214280 224913306984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2306 87 69 9 0 38 0
[startup+0.100156 s]
/proc/loadavg: 4.08 4.12 4.09 4/197 16105
/proc/meminfo: memFree=30331824/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 4413 0 1 0 9 1 0 0 20 0 18 0 23293122 9787879424 6039 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2389619 6039 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200313 s]
/proc/loadavg: 4.08 4.12 4.09 4/197 16105
/proc/meminfo: memFree=30331824/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 4990 0 1 0 27 1 0 0 20 0 18 0 23293122 9787879424 7429 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2389619 7429 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300221 s]
/proc/loadavg: 4.08 4.12 4.09 4/197 16105
/proc/meminfo: memFree=30331824/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 5483 0 1 0 45 1 0 0 20 0 18 0 23293122 9787879424 12252 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2389619 12252 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700189 s]
/proc/loadavg: 4.08 4.12 4.09 4/197 16105
/proc/meminfo: memFree=30331824/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9558476 CPUtime=1.46 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 13216 0 1 0 137 9 0 0 20 0 18 0 23293122 9787879424 53941 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2389619 53942 2258 9 0 2380296 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 4.16 4.13 4.09 5/219 16127
/proc/meminfo: memFree=30123992/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 14960 0 1 0 327 16 0 0 20 0 22 0 23293122 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2456183 67369 2277 9 0 2446860 0
[pid=16105/tid=16107] ppid=16102 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/16105/task/16107/stat : 16107 (java) S 16102 16105 13538 0 -1 4202560 2485 0 1 0 79 2 0 0 20 0 22 0 23293123 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356329894776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16108] ppid=16102 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16105/task/16108/stat : 16108 (java) S 16102 16105 13538 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356318956456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16109] ppid=16102 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16105/task/16109/stat : 16109 (java) S 16102 16105 13538 0 -1 4202560 108 0 0 0 2 2 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356317903912 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16110] ppid=16102 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16105/task/16110/stat : 16110 (java) S 16102 16105 13538 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356316850856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16111] ppid=16102 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16105/task/16111/stat : 16111 (java) S 16102 16105 13538 0 -1 4202560 135 0 0 0 3 1 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356315798312 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16112] ppid=16102 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16105/task/16112/stat : 16112 (java) S 16102 16105 13538 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356314745256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16113] ppid=16102 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16105/task/16113/stat : 16113 (java) S 16102 16105 13538 0 -1 4202560 104 0 0 0 3 0 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356313692712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16114] ppid=16102 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16105/task/16114/stat : 16114 (java) S 16102 16105 13538 0 -1 4202560 111 0 0 0 5 3 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356312639656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16115] ppid=16102 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16105/task/16115/stat : 16115 (java) S 16102 16105 13538 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 22 0 23293124 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356311587112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16116] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16116/stat : 16116 (java) S 16102 16105 13538 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23293125 10060525568 67369 33554432000 1073741824 1073778376 140734446217152 140356153846632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16117] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16117/stat : 16117 (java) S 16102 16105 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356152792952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16118] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16118/stat : 16118 (java) S 16102 16105 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356151739784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16119] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16119/stat : 16119 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356150688528 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16120] ppid=16102 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/16105/task/16120/stat : 16120 (java) R 16102 16105 13538 0 -1 4202560 6518 0 0 0 61 0 0 0 20 0 22 0 23293128 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356149635264 140356333982497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16121] ppid=16102 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/16105/task/16121/stat : 16121 (java) R 16102 16105 13538 0 -1 4202560 3994 0 0 0 45 0 0 0 20 0 22 0 23293128 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356148582840 224922559607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16122] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16122/stat : 16122 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356147529976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16123] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16123/stat : 16123 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356146477640 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16124] ppid=16102 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16105/task/16124/stat : 16124 (java) R 16102 16105 13538 0 -1 4202560 24 0 0 0 51 0 0 0 20 0 22 0 23293212 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356145423368 140356192680551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16125] ppid=16102 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/16105/task/16125/stat : 16125 (java) R 16102 16105 13538 0 -1 4202560 22 0 0 0 52 0 0 0 20 0 22 0 23293212 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356144370680 140356193476459 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16126] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16126/stat : 16126 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356143318312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16127] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16127/stat : 16127 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 67340 33554432000 1073741824 1073778376 140734446217152 140356142265768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 4.16 4.13 4.09 5/219 16127
/proc/meminfo: memFree=30069776/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9824732 CPUtime=7.16 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 16894 0 1 0 700 16 0 0 20 0 22 0 23293122 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2456183 67829 2278 9 0 2446860 0
[pid=16105/tid=16107] ppid=16102 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/16105/task/16107/stat : 16107 (java) S 16102 16105 13538 0 -1 4202560 2486 0 1 0 79 2 0 0 20 0 22 0 23293123 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356329894776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16108] ppid=16102 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16105/task/16108/stat : 16108 (java) S 16102 16105 13538 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356318956456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16109] ppid=16102 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16105/task/16109/stat : 16109 (java) S 16102 16105 13538 0 -1 4202560 108 0 0 0 2 2 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356317903912 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16110] ppid=16102 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16105/task/16110/stat : 16110 (java) S 16102 16105 13538 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356316850856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16111] ppid=16102 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16105/task/16111/stat : 16111 (java) S 16102 16105 13538 0 -1 4202560 135 0 0 0 3 1 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356315798312 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16112] ppid=16102 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16105/task/16112/stat : 16112 (java) S 16102 16105 13538 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356314745256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16113] ppid=16102 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16105/task/16113/stat : 16113 (java) S 16102 16105 13538 0 -1 4202560 104 0 0 0 3 0 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356313692712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16114] ppid=16102 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16105/task/16114/stat : 16114 (java) S 16102 16105 13538 0 -1 4202560 111 0 0 0 5 3 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356312639656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16115] ppid=16102 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16105/task/16115/stat : 16115 (java) S 16102 16105 13538 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 22 0 23293124 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356311587112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16116] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16116/stat : 16116 (java) S 16102 16105 13538 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23293125 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356153846632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16117] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16117/stat : 16117 (java) S 16102 16105 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356152792952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16118] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16118/stat : 16118 (java) S 16102 16105 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356151739784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16119] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16119/stat : 16119 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356150688528 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16120] ppid=16102 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/16105/task/16120/stat : 16120 (java) S 16102 16105 13538 0 -1 4202560 6526 0 0 0 85 0 0 0 20 0 22 0 23293128 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356149635384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16121] ppid=16102 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/16105/task/16121/stat : 16121 (java) S 16102 16105 13538 0 -1 4202560 5919 0 0 0 75 0 0 0 20 0 22 0 23293128 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356148582840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16122] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16122/stat : 16122 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356147529976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16123] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16123/stat : 16123 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356146477640 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16124] ppid=16102 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/16105/task/16124/stat : 16124 (java) R 16102 16105 13538 0 -1 4202560 24 0 0 0 211 0 0 0 20 0 22 0 23293212 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356145423544 140356193536117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16125] ppid=16102 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/16105/task/16125/stat : 16125 (java) R 16102 16105 13538 0 -1 4202560 22 0 0 0 211 0 0 0 20 0 22 0 23293212 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356144369032 140356193476571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16126] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16126/stat : 16126 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356143318312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16127] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16127/stat : 16127 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 67829 33554432000 1073741824 1073778376 140734446217152 140356142265768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9824732
[startup+6.30092 s]
/proc/loadavg: 4.14 4.13 4.09 5/219 16127
/proc/meminfo: memFree=29991228/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9824732 CPUtime=13.69 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 17179 0 1 0 1345 24 0 0 20 0 22 0 23293122 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2456183 106315 2282 9 0 2446860 0
[pid=16105/tid=16107] ppid=16102 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/16105/task/16107/stat : 16107 (java) S 16102 16105 13538 0 -1 4202560 2487 0 1 0 79 2 0 0 20 0 22 0 23293123 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356329894776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16108] ppid=16102 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16105/task/16108/stat : 16108 (java) S 16102 16105 13538 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356318956456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16109] ppid=16102 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16105/task/16109/stat : 16109 (java) S 16102 16105 13538 0 -1 4202560 122 0 0 0 3 3 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356317903912 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16110] ppid=16102 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16105/task/16110/stat : 16110 (java) S 16102 16105 13538 0 -1 4202560 44 0 0 0 5 0 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356316850856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16111] ppid=16102 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16105/task/16111/stat : 16111 (java) S 16102 16105 13538 0 -1 4202560 152 0 0 0 6 2 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356315798312 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16112] ppid=16102 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16105/task/16112/stat : 16112 (java) S 16102 16105 13538 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356314745256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16113] ppid=16102 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16105/task/16113/stat : 16113 (java) S 16102 16105 13538 0 -1 4202560 114 0 0 0 4 2 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356313692712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16114] ppid=16102 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/16105/task/16114/stat : 16114 (java) S 16102 16105 13538 0 -1 4202560 125 0 0 0 7 3 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356312639656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16115] ppid=16102 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16105/task/16115/stat : 16115 (java) S 16102 16105 13538 0 -1 4202560 48 0 0 0 4 3 0 0 20 0 22 0 23293124 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356311587112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16116] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16116/stat : 16116 (java) S 16102 16105 13538 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23293125 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356153846632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16117] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16117/stat : 16117 (java) S 16102 16105 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356152792952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16118] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16118/stat : 16118 (java) S 16102 16105 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356151739784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16119] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16119/stat : 16119 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 106315 33554432000 1073741824 1073778376 140734446217152 140356150688528 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16120] ppid=16102 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.08 4.10 4.06 5/219 16283
/proc/meminfo: memFree=25506236/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9824732 CPUtime=1653.27 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 33197 0 1 0 165069 258 0 0 20 0 22 0 23293122 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2456183 1037160 2291 9 0 2446860 0
[pid=16105/tid=16107] ppid=16102 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/16105/task/16107/stat : 16107 (java) S 16102 16105 13538 0 -1 4202560 2500 0 1 0 81 4 0 0 20 0 22 0 23293123 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356329894776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16108] ppid=16102 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/16105/task/16108/stat : 16108 (java) S 16102 16105 13538 0 -1 4202560 1180 0 0 0 352 25 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356318956456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16109] ppid=16102 vsize=9824732 CPUtime=3.83 cores=0,2,4,6
/proc/16105/task/16109/stat : 16109 (java) S 16102 16105 13538 0 -1 4202560 1244 0 0 0 356 27 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356317903912 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16110] ppid=16102 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/16105/task/16110/stat : 16110 (java) S 16102 16105 13538 0 -1 4202560 697 0 0 0 367 22 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356316850856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16111] ppid=16102 vsize=9824732 CPUtime=3.78 cores=0,2,4,6
/proc/16105/task/16111/stat : 16111 (java) S 16102 16105 13538 0 -1 4202560 792 0 0 0 352 26 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356315798312 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16112] ppid=16102 vsize=9824732 CPUtime=3.84 cores=0,2,4,6
/proc/16105/task/16112/stat : 16112 (java) S 16102 16105 13538 0 -1 4202560 1032 0 0 0 362 22 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356314745256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16113] ppid=16102 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/16105/task/16113/stat : 16113 (java) S 16102 16105 13538 0 -1 4202560 904 0 0 0 359 21 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356313692712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16114] ppid=16102 vsize=9824732 CPUtime=4.06 cores=0,2,4,6
/proc/16105/task/16114/stat : 16114 (java) S 16102 16105 13538 0 -1 4202560 769 0 0 0 376 30 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356312639656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16115] ppid=16102 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/16105/task/16115/stat : 16115 (java) S 16102 16105 13538 0 -1 4202560 1352 0 0 0 364 28 0 0 20 0 22 0 23293124 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356311587112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16116] ppid=16102 vsize=9824732 CPUtime=8.09 cores=0,2,4,6
/proc/16105/task/16116/stat : 16116 (java) S 16102 16105 13538 0 -1 4202560 2912 0 0 0 800 9 0 0 20 0 22 0 23293125 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356153846632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16117] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16117/stat : 16117 (java) S 16102 16105 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356152792952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16118] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16118/stat : 16118 (java) S 16102 16105 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356151739784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16119] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16119/stat : 16119 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356150688528 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16120] ppid=16102 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/16105/task/16120/stat : 16120 (java) S 16102 16105 13538 0 -1 4202560 6595 0 0 0 141 0 0 0 20 0 22 0 23293128 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356149635384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16121] ppid=16102 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/16105/task/16121/stat : 16121 (java) S 16102 16105 13538 0 -1 4202560 9992 0 0 0 142 2 0 0 20 0 22 0 23293128 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356148582840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16122] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16122/stat : 16122 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356147529976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16123] ppid=16102 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/16105/task/16123/stat : 16123 (java) S 16102 16105 13538 0 -1 4202560 47 0 0 0 14 14 0 0 20 0 22 0 23293128 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356146477640 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16124] ppid=16102 vsize=9824732 CPUtime=805.16 cores=0,2,4,6
/proc/16105/task/16124/stat : 16124 (java) R 16102 16105 13538 0 -1 4202560 476 0 0 0 80494 22 0 0 20 0 22 0 23293212 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356145421496 140356193534466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16125] ppid=16102 vsize=9824732 CPUtime=805.27 cores=0,2,4,6
/proc/16105/task/16125/stat : 16125 (java) R 16102 16105 13538 0 -1 4202560 1440 0 0 0 80495 32 0 0 20 0 22 0 23293212 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356144369768 140356193357111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16126] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16126/stat : 16126 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356143318312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16127] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16127/stat : 16127 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 1037160 33554432000 1073741824 1073778376 140734446217152 140356142265768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1653.27
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.08 4.10 4.06 5/219 16284
/proc/meminfo: memFree=25674000/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9824732 CPUtime=1774.44 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 33369 0 1 0 177182 262 0 0 20 0 22 0 23293122 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2456183 1046486 2291 9 0 2446860 0
[pid=16105/tid=16107] ppid=16102 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/16105/task/16107/stat : 16107 (java) S 16102 16105 13538 0 -1 4202560 2500 0 1 0 81 4 0 0 20 0 22 0 23293123 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356329894776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16108] ppid=16102 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/16105/task/16108/stat : 16108 (java) S 16102 16105 13538 0 -1 4202560 1205 0 0 0 380 25 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356318956456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16109] ppid=16102 vsize=9824732 CPUtime=4.14 cores=0,2,4,6
/proc/16105/task/16109/stat : 16109 (java) S 16102 16105 13538 0 -1 4202560 1288 0 0 0 387 27 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356317903912 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16110] ppid=16102 vsize=9824732 CPUtime=4.14 cores=0,2,4,6
/proc/16105/task/16110/stat : 16110 (java) S 16102 16105 13538 0 -1 4202560 698 0 0 0 391 23 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356316850856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16111] ppid=16102 vsize=9824732 CPUtime=4.03 cores=0,2,4,6
/proc/16105/task/16111/stat : 16111 (java) S 16102 16105 13538 0 -1 4202560 795 0 0 0 377 26 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356315798312 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16112] ppid=16102 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/16105/task/16112/stat : 16112 (java) S 16102 16105 13538 0 -1 4202560 1035 0 0 0 395 22 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356314745256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16113] ppid=16102 vsize=9824732 CPUtime=4.19 cores=0,2,4,6
/proc/16105/task/16113/stat : 16113 (java) S 16102 16105 13538 0 -1 4202560 922 0 0 0 397 22 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356313692712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16114] ppid=16102 vsize=9824732 CPUtime=4.4 cores=0,2,4,6
/proc/16105/task/16114/stat : 16114 (java) S 16102 16105 13538 0 -1 4202560 799 0 0 0 410 30 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356312639656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16115] ppid=16102 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/16105/task/16115/stat : 16115 (java) S 16102 16105 13538 0 -1 4202560 1367 0 0 0 388 29 0 0 20 0 22 0 23293124 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356311587112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16116] ppid=16102 vsize=9824732 CPUtime=8.1 cores=0,2,4,6
/proc/16105/task/16116/stat : 16116 (java) S 16102 16105 13538 0 -1 4202560 2935 0 0 0 800 10 0 0 20 0 22 0 23293125 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356153846632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16117] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16117/stat : 16117 (java) S 16102 16105 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356152792952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16118] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16118/stat : 16118 (java) S 16102 16105 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356151739784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16119] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16119/stat : 16119 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356150688528 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16120] ppid=16102 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/16105/task/16120/stat : 16120 (java) S 16102 16105 13538 0 -1 4202560 6595 0 0 0 141 0 0 0 20 0 22 0 23293128 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356149635384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16121] ppid=16102 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/16105/task/16121/stat : 16121 (java) S 16102 16105 13538 0 -1 4202560 9992 0 0 0 142 2 0 0 20 0 22 0 23293128 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356148582840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16122] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16122/stat : 16122 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356147529976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16123] ppid=16102 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/16105/task/16123/stat : 16123 (java) S 16102 16105 13538 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 23293128 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356146477640 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16124] ppid=16102 vsize=9824732 CPUtime=864.54 cores=0,2,4,6
/proc/16105/task/16124/stat : 16124 (java) R 16102 16105 13538 0 -1 4202560 479 0 0 0 86431 23 0 0 20 0 22 0 23293212 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356145422240 140356193383767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16125] ppid=16102 vsize=9824732 CPUtime=864.66 cores=0,2,4,6
/proc/16105/task/16125/stat : 16125 (java) R 16102 16105 13538 0 -1 4202560 1443 0 0 0 86432 34 0 0 20 0 22 0 23293212 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356144368832 140356193601076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16126] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16126/stat : 16126 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356143318312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16127] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16127/stat : 16127 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 1046486 33554432000 1073741824 1073778376 140734446217152 140356142265768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1774.44
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.001 s]
/proc/loadavg: 4.07 4.09 4.06 5/219 16284
/proc/meminfo: memFree=25755988/32872528 swapFree=163656/177964
[pid=16105] ppid=16102 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/16105/stat : 16105 (java) S 16102 16105 13538 0 -1 4202496 33499 0 1 0 179749 264 0 0 20 0 22 0 23293122 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140734446208288 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16105/statm: 2456183 1053737 2291 9 0 2446860 0
[pid=16105/tid=16107] ppid=16102 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/16105/task/16107/stat : 16107 (java) S 16102 16105 13538 0 -1 4202560 2500 0 1 0 81 4 0 0 20 0 22 0 23293123 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356329894776 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16108] ppid=16102 vsize=9824732 CPUtime=4.09 cores=0,2,4,6
/proc/16105/task/16108/stat : 16108 (java) S 16102 16105 13538 0 -1 4202560 1292 0 0 0 384 25 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356318956456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16109] ppid=16102 vsize=9824732 CPUtime=4.3 cores=0,2,4,6
/proc/16105/task/16109/stat : 16109 (java) S 16102 16105 13538 0 -1 4202560 1300 0 0 0 402 28 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356317903912 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16110] ppid=16102 vsize=9824732 CPUtime=4.3 cores=0,2,4,6
/proc/16105/task/16110/stat : 16110 (java) S 16102 16105 13538 0 -1 4202560 708 0 0 0 406 24 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356316850856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16111] ppid=16102 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/16105/task/16111/stat : 16111 (java) S 16102 16105 13538 0 -1 4202560 795 0 0 0 379 26 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356315798312 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16112] ppid=16102 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/16105/task/16112/stat : 16112 (java) S 16102 16105 13538 0 -1 4202560 1036 0 0 0 398 22 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356314745256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16113] ppid=16102 vsize=9824732 CPUtime=4.29 cores=0,2,4,6
/proc/16105/task/16113/stat : 16113 (java) S 16102 16105 13538 0 -1 4202560 933 0 0 0 407 22 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356313692712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16114] ppid=16102 vsize=9824732 CPUtime=4.48 cores=0,2,4,6
/proc/16105/task/16114/stat : 16114 (java) S 16102 16105 13538 0 -1 4202560 804 0 0 0 418 30 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356312639656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16115] ppid=16102 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/16105/task/16115/stat : 16115 (java) S 16102 16105 13538 0 -1 4202560 1368 0 0 0 391 29 0 0 20 0 22 0 23293124 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356311587112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16116] ppid=16102 vsize=9824732 CPUtime=8.1 cores=0,2,4,6
/proc/16105/task/16116/stat : 16116 (java) S 16102 16105 13538 0 -1 4202560 2935 0 0 0 800 10 0 0 20 0 22 0 23293125 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356153846632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16117] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16117/stat : 16117 (java) S 16102 16105 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356152792952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16118] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16118/stat : 16118 (java) S 16102 16105 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23293126 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356151739784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16119] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16119/stat : 16119 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356150688528 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16120] ppid=16102 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/16105/task/16120/stat : 16120 (java) S 16102 16105 13538 0 -1 4202560 6595 0 0 0 141 0 0 0 20 0 22 0 23293128 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356149635384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16121] ppid=16102 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/16105/task/16121/stat : 16121 (java) S 16102 16105 13538 0 -1 4202560 9992 0 0 0 142 2 0 0 20 0 22 0 23293128 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356148582840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16122] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16122/stat : 16122 (java) S 16102 16105 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23293128 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356147529976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16105/tid=16123] ppid=16102 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/16105/task/16123/stat : 16123 (java) S 16102 16105 13538 0 -1 4202560 53 0 0 0 16 16 0 0 20 0 22 0 23293128 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356146477640 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16124] ppid=16102 vsize=9824732 CPUtime=877.07 cores=0,2,4,6
/proc/16105/task/16124/stat : 16124 (java) R 16102 16105 13538 0 -1 4202560 480 0 0 0 87684 23 0 0 20 0 22 0 23293212 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356145422288 140356193517383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16105/tid=16125] ppid=16102 vsize=9824732 CPUtime=877.2 cores=0,2,4,6
/proc/16105/task/16125/stat : 16125 (java) R 16102 16105 13538 0 -1 4202560 1443 0 0 0 87686 34 0 0 20 0 22 0 23293212 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356144368944 140356193332610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16105/tid=16126] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16126/stat : 16126 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356143318312 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16105/tid=16127] ppid=16102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16105/task/16127/stat : 16127 (java) S 16102 16105 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23293218 10060525568 1053737 33554432000 1073741824 1073778376 140734446217152 140356142265768 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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 16105 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.074
CPU time (s): 1800.74
CPU user time (s): 1797.62
CPU system time (s): 3.12152
CPU usage (%): 201.183
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.62
system time used= 3.12153
maximum resident set size= 4215084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33548
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23665
involuntary context switches= 26695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64099 second user time and 6.22705 second system time
The end