runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459193-1307134189/watcher-3459193-1307134189 -o /tmp/evaluation-result-3459193-1307134189/solver-3459193-1307134189 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459193-1307134189.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.82 3.38 2/404 1978
/proc/meminfo: memFree=23687460/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1978/stat : 1978 (java) R 1976 1978 31984 0 -1 4202496 798 0 0 0 0 0 0 0 25 0 1 0 825021698 23580672 542 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1978/statm: 5757 553 413 9 0 124 0
[pid=1978/tid=1979] ppid=1976 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 4395 0 1 0 0 0 0 0 25 0 2 0 825021699 13850947584 5211 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0928729 s]
/proc/loadavg: 2.07 2.82 3.38 2/404 1978
/proc/meminfo: memFree=23687460/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13621640 CPUtime=0.1 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 15402 0 1 0 8 2 0 0 25 0 18 0 825021698 13948559360 15099 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3405410 15151 2092 9 0 3396144 0
[pid=1978/tid=1979] ppid=1976 vsize=13621640 CPUtime=0.07 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 13547 0 1 0 6 1 0 0 21 0 18 0 825021699 13948559360 15151 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 47825427677189 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621640
[startup+0.104882 s]
/proc/loadavg: 2.07 2.82 3.38 2/404 1978
/proc/meminfo: memFree=23687460/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13621640 CPUtime=0.11 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 15568 0 1 0 9 2 0 0 25 0 18 0 825021698 13948559360 15265 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3405410 15266 2092 9 0 3396144 0
[pid=1978/tid=1979] ppid=1976 vsize=13621640 CPUtime=0.08 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 13662 0 1 0 7 1 0 0 21 0 18 0 825021699 13948559360 15266 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621640
[startup+0.300848 s]
/proc/loadavg: 2.07 2.82 3.38 2/404 1978
/proc/meminfo: memFree=23687460/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13625616 CPUtime=0.55 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 18727 0 1 0 53 2 0 0 25 0 19 0 825021698 13952630784 17544 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3406404 17544 2214 9 0 3397138 0
[pid=1978/tid=1979] ppid=1976 vsize=13625616 CPUtime=0.28 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 14195 0 1 0 26 2 0 0 22 0 19 0 825021699 13952630784 17544 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 46912505524509 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625616
[startup+0.700741 s]
/proc/loadavg: 2.07 2.82 3.38 2/404 1978
/proc/meminfo: memFree=23687460/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13625968 CPUtime=1.05 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 19644 0 1 0 103 2 0 0 25 0 19 0 825021698 13952991232 18429 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3406492 18429 2246 9 0 3397226 0
[pid=1978/tid=1979] ppid=1976 vsize=13625968 CPUtime=0.66 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) S 1976 1978 31984 0 -1 4202560 14397 0 1 0 64 2 0 0 18 0 19 0 825021699 13952991232 18429 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13625968
[startup+1.50063 s]
/proc/loadavg: 2.07 2.81 3.37 4/423 1997
/proc/meminfo: memFree=23621032/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13625968 CPUtime=1.89 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 20050 0 1 0 186 3 0 0 25 0 19 0 825021698 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3406492 18832 2247 9 0 3397226 0
[pid=1978/tid=1979] ppid=1976 vsize=13625968 CPUtime=1.42 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 14399 0 1 0 140 2 0 0 18 0 19 0 825021699 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 46912505538016 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1978/tid=1981] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1981/stat : 1981 (java) S 1976 1978 31984 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1982] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1982/stat : 1982 (java) S 1976 1978 31984 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1983] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1983/stat : 1983 (java) S 1976 1978 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1984] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1984/stat : 1984 (java) S 1976 1978 31984 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1985] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1985/stat : 1985 (java) S 1976 1978 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1986] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1986/stat : 1986 (java) S 1976 1978 31984 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1987] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1987/stat : 1987 (java) S 1976 1978 31984 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1988] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1988/stat : 1988 (java) S 1976 1978 31984 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1989] ppid=1976 vsize=13625968 CPUtime=0.05 cores=1,3,5,7
/proc/1978/task/1989/stat : 1989 (java) S 1976 1978 31984 0 -1 4202560 400 0 0 0 5 0 0 0 16 0 19 0 825021702 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
[pid=1978/tid=1990] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1990/stat : 1990 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825021702 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1991] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1991/stat : 1991 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 825021702 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1992] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1992/stat : 1992 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825021704 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1993] ppid=1976 vsize=13625968 CPUtime=0.19 cores=1,3,5,7
/proc/1978/task/1993/stat : 1993 (java) S 1976 1978 31984 0 -1 4202560 1803 0 0 0 19 0 0 0 15 0 19 0 825021704 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1994] ppid=1976 vsize=13625968 CPUtime=0.2 cores=1,3,5,7
/proc/1978/task/1994/stat : 1994 (java) S 1976 1978 31984 0 -1 4202560 1711 0 0 0 20 0 0 0 15 0 19 0 825021704 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1995] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1995/stat : 1995 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 825021704 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1996] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1996/stat : 1996 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825021704 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1997] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1997/stat : 1997 (java) S 1976 1978 31984 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 825021715 13952991232 18832 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13625968
[startup+3.10135 s]
/proc/loadavg: 2.07 2.81 3.37 3/423 1997
/proc/meminfo: memFree=23619044/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13625968 CPUtime=3.49 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 20329 0 1 0 346 3 0 0 25 0 19 0 825021698 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3406492 19107 2247 9 0 3397226 0
[pid=1978/tid=1979] ppid=1976 vsize=13625968 CPUtime=2.96 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 14403 0 1 0 294 2 0 0 19 0 19 0 825021699 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 46912505538793 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1978/tid=1981] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1981/stat : 1981 (java) S 1976 1978 31984 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1982] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1982/stat : 1982 (java) S 1976 1978 31984 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1983] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1983/stat : 1983 (java) S 1976 1978 31984 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1984] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1984/stat : 1984 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1985] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1985/stat : 1985 (java) S 1976 1978 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1986] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1986/stat : 1986 (java) S 1976 1978 31984 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1987] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1987/stat : 1987 (java) S 1976 1978 31984 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1988] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1988/stat : 1988 (java) S 1976 1978 31984 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1989] ppid=1976 vsize=13625968 CPUtime=0.1 cores=1,3,5,7
/proc/1978/task/1989/stat : 1989 (java) S 1976 1978 31984 0 -1 4202560 629 0 0 0 10 0 0 0 16 0 19 0 825021702 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
[pid=1978/tid=1990] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1990/stat : 1990 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825021702 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1991] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1991/stat : 1991 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 825021702 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1992] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1992/stat : 1992 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825021704 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1993] ppid=1976 vsize=13625968 CPUtime=0.19 cores=1,3,5,7
/proc/1978/task/1993/stat : 1993 (java) S 1976 1978 31984 0 -1 4202560 1803 0 0 0 19 0 0 0 15 0 19 0 825021704 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1994] ppid=1976 vsize=13625968 CPUtime=0.2 cores=1,3,5,7
/proc/1978/task/1994/stat : 1994 (java) S 1976 1978 31984 0 -1 4202560 1711 0 0 0 20 0 0 0 15 0 19 0 825021704 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1995] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1995/stat : 1995 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 825021704 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1996] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1996/stat : 1996 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825021704 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1997] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1997/stat : 1997 (java) S 1976 1978 31984 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 825021715 13952991232 19107 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13625968
[startup+6.30078 s]
/proc/loadavg: 2.07 2.81 3.37 3/423 1997
/proc/meminfo: memFree=23618128/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13625968 CPUtime=6.7 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 20374 0 1 0 667 3 0 0 25 0 19 0 825021698 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3406492 19117 2247 9 0 3397226 0
[pid=1978/tid=1979] ppid=1976 vsize=13625968 CPUtime=6.02 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 14413 0 1 0 600 2 0 0 19 0 19 0 825021699 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 46912505524487 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1978/tid=1981] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1981/stat : 1981 (java) S 1976 1978 31984 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1982] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1982/stat : 1982 (java) S 1976 1978 31984 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1983] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1983/stat : 1983 (java) S 1976 1978 31984 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1984] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1984/stat : 1984 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1985] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1985/stat : 1985 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1986] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1986/stat : 1986 (java) S 1976 1978 31984 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1987] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1987/stat : 1987 (java) S 1976 1978 31984 0 -1 4202560 122 0 0 0 0 0 0 0 16 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1988] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1988/stat : 1988 (java) S 1976 1978 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1989] ppid=1976 vsize=13625968 CPUtime=0.22 cores=1,3,5,7
/proc/1978/task/1989/stat : 1989 (java) S 1976 1978 31984 0 -1 4202560 656 0 0 0 22 0 0 0 15 0 19 0 825021702 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
[pid=1978/tid=1990] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1990/stat : 1990 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825021702 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1991] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1991/stat : 1991 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 825021702 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1992] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1992/stat : 1992 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825021704 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1993] ppid=1976 vsize=13625968 CPUtime=0.19 cores=1,3,5,7
/proc/1978/task/1993/stat : 1993 (java) S 1976 1978 31984 0 -1 4202560 1803 0 0 0 19 0 0 0 15 0 19 0 825021704 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1994] ppid=1976 vsize=13625968 CPUtime=0.2 cores=1,3,5,7
/proc/1978/task/1994/stat : 1994 (java) S 1976 1978 31984 0 -1 4202560 1711 0 0 0 20 0 0 0 15 0 19 0 825021704 13952991232 19117 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/1978/task/1982/stat : 1982 (java) S 1976 1978 31984 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1983] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1983/stat : 1983 (java) S 1976 1978 31984 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1984] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1984/stat : 1984 (java) S 1976 1978 31984 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1985] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1985/stat : 1985 (java) S 1976 1978 31984 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1986] ppid=1976 vsize=13625968 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1986/stat : 1986 (java) S 1976 1978 31984 0 -1 4202560 77 0 0 0 1 0 0 0 15 0 19 0 825021701 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1987] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1987/stat : 1987 (java) S 1976 1978 31984 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1988] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1988/stat : 1988 (java) S 1976 1978 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1989] ppid=1976 vsize=13625968 CPUtime=0.48 cores=1,3,5,7
/proc/1978/task/1989/stat : 1989 (java) S 1976 1978 31984 0 -1 4202560 726 0 0 0 47 1 0 0 15 0 19 0 825021702 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
[pid=1978/tid=1990] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1990/stat : 1990 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825021702 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1991] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1991/stat : 1991 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 825021702 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1992] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1992/stat : 1992 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825021704 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1993] ppid=1976 vsize=13625968 CPUtime=0.19 cores=1,3,5,7
/proc/1978/task/1993/stat : 1993 (java) S 1976 1978 31984 0 -1 4202560 1803 0 0 0 19 0 0 0 15 0 19 0 825021704 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1994] ppid=1976 vsize=13625968 CPUtime=0.2 cores=1,3,5,7
/proc/1978/task/1994/stat : 1994 (java) S 1976 1978 31984 0 -1 4202560 1711 0 0 0 20 0 0 0 15 0 19 0 825021704 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1995] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1995/stat : 1995 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 825021704 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1996] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1996/stat : 1996 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825021704 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1997] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1997/stat : 1997 (java) S 1976 1978 31984 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 825021715 13952991232 19195 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 13625968
Solver just ended. Dumping a history of the last processes samples
[startup+13.5015 s]
/proc/loadavg: 2.06 2.78 3.36 3/423 1997
/proc/meminfo: memFree=23617044/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13625968 CPUtime=13.92 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 20476 0 1 0 1388 4 0 0 25 0 19 0 825021698 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3406492 19199 2247 9 0 3397226 0
[pid=1978/tid=1979] ppid=1976 vsize=13625968 CPUtime=12.9 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 14433 0 1 0 1288 2 0 0 25 0 19 0 825021699 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 46912505524522 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1978/tid=1981] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1981/stat : 1981 (java) S 1976 1978 31984 0 -1 4202560 218 0 0 0 0 0 0 0 16 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1982] ppid=1976 vsize=13625968 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1982/stat : 1982 (java) S 1976 1978 31984 0 -1 4202560 69 0 0 0 1 0 0 0 15 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1983] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1983/stat : 1983 (java) S 1976 1978 31984 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1984] ppid=1976 vsize=13625968 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1984/stat : 1984 (java) S 1976 1978 31984 0 -1 4202560 12 0 0 0 1 0 0 0 16 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1985] ppid=1976 vsize=13625968 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1985/stat : 1985 (java) S 1976 1978 31984 0 -1 4202560 20 0 0 0 1 0 0 0 15 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1986] ppid=1976 vsize=13625968 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1986/stat : 1986 (java) S 1976 1978 31984 0 -1 4202560 77 0 0 0 1 0 0 0 15 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1987] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1987/stat : 1987 (java) S 1976 1978 31984 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1988] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1988/stat : 1988 (java) S 1976 1978 31984 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 19 0 825021701 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1989] ppid=1976 vsize=13625968 CPUtime=0.52 cores=1,3,5,7
/proc/1978/task/1989/stat : 1989 (java) S 1976 1978 31984 0 -1 4202560 729 0 0 0 51 1 0 0 15 0 19 0 825021702 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
[pid=1978/tid=1990] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1990/stat : 1990 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825021702 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1991] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1991/stat : 1991 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 825021702 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1992] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1992/stat : 1992 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825021704 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1993] ppid=1976 vsize=13625968 CPUtime=0.19 cores=1,3,5,7
/proc/1978/task/1993/stat : 1993 (java) S 1976 1978 31984 0 -1 4202560 1803 0 0 0 19 0 0 0 15 0 19 0 825021704 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1994] ppid=1976 vsize=13625968 CPUtime=0.2 cores=1,3,5,7
/proc/1978/task/1994/stat : 1994 (java) S 1976 1978 31984 0 -1 4202560 1711 0 0 0 20 0 0 0 15 0 19 0 825021704 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1995] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1995/stat : 1995 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 825021704 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1996] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1996/stat : 1996 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825021704 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1997] ppid=1976 vsize=13625968 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1997/stat : 1997 (java) S 1976 1978 31984 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 825021715 13952991232 19199 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 13625968
[startup+13.9014 s]
/proc/loadavg: 2.06 2.78 3.36 3/423 1997
/proc/meminfo: memFree=23617044/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13639208 CPUtime=14.39 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 25194 0 1 0 1434 5 0 0 25 0 19 0 825021698 13966548992 22076 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3409802 22076 2249 9 0 3400536 0
[pid=1978/tid=1979] ppid=1976 vsize=13639208 CPUtime=13.28 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) R 1976 1978 31984 0 -1 4202560 14436 0 1 0 1326 2 0 0 25 0 19 0 825021699 13966548992 22077 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 46912505615126 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1978/tid=1981] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1981/stat : 1981 (java) S 1976 1978 31984 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 825021701 13966548992 22077 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1982] ppid=1976 vsize=13639208 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1982/stat : 1982 (java) S 1976 1978 31984 0 -1 4202560 69 0 0 0 1 0 0 0 16 0 19 0 825021701 13966548992 22077 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1983] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1983/stat : 1983 (java) S 1976 1978 31984 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 825021701 13966548992 22077 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1984] ppid=1976 vsize=13639208 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1984/stat : 1984 (java) S 1976 1978 31984 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 19 0 825021701 13966548992 22078 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1985] ppid=1976 vsize=13639208 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1985/stat : 1985 (java) S 1976 1978 31984 0 -1 4202560 20 0 0 0 1 0 0 0 15 0 19 0 825021701 13966548992 22078 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1986] ppid=1976 vsize=13639208 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1986/stat : 1986 (java) S 1976 1978 31984 0 -1 4202560 77 0 0 0 1 0 0 0 15 0 19 0 825021701 13966548992 22078 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1987] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1987/stat : 1987 (java) S 1976 1978 31984 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 825021701 13966548992 22078 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1988] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1988/stat : 1988 (java) S 1976 1978 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825021701 13966548992 22079 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1989] ppid=1976 vsize=13639208 CPUtime=0.53 cores=1,3,5,7
/proc/1978/task/1989/stat : 1989 (java) S 1976 1978 31984 0 -1 4202560 746 0 0 0 52 1 0 0 15 0 19 0 825021702 13966548992 22079 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
[pid=1978/tid=1990] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1990/stat : 1990 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825021702 13966548992 22079 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1991] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1991/stat : 1991 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 825021702 13966548992 22080 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1992] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1992/stat : 1992 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825021704 13966548992 22080 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1993] ppid=1976 vsize=13639208 CPUtime=0.19 cores=1,3,5,7
/proc/1978/task/1993/stat : 1993 (java) S 1976 1978 31984 0 -1 4202560 1803 0 0 0 19 0 0 0 15 0 19 0 825021704 13966548992 22080 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1994] ppid=1976 vsize=13639208 CPUtime=0.27 cores=1,3,5,7
/proc/1978/task/1994/stat : 1994 (java) R 1976 1978 31984 0 -1 4202560 6413 0 0 0 26 1 0 0 15 0 19 0 825021704 13966548992 22080 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 47825426995578 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1978/tid=1995] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1995/stat : 1995 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 825021704 13966548992 22081 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1996] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1996/stat : 1996 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825021704 13966548992 22081 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1997] ppid=1976 vsize=13639208 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1997/stat : 1997 (java) S 1976 1978 31984 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 825021715 13966548992 22081 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 13639208
[startup+14.0014 s]
/proc/loadavg: 2.06 2.78 3.36 3/423 1997
/proc/meminfo: memFree=23617044/32951124 swapFree=49244120/67111528
[pid=1978] ppid=1976 vsize=13644224 CPUtime=14.6 cores=1,3,5,7
/proc/1978/stat : 1978 (java) S 1976 1978 31984 0 -1 4202496 25970 0 1 0 1455 5 0 0 25 0 20 0 825021698 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1978/statm: 3411056 22852 2249 9 0 3401790 0
[pid=1978/tid=1979] ppid=1976 vsize=13644224 CPUtime=13.38 cores=1,3,5,7
/proc/1978/task/1979/stat : 1979 (java) S 1976 1978 31984 0 -1 4202560 14440 0 1 0 1336 2 0 0 25 0 20 0 825021699 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1981] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1981/stat : 1981 (java) S 1976 1978 31984 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1982] ppid=1976 vsize=13644224 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1982/stat : 1982 (java) S 1976 1978 31984 0 -1 4202560 69 0 0 0 1 0 0 0 16 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1983] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1983/stat : 1983 (java) S 1976 1978 31984 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1984] ppid=1976 vsize=13644224 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1984/stat : 1984 (java) S 1976 1978 31984 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1985] ppid=1976 vsize=13644224 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1985/stat : 1985 (java) S 1976 1978 31984 0 -1 4202560 20 0 0 0 1 0 0 0 15 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1986] ppid=1976 vsize=13644224 CPUtime=0.01 cores=1,3,5,7
/proc/1978/task/1986/stat : 1986 (java) S 1976 1978 31984 0 -1 4202560 77 0 0 0 1 0 0 0 15 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1987] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1987/stat : 1987 (java) S 1976 1978 31984 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1988] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1988/stat : 1988 (java) S 1976 1978 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 20 0 825021701 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1989] ppid=1976 vsize=13644224 CPUtime=0.53 cores=1,3,5,7
/proc/1978/task/1989/stat : 1989 (java) S 1976 1978 31984 0 -1 4202560 746 0 0 0 52 1 0 0 15 0 20 0 825021702 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011904 0 0 -1 3 0 0 0
[pid=1978/tid=1990] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1990/stat : 1990 (java) S 1976 1978 31984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 825021702 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1991] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1991/stat : 1991 (java) S 1976 1978 31984 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 20 0 825021702 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 7 0 0 0
[pid=1978/tid=1992] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1992/stat : 1992 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 825021704 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1993] ppid=1976 vsize=13644224 CPUtime=0.2 cores=1,3,5,7
/proc/1978/task/1993/stat : 1993 (java) S 1976 1978 31984 0 -1 4202560 1817 0 0 0 20 0 0 0 15 0 20 0 825021704 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1994] ppid=1976 vsize=13644224 CPUtime=0.37 cores=1,3,5,7
/proc/1978/task/1994/stat : 1994 (java) R 1976 1978 31984 0 -1 4202560 7156 0 0 0 36 1 0 0 16 0 20 0 825021704 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 47825428530702 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1978/tid=1995] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1995/stat : 1995 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 825021704 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011904 0 0 -1 1 0 0 0
[pid=1978/tid=1996] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1996/stat : 1996 (java) S 1976 1978 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 825021704 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
[pid=1978/tid=1997] ppid=1976 vsize=13644224 CPUtime=0 cores=1,3,5,7
/proc/1978/task/1997/stat : 1997 (java) S 1976 1978 31984 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 20 0 825021715 13971685376 22852 33554432000 1073741824 1073778376 140733255817104 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 14.6
Current children cumulated vsize (KiB) 13644224
Child status: 20
Real time (s): 14.0352
CPU time (s): 14.6508
CPU user time (s): 14.5858
CPU system time (s): 0.06499
CPU usage (%): 104.386
Max. virtual memory (cumulated for all children) (KiB): 13644224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5858
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26051
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1442
involuntary context switches= 559
runsolver used 0.06399 second user time and 0.120981 second system time
The end