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-4103584-1466244303/watcher-4103584-1466244303 -o /tmp/evaluation-result-4103584-1466244303/solver-4103584-1466244303 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22005 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103584-1466244303.opb
pid=22614
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.28 2.24 2.19 3/194 22617
/proc/meminfo: memFree=29943324/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 26476912 98570240 977 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 24065 977 743 9 0 16771 0
[pid=22617/tid=22618] ppid=22614 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 26476913 98570240 977 33554432000 1073741824 1073778376 140736575838032 140037012139560 270707541376 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 2.28 2.24 2.19 3/194 22617
/proc/meminfo: memFree=29943324/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 4524 0 1 0 10 1 0 0 20 0 18 0 26476912 9787879424 6159 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2389619 6159 2157 9 0 2380296 0
[pid=22617/tid=22618] ppid=22614 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2403 0 1 0 7 0 0 0 20 0 18 0 26476913 9787879424 6159 33554432000 1073741824 1073778376 140736575838032 140037012143008 270710924557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200283 s]
/proc/loadavg: 2.28 2.24 2.19 3/194 22617
/proc/meminfo: memFree=29943324/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 5256 0 1 0 30 1 0 0 20 0 18 0 26476912 9787879424 7574 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2389619 7574 2227 9 0 2380296 0
[pid=22617/tid=22618] ppid=22614 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2421 0 1 0 17 0 0 0 20 0 18 0 26476913 9787879424 7574 33554432000 1073741824 1073778376 140736575838032 140037012143008 140036884322605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300289 s]
/proc/loadavg: 2.28 2.24 2.19 3/194 22617
/proc/meminfo: memFree=29943324/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 9440 0 1 0 56 2 0 0 20 0 18 0 26476912 9787879424 11966 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2389619 11966 2234 9 0 2380296 0
[pid=22617/tid=22618] ppid=22614 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2428 0 1 0 26 1 0 0 20 0 18 0 26476913 9787879424 11966 33554432000 1073741824 1073778376 140736575838032 140037012143008 140036884746715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476
[startup+0.700217 s]
/proc/loadavg: 2.28 2.24 2.19 3/194 22617
/proc/meminfo: memFree=29943324/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 12853 0 1 0 139 4 0 0 20 0 19 0 26476912 9856040960 30046 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2406260 30046 2257 9 0 2396937 0
[pid=22617/tid=22618] ppid=22614 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2470 0 1 0 65 2 0 0 20 0 19 0 26476913 9856040960 30046 33554432000 1073741824 1073778376 140736575838032 140037012144296 140036884981648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625040
[startup+1.50078 s]
/proc/loadavg: 2.28 2.24 2.19 3/213 22636
/proc/meminfo: memFree=29819668/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 13565 0 1 0 236 4 0 0 20 0 19 0 26476912 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2406260 34460 2265 9 0 2396937 0
[pid=22617/tid=22618] ppid=22614 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2481 0 1 0 145 3 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140037012144664 140036884991020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22620] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22620/stat : 22620 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036855937960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22621] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22621/stat : 22621 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036854885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22622] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22622/stat : 22622 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036853832360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22623] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22623/stat : 22623 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036852779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22624] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22624/stat : 22624 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036851726760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22625] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22625/stat : 22625 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036850674216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22626] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22626/stat : 22626 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036849621160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22627] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22627/stat : 22627 (java) S 22614 22617 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036848568616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22628] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22628/stat : 22628 (java) S 22614 22617 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26476914 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036836371304 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22629] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22629/stat : 22629 (java) S 22614 22617 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036835317624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22630] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22630/stat : 22630 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036834264456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22631] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22631/stat : 22631 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036833213200 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22632] ppid=22614 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22617/task/22632/stat : 22632 (java) S 22614 22617 21988 0 -1 4202560 4050 0 0 0 39 0 0 0 20 0 19 0 26476917 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036832160056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22633] ppid=22614 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/22617/task/22633/stat : 22633 (java) S 22614 22617 21988 0 -1 4202560 5762 0 0 0 49 0 0 0 20 0 19 0 26476917 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036831107512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22634] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22634/stat : 22634 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036830054648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22635] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22635/stat : 22635 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036829002312 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22636] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22636/stat : 22636 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476965 9856040960 34460 33554432000 1073741824 1073778376 140736575838032 140036827948584 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040
[startup+3.10077 s]
/proc/loadavg: 2.28 2.24 2.19 5/212 22701
/proc/meminfo: memFree=30006196/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 13571 0 1 0 399 5 0 0 20 0 19 0 26476912 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2406260 37532 2265 9 0 2396937 0
[pid=22617/tid=22618] ppid=22614 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2487 0 1 0 304 3 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140037012144328 140036885072818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22620] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22620/stat : 22620 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036855937960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22621] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22621/stat : 22621 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036854885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22622] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22622/stat : 22622 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036853832360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22623] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22623/stat : 22623 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036852779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22624] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22624/stat : 22624 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036851726760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22625] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22625/stat : 22625 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036850674216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22626] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22626/stat : 22626 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036849621160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22627] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22627/stat : 22627 (java) S 22614 22617 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036848568616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22628] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22628/stat : 22628 (java) S 22614 22617 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26476914 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036836371304 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22629] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22629/stat : 22629 (java) S 22614 22617 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036835317624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22630] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22630/stat : 22630 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036834264456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22631] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22631/stat : 22631 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036833213200 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22632] ppid=22614 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/22617/task/22632/stat : 22632 (java) S 22614 22617 21988 0 -1 4202560 4050 0 0 0 40 0 0 0 20 0 19 0 26476917 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036832160056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22633] ppid=22614 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/22617/task/22633/stat : 22633 (java) S 22614 22617 21988 0 -1 4202560 5762 0 0 0 52 0 0 0 20 0 19 0 26476917 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036831107512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22634] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22634/stat : 22634 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036830054648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22635] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22635/stat : 22635 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036829002312 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22636] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22636/stat : 22636 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476965 9856040960 37532 33554432000 1073741824 1073778376 140736575838032 140036827948584 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9625040
[startup+6.30077 s]
/proc/loadavg: 2.57 2.30 2.21 4/212 22765
/proc/meminfo: memFree=29585156/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9625040 CPUtime=7.3 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 13634 0 1 0 723 7 0 0 20 0 19 0 26476912 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2406260 44710 2279 9 0 2396937 0
[pid=22617/tid=22618] ppid=22614 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2499 0 1 0 621 3 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140037012143384 140036885164238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22620] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22620/stat : 22620 (java) S 22614 22617 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036855937960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22621] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22621/stat : 22621 (java) S 22614 22617 21988 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036854885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22622] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22622/stat : 22622 (java) S 22614 22617 21988 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036853832360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22623] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22623/stat : 22623 (java) S 22614 22617 21988 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036852779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22624] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22624/stat : 22624 (java) S 22614 22617 21988 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036851726760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22625] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22625/stat : 22625 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036850674216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22626] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22626/stat : 22626 (java) S 22614 22617 21988 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036849621160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22627] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22627/stat : 22627 (java) S 22614 22617 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26476913 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036848568616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22628] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22628/stat : 22628 (java) S 22614 22617 21988 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26476914 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036836371304 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22629] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22629/stat : 22629 (java) S 22614 22617 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036835317624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22630] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22630/stat : 22630 (java) S 22614 22617 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036834264456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22631] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22631/stat : 22631 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036833213200 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22632] ppid=22614 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/22617/task/22632/stat : 22632 (java) S 22614 22617 21988 0 -1 4202560 4050 0 0 0 40 0 0 0 20 0 19 0 26476917 9856040960 44710 33554432000 1073741824 1073778376 140736575838032 140036832160056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22633] ppid=22614 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
################
# More data... #
################
[pid=22617/tid=22636] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22636/stat : 22636 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476965 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036827948584 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1665.02
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/213 22809
/proc/meminfo: memFree=28642648/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9625040 CPUtime=1725.03 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 15926 0 1 0 172429 74 0 0 20 0 19 0 26476912 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2406260 114370 2280 9 0 2396937 0
[pid=22617/tid=22618] ppid=22614 vsize=9625040 CPUtime=1717.41 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2512 0 1 0 171711 30 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140037012135536 140036884823440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22620] ppid=22614 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/22617/task/22620/stat : 22620 (java) S 22614 22617 21988 0 -1 4202560 160 0 0 0 12 4 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036855937960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22621] ppid=22614 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22617/task/22621/stat : 22621 (java) S 22614 22617 21988 0 -1 4202560 351 0 0 0 18 4 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036854885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22622] ppid=22614 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/22617/task/22622/stat : 22622 (java) S 22614 22617 21988 0 -1 4202560 209 0 0 0 17 4 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036853832360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22623] ppid=22614 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22617/task/22623/stat : 22623 (java) S 22614 22617 21988 0 -1 4202560 405 0 0 0 21 4 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036852779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22624] ppid=22614 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/22617/task/22624/stat : 22624 (java) S 22614 22617 21988 0 -1 4202560 132 0 0 0 18 5 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036851726760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22625] ppid=22614 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22617/task/22625/stat : 22625 (java) S 22614 22617 21988 0 -1 4202560 281 0 0 0 16 4 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036850674216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22626] ppid=22614 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/22617/task/22626/stat : 22626 (java) S 22614 22617 21988 0 -1 4202560 204 0 0 0 15 3 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036849621160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22627] ppid=22614 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/22617/task/22627/stat : 22627 (java) S 22614 22617 21988 0 -1 4202560 409 0 0 0 17 4 0 0 20 0 19 0 26476913 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036848568616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22628] ppid=22614 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22617/task/22628/stat : 22628 (java) S 22614 22617 21988 0 -1 4202560 80 0 0 0 1 2 0 0 20 0 19 0 26476914 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036836371304 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22629] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22629/stat : 22629 (java) S 22614 22617 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036835317624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22630] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22630/stat : 22630 (java) S 22614 22617 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036834264456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22631] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22631/stat : 22631 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036833213200 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22632] ppid=22614 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/22617/task/22632/stat : 22632 (java) S 22614 22617 21988 0 -1 4202560 4050 0 0 0 40 0 0 0 20 0 19 0 26476917 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036832160056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22633] ppid=22614 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/22617/task/22633/stat : 22633 (java) S 22614 22617 21988 0 -1 4202560 5775 0 0 0 57 0 0 0 20 0 19 0 26476917 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036831107512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22634] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22634/stat : 22634 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036830054648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22635] ppid=22614 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/22617/task/22635/stat : 22635 (java) S 22614 22617 21988 0 -1 4202560 100 0 0 0 34 45 0 0 20 0 19 0 26476917 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036829002312 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22636] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22636/stat : 22636 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476965 9856040960 114370 33554432000 1073741824 1073778376 140736575838032 140036827948584 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.03
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/213 22810
/proc/meminfo: memFree=28589396/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9625040 CPUtime=1785.13 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 15960 0 1 0 178437 76 0 0 20 0 19 0 26476912 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2406260 116256 2280 9 0 2396937 0
[pid=22617/tid=22618] ppid=22614 vsize=9625040 CPUtime=1777.22 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2513 0 1 0 177691 31 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140037012143360 140036885072818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22620] ppid=22614 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/22617/task/22620/stat : 22620 (java) S 22614 22617 21988 0 -1 4202560 160 0 0 0 12 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036855937960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22621] ppid=22614 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22617/task/22621/stat : 22621 (java) S 22614 22617 21988 0 -1 4202560 358 0 0 0 20 5 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036854885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22622] ppid=22614 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/22617/task/22622/stat : 22622 (java) S 22614 22617 21988 0 -1 4202560 217 0 0 0 19 5 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036853832360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22623] ppid=22614 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22617/task/22623/stat : 22623 (java) S 22614 22617 21988 0 -1 4202560 407 0 0 0 21 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036852779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22624] ppid=22614 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/22617/task/22624/stat : 22624 (java) S 22614 22617 21988 0 -1 4202560 133 0 0 0 19 5 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036851726760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22625] ppid=22614 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/22617/task/22625/stat : 22625 (java) S 22614 22617 21988 0 -1 4202560 281 0 0 0 17 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036850674216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22626] ppid=22614 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22617/task/22626/stat : 22626 (java) S 22614 22617 21988 0 -1 4202560 213 0 0 0 18 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036849621160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22627] ppid=22614 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22617/task/22627/stat : 22627 (java) S 22614 22617 21988 0 -1 4202560 409 0 0 0 18 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036848568616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22628] ppid=22614 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22617/task/22628/stat : 22628 (java) S 22614 22617 21988 0 -1 4202560 82 0 0 0 1 2 0 0 20 0 19 0 26476914 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036836371304 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22629] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22629/stat : 22629 (java) S 22614 22617 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036835317624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22630] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22630/stat : 22630 (java) S 22614 22617 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036834264456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22631] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22631/stat : 22631 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036833213200 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22632] ppid=22614 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/22617/task/22632/stat : 22632 (java) S 22614 22617 21988 0 -1 4202560 4050 0 0 0 40 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036832160056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22633] ppid=22614 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/22617/task/22633/stat : 22633 (java) S 22614 22617 21988 0 -1 4202560 5775 0 0 0 57 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036831107512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22634] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22634/stat : 22634 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036830054648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22635] ppid=22614 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/22617/task/22635/stat : 22635 (java) S 22614 22617 21988 0 -1 4202560 104 0 0 0 36 46 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036829002312 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22636] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22636/stat : 22636 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476965 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036827948584 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.29 2.24 2.19 3/213 22810
/proc/meminfo: memFree=28579324/32872528 swapFree=1542984/1696284
[pid=22617] ppid=22614 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/22617/stat : 22617 (java) S 22614 22617 21988 0 -1 4202496 15960 0 1 0 179927 77 0 0 20 0 19 0 26476912 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140736575829168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22617/statm: 2406260 116256 2280 9 0 2396937 0
[pid=22617/tid=22618] ppid=22614 vsize=9625040 CPUtime=1792.07 cores=1,3,5,7
/proc/22617/task/22618/stat : 22618 (java) R 22614 22617 21988 0 -1 4202560 2513 0 1 0 179176 31 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140037012143360 140036885072818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22620] ppid=22614 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/22617/task/22620/stat : 22620 (java) S 22614 22617 21988 0 -1 4202560 160 0 0 0 12 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036855937960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22621] ppid=22614 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22617/task/22621/stat : 22621 (java) S 22614 22617 21988 0 -1 4202560 358 0 0 0 20 5 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036854885416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22622] ppid=22614 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/22617/task/22622/stat : 22622 (java) S 22614 22617 21988 0 -1 4202560 217 0 0 0 19 5 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036853832360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22623] ppid=22614 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22617/task/22623/stat : 22623 (java) S 22614 22617 21988 0 -1 4202560 407 0 0 0 21 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036852779816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22624] ppid=22614 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/22617/task/22624/stat : 22624 (java) S 22614 22617 21988 0 -1 4202560 133 0 0 0 19 5 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036851726760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22625] ppid=22614 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/22617/task/22625/stat : 22625 (java) S 22614 22617 21988 0 -1 4202560 281 0 0 0 17 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036850674216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22626] ppid=22614 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22617/task/22626/stat : 22626 (java) S 22614 22617 21988 0 -1 4202560 213 0 0 0 18 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036849621160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22627] ppid=22614 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22617/task/22627/stat : 22627 (java) S 22614 22617 21988 0 -1 4202560 409 0 0 0 18 4 0 0 20 0 19 0 26476913 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036848568616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22628] ppid=22614 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22617/task/22628/stat : 22628 (java) S 22614 22617 21988 0 -1 4202560 82 0 0 0 1 2 0 0 20 0 19 0 26476914 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036836371304 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22617/tid=22629] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22629/stat : 22629 (java) S 22614 22617 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036835317624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22630] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22630/stat : 22630 (java) S 22614 22617 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26476915 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036834264456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22631] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22631/stat : 22631 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036833213200 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22632] ppid=22614 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/22617/task/22632/stat : 22632 (java) S 22614 22617 21988 0 -1 4202560 4050 0 0 0 40 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036832160056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22617/tid=22633] ppid=22614 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/22617/task/22633/stat : 22633 (java) S 22614 22617 21988 0 -1 4202560 5775 0 0 0 57 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036831107512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22634] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22634/stat : 22634 (java) S 22614 22617 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036830054648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22617/tid=22635] ppid=22614 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/22617/task/22635/stat : 22635 (java) S 22614 22617 21988 0 -1 4202560 104 0 0 0 36 47 0 0 20 0 19 0 26476917 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036829002312 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22617/tid=22636] ppid=22614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22617/task/22636/stat : 22636 (java) S 22614 22617 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26476965 9856040960 116256 33554432000 1073741824 1073778376 140736575838032 140036827948584 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 22617 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 22617 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=708162
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=292803
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.23
CPU time (s): 1800.04
CPU user time (s): 1799.27
CPU system time (s): 0.77
CPU usage (%): 100.156
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.71
system time used= 1.2928
maximum resident set size= 473876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16000
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38318
involuntary context switches= 3665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2543 second user time and 13.102 second system time
The end