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-4091872-1466106403/watcher-4091872-1466106403 -o /tmp/evaluation-result-4091872-1466106403/solver-4091872-1466106403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466105450-22841 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091872-1466106403.wbo
pid=24368
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: 3.14 3.09 2.46 3/194 24371
/proc/meminfo: memFree=29762608/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/24371/stat : 24371 (java) D 24368 24371 22074 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 12690382 2560000 46 33554432000 1073741824 1073778376 140736181079840 140736181076968 235365559591 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 625 46 37 9 0 29 0
[startup+0.100144 s]
/proc/loadavg: 3.14 3.09 2.46 3/194 24371
/proc/meminfo: memFree=29762608/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 4398 0 1 0 7 1 0 0 20 0 18 0 12690382 9787879424 6031 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2389619 6031 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200274 s]
/proc/loadavg: 3.14 3.09 2.46 3/194 24371
/proc/meminfo: memFree=29762608/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 4670 0 1 0 21 1 0 0 20 0 18 0 12690382 9787879424 6777 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2389619 6777 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300252 s]
/proc/loadavg: 3.14 3.09 2.46 3/194 24371
/proc/meminfo: memFree=29762608/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 5674 0 1 0 44 4 0 0 20 0 19 0 12690382 10060525568 9469 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2456183 9469 2248 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824732
[startup+0.700257 s]
/proc/loadavg: 3.14 3.09 2.46 3/194 24371
/proc/meminfo: memFree=29762608/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 5676 0 1 0 44 4 0 0 20 0 19 0 12690382 10060525568 9427 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2456183 9427 2249 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824732
[startup+1.50066 s]
/proc/loadavg: 3.14 3.09 2.46 2/213 24396
/proc/meminfo: memFree=29727968/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 13230 0 1 0 106 9 0 0 20 0 19 0 12690382 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2456183 17113 2255 9 0 2446860 0
[pid=24371/tid=24373] ppid=24368 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/24371/task/24373/stat : 24373 (java) S 24368 24371 22074 0 -1 4202560 2430 0 1 0 23 2 0 0 20 0 19 0 12690383 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850154550136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24374] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24374/stat : 24374 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850116041384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24375] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24375/stat : 24375 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850114988840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24376] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24376/stat : 24376 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850113936296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24377] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24377/stat : 24377 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850112883752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24378] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24378/stat : 24378 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850111830184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24379] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24379/stat : 24379 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850110777640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24380] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24380/stat : 24380 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139850109725096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24381] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24381/stat : 24381 (java) S 24368 24371 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849990400552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24382] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24382/stat : 24382 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12690385 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849978202728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24383] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24383/stat : 24383 (java) S 24368 24371 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12690386 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849977149048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24384] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24384/stat : 24384 (java) S 24368 24371 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12690386 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849976096392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24385] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24385/stat : 24385 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690388 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849975045136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24386] ppid=24368 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/24371/task/24386/stat : 24386 (java) S 24368 24371 22074 0 -1 4202560 3160 0 0 0 30 0 0 0 20 0 19 0 12690388 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849235425336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24387] ppid=24368 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/24371/task/24387/stat : 24387 (java) R 24368 24371 22074 0 -1 4202560 6295 0 0 0 33 1 0 0 20 0 19 0 12690388 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849234360360 139850158667327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24388] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24388/stat : 24388 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690388 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849233320440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24389] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24389/stat : 24389 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690388 10060525568 17113 33554432000 1073741824 1073778376 140736181079840 139849232268104 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 2.97 3.05 2.45 2/213 24402
/proc/meminfo: memFree=29699732/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 16116 0 1 0 233 15 0 0 20 0 19 0 12690382 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2456183 23575 2263 9 0 2446860 0
[pid=24371/tid=24373] ppid=24368 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/24371/task/24373/stat : 24373 (java) S 24368 24371 22074 0 -1 4202560 2432 0 1 0 25 2 0 0 20 0 19 0 12690383 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850154550136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24374] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24374/stat : 24374 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850116041384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24375] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24375/stat : 24375 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850114988840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24376] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24376/stat : 24376 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850113936296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24377] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24377/stat : 24377 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850112883752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24378] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24378/stat : 24378 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850111830184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24379] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24379/stat : 24379 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850110777640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24380] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24380/stat : 24380 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139850109725096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24381] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24381/stat : 24381 (java) S 24368 24371 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12690384 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849990400552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24382] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24382/stat : 24382 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12690385 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849978202728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24383] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24383/stat : 24383 (java) S 24368 24371 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12690386 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849977149048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24384] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24384/stat : 24384 (java) S 24368 24371 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12690386 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849976096392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24385] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24385/stat : 24385 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690388 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849975045136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24386] ppid=24368 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/24371/task/24386/stat : 24386 (java) S 24368 24371 22074 0 -1 4202560 5947 0 0 0 63 0 0 0 20 0 19 0 12690388 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849235425336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24387] ppid=24368 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/24371/task/24387/stat : 24387 (java) S 24368 24371 22074 0 -1 4202560 6359 0 0 0 63 1 0 0 20 0 19 0 12690388 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849234372792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24388] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24388/stat : 24388 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690388 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849233320440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24389] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24389/stat : 24389 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12690388 10060525568 23575 33554432000 1073741824 1073778376 140736181079840 139849232268104 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30092 s]
/proc/loadavg: 2.97 3.05 2.45 4/216 24414
/proc/meminfo: memFree=29602440/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9824732 CPUtime=8.3 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 18400 0 1 0 809 21 0 0 20 0 22 0 12690382 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2456183 46324 2283 9 0 2446860 0
[pid=24371/tid=24373] ppid=24368 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/24371/task/24373/stat : 24373 (java) S 24368 24371 22074 0 -1 4202560 2433 0 1 0 26 2 0 0 20 0 22 0 12690383 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850154550136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24374] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24374/stat : 24374 (java) S 24368 24371 22074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850116041384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24375] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24375/stat : 24375 (java) S 24368 24371 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850114988840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24376] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24376/stat : 24376 (java) S 24368 24371 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850113936296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24377] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24377/stat : 24377 (java) S 24368 24371 22074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850112883752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24378] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24378/stat : 24378 (java) S 24368 24371 22074 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850111830184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24379] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24379/stat : 24379 (java) S 24368 24371 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850110777640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24380] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24380/stat : 24380 (java) S 24368 24371 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139850109725096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24381] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24381/stat : 24381 (java) S 24368 24371 22074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 12690384 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849990400552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24382] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24382/stat : 24382 (java) S 24368 24371 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12690385 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849978202728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24383] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24383/stat : 24383 (java) S 24368 24371 22074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849977149048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24384] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24384/stat : 24384 (java) S 24368 24371 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849976096392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24385] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24385/stat : 24385 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849975045136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24386] ppid=24368 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/24371/task/24386/stat : 24386 (java) S 24368 24371 22074 0 -1 4202560 8113 0 0 0 89 2 0 0 20 0 22 0 12690388 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849235425336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24387] ppid=24368 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/24371/task/24387/stat : 24387 (java) S 24368 24371 22074 0 -1 4202560 6369 0 0 0 87 1 0 0 20 0 22 0 12690388 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849234372792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24388] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24388/stat : 24388 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849233320440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24389] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24389/stat : 24389 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849232268104 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24408] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24408/stat : 24408 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690663 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849229108776 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24412] ppid=24368 vsize=9824732 CPUtime=2.44 cores=0,2,4,6
/proc/24371/task/24412/stat : 24412 (java) R 24368 24371 22074 0 -1 4202560 9 0 0 0 244 0 0 0 20 0 22 0 12690763 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849230160456 139849991084451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24413] ppid=24368 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/24371/task/24413/stat : 24413 (java) R 24368 24371 22074 0 -1 4202560 34 0 0 0 242 1 0 0 20 0 22 0 12690763 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849228054808 139849990967453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24414] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24414/stat : 24414 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690763 10060525568 46324 33554432000 1073741824 1073778376 140736181079840 139849231213864 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
/proc/24371/task/24376/stat : 24376 (java) S 24368 24371 22074 0 -1 4202560 1740 0 0 0 221 9 0 0 20 0 22 0 12690384 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139850113936296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24377] ppid=24368 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/24371/task/24377/stat : 24377 (java) S 24368 24371 22074 0 -1 4202560 1480 0 0 0 222 9 0 0 20 0 22 0 12690384 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139850112883752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24378] ppid=24368 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/24371/task/24378/stat : 24378 (java) S 24368 24371 22074 0 -1 4202560 1389 0 0 0 228 9 0 0 20 0 22 0 12690384 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139850111830184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24379] ppid=24368 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/24371/task/24379/stat : 24379 (java) S 24368 24371 22074 0 -1 4202560 1928 0 0 0 216 8 0 0 20 0 22 0 12690384 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139850110777640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24380] ppid=24368 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/24371/task/24380/stat : 24380 (java) S 24368 24371 22074 0 -1 4202560 1929 0 0 0 232 9 0 0 20 0 22 0 12690384 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139850109725096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24381] ppid=24368 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/24371/task/24381/stat : 24381 (java) S 24368 24371 22074 0 -1 4202560 1953 0 0 0 246 10 0 0 20 0 22 0 12690384 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849990400552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24382] ppid=24368 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/24371/task/24382/stat : 24382 (java) S 24368 24371 22074 0 -1 4202560 428 0 0 0 212 34 0 0 20 0 22 0 12690385 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849978202728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24383] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24383/stat : 24383 (java) S 24368 24371 22074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849977149048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24384] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24384/stat : 24384 (java) S 24368 24371 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849976096392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24385] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24385/stat : 24385 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849975045136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24386] ppid=24368 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/24371/task/24386/stat : 24386 (java) S 24368 24371 22074 0 -1 4202560 8113 0 0 0 89 2 0 0 20 0 22 0 12690388 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849235425336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24387] ppid=24368 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/24371/task/24387/stat : 24387 (java) S 24368 24371 22074 0 -1 4202560 6380 0 0 0 112 1 0 0 20 0 22 0 12690388 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849234372792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24388] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24388/stat : 24388 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849233320440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24389] ppid=24368 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/24371/task/24389/stat : 24389 (java) S 24368 24371 22074 0 -1 4202560 51 0 0 0 16 13 0 0 20 0 22 0 12690388 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849232268104 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24408] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24408/stat : 24408 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690663 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849229108776 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24412] ppid=24368 vsize=9824732 CPUtime=868.05 cores=0,2,4,6
/proc/24371/task/24412/stat : 24412 (java) R 24368 24371 22074 0 -1 4202560 264 0 0 0 86790 15 0 0 20 0 22 0 12690763 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849230159248 139849990967874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24413] ppid=24368 vsize=9824732 CPUtime=868.04 cores=0,2,4,6
/proc/24371/task/24413/stat : 24413 (java) R 24368 24371 22074 0 -1 4202560 1879 0 0 0 86787 17 0 0 20 0 22 0 12690763 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849228053152 139849991187687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24414] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24414/stat : 24414 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690763 10060525568 135688 33554432000 1073741824 1073778376 140736181079840 139849231213864 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1765.6
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.501 s]
/proc/loadavg: 4.16 4.03 3.40 5/218 24551
/proc/meminfo: memFree=29393480/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 34058 0 1 0 179871 142 0 0 20 0 22 0 12690382 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2456183 138355 2294 9 0 2446860 0
[pid=24371/tid=24373] ppid=24368 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24371/task/24373/stat : 24373 (java) S 24368 24371 22074 0 -1 4202560 2440 0 1 0 29 3 0 0 20 0 22 0 12690383 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850154550136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24374] ppid=24368 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/24371/task/24374/stat : 24374 (java) S 24368 24371 22074 0 -1 4202560 1671 0 0 0 235 8 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850116041384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24375] ppid=24368 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/24371/task/24375/stat : 24375 (java) S 24368 24371 22074 0 -1 4202560 1000 0 0 0 223 8 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850114988840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24376] ppid=24368 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/24371/task/24376/stat : 24376 (java) S 24368 24371 22074 0 -1 4202560 1742 0 0 0 225 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850113936296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24377] ppid=24368 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/24371/task/24377/stat : 24377 (java) S 24368 24371 22074 0 -1 4202560 1481 0 0 0 226 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850112883752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24378] ppid=24368 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/24371/task/24378/stat : 24378 (java) S 24368 24371 22074 0 -1 4202560 1393 0 0 0 232 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850111830184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24379] ppid=24368 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/24371/task/24379/stat : 24379 (java) S 24368 24371 22074 0 -1 4202560 1932 0 0 0 219 8 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850110777640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24380] ppid=24368 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/24371/task/24380/stat : 24380 (java) S 24368 24371 22074 0 -1 4202560 1934 0 0 0 238 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850109725096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24381] ppid=24368 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/24371/task/24381/stat : 24381 (java) S 24368 24371 22074 0 -1 4202560 1959 0 0 0 250 11 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849990400552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24382] ppid=24368 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/24371/task/24382/stat : 24382 (java) S 24368 24371 22074 0 -1 4202560 430 0 0 0 212 34 0 0 20 0 22 0 12690385 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849978202728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24383] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24383/stat : 24383 (java) S 24368 24371 22074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849977149048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24384] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24384/stat : 24384 (java) S 24368 24371 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849976096392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24385] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24385/stat : 24385 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849975045136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24386] ppid=24368 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/24371/task/24386/stat : 24386 (java) S 24368 24371 22074 0 -1 4202560 8113 0 0 0 89 2 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849235425336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24387] ppid=24368 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/24371/task/24387/stat : 24387 (java) S 24368 24371 22074 0 -1 4202560 6380 0 0 0 112 1 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849234372792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24388] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24388/stat : 24388 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849233320440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24389] ppid=24368 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/24371/task/24389/stat : 24389 (java) S 24368 24371 22074 0 -1 4202560 53 0 0 0 16 14 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849232268104 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24408] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24408/stat : 24408 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690663 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849229108776 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24412] ppid=24368 vsize=9824732 CPUtime=885.1 cores=0,2,4,6
/proc/24371/task/24412/stat : 24412 (java) R 24368 24371 22074 0 -1 4202560 266 0 0 0 88495 15 0 0 20 0 22 0 12690763 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849230158432 139849990967874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24413] ppid=24368 vsize=9824732 CPUtime=885.08 cores=0,2,4,6
/proc/24371/task/24413/stat : 24413 (java) R 24368 24371 22074 0 -1 4202560 1882 0 0 0 88491 17 0 0 20 0 22 0 12690763 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849228054064 139849991187384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24414] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24414/stat : 24414 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690763 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849231213864 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 24371 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+899.501 s]
/proc/loadavg: 4.16 4.03 3.40 5/218 24551
/proc/meminfo: memFree=29393480/32872528 swapFree=446836/479540
[pid=24371] ppid=24368 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/24371/stat : 24371 (java) S 24368 24371 22074 0 -1 4202496 34058 0 1 0 179871 142 0 0 20 0 22 0 12690382 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 140736181070976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24371/statm: 2456183 138355 2294 9 0 2446860 0
[pid=24371/tid=24373] ppid=24368 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24371/task/24373/stat : 24373 (java) S 24368 24371 22074 0 -1 4202560 2440 0 1 0 29 3 0 0 20 0 22 0 12690383 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850154550136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24374] ppid=24368 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/24371/task/24374/stat : 24374 (java) S 24368 24371 22074 0 -1 4202560 1671 0 0 0 235 8 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850116041384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24375] ppid=24368 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/24371/task/24375/stat : 24375 (java) S 24368 24371 22074 0 -1 4202560 1000 0 0 0 223 8 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850114988840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24376] ppid=24368 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/24371/task/24376/stat : 24376 (java) S 24368 24371 22074 0 -1 4202560 1742 0 0 0 225 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850113936296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24377] ppid=24368 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/24371/task/24377/stat : 24377 (java) S 24368 24371 22074 0 -1 4202560 1481 0 0 0 226 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850112883752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24378] ppid=24368 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/24371/task/24378/stat : 24378 (java) S 24368 24371 22074 0 -1 4202560 1393 0 0 0 232 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850111830184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24379] ppid=24368 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/24371/task/24379/stat : 24379 (java) S 24368 24371 22074 0 -1 4202560 1932 0 0 0 219 8 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850110777640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24380] ppid=24368 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/24371/task/24380/stat : 24380 (java) S 24368 24371 22074 0 -1 4202560 1934 0 0 0 238 9 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139850109725096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24381] ppid=24368 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/24371/task/24381/stat : 24381 (java) S 24368 24371 22074 0 -1 4202560 1959 0 0 0 250 11 0 0 20 0 22 0 12690384 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849990400552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24371/tid=24382] ppid=24368 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/24371/task/24382/stat : 24382 (java) S 24368 24371 22074 0 -1 4202560 430 0 0 0 212 34 0 0 20 0 22 0 12690385 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849978202728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24383] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24383/stat : 24383 (java) S 24368 24371 22074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849977149048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24384] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24384/stat : 24384 (java) S 24368 24371 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12690386 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849976096392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24385] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24385/stat : 24385 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849975045136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24386] ppid=24368 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/24371/task/24386/stat : 24386 (java) S 24368 24371 22074 0 -1 4202560 8113 0 0 0 89 2 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849235425336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24387] ppid=24368 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/24371/task/24387/stat : 24387 (java) S 24368 24371 22074 0 -1 4202560 6380 0 0 0 112 1 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849234372792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24388] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24388/stat : 24388 (java) S 24368 24371 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849233320440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24371/tid=24389] ppid=24368 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/24371/task/24389/stat : 24389 (java) S 24368 24371 22074 0 -1 4202560 53 0 0 0 16 14 0 0 20 0 22 0 12690388 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849232268104 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24408] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24408/stat : 24408 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690663 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849229108776 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24412] ppid=24368 vsize=9824732 CPUtime=885.1 cores=0,2,4,6
/proc/24371/task/24412/stat : 24412 (java) R 24368 24371 22074 0 -1 4202560 266 0 0 0 88495 15 0 0 20 0 22 0 12690763 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849230158432 139849990967874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24371/tid=24413] ppid=24368 vsize=9824732 CPUtime=885.08 cores=0,2,4,6
/proc/24371/task/24413/stat : 24413 (java) R 24368 24371 22074 0 -1 4202560 1882 0 0 0 88491 17 0 0 20 0 22 0 12690763 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849228054064 139849991187384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24371/tid=24414] ppid=24368 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24371/task/24414/stat : 24414 (java) S 24368 24371 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12690763 10060525568 138355 33554432000 1073741824 1073778376 140736181079840 139849231213864 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24371 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=198240
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=873715
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 899.551
CPU time (s): 1800.13
CPU user time (s): 1798.71
CPU system time (s): 1.42
CPU usage (%): 200.114
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 1.87371
maximum resident set size= 570772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34101
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35687
involuntary context switches= 54182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83396 second user time and 5.99309 second system time
The end