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-4101117-1466220441/watcher-4101117-1466220441 -o /tmp/evaluation-result-4101117-1466220441/solver-4101117-1466220441 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22954 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101117-1466220441.opb
pid=27432
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.30 2.36 2.29 3/194 27435
/proc/meminfo: memFree=29918912/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 24089292 98570240 977 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 24065 977 743 9 0 16771 0
[pid=27435/tid=27436] ppid=27432 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 24089292 98570240 977 33554432000 1073741824 1073778376 140735238410160 140287943216680 213419640192 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100159 s]
/proc/loadavg: 2.30 2.36 2.29 3/194 27435
/proc/meminfo: memFree=29918912/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 4489 0 1 0 10 1 0 0 20 0 18 0 24089292 9787879424 6126 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2389619 6126 2157 9 0 2380296 0
[pid=27435/tid=27436] ppid=27432 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 2377 0 1 0 7 0 0 0 20 0 18 0 24089292 9787879424 6126 33554432000 1073741824 1073778376 140735238410160 140287943220128 140287947235498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200375 s]
/proc/loadavg: 2.30 2.36 2.29 3/194 27435
/proc/meminfo: memFree=29918912/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 5116 0 1 0 30 1 0 0 20 0 18 0 24089292 9787879424 7629 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2389619 7629 2223 9 0 2380296 0
[pid=27435/tid=27436] ppid=27432 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 2397 0 1 0 17 0 0 0 20 0 18 0 24089292 9787879424 7629 33554432000 1073741824 1073778376 140735238410160 140287943220128 140287808657786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300306 s]
/proc/loadavg: 2.30 2.36 2.29 3/194 27435
/proc/meminfo: memFree=29918912/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 9889 0 1 0 56 2 0 0 20 0 18 0 24089292 9787879424 12983 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2389619 12983 2234 9 0 2380296 0
[pid=27435/tid=27436] ppid=27432 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 2404 0 1 0 26 1 0 0 20 0 18 0 24089292 9787879424 12983 33554432000 1073741824 1073778376 140735238410160 140287943212912 140287809057639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476
[startup+0.700373 s]
/proc/loadavg: 2.30 2.36 2.29 3/194 27435
/proc/meminfo: memFree=29918912/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 11283 0 1 0 134 5 0 0 20 0 19 0 24089292 9856040960 39216 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2406260 39216 2263 9 0 2396937 0
[pid=27435/tid=27436] ppid=27432 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 2469 0 1 0 64 3 0 0 20 0 19 0 24089292 9856040960 39216 33554432000 1073741824 1073778376 140735238410160 140287943221888 140287808742600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9625040
[startup+1.50085 s]
/proc/loadavg: 2.43 2.39 2.30 3/213 27454
/proc/meminfo: memFree=29741628/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9625040 CPUtime=2.54 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 12416 0 1 0 247 7 0 0 20 0 19 0 24089292 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2406260 46380 2286 9 0 2396937 0
[pid=27435/tid=27436] ppid=27432 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 2478 0 1 0 141 3 0 0 20 0 19 0 24089292 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287943221528 140287809292345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27438] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27438/stat : 27438 (java) S 27432 27435 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287932283560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27439] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27439/stat : 27439 (java) S 27432 27435 22937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287931231016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27440] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27440/stat : 27440 (java) S 27432 27435 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287930178472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27441] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27441/stat : 27441 (java) S 27432 27435 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287929125928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27442] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27442/stat : 27442 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287928072360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27443] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27443/stat : 27443 (java) S 27432 27435 22937 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287781058856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27444] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27444/stat : 27444 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287780006312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27445] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27445/stat : 27445 (java) S 27432 27435 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287778953768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27446] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27446/stat : 27446 (java) S 27432 27435 22937 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287766755944 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27447] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27447/stat : 27447 (java) S 27432 27435 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287765702264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27448] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27448/stat : 27448 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089295 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287764649608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27449] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27449/stat : 27449 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287763598352 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27450] ppid=27432 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/27435/task/27450/stat : 27450 (java) S 27432 27435 22937 0 -1 4202560 4488 0 0 0 48 0 0 0 20 0 19 0 24089297 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287762544696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27451] ppid=27432 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27435/task/27451/stat : 27451 (java) S 27432 27435 22937 0 -1 4202560 4063 0 0 0 46 1 0 0 20 0 19 0 24089297 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287761492152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27452] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27452/stat : 27452 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287760439800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27453] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27453/stat : 27453 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287759387464 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27454] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27454/stat : 27454 (java) S 27432 27435 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24089353 9856040960 46380 33554432000 1073741824 1073778376 140735238410160 140287758333224 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9625040
[startup+3.10085 s]
/proc/loadavg: 2.43 2.39 2.30 3/213 27454
/proc/meminfo: memFree=29739280/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9625040 CPUtime=4.3 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 14092 0 1 0 423 7 0 0 20 0 19 0 24089292 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2406260 46872 2286 9 0 2396937 0
[pid=27435/tid=27436] ppid=27432 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 2480 0 1 0 301 3 0 0 20 0 19 0 24089292 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287943219600 140287809307057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27438] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27438/stat : 27438 (java) S 27432 27435 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287932283560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27439] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27439/stat : 27439 (java) S 27432 27435 22937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287931231016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27440] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27440/stat : 27440 (java) S 27432 27435 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287930178472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27441] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27441/stat : 27441 (java) S 27432 27435 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287929125928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27442] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27442/stat : 27442 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287928072360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27443] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27443/stat : 27443 (java) S 27432 27435 22937 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287781058856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27444] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27444/stat : 27444 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287780006312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27445] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27445/stat : 27445 (java) S 27432 27435 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287778953768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27446] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27446/stat : 27446 (java) S 27432 27435 22937 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287766755944 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27447] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27447/stat : 27447 (java) S 27432 27435 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287765702264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27448] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27448/stat : 27448 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089295 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287764649608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27449] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27449/stat : 27449 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287763598352 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27450] ppid=27432 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/27435/task/27450/stat : 27450 (java) S 27432 27435 22937 0 -1 4202560 4488 0 0 0 50 0 0 0 20 0 19 0 24089297 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287762544696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27451] ppid=27432 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/27435/task/27451/stat : 27451 (java) S 27432 27435 22937 0 -1 4202560 5737 0 0 0 60 1 0 0 20 0 19 0 24089297 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287761492152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27452] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27452/stat : 27452 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287760439800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27453] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27453/stat : 27453 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287759387464 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27454] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27454/stat : 27454 (java) S 27432 27435 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24089353 9856040960 46872 33554432000 1073741824 1073778376 140735238410160 140287758333224 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9625040
[startup+6.30088 s]
/proc/loadavg: 2.40 2.38 2.30 3/213 27454
/proc/meminfo: memFree=29715396/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9625040 CPUtime=7.61 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 14466 0 1 0 752 9 0 0 20 0 19 0 24089292 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2406260 54780 2286 9 0 2396937 0
[pid=27435/tid=27436] ppid=27432 vsize=9625040 CPUtime=6.19 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 2486 0 1 0 616 3 0 0 20 0 19 0 24089292 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287943221496 140287809295082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27438] ppid=27432 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/27435/task/27438/stat : 27438 (java) S 27432 27435 22937 0 -1 4202560 115 0 0 0 3 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287932283560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27439] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27439/stat : 27439 (java) S 27432 27435 22937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287931231016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27440] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27440/stat : 27440 (java) S 27432 27435 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287930178472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27441] ppid=27432 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/27435/task/27441/stat : 27441 (java) S 27432 27435 22937 0 -1 4202560 106 0 0 0 3 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287929125928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27442] ppid=27432 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/27435/task/27442/stat : 27442 (java) S 27432 27435 22937 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287928072360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27443] ppid=27432 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/27435/task/27443/stat : 27443 (java) S 27432 27435 22937 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287781058856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27444] ppid=27432 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/27435/task/27444/stat : 27444 (java) S 27432 27435 22937 0 -1 4202560 97 0 0 0 2 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287780006312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27445] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27445/stat : 27445 (java) S 27432 27435 22937 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 19 0 24089293 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287778953768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27446] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27446/stat : 27446 (java) S 27432 27435 22937 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287766755944 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27447] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27447/stat : 27447 (java) S 27432 27435 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287765702264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27448] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27448/stat : 27448 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089295 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287764649608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27449] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27449/stat : 27449 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287763598352 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27450] ppid=27432 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/27435/task/27450/stat : 27450 (java) S 27432 27435 22937 0 -1 4202560 4488 0 0 0 52 0 0 0 20 0 19 0 24089297 9856040960 54780 33554432000 1073741824 1073778376 140735238410160 140287762544696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27451] ppid=27432 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
################
# More data... #
################
[pid=27435/tid=27454] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27454/stat : 27454 (java) S 27432 27435 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24089353 9856040960 60109 33554432000 1073741824 1073778376 140735238410160 140287758333224 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1623.67
Current children cumulated vsize (KiB) 9625040
[startup+1662.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/213 27495
/proc/meminfo: memFree=26764104/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9625040 CPUtime=1684.7 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 53066 0 1 0 168310 160 0 0 20 0 19 0 24089292 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2406260 59033 2295 9 0 2396937 0
[pid=27435/tid=27436] ppid=27432 vsize=9625040 CPUtime=1645.85 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 14851 0 1 0 164546 39 0 0 20 0 19 0 24089292 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287943220480 140287809620379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27438] ppid=27432 vsize=9625040 CPUtime=4 cores=1,3,5,7
/proc/27435/task/27438/stat : 27438 (java) S 27432 27435 22937 0 -1 4202560 1987 0 0 0 388 12 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287932283560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27439] ppid=27432 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/27435/task/27439/stat : 27439 (java) S 27432 27435 22937 0 -1 4202560 1566 0 0 0 378 13 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287931231016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27440] ppid=27432 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/27435/task/27440/stat : 27440 (java) S 27432 27435 22937 0 -1 4202560 1557 0 0 0 380 14 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287930178472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27441] ppid=27432 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/27435/task/27441/stat : 27441 (java) S 27432 27435 22937 0 -1 4202560 2048 0 0 0 379 12 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287929125928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27442] ppid=27432 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/27435/task/27442/stat : 27442 (java) S 27432 27435 22937 0 -1 4202560 1337 0 0 0 384 14 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287928072360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27443] ppid=27432 vsize=9625040 CPUtime=4 cores=1,3,5,7
/proc/27435/task/27443/stat : 27443 (java) S 27432 27435 22937 0 -1 4202560 1496 0 0 0 388 12 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287781058856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27444] ppid=27432 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/27435/task/27444/stat : 27444 (java) S 27432 27435 22937 0 -1 4202560 1585 0 0 0 385 12 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287780006312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27445] ppid=27432 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/27435/task/27445/stat : 27445 (java) S 27432 27435 22937 0 -1 4202560 1243 0 0 0 363 10 0 0 20 0 19 0 24089293 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287778953768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27446] ppid=27432 vsize=9625040 CPUtime=1.71 cores=1,3,5,7
/proc/27435/task/27446/stat : 27446 (java) S 27432 27435 22937 0 -1 4202560 13382 0 0 0 151 20 0 0 20 0 19 0 24089294 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287766755944 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27447] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27447/stat : 27447 (java) S 27432 27435 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287765702264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27448] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27448/stat : 27448 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089295 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287764649608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27449] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27449/stat : 27449 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287763598352 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27450] ppid=27432 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/27435/task/27450/stat : 27450 (java) S 27432 27435 22937 0 -1 4202560 4494 0 0 0 57 0 0 0 20 0 19 0 24089297 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287762544696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27451] ppid=27432 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/27435/task/27451/stat : 27451 (java) S 27432 27435 22937 0 -1 4202560 6170 0 0 0 68 1 0 0 20 0 19 0 24089297 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287761492152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27452] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27452/stat : 27452 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287760439800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27453] ppid=27432 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/27435/task/27453/stat : 27453 (java) S 27432 27435 22937 0 -1 4202560 93 0 0 0 22 29 0 0 20 0 19 0 24089297 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287759387464 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27454] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27454/stat : 27454 (java) S 27432 27435 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24089353 9856040960 59033 33554432000 1073741824 1073778376 140735238410160 140287758333224 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1684.7
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.50 2.37 2.30 3/213 27496
/proc/meminfo: memFree=26698788/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9625040 CPUtime=1745.53 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 56158 0 1 0 174388 165 0 0 20 0 19 0 24089292 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2406260 58215 2295 9 0 2396937 0
[pid=27435/tid=27436] ppid=27432 vsize=9625040 CPUtime=1705.11 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 16064 0 1 0 170472 39 0 0 20 0 19 0 24089292 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287943220576 140287809459534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27438] ppid=27432 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/27435/task/27438/stat : 27438 (java) S 27432 27435 22937 0 -1 4202560 2025 0 0 0 403 12 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287932283560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27439] ppid=27432 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/27435/task/27439/stat : 27439 (java) S 27432 27435 22937 0 -1 4202560 1753 0 0 0 392 13 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287931231016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27440] ppid=27432 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/27435/task/27440/stat : 27440 (java) S 27432 27435 22937 0 -1 4202560 1557 0 0 0 395 15 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287930178472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27441] ppid=27432 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/27435/task/27441/stat : 27441 (java) S 27432 27435 22937 0 -1 4202560 2048 0 0 0 396 12 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287929125928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27442] ppid=27432 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/27435/task/27442/stat : 27442 (java) S 27432 27435 22937 0 -1 4202560 1395 0 0 0 401 14 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287928072360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27443] ppid=27432 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/27435/task/27443/stat : 27443 (java) S 27432 27435 22937 0 -1 4202560 1500 0 0 0 403 12 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287781058856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27444] ppid=27432 vsize=9625040 CPUtime=4.14 cores=1,3,5,7
/proc/27435/task/27444/stat : 27444 (java) S 27432 27435 22937 0 -1 4202560 1673 0 0 0 402 12 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287780006312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27445] ppid=27432 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/27435/task/27445/stat : 27445 (java) S 27432 27435 22937 0 -1 4202560 1296 0 0 0 378 11 0 0 20 0 19 0 24089293 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287778953768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27446] ppid=27432 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/27435/task/27446/stat : 27446 (java) S 27432 27435 22937 0 -1 4202560 14829 0 0 0 168 20 0 0 20 0 19 0 24089294 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287766755944 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27447] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27447/stat : 27447 (java) S 27432 27435 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287765702264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27448] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27448/stat : 27448 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089295 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287764649608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27449] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27449/stat : 27449 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287763598352 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27450] ppid=27432 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/27435/task/27450/stat : 27450 (java) S 27432 27435 22937 0 -1 4202560 4494 0 0 0 57 0 0 0 20 0 19 0 24089297 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287762544696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27451] ppid=27432 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/27435/task/27451/stat : 27451 (java) S 27432 27435 22937 0 -1 4202560 6170 0 0 0 68 1 0 0 20 0 19 0 24089297 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287761492152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27452] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27452/stat : 27452 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287760439800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27453] ppid=27432 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/27435/task/27453/stat : 27453 (java) S 27432 27435 22937 0 -1 4202560 97 0 0 0 22 31 0 0 20 0 19 0 24089297 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287759387464 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27454] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27454/stat : 27454 (java) S 27432 27435 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24089353 9856040960 58215 33554432000 1073741824 1073778376 140735238410160 140287758333224 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1745.53
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776 s]
/proc/loadavg: 2.39 2.36 2.29 4/213 27497
/proc/meminfo: memFree=26684392/32872528 swapFree=1400172/1569824
[pid=27435] ppid=27432 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/27435/stat : 27435 (java) S 27432 27435 22937 0 -1 4202496 59316 0 1 0 179837 168 0 0 20 0 19 0 24089292 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140735238401296 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27435/statm: 2406260 62173 2295 9 0 2396937 0
[pid=27435/tid=27436] ppid=27432 vsize=9625040 CPUtime=1758.15 cores=1,3,5,7
/proc/27435/task/27436/stat : 27436 (java) R 27432 27435 22937 0 -1 4202560 17495 0 1 0 175774 41 0 0 20 0 19 0 24089292 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287943220496 140287809294903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27438] ppid=27432 vsize=9625040 CPUtime=4.29 cores=1,3,5,7
/proc/27435/task/27438/stat : 27438 (java) S 27432 27435 22937 0 -1 4202560 2064 0 0 0 417 12 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287932283560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27439] ppid=27432 vsize=9625040 CPUtime=4.2 cores=1,3,5,7
/proc/27435/task/27439/stat : 27439 (java) S 27432 27435 22937 0 -1 4202560 1859 0 0 0 407 13 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287931231016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27440] ppid=27432 vsize=9625040 CPUtime=4.24 cores=1,3,5,7
/proc/27435/task/27440/stat : 27440 (java) S 27432 27435 22937 0 -1 4202560 1561 0 0 0 409 15 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287930178472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27435/tid=27441] ppid=27432 vsize=9625040 CPUtime=4.23 cores=1,3,5,7
/proc/27435/task/27441/stat : 27441 (java) S 27432 27435 22937 0 -1 4202560 2146 0 0 0 411 12 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287929125928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27442] ppid=27432 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/27435/task/27442/stat : 27442 (java) S 27432 27435 22937 0 -1 4202560 1414 0 0 0 418 14 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287928072360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27443] ppid=27432 vsize=9625040 CPUtime=4.31 cores=1,3,5,7
/proc/27435/task/27443/stat : 27443 (java) S 27432 27435 22937 0 -1 4202560 1501 0 0 0 419 12 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287781058856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27444] ppid=27432 vsize=9625040 CPUtime=4.3 cores=1,3,5,7
/proc/27435/task/27444/stat : 27444 (java) S 27432 27435 22937 0 -1 4202560 1724 0 0 0 417 13 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287780006312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27445] ppid=27432 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/27435/task/27445/stat : 27445 (java) S 27432 27435 22937 0 -1 4202560 1299 0 0 0 393 11 0 0 20 0 19 0 24089293 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287778953768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27446] ppid=27432 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/27435/task/27446/stat : 27446 (java) S 27432 27435 22937 0 -1 4202560 16231 0 0 0 179 21 0 0 20 0 19 0 24089294 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287766755944 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27447] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27447/stat : 27447 (java) S 27432 27435 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24089294 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287765702264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27448] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27448/stat : 27448 (java) S 27432 27435 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24089295 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287764649608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27449] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27449/stat : 27449 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287763598352 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27435/tid=27450] ppid=27432 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/27435/task/27450/stat : 27450 (java) S 27432 27435 22937 0 -1 4202560 4494 0 0 0 57 0 0 0 20 0 19 0 24089297 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287762544696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27451] ppid=27432 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/27435/task/27451/stat : 27451 (java) S 27432 27435 22937 0 -1 4202560 6170 0 0 0 68 1 0 0 20 0 19 0 24089297 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287761492152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27452] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27452/stat : 27452 (java) S 27432 27435 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24089297 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287760439800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27435/tid=27453] ppid=27432 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/27435/task/27453/stat : 27453 (java) S 27432 27435 22937 0 -1 4202560 101 0 0 0 23 33 0 0 20 0 19 0 24089297 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287759387464 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27435/tid=27454] ppid=27432 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27435/task/27454/stat : 27454 (java) S 27432 27435 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24089353 9856040960 62173 33554432000 1073741824 1073778376 140735238410160 140287758333224 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
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 27435 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27435 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=89256
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=121677
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1776.04
CPU time (s): 1800.05
CPU user time (s): 1798.37
CPU system time (s): 1.68
CPU usage (%): 101.352
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 2.12168
maximum resident set size= 820844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59348
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76254
involuntary context switches= 110139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5994 second user time and 13.275 second system time
The end