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-3453676-1307194011/watcher-3453676-1307194011 -o /tmp/evaluation-result-3453676-1307194011/solver-3453676-1307194011 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453676-1307194011.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.96 3.73 3.47 2/532 17974
/proc/meminfo: memFree=19128232/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 2973 0 1 0 0 0 0 0 25 0 2 0 909631915 10681323520 2675 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2607745 2689 906 9 0 2598901 0
[pid=17974/tid=17975] ppid=17972 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) R 17972 17974 13684 0 -1 4202560 7694 0 1 0 0 0 0 0 25 0 2 0 909631915 10694979584 8510 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.05689 s]
/proc/loadavg: 2.96 3.73 3.47 2/532 17974
/proc/meminfo: memFree=19128232/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10472968 CPUtime=0.04 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 11611 0 1 0 3 1 0 0 25 0 18 0 909631915 10724319232 11308 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2618242 11308 1721 9 0 2608990 0
[pid=17974/tid=17975] ppid=17972 vsize=10472968 CPUtime=0.04 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) R 17972 17974 13684 0 -1 4202560 10436 0 1 0 3 1 0 0 25 0 18 0 909631915 10724319232 11308 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 48000218783651 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10472968
[startup+0.100874 s]
/proc/loadavg: 2.96 3.73 3.47 2/532 17974
/proc/meminfo: memFree=19128232/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10540608 CPUtime=0.11 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 13119 0 1 0 9 2 0 0 25 0 18 0 909631915 10793582592 12816 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2635152 12817 2093 9 0 2625886 0
[pid=17974/tid=17975] ppid=17972 vsize=10540608 CPUtime=0.09 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) R 17972 17974 13684 0 -1 4202560 11225 0 1 0 7 2 0 0 25 0 18 0 909631915 10793582592 12817 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 48000223251252 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540608
[startup+0.300843 s]
/proc/loadavg: 2.96 3.73 3.47 2/532 17974
/proc/meminfo: memFree=19128232/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10549840 CPUtime=0.7 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 18404 0 1 0 68 2 0 0 25 0 19 0 909631915 10803036160 16743 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2637460 16743 2196 9 0 2628194 0
[pid=17974/tid=17975] ppid=17972 vsize=10549840 CPUtime=0.13 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) S 17972 17974 13684 0 -1 4202560 11632 0 1 0 11 2 0 0 25 0 19 0 909631915 10803036160 16743 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10549840
[startup+0.700844 s]
/proc/loadavg: 2.96 3.73 3.47 2/532 17974
/proc/meminfo: memFree=19128232/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10549840 CPUtime=0.96 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 20657 0 1 0 93 3 0 0 25 0 19 0 909631915 10803036160 18492 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2637460 18492 2210 9 0 2628194 0
[pid=17974/tid=17975] ppid=17972 vsize=10549840 CPUtime=0.13 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) S 17972 17974 13684 0 -1 4202560 11634 0 1 0 11 2 0 0 22 0 19 0 909631915 10803036160 18492 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10549840
[startup+1.50063 s]
/proc/loadavg: 2.96 3.73 3.47 1/551 18005
/proc/meminfo: memFree=19034360/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10551888 CPUtime=1.09 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 21932 0 1 0 106 3 0 0 25 0 19 0 909631915 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2637972 19766 2210 9 0 2628706 0
[pid=17974/tid=17975] ppid=17972 vsize=10551888 CPUtime=0.13 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) S 17972 17974 13684 0 -1 4202560 11636 0 1 0 11 2 0 0 17 0 19 0 909631915 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17977/stat : 17977 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17978] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17978/stat : 17978 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17979/stat : 17979 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17980] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17980/stat : 17980 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17981] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17981/stat : 17981 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17982] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17982/stat : 17982 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17983] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17983/stat : 17983 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17984] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17984/stat : 17984 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909631917 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17985] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17985/stat : 17985 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909631918 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 0 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17986] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17986/stat : 17986 (java) S 17972 17974 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909631918 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17987] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17987/stat : 17987 (java) S 17972 17974 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909631918 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17990] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17990/stat : 17990 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631920 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000416177 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17991] ppid=17972 vsize=10551888 CPUtime=0.25 cores=1,3,5,7
/proc/17974/task/17991/stat : 17991 (java) S 17972 17974 13684 0 -1 4202560 3856 0 0 0 25 0 0 0 18 0 19 0 909631920 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 5 0 0 0
[pid=17974/tid=17992] ppid=17972 vsize=10551888 CPUtime=0.31 cores=1,3,5,7
/proc/17974/task/17992/stat : 17992 (java) S 17972 17974 13684 0 -1 4202560 2591 0 0 0 31 0 0 0 18 0 19 0 909631920 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17993] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17993/stat : 17993 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631920 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17994] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17994/stat : 17994 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909631920 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 5 0 0 0
[pid=17974/tid=17999] ppid=17972 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17999/stat : 17999 (java) S 17972 17974 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909631929 10805133312 19766 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10551888
Solver just ended. Dumping a history of the last processes samples
[startup+1.90156 s]
/proc/loadavg: 2.96 3.73 3.47 1/551 18005
/proc/meminfo: memFree=19034360/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10555984 CPUtime=1.59 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 29218 0 1 0 155 4 0 0 25 0 19 0 909631915 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2638996 25729 2214 9 0 2629730 0
[pid=17974/tid=17975] ppid=17972 vsize=10555984 CPUtime=0.13 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) S 17972 17974 13684 0 -1 4202560 11638 0 1 0 11 2 0 0 16 0 19 0 909631915 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17977/stat : 17977 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17978] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17978/stat : 17978 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17979/stat : 17979 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17980] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17980/stat : 17980 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17981] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17981/stat : 17981 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17982] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17982/stat : 17982 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17983] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17983/stat : 17983 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17984] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17984/stat : 17984 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17985] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17985/stat : 17985 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909631918 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 0 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17986] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17986/stat : 17986 (java) S 17972 17974 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909631918 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17987] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17987/stat : 17987 (java) S 17972 17974 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909631918 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17990] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17990/stat : 17990 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631920 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000416177 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17991] ppid=17972 vsize=10555984 CPUtime=0.48 cores=1,3,5,7
/proc/17974/task/17991/stat : 17991 (java) R 17972 17974 13684 0 -1 4202560 5950 0 0 0 48 0 0 0 16 0 19 0 909631920 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 48000222464342 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17974/tid=17992] ppid=17972 vsize=10555984 CPUtime=0.42 cores=1,3,5,7
/proc/17974/task/17992/stat : 17992 (java) S 17972 17974 13684 0 -1 4202560 3705 0 0 0 42 0 0 0 15 0 19 0 909631920 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17993] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17993/stat : 17993 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631920 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17994] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17994/stat : 17994 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909631920 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 5 0 0 0
[pid=17974/tid=17999] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17999/stat : 17999 (java) S 17972 17974 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909631929 10809327616 25729 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10555984
[startup+2.10152 s]
/proc/loadavg: 2.96 3.73 3.47 4/553 18020
/proc/meminfo: memFree=18998956/32950940 swapFree=67111364/67111528
[pid=17974] ppid=17972 vsize=10555984 CPUtime=1.62 cores=1,3,5,7
/proc/17974/stat : 17974 (java) S 17972 17974 13684 0 -1 4202496 29474 0 1 0 158 4 0 0 25 0 19 0 909631915 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17974/statm: 2638996 25784 2214 9 0 2629730 0
[pid=17974/tid=17975] ppid=17972 vsize=10555984 CPUtime=0.13 cores=1,3,5,7
/proc/17974/task/17975/stat : 17975 (java) S 17972 17974 13684 0 -1 4202560 11638 0 1 0 11 2 0 0 16 0 19 0 909631915 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17977/stat : 17977 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17978] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17978/stat : 17978 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17979/stat : 17979 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17980] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17980/stat : 17980 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17981] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17981/stat : 17981 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17982] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17982/stat : 17982 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17983] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17983/stat : 17983 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17984] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17984/stat : 17984 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909631917 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 7 0 0 0
[pid=17974/tid=17985] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17985/stat : 17985 (java) S 17972 17974 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909631918 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 0 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17986] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17986/stat : 17986 (java) S 17972 17974 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909631918 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17987] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17987/stat : 17987 (java) S 17972 17974 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909631918 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17990] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17990/stat : 17990 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631920 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000416177 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17991] ppid=17972 vsize=10555984 CPUtime=0.51 cores=1,3,5,7
/proc/17974/task/17991/stat : 17991 (java) S 17972 17974 13684 0 -1 4202560 6206 0 0 0 51 0 0 0 16 0 19 0 909631920 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 5 0 0 0
[pid=17974/tid=17992] ppid=17972 vsize=10555984 CPUtime=0.42 cores=1,3,5,7
/proc/17974/task/17992/stat : 17992 (java) S 17972 17974 13684 0 -1 4202560 3705 0 0 0 42 0 0 0 15 0 19 0 909631920 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
[pid=17974/tid=17993] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17993/stat : 17993 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909631920 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000408473 0 4 0 16800975 18446604463766712512 0 0 -1 3 0 0 0
[pid=17974/tid=17994] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17994/stat : 17994 (java) S 17972 17974 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909631920 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 5 0 0 0
[pid=17974/tid=17999] ppid=17972 vsize=10555984 CPUtime=0 cores=1,3,5,7
/proc/17974/task/17999/stat : 17999 (java) S 17972 17974 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909631929 10809327616 25784 33554432000 1073741824 1073778376 140734293578720 18446744073709551615 216000409088 0 4 0 16800975 18446604463766712512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10555984
Child status: 30
Real time (s): 2.1744
CPU time (s): 1.64475
CPU user time (s): 1.59476
CPU system time (s): 0.049992
CPU usage (%): 75.6415
Max. virtual memory (cumulated for all children) (KiB): 10555984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59476
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29494
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= 257
involuntary context switches= 42
runsolver used 0.015997 second user time and 0.041993 second system time
The end