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-4105890-1466265877/watcher-4105890-1466265877 -o /tmp/evaluation-result-4105890-1466265877/solver-4105890-1466265877 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105890-1466265877.opb
pid=4083
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: 4.22 4.13 3.43 5/197 4086
/proc/meminfo: memFree=28223048/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 28634502 95129600 927 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 23225 927 703 9 0 16769 0
[pid=4086/tid=4087] ppid=4083 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) D 4083 4086 3621 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28634503 95129600 927 33554432000 1073741824 1073778376 140736039094880 139764440596008 214360485159 0 0 4096 0 18446744072100588836 0 0 -1 5 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 4.22 4.13 3.43 5/197 4086
/proc/meminfo: memFree=28223048/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 4444 0 1 0 9 1 0 0 20 0 18 0 28634502 9787879424 6069 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2389619 6069 2141 9 0 2380296 0
[pid=4086/tid=4087] ppid=4083 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) R 4083 4086 3621 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 28634503 9787879424 6069 33554432000 1073741824 1073778376 140736039094880 139764440599456 214373033229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200271 s]
/proc/loadavg: 4.22 4.13 3.43 5/197 4086
/proc/meminfo: memFree=28223048/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 4734 0 1 0 24 1 0 0 20 0 18 0 28634502 9787879424 6821 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2389619 6821 2214 9 0 2380296 0
[pid=4086/tid=4087] ppid=4083 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) R 4083 4086 3621 0 -1 4202560 2397 0 1 0 17 0 0 0 20 0 18 0 28634503 9787879424 6821 33554432000 1073741824 1073778376 140736039094880 139764440600568 139764292499032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300321 s]
/proc/loadavg: 4.22 4.13 3.43 5/197 4086
/proc/meminfo: memFree=28223048/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 5553 0 1 0 47 2 0 0 20 0 18 0 28634502 9787879424 8462 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2389619 8462 2233 9 0 2380296 0
[pid=4086/tid=4087] ppid=4083 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) R 4083 4086 3621 0 -1 4202560 2399 0 1 0 26 1 0 0 20 0 18 0 28634503 9787879424 8462 33554432000 1073741824 1073778376 140736039094880 139764440600568 139764292452224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.700285 s]
/proc/loadavg: 4.22 4.13 3.43 5/197 4086
/proc/meminfo: memFree=28223048/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9558476 CPUtime=1.63 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 16041 0 1 0 158 5 0 0 20 0 18 0 28634502 9787879424 28447 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2389619 28447 2257 9 0 2380296 0
[pid=4086/tid=4087] ppid=4083 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) R 4083 4086 3621 0 -1 4202560 2433 0 1 0 65 2 0 0 20 0 18 0 28634503 9787879424 28447 33554432000 1073741824 1073778376 140736039094880 139764440600608 139764292500269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476
[startup+1.50091 s]
/proc/loadavg: 4.22 4.13 3.43 7/219 4108
/proc/meminfo: memFree=28082712/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 16153 0 1 0 370 6 0 0 20 0 22 0 28634502 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2456183 43377 2272 9 0 2446860 0
[pid=4086/tid=4087] ppid=4083 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) S 4083 4086 3621 0 -1 4202560 2443 0 1 0 69 2 0 0 20 0 22 0 28634503 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764440601464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4089] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4089/stat : 4089 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634503 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764413053224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4090] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4090/stat : 4090 (java) S 4083 4086 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28634503 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764412000424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4091] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4091/stat : 4091 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634503 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764410948136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4092] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4092/stat : 4092 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764281420200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4093] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4093/stat : 4093 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764280367912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4094] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4094/stat : 4094 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764279315112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4095] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4095/stat : 4095 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764278262824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4096] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4096/stat : 4096 (java) S 4083 4086 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139764277210024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4097] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4097/stat : 4097 (java) S 4083 4086 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763794696424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4098] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4098/stat : 4098 (java) S 4083 4086 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763793642488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4099] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4099/stat : 4099 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763792590088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4100] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4100/stat : 4100 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763791538576 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4101] ppid=4083 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/4086/task/4101/stat : 4101 (java) S 4083 4086 3621 0 -1 4202560 5704 0 0 0 72 0 0 0 20 0 22 0 28634507 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763790486200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4102] ppid=4083 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/4086/task/4102/stat : 4102 (java) S 4083 4086 3621 0 -1 4202560 6655 0 0 0 75 2 0 0 20 0 22 0 28634507 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763789433400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4103] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4103/stat : 4103 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763788381304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4104] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4104/stat : 4104 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763787328712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4105] ppid=4083 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/4086/task/4105/stat : 4105 (java) R 4083 4086 3621 0 -1 4202560 40 0 0 0 74 0 0 0 20 0 22 0 28634576 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763786273128 139764293376512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4106] ppid=4083 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/4086/task/4106/stat : 4106 (java) R 4083 4086 3621 0 -1 4202560 32 0 0 0 74 0 0 0 20 0 22 0 28634576 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763785219720 139764292477991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4107] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4107/stat : 4107 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763784168616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4108] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4108/stat : 4108 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 43377 33554432000 1073741824 1073778376 140736039094880 139763783115816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 4.22 4.13 3.43 5/219 4108
/proc/meminfo: memFree=27980128/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9824732 CPUtime=7.4 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 16305 0 1 0 732 8 0 0 20 0 22 0 28634502 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2456183 52176 2285 9 0 2446860 0
[pid=4086/tid=4087] ppid=4083 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) S 4083 4086 3621 0 -1 4202560 2443 0 1 0 69 2 0 0 20 0 22 0 28634503 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764440601464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4089] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4089/stat : 4089 (java) S 4083 4086 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28634503 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764413053224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4090] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4090/stat : 4090 (java) S 4083 4086 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28634503 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764412000424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4091] ppid=4083 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/4086/task/4091/stat : 4091 (java) S 4083 4086 3621 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 28634503 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764410948136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4092] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4092/stat : 4092 (java) S 4083 4086 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764281420200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4093] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4093/stat : 4093 (java) S 4083 4086 3621 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764280367912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4094] ppid=4083 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/4086/task/4094/stat : 4094 (java) S 4083 4086 3621 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28634504 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764279315112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4095] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4095/stat : 4095 (java) S 4083 4086 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764278262824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4096] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4096/stat : 4096 (java) S 4083 4086 3621 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28634504 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139764277210024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4097] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4097/stat : 4097 (java) S 4083 4086 3621 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763794696424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4098] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4098/stat : 4098 (java) S 4083 4086 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763793642488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4099] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4099/stat : 4099 (java) S 4083 4086 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763792590088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4100] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4100/stat : 4100 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763791538576 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4101] ppid=4083 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/4086/task/4101/stat : 4101 (java) S 4083 4086 3621 0 -1 4202560 5704 0 0 0 95 0 0 0 20 0 22 0 28634507 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763790486200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4102] ppid=4083 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/4086/task/4102/stat : 4102 (java) S 4083 4086 3621 0 -1 4202560 6664 0 0 0 90 3 0 0 20 0 22 0 28634507 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763789433400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4103] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4103/stat : 4103 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763788381304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4104] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4104/stat : 4104 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763787328712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4105] ppid=4083 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/4086/task/4105/stat : 4105 (java) R 4083 4086 3621 0 -1 4202560 44 0 0 0 231 0 0 0 20 0 22 0 28634576 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763786272040 139764293376597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4106] ppid=4083 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/4086/task/4106/stat : 4106 (java) R 4083 4086 3621 0 -1 4202560 35 0 0 0 231 0 0 0 20 0 22 0 28634576 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763785219960 139764293531150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4107] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4107/stat : 4107 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763784168616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4108] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4108/stat : 4108 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 52176 33554432000 1073741824 1073778376 140736039094880 139763783115816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9824732
[startup+6.3009 s]
/proc/loadavg: 4.29 4.15 3.44 5/219 4108
/proc/meminfo: memFree=27418936/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9824732 CPUtime=13.88 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 16384 0 1 0 1377 11 0 0 20 0 22 0 28634502 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2456183 77387 2285 9 0 2446860 0
[pid=4086/tid=4087] ppid=4083 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) S 4083 4086 3621 0 -1 4202560 2443 0 1 0 69 2 0 0 20 0 22 0 28634503 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764440601464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4089] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4089/stat : 4089 (java) S 4083 4086 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28634503 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764413053224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4090] ppid=4083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/4086/task/4090/stat : 4090 (java) S 4083 4086 3621 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28634503 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764412000424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4091] ppid=4083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/4086/task/4091/stat : 4091 (java) S 4083 4086 3621 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 28634503 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764410948136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4092] ppid=4083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/4086/task/4092/stat : 4092 (java) S 4083 4086 3621 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 28634504 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764281420200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4093] ppid=4083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/4086/task/4093/stat : 4093 (java) S 4083 4086 3621 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 28634504 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764280367912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4094] ppid=4083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/4086/task/4094/stat : 4094 (java) S 4083 4086 3621 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 28634504 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764279315112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4095] ppid=4083 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/4086/task/4095/stat : 4095 (java) S 4083 4086 3621 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 28634504 10060525568 77387 33554432000 1073741824 1073778376 140736039094880 139764278262824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4096] ppid=4083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.40 4.29 3.92 5/219 4127
/proc/meminfo: memFree=26091720/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9824732 CPUtime=1648.86 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 31888 0 1 0 164697 189 0 0 20 0 22 0 28634502 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2456183 402594 2299 9 0 2446860 0
[pid=4086/tid=4087] ppid=4083 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) S 4083 4086 3621 0 -1 4202560 2450 0 1 0 71 4 0 0 20 0 22 0 28634503 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764440601464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4089] ppid=4083 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/4086/task/4089/stat : 4089 (java) S 4083 4086 3621 0 -1 4202560 699 0 0 0 176 11 0 0 20 0 22 0 28634503 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764413053224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4090] ppid=4083 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/4086/task/4090/stat : 4090 (java) S 4083 4086 3621 0 -1 4202560 530 0 0 0 182 15 0 0 20 0 22 0 28634503 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764412000424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4091] ppid=4083 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/4086/task/4091/stat : 4091 (java) S 4083 4086 3621 0 -1 4202560 341 0 0 0 181 11 0 0 20 0 22 0 28634503 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764410948136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4092] ppid=4083 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/4086/task/4092/stat : 4092 (java) S 4083 4086 3621 0 -1 4202560 447 0 0 0 172 10 0 0 20 0 22 0 28634504 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764281420200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4093] ppid=4083 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/4086/task/4093/stat : 4093 (java) S 4083 4086 3621 0 -1 4202560 573 0 0 0 170 10 0 0 20 0 22 0 28634504 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764280367912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4094] ppid=4083 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/4086/task/4094/stat : 4094 (java) S 4083 4086 3621 0 -1 4202560 383 0 0 0 168 13 0 0 20 0 22 0 28634504 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764279315112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4095] ppid=4083 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/4086/task/4095/stat : 4095 (java) S 4083 4086 3621 0 -1 4202560 1145 0 0 0 174 13 0 0 20 0 22 0 28634504 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764278262824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4096] ppid=4083 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/4086/task/4096/stat : 4096 (java) S 4083 4086 3621 0 -1 4202560 317 0 0 0 172 12 0 0 20 0 22 0 28634504 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139764277210024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4097] ppid=4083 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/4086/task/4097/stat : 4097 (java) S 4083 4086 3621 0 -1 4202560 1737 0 0 0 266 42 0 0 20 0 22 0 28634505 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763794696424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4098] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4098/stat : 4098 (java) S 4083 4086 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763793642488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4099] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4099/stat : 4099 (java) S 4083 4086 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763792590088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4100] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4100/stat : 4100 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763791538576 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4101] ppid=4083 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/4086/task/4101/stat : 4101 (java) S 4083 4086 3621 0 -1 4202560 6735 0 0 0 137 1 0 0 20 0 22 0 28634507 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763790486200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4102] ppid=4083 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/4086/task/4102/stat : 4102 (java) S 4083 4086 3621 0 -1 4202560 6673 0 0 0 127 3 0 0 20 0 22 0 28634507 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763789433400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4103] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4103/stat : 4103 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763788381304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4104] ppid=4083 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/4086/task/4104/stat : 4104 (java) S 4083 4086 3621 0 -1 4202560 46 0 0 0 12 19 0 0 20 0 22 0 28634507 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763787328712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4105] ppid=4083 vsize=9824732 CPUtime=813.61 cores=1,3,5,7
/proc/4086/task/4105/stat : 4105 (java) R 4083 4086 3621 0 -1 4202560 6356 0 0 0 81326 35 0 0 20 0 22 0 28634576 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763786271952 139764293376776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4106] ppid=4083 vsize=9824732 CPUtime=813.71 cores=1,3,5,7
/proc/4086/task/4106/stat : 4106 (java) R 4083 4086 3621 0 -1 4202560 2191 0 0 0 81349 22 0 0 20 0 22 0 28634576 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763785218368 139764293375788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4107] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4107/stat : 4107 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763784168616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4108] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4108/stat : 4108 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 402594 33554432000 1073741824 1073778376 140736039094880 139763783115816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1648.86
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.13 4.24 3.92 5/219 4218
/proc/meminfo: memFree=27665296/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9824732 CPUtime=1768.59 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 32136 0 1 0 176662 197 0 0 20 0 22 0 28634502 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2456183 399135 2299 9 0 2446860 0
[pid=4086/tid=4087] ppid=4083 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) S 4083 4086 3621 0 -1 4202560 2451 0 1 0 72 4 0 0 20 0 22 0 28634503 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764440601464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4089] ppid=4083 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/4086/task/4089/stat : 4089 (java) S 4083 4086 3621 0 -1 4202560 707 0 0 0 186 11 0 0 20 0 22 0 28634503 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764413053224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4090] ppid=4083 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/4086/task/4090/stat : 4090 (java) S 4083 4086 3621 0 -1 4202560 535 0 0 0 194 15 0 0 20 0 22 0 28634503 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764412000424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4091] ppid=4083 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/4086/task/4091/stat : 4091 (java) S 4083 4086 3621 0 -1 4202560 394 0 0 0 195 11 0 0 20 0 22 0 28634503 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764410948136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4092] ppid=4083 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/4086/task/4092/stat : 4092 (java) S 4083 4086 3621 0 -1 4202560 457 0 0 0 185 10 0 0 20 0 22 0 28634504 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764281420200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4093] ppid=4083 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/4086/task/4093/stat : 4093 (java) S 4083 4086 3621 0 -1 4202560 600 0 0 0 184 11 0 0 20 0 22 0 28634504 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764280367912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4094] ppid=4083 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/4086/task/4094/stat : 4094 (java) S 4083 4086 3621 0 -1 4202560 403 0 0 0 182 13 0 0 20 0 22 0 28634504 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764279315112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4095] ppid=4083 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/4086/task/4095/stat : 4095 (java) S 4083 4086 3621 0 -1 4202560 1156 0 0 0 190 13 0 0 20 0 22 0 28634504 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764278262824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4096] ppid=4083 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/4086/task/4096/stat : 4096 (java) S 4083 4086 3621 0 -1 4202560 323 0 0 0 181 12 0 0 20 0 22 0 28634504 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139764277210024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4097] ppid=4083 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/4086/task/4097/stat : 4097 (java) S 4083 4086 3621 0 -1 4202560 1808 0 0 0 331 45 0 0 20 0 22 0 28634505 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763794696424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4098] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4098/stat : 4098 (java) S 4083 4086 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763793642488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4099] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4099/stat : 4099 (java) S 4083 4086 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763792590088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4100] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4100/stat : 4100 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763791538576 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4101] ppid=4083 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/4086/task/4101/stat : 4101 (java) S 4083 4086 3621 0 -1 4202560 6736 0 0 0 137 1 0 0 20 0 22 0 28634507 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763790486200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4102] ppid=4083 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/4086/task/4102/stat : 4102 (java) S 4083 4086 3621 0 -1 4202560 6673 0 0 0 127 3 0 0 20 0 22 0 28634507 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763789433400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4103] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4103/stat : 4103 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763788381304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4104] ppid=4083 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/4086/task/4104/stat : 4104 (java) S 4083 4086 3621 0 -1 4202560 50 0 0 0 14 20 0 0 20 0 22 0 28634507 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763787328712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4105] ppid=4083 vsize=9824732 CPUtime=872.63 cores=1,3,5,7
/proc/4086/task/4105/stat : 4105 (java) R 4083 4086 3621 0 -1 4202560 6367 0 0 0 87226 37 0 0 20 0 22 0 28634576 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763786271168 139764293376675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4106] ppid=4083 vsize=9824732 CPUtime=872.72 cores=1,3,5,7
/proc/4086/task/4106/stat : 4106 (java) R 4083 4086 3621 0 -1 4202560 2211 0 0 0 87248 24 0 0 20 0 22 0 28634576 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763785219264 139764293376512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4107] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4107/stat : 4107 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763784168616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4108] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4108/stat : 4108 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 399135 33554432000 1073741824 1073778376 140736039094880 139763783115816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1768.59
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.001 s]
/proc/loadavg: 4.17 4.24 3.92 6/219 4227
/proc/meminfo: memFree=27011612/32872528 swapFree=1286400/1433568
[pid=4086] ppid=4083 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/4086/stat : 4086 (java) S 4083 4086 3621 0 -1 4202496 32385 0 1 0 179808 199 0 0 20 0 22 0 28634502 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 140736039086016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4086/statm: 2456183 403231 2299 9 0 2446860 0
[pid=4086/tid=4087] ppid=4083 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/4086/task/4087/stat : 4087 (java) S 4083 4086 3621 0 -1 4202560 2451 0 1 0 72 4 0 0 20 0 22 0 28634503 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764440601464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4089] ppid=4083 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/4086/task/4089/stat : 4089 (java) S 4083 4086 3621 0 -1 4202560 710 0 0 0 191 11 0 0 20 0 22 0 28634503 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764413053224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4090] ppid=4083 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/4086/task/4090/stat : 4090 (java) S 4083 4086 3621 0 -1 4202560 537 0 0 0 196 15 0 0 20 0 22 0 28634503 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764412000424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4091] ppid=4083 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/4086/task/4091/stat : 4091 (java) S 4083 4086 3621 0 -1 4202560 399 0 0 0 199 11 0 0 20 0 22 0 28634503 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764410948136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4092] ppid=4083 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/4086/task/4092/stat : 4092 (java) S 4083 4086 3621 0 -1 4202560 459 0 0 0 188 10 0 0 20 0 22 0 28634504 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764281420200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4093] ppid=4083 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/4086/task/4093/stat : 4093 (java) S 4083 4086 3621 0 -1 4202560 602 0 0 0 189 11 0 0 20 0 22 0 28634504 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764280367912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4094] ppid=4083 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/4086/task/4094/stat : 4094 (java) S 4083 4086 3621 0 -1 4202560 405 0 0 0 186 13 0 0 20 0 22 0 28634504 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764279315112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4095] ppid=4083 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/4086/task/4095/stat : 4095 (java) S 4083 4086 3621 0 -1 4202560 1156 0 0 0 192 13 0 0 20 0 22 0 28634504 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764278262824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4096] ppid=4083 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/4086/task/4096/stat : 4096 (java) S 4083 4086 3621 0 -1 4202560 325 0 0 0 184 12 0 0 20 0 22 0 28634504 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139764277210024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4097] ppid=4083 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/4086/task/4097/stat : 4097 (java) S 4083 4086 3621 0 -1 4202560 1880 0 0 0 331 45 0 0 20 0 22 0 28634505 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763794696424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4098] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4098/stat : 4098 (java) S 4083 4086 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763793642488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4099] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4099/stat : 4099 (java) S 4083 4086 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28634505 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763792590088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4100] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4100/stat : 4100 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763791538576 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4101] ppid=4083 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/4086/task/4101/stat : 4101 (java) S 4083 4086 3621 0 -1 4202560 6736 0 0 0 137 1 0 0 20 0 22 0 28634507 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763790486200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4102] ppid=4083 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/4086/task/4102/stat : 4102 (java) S 4083 4086 3621 0 -1 4202560 6673 0 0 0 127 3 0 0 20 0 22 0 28634507 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763789433400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4086/tid=4103] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4103/stat : 4103 (java) S 4083 4086 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28634507 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763788381304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4104] ppid=4083 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/4086/task/4104/stat : 4104 (java) S 4083 4086 3621 0 -1 4202560 52 0 0 0 14 20 0 0 20 0 22 0 28634507 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763787328712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4105] ppid=4083 vsize=9824732 CPUtime=888.23 cores=1,3,5,7
/proc/4086/task/4105/stat : 4105 (java) R 4083 4086 3621 0 -1 4202560 6521 0 0 0 88786 37 0 0 20 0 22 0 28634576 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763786271168 139764293376530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4086/tid=4106] ppid=4083 vsize=9824732 CPUtime=888.31 cores=1,3,5,7
/proc/4086/task/4106/stat : 4106 (java) R 4083 4086 3621 0 -1 4202560 2214 0 0 0 88807 24 0 0 20 0 22 0 28634576 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763785219120 139764293376892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4086/tid=4107] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4107/stat : 4107 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763784168616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4086/tid=4108] ppid=4083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4086/task/4108/stat : 4108 (java) S 4083 4086 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28634578 10060525568 403231 33554432000 1073741824 1073778376 140736039094880 139763783115816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 4086 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.043
CPU time (s): 1800.63
CPU user time (s): 1798.17
CPU system time (s): 2.46163
CPU usage (%): 200.506
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 2.46162
maximum resident set size= 1689800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32418
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= 37857
involuntary context switches= 50816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99294 second user time and 6.41502 second system time
The end