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-3453999-1307194776/watcher-3453999-1307194776 -o /tmp/evaluation-result-3453999-1307194776/solver-3453999-1307194776 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453999-1307194776.opb
running on 4 cores: 0,2,4,6
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.49 2.77 3.33 3/509 23695
/proc/meminfo: memFree=20511360/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 3403 0 1 0 0 0 0 0 25 0 2 0 563668895 10694979584 3104 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2611079 3116 917 9 0 2602235 0
[pid=23695/tid=23696] ppid=23693 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 17058 0 -1 4202560 6278 0 1 0 0 0 0 0 25 0 2 0 563668896 10694979584 7094 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0503501 s]
/proc/loadavg: 2.49 2.77 3.33 3/509 23695
/proc/meminfo: memFree=20511360/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 11429 0 1 0 2 1 0 0 25 0 13 0 563668895 10718838784 11125 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2616904 11125 1684 9 0 2607652 0
[pid=23695/tid=23696] ppid=23693 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 17058 0 -1 4202560 10281 0 1 0 2 1 0 0 25 0 13 0 563668896 10718838784 11126 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 46914229623674 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467616
[startup+0.100341 s]
/proc/loadavg: 2.49 2.77 3.33 3/509 23695
/proc/meminfo: memFree=20511360/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10540176 CPUtime=0.1 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 13113 0 1 0 8 2 0 0 25 0 18 0 563668895 10793140224 12784 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2635044 12784 2092 9 0 2625778 0
[pid=23695/tid=23696] ppid=23693 vsize=10540176 CPUtime=0.08 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 17058 0 -1 4202560 11191 0 1 0 7 1 0 0 18 0 18 0 563668896 10793140224 12784 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 46914228790131 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540176
[startup+0.300282 s]
/proc/loadavg: 2.49 2.77 3.33 3/509 23695
/proc/meminfo: memFree=20511360/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10545468 CPUtime=0.43 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 15227 0 1 0 41 2 0 0 25 0 19 0 563668895 10798559232 14676 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2636367 14676 2205 9 0 2627101 0
[pid=23695/tid=23696] ppid=23693 vsize=10545468 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) S 23693 23695 17058 0 -1 4202560 12422 0 1 0 23 2 0 0 19 0 19 0 563668896 10798559232 14676 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10545468
[startup+0.700248 s]
/proc/loadavg: 2.49 2.77 3.33 3/509 23695
/proc/meminfo: memFree=20511360/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10545468 CPUtime=0.43 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 15227 0 1 0 41 2 0 0 25 0 19 0 563668895 10798559232 14676 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2636367 14676 2205 9 0 2627101 0
[pid=23695/tid=23696] ppid=23693 vsize=10545468 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) S 23693 23695 17058 0 -1 4202560 12422 0 1 0 23 2 0 0 19 0 19 0 563668896 10798559232 14676 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10545468
[startup+1.50112 s]
/proc/loadavg: 2.49 2.77 3.33 3/528 23720
/proc/meminfo: memFree=20458160/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10547264 CPUtime=0.71 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 18438 0 1 0 68 3 0 0 25 0 19 0 563668895 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2636816 16664 2219 9 0 2627550 0
[pid=23695/tid=23696] ppid=23693 vsize=10547264 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) S 23693 23695 17058 0 -1 4202560 12440 0 1 0 23 2 0 0 16 0 19 0 563668896 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23698] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23699] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23700] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23701] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23702] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23703] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23704] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23704/stat : 23704 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23705] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23705/stat : 23705 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23706] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23706/stat : 23706 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668898 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 0 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23707] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23707/stat : 23707 (java) S 23693 23695 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563668899 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23708] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23708/stat : 23708 (java) S 23693 23695 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 563668899 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23709] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23709/stat : 23709 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672485809 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23710] ppid=23693 vsize=10547264 CPUtime=0.18 cores=0,2,4,6
/proc/23695/task/23710/stat : 23710 (java) S 23693 23695 17058 0 -1 4202560 1023 0 0 0 18 0 0 0 16 0 19 0 563668901 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23711] ppid=23693 vsize=10547264 CPUtime=0.15 cores=0,2,4,6
/proc/23695/task/23711/stat : 23711 (java) S 23693 23695 17058 0 -1 4202560 2916 0 0 0 15 0 0 0 16 0 19 0 563668901 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 4 0 0 0
[pid=23695/tid=23712] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23712/stat : 23712 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23713] ppid=23693 vsize=10547264 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23713/stat : 23713 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563668901 10800398336 16664 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 10547264
Solver just ended. Dumping a history of the last processes samples
[startup+1.90104 s]
/proc/loadavg: 2.49 2.77 3.33 3/528 23720
/proc/meminfo: memFree=20458160/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10547948 CPUtime=0.95 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 19053 0 1 0 92 3 0 0 25 0 19 0 563668895 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2636987 17157 2220 9 0 2627721 0
[pid=23695/tid=23696] ppid=23693 vsize=10547948 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) S 23693 23695 17058 0 -1 4202560 12445 0 1 0 23 2 0 0 16 0 19 0 563668896 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23698] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23699] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23700] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23701] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23702] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23703] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23704] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23704/stat : 23704 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23705] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23705/stat : 23705 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23706] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23706/stat : 23706 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668898 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 0 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23707] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23707/stat : 23707 (java) S 23693 23695 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563668899 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23708] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23708/stat : 23708 (java) S 23693 23695 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 563668899 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23709] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23709/stat : 23709 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672485809 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23710] ppid=23693 vsize=10547948 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23710/stat : 23710 (java) S 23693 23695 17058 0 -1 4202560 1160 0 0 0 25 0 0 0 16 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23711] ppid=23693 vsize=10547948 CPUtime=0.24 cores=0,2,4,6
/proc/23695/task/23711/stat : 23711 (java) S 23693 23695 17058 0 -1 4202560 3209 0 0 0 24 0 0 0 16 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 4 0 0 0
[pid=23695/tid=23712] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23712/stat : 23712 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23713] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23713/stat : 23713 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10547948
[startup+2.101 s]
/proc/loadavg: 2.49 2.77 3.33 3/528 23726
/proc/meminfo: memFree=20449480/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10547948 CPUtime=0.95 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 19053 0 1 0 92 3 0 0 25 0 19 0 563668895 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2636987 17157 2220 9 0 2627721 0
[pid=23695/tid=23696] ppid=23693 vsize=10547948 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) S 23693 23695 17058 0 -1 4202560 12445 0 1 0 23 2 0 0 16 0 19 0 563668896 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23698] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23699] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23700] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23701] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23702] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23703] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23704] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23704/stat : 23704 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23705] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23705/stat : 23705 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23706] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23706/stat : 23706 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668898 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 0 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23707] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23707/stat : 23707 (java) S 23693 23695 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563668899 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23708] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23708/stat : 23708 (java) S 23693 23695 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 563668899 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23709] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23709/stat : 23709 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672485809 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23710] ppid=23693 vsize=10547948 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23710/stat : 23710 (java) S 23693 23695 17058 0 -1 4202560 1160 0 0 0 25 0 0 0 16 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23711] ppid=23693 vsize=10547948 CPUtime=0.24 cores=0,2,4,6
/proc/23695/task/23711/stat : 23711 (java) S 23693 23695 17058 0 -1 4202560 3209 0 0 0 24 0 0 0 16 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 4 0 0 0
[pid=23695/tid=23712] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23712/stat : 23712 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23713] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23713/stat : 23713 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23726] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23726/stat : 23726 (java) S 23693 23695 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 563669073 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10547948
[startup+2.21898 s]
/proc/loadavg: 2.49 2.77 3.33 3/528 23726
/proc/meminfo: memFree=20449480/32951124 swapFree=46575304/67111528
[pid=23695] ppid=23693 vsize=10547948 CPUtime=0.95 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 17058 0 -1 4202496 19053 0 1 0 92 3 0 0 25 0 19 0 563668895 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2636987 17157 2220 9 0 2627721 0
[pid=23695/tid=23696] ppid=23693 vsize=10547948 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) S 23693 23695 17058 0 -1 4202560 12445 0 1 0 23 2 0 0 16 0 19 0 563668896 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23698] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23699] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23700] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23701] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23702] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23703] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23704] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23704/stat : 23704 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23705] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23705/stat : 23705 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668897 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 0 0 0 0
[pid=23695/tid=23706] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23706/stat : 23706 (java) S 23693 23695 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668898 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 0 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23707] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23707/stat : 23707 (java) S 23693 23695 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563668899 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23708] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23708/stat : 23708 (java) S 23693 23695 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 563668899 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23709] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23709/stat : 23709 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672485809 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23710] ppid=23693 vsize=10547948 CPUtime=0.25 cores=0,2,4,6
/proc/23695/task/23710/stat : 23710 (java) S 23693 23695 17058 0 -1 4202560 1160 0 0 0 25 0 0 0 16 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23711] ppid=23693 vsize=10547948 CPUtime=0.24 cores=0,2,4,6
/proc/23695/task/23711/stat : 23711 (java) S 23693 23695 17058 0 -1 4202560 3209 0 0 0 24 0 0 0 16 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 4 0 0 0
[pid=23695/tid=23712] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23712/stat : 23712 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478105 0 4 0 16800975 18446604442974025856 0 0 -1 2 0 0 0
[pid=23695/tid=23713] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23713/stat : 23713 (java) S 23693 23695 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563668901 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
[pid=23695/tid=23726] ppid=23693 vsize=10547948 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23726/stat : 23726 (java) S 23693 23695 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 563669073 10801098752 17157 33554432000 1073741824 1073778376 140734232781536 18446744073709551615 268672478720 0 4 0 16800975 18446604442974025856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10547948
Child status: 30
Real time (s): 2.29057
CPU time (s): 0.972852
CPU user time (s): 0.933858
CPU system time (s): 0.038994
CPU usage (%): 42.472
Max. virtual memory (cumulated for all children) (KiB): 10547948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.933858
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19065
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= 242
involuntary context switches= 93
runsolver used 0.012998 second user time and 0.041993 second system time
The end