runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687834-1337873917/watcher-3687834-1337873917 -o /tmp/evaluation-result-3687834-1337873917/solver-3687834-1337873917 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687834-1337873917.opb
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: 3.88 3.79 3.29 2/197 26689
/proc/meminfo: memFree=29495984/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26689/stat : 26689 (java) D 26687 26689 25184 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253516088 9515008 182 33554432000 1073741824 1073778376 140733948046032 140733948037064 239237676725 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26689/statm: 2323 182 140 9 0 71 0
[startup+0.053429 s]
/proc/loadavg: 3.88 3.79 3.29 2/197 26689
/proc/meminfo: memFree=29495984/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 3031 0 1 0 2 0 0 0 20 0 13 0 253516088 9446973440 3729 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2306390 3729 1700 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100285 s]
/proc/loadavg: 3.88 3.79 3.29 2/197 26689
/proc/meminfo: memFree=29495984/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 4144 0 1 0 7 1 0 0 20 0 18 0 253516088 9787813888 5335 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2389603 5336 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300261 s]
/proc/loadavg: 3.88 3.79 3.29 2/197 26689
/proc/meminfo: memFree=29495984/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 4761 0 1 0 27 3 0 0 20 0 19 0 253516088 10060460032 7373 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2456167 7373 2215 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824668
[startup+0.700261 s]
/proc/loadavg: 3.88 3.79 3.29 2/197 26689
/proc/meminfo: memFree=29495984/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 4761 0 1 0 27 3 0 0 20 0 19 0 253516088 10060460032 7373 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2456167 7373 2215 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824668
[startup+1.50065 s]
/proc/loadavg: 3.88 3.79 3.29 4/214 26714
/proc/meminfo: memFree=29433296/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9824668 CPUtime=1.75 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 16918 0 1 0 166 9 0 0 20 0 19 0 253516088 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2456167 19024 2243 9 0 2446860 0
[pid=26689/tid=26691] ppid=26687 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26687 26689 25184 0 -1 4202560 2464 0 1 0 19 0 0 0 20 0 19 0 253516089 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623690294264 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26692] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623679355816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26693] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623678303272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26694] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623677250216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26695] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623676197672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26696] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623675144616 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26697] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623674092072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26698] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623673039016 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26699] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26687 26689 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253516090 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623526705448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26700] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253516092 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623514508136 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26701] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26687 26689 25184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253516092 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623513454456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26702] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26687 26689 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253516092 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623512401288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26703] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516095 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623511350032 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26704] ppid=26687 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26687 26689 25184 0 -1 4202560 5201 0 0 0 38 0 0 0 20 0 19 0 253516095 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623510296888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26705] ppid=26687 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/26689/task/26705/stat : 26705 (java) S 26687 26689 25184 0 -1 4202560 7930 0 0 0 50 2 0 0 20 0 19 0 253516095 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623509244344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26706] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26706/stat : 26706 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516095 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623508191480 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26707] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253516095 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623507139144 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26714] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26714/stat : 26714 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253516161 10060460032 19024 33554432000 1073741824 1073778376 140736271071920 140623503979304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 9824668
[startup+3.10073 s]
/proc/loadavg: 3.81 3.78 3.29 2/214 26720
/proc/meminfo: memFree=29419676/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9824668 CPUtime=4.47 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 21844 0 1 0 431 16 0 0 20 0 22 0 253516088 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2456167 51485 2276 9 0 2446860 0
[pid=26689/tid=26691] ppid=26687 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26687 26689 25184 0 -1 4202560 2465 0 1 0 19 0 0 0 20 0 22 0 253516089 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623690294264 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26692] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26687 26689 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623679355816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26693] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623678303272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26694] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26687 26689 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623677250216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26695] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26687 26689 25184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623676197672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26696] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26687 26689 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623675144616 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26697] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26687 26689 25184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623674092072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26698] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26687 26689 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623673039016 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26699] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26687 26689 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623526705448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26700] ppid=26687 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26687 26689 25184 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 22 0 253516092 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623514508136 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26701] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26687 26689 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623513454456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26702] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26687 26689 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623512401288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26703] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623511350032 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26704] ppid=26687 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26687 26689 25184 0 -1 4202560 7198 0 0 0 71 2 0 0 20 0 22 0 253516095 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623510296888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26705] ppid=26687 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/26689/task/26705/stat : 26705 (java) S 26687 26689 25184 0 -1 4202560 10695 0 0 0 111 2 0 0 20 0 22 0 253516095 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623509244344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26706] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26706/stat : 26706 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623508191480 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26707] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623507139144 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26714] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26714/stat : 26714 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516161 10060460032 51485 33554432000 1073741824 1073778376 140736271071920 140623503979304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 9824668
[startup+6.30081 s]
/proc/loadavg: 3.81 3.78 3.29 4/217 26723
/proc/meminfo: memFree=29286276/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9824668 CPUtime=10.8 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 22361 0 1 0 1059 21 0 0 20 0 22 0 253516088 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2456167 63598 2277 9 0 2446860 0
[pid=26689/tid=26691] ppid=26687 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26687 26689 25184 0 -1 4202560 2465 0 1 0 19 0 0 0 20 0 22 0 253516089 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623690294264 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26692] ppid=26687 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26687 26689 25184 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623679355816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26693] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26687 26689 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623678303272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26694] ppid=26687 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26687 26689 25184 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623677250216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26695] ppid=26687 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26687 26689 25184 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623676197672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26696] ppid=26687 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26687 26689 25184 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623675144616 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26697] ppid=26687 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26687 26689 25184 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623674092072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26698] ppid=26687 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26687 26689 25184 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623673039016 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26699] ppid=26687 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26687 26689 25184 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 253516090 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623526705448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26700] ppid=26687 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26687 26689 25184 0 -1 4202560 108 0 0 0 24 2 0 0 20 0 22 0 253516092 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623514508136 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26701] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26687 26689 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623513454456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26702] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26687 26689 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623512401288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26703] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623511350032 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26704] ppid=26687 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26687 26689 25184 0 -1 4202560 7289 0 0 0 81 2 0 0 20 0 22 0 253516095 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623510296888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26705] ppid=26687 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/26689/task/26705/stat : 26705 (java) S 26687 26689 25184 0 -1 4202560 10695 0 0 0 113 2 0 0 20 0 22 0 253516095 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623509244344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26706] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26706/stat : 26706 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623508191480 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26707] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623507139144 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26714] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26714/stat : 26714 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516161 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623503979304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26721] ppid=26687 vsize=9824668 CPUtime=3.69 cores=1,3,5,7
/proc/26689/task/26721/stat : 26721 (java) R 26687 26689 25184 0 -1 4202560 15 0 0 0 369 0 0 0 20 0 22 0 253516311 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623505031632 140623554872079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26722] ppid=26687 vsize=9824668 CPUtime=3.68 cores=1,3,5,7
/proc/26689/task/26722/stat : 26722 (java) R 26687 26689 25184 0 -1 4202560 340 0 0 0 366 2 0 0 20 0 22 0 253516311 10060460032 63598 33554432000 1073741824 1073778376 140736271071920 140623502925888 140623554857858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=26689/tid=26704] ppid=26687 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26687 26689 25184 0 -1 4202560 7611 0 0 0 104 2 0 0 20 0 22 0 253516095 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623510296888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26705] ppid=26687 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/26689/task/26705/stat : 26705 (java) S 26687 26689 25184 0 -1 4202560 10695 0 0 0 125 2 0 0 20 0 22 0 253516095 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623509244344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26706] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26706/stat : 26706 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623508191480 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26707] ppid=26687 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) S 26687 26689 25184 0 -1 4202560 51 0 0 0 20 16 0 0 20 0 22 0 253516095 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623507139144 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26714] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26714/stat : 26714 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516161 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623503979304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26721] ppid=26687 vsize=9824668 CPUtime=841.12 cores=1,3,5,7
/proc/26689/task/26721/stat : 26721 (java) R 26687 26689 25184 0 -1 4202560 259 0 0 0 84097 15 0 0 20 0 22 0 253516311 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623505031632 140623554781521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26722] ppid=26687 vsize=9824668 CPUtime=842.08 cores=1,3,5,7
/proc/26689/task/26722/stat : 26722 (java) R 26687 26689 25184 0 -1 4202560 4537 0 0 0 84163 45 0 0 20 0 22 0 253516311 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623502923776 140623555148337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26723] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26723/stat : 26723 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516311 10060460032 489950 33554432000 1073741824 1073778376 140736271071920 140623506084776 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1738.16
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+913.601 s]
/proc/loadavg: 4.21 4.00 3.69 5/219 26811
/proc/meminfo: memFree=25018532/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9824668 CPUtime=1800.08 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 35291 0 1 0 179744 264 0 0 20 0 22 0 253516088 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2456167 490460 2280 9 0 2446860 0
[pid=26689/tid=26691] ppid=26687 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26687 26689 25184 0 -1 4202560 2533 0 1 0 21 3 0 0 20 0 22 0 253516089 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623690294264 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26692] ppid=26687 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26687 26689 25184 0 -1 4202560 838 0 0 0 170 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623679355816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26693] ppid=26687 vsize=9824668 CPUtime=1.93 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26687 26689 25184 0 -1 4202560 667 0 0 0 181 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623678303272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26694] ppid=26687 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26687 26689 25184 0 -1 4202560 696 0 0 0 176 10 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623677250216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26695] ppid=26687 vsize=9824668 CPUtime=1.97 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26687 26689 25184 0 -1 4202560 873 0 0 0 186 11 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623676197672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26696] ppid=26687 vsize=9824668 CPUtime=1.77 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26687 26689 25184 0 -1 4202560 740 0 0 0 165 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623675144616 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26697] ppid=26687 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26687 26689 25184 0 -1 4202560 803 0 0 0 159 11 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623674092072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26698] ppid=26687 vsize=9824668 CPUtime=1.93 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26687 26689 25184 0 -1 4202560 760 0 0 0 181 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623673039016 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26699] ppid=26687 vsize=9824668 CPUtime=1.95 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26687 26689 25184 0 -1 4202560 1020 0 0 0 184 11 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623526705448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26700] ppid=26687 vsize=9824668 CPUtime=33.18 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26687 26689 25184 0 -1 4202560 1882 0 0 0 3207 111 0 0 20 0 22 0 253516092 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623514508136 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26701] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26687 26689 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623513454456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26702] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26687 26689 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623512401288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26703] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623511350032 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26704] ppid=26687 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26687 26689 25184 0 -1 4202560 7611 0 0 0 104 2 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623510296888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26705] ppid=26687 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/26689/task/26705/stat : 26705 (java) S 26687 26689 25184 0 -1 4202560 10695 0 0 0 125 2 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623509244344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26706] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26706/stat : 26706 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623508191480 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26707] ppid=26687 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) S 26687 26689 25184 0 -1 4202560 53 0 0 0 21 17 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623507139144 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26714] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26714/stat : 26714 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516161 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623503979304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26721] ppid=26687 vsize=9824668 CPUtime=871.42 cores=1,3,5,7
/proc/26689/task/26721/stat : 26721 (java) R 26687 26689 25184 0 -1 4202560 259 0 0 0 87126 16 0 0 20 0 22 0 253516311 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623505031632 140623554816751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26722] ppid=26687 vsize=9824668 CPUtime=872.51 cores=1,3,5,7
/proc/26689/task/26722/stat : 26722 (java) R 26687 26689 25184 0 -1 4202560 4537 0 0 0 87205 46 0 0 20 0 22 0 253516311 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623502923776 140623555148288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26723] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26723/stat : 26723 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516311 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623506084776 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1796.16 s) is less than in the last sample (1800.08 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.91992 s) to the 'lost time'.
[startup+913.601 s]
/proc/loadavg: 4.21 4.00 3.69 5/219 26811
/proc/meminfo: memFree=25018532/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=9824668 CPUtime=1800.08 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26687 26689 25184 0 -1 4202496 35291 0 1 0 179744 264 0 0 20 0 22 0 253516088 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140736271063056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 2456167 490460 2280 9 0 2446860 0
[pid=26689/tid=26691] ppid=26687 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26687 26689 25184 0 -1 4202560 2533 0 1 0 21 3 0 0 20 0 22 0 253516089 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623690294264 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26692] ppid=26687 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26687 26689 25184 0 -1 4202560 838 0 0 0 170 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623679355816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26693] ppid=26687 vsize=9824668 CPUtime=1.93 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26687 26689 25184 0 -1 4202560 667 0 0 0 181 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623678303272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26694] ppid=26687 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26687 26689 25184 0 -1 4202560 696 0 0 0 176 10 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623677250216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26695] ppid=26687 vsize=9824668 CPUtime=1.97 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26687 26689 25184 0 -1 4202560 873 0 0 0 186 11 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623676197672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26696] ppid=26687 vsize=9824668 CPUtime=1.77 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26687 26689 25184 0 -1 4202560 740 0 0 0 165 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623675144616 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26697] ppid=26687 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26687 26689 25184 0 -1 4202560 803 0 0 0 159 11 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623674092072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26698] ppid=26687 vsize=9824668 CPUtime=1.93 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26687 26689 25184 0 -1 4202560 760 0 0 0 181 12 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623673039016 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26699] ppid=26687 vsize=9824668 CPUtime=1.95 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26687 26689 25184 0 -1 4202560 1020 0 0 0 184 11 0 0 20 0 22 0 253516090 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623526705448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26700] ppid=26687 vsize=9824668 CPUtime=33.18 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26687 26689 25184 0 -1 4202560 1882 0 0 0 3207 111 0 0 20 0 22 0 253516092 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623514508136 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26701] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26687 26689 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623513454456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26702] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26687 26689 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253516092 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623512401288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26703] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623511350032 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26704] ppid=26687 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26687 26689 25184 0 -1 4202560 7611 0 0 0 104 2 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623510296888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26689/tid=26705] ppid=26687 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/26689/task/26705/stat : 26705 (java) S 26687 26689 25184 0 -1 4202560 10695 0 0 0 125 2 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623509244344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26706] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26706/stat : 26706 (java) S 26687 26689 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623508191480 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26689/tid=26707] ppid=26687 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) S 26687 26689 25184 0 -1 4202560 53 0 0 0 21 17 0 0 20 0 22 0 253516095 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623507139144 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26714] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26714/stat : 26714 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516161 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623503979304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26721] ppid=26687 vsize=9824668 CPUtime=871.42 cores=1,3,5,7
/proc/26689/task/26721/stat : 26721 (java) R 26687 26689 25184 0 -1 4202560 259 0 0 0 87126 16 0 0 20 0 22 0 253516311 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623505031632 140623554816751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26689/tid=26722] ppid=26687 vsize=9824668 CPUtime=872.51 cores=1,3,5,7
/proc/26689/task/26722/stat : 26722 (java) R 26687 26689 25184 0 -1 4202560 4537 0 0 0 87205 46 0 0 20 0 22 0 253516311 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623502923776 140623555148288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26689/tid=26723] ppid=26687 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26723/stat : 26723 (java) S 26687 26689 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253516311 10060460032 490460 33554432000 1073741824 1073778376 140736271071920 140623506084776 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824668
[startup+913.713 s]
/proc/loadavg: 4.21 4.00 3.69 5/219 26811
/proc/meminfo: memFree=25018532/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=0 CPUtime=1796.16 cores=1,3,5,7
/proc/26689/stat : 26689 (java) Z 26687 26689 25184 0 -1 4203532 35322 0 1 0 179300 316 0 0 20 0 2 0 253516088 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 0 0 0 0 0 0 0
[pid=26689/tid=26693] ppid=26687 vsize=0 CPUtime=1.94 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) R 26687 26689 25184 0 -1 4203588 667 0 0 0 181 13 0 0 20 0 2 0 253516090 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+913.713 s]
/proc/loadavg: 4.21 4.00 3.69 5/219 26811
/proc/meminfo: memFree=25018532/32873844 swapFree=7388/7388
[pid=26689] ppid=26687 vsize=0 CPUtime=1796.16 cores=1,3,5,7
/proc/26689/stat : 26689 (java) Z 26687 26689 25184 0 -1 4203532 35322 0 1 0 179300 316 0 0 20 0 2 0 253516088 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26689/statm: 0 0 0 0 0 0 0
[pid=26689/tid=26693] ppid=26687 vsize=0 CPUtime=1.94 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) R 26687 26689 25184 0 -1 4203588 667 0 0 0 181 13 0 0 20 0 2 0 253516090 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 0
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3.91992
# lost CPU user time (s): 4.43994
# lost CPU system time (s): -0.52
Real time (s): 913.717
CPU time (s): 1800.1
CPU user time (s): 1797.44
CPU system time (s): 2.66152
CPU usage (%): 197.008
Max. virtual memory (cumulated for all children) (KiB): 9824928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793
system time used= 3.18152
maximum resident set size= 1976828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35322
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28871
involuntary context switches= 37581
runsolver used 3.53146 second user time and 8.99363 second system time
The end