0.00/0.02 c bpsolver version 6.27.2008
0.00/0.02 c converting(HOME/instance-1066942-1215149605)
0.59/0.61 c Converted in 170 ms
0.59/0.61 c solving(HOME/instance-1066942-1215149605,1800000)
484.10/488.53 c (ffc_inout)
484.10/488.53 s SATISFIABLE
484.10/488.53 v 0 19 0 11 0 13 19 0 1 0 17 14 13 8 0 11 4 11 4 6 0 13 2 4 3 4 18 14 11 0 19 4
484.10/488.53
484.10/488.53 c Time=483473 ms
484.10/488.53
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1066942-1215149605/watcher-1066942-1215149605 -o /tmp/evaluation-result-1066942-1215149605/solver-1066942-1215149605 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1066942-1215149605 1800
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.14 2.05 4/74 20913
/proc/meminfo: memFree=1576480/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=4780 CPUtime=0
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 356 0 0 0 0 0 0 0 20 0 1 0 1993929327 4894720 74 996147200 134512640 134990860 4294956112 18446744073709551615 9494158 0 0 4096 0 0 0 0 17 1 0 0
/proc/20913/statm: 1195 74 58 116 0 706 0
[startup+0.129208 s]
/proc/loadavg: 2.07 2.14 2.05 4/74 20913
/proc/meminfo: memFree=1576480/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=56080 CPUtime=0.11
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 1104 0 0 0 4 7 0 0 20 0 1 0 1993929327 57425920 817 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/20913/statm: 14020 817 174 116 0 13531 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 56080
[startup+0.201217 s]
/proc/loadavg: 2.07 2.14 2.05 4/74 20913
/proc/meminfo: memFree=1576480/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=56080 CPUtime=0.18
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 1113 0 0 0 6 12 0 0 20 0 1 0 1993929327 57425920 826 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/20913/statm: 14020 826 174 116 0 13531 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 56080
[startup+0.301235 s]
/proc/loadavg: 2.07 2.14 2.05 4/74 20913
/proc/meminfo: memFree=1576480/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=56080 CPUtime=0.28
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 1125 0 0 0 9 19 0 0 21 0 1 0 1993929327 57425920 838 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/20913/statm: 14020 838 174 116 0 13531 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56080
[startup+0.701308 s]
/proc/loadavg: 2.07 2.14 2.05 4/74 20913
/proc/meminfo: memFree=1576480/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=64076 CPUtime=0.68
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 2094 0 0 0 26 42 0 0 25 0 1 0 1993929327 65613824 1805 996147200 134512640 134990860 4294956112 18446744073709551615 134668468 0 0 4096 2 0 0 0 17 1 0 0
/proc/20913/statm: 16019 1805 179 116 0 15530 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 64076
[startup+1.50145 s]
/proc/loadavg: 2.07 2.14 2.05 3/75 20914
/proc/meminfo: memFree=1565400/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=64200 CPUtime=1.47
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 4063 0 0 0 104 43 0 0 25 0 1 0 1993929327 65740800 3727 996147200 134512640 134990860 4294956112 18446744073709551615 134746533 0 0 4096 2 0 0 0 17 1 0 0
/proc/20913/statm: 16050 3727 186 116 0 15561 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 64200
[startup+3.10174 s]
/proc/loadavg: 2.07 2.14 2.05 3/75 20914
/proc/meminfo: memFree=1554648/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=3.06
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9780 0 0 0 260 46 0 0 25 0 2 0 1993929327 91533312 9004 996147200 134512640 134990860 4294956112 18446744073709551615 134716955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9004 193 116 0 21858 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 89388
[startup+6.30547 s]
/proc/loadavg: 2.06 2.14 2.05 3/76 20915
/proc/meminfo: memFree=1540432/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=6.23
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 577 46 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134716880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 89388
[startup+12.7015 s]
/proc/loadavg: 2.06 2.13 2.05 3/76 20915
/proc/meminfo: memFree=1540176/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=12.57
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 1211 46 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746363 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 89388
[startup+25.5018 s]
/proc/loadavg: 2.05 2.13 2.05 3/76 20915
/proc/meminfo: memFree=1539792/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=25.25
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 2479 46 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746451 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 89388
[startup+51.1014 s]
/proc/loadavg: 2.03 2.12 2.04 3/76 20915
/proc/meminfo: memFree=1538960/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=50.62
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 5015 47 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746487 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 89388
[startup+102.303 s]
/proc/loadavg: 2.01 2.10 2.04 3/76 20915
/proc/meminfo: memFree=1536912/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=101.35
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 10088 47 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134716894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 89388
[startup+162.301 s]
/proc/loadavg: 2.00 2.08 2.03 3/76 20915
/proc/meminfo: memFree=1534800/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=160.79
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 16032 47 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134716955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (KiB) 89388
[startup+222.306 s]
/proc/loadavg: 2.00 2.06 2.03 3/76 20915
/proc/meminfo: memFree=1532816/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=220.27
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 21980 47 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134716896 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.27
Current children cumulated vsize (KiB) 89388
[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/76 20915
/proc/meminfo: memFree=1530832/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=279.74
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 27927 47 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746451 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (KiB) 89388
[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.02 3/76 20917
/proc/meminfo: memFree=1529040/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=339.2
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 33872 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.2
Current children cumulated vsize (KiB) 89388
[startup+402.303 s]
/proc/loadavg: 2.00 2.03 2.01 3/76 20917
/proc/meminfo: memFree=1527440/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=398.67
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 39819 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746342 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.67
Current children cumulated vsize (KiB) 89388
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1526096/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=458.13
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 45765 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746419 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.13
Current children cumulated vsize (KiB) 89388
Solver just ended. Dumping a history of the last processes samples
[startup+473.602 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525840/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=469.33
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 46885 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746342 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 469.33
Current children cumulated vsize (KiB) 89388
[startup+480.001 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525648/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=475.67
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 47519 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134716935 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.67
Current children cumulated vsize (KiB) 89388
[startup+483.202 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525584/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=478.85
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 47837 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 478.85
Current children cumulated vsize (KiB) 89388
[startup+486.402 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525520/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=482.02
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 48154 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 482.02
Current children cumulated vsize (KiB) 89388
[startup+487.202 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525520/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=482.81
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 48233 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746363 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 482.81
Current children cumulated vsize (KiB) 89388
[startup+488.002 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525456/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=483.61
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 48313 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746442 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 483.61
Current children cumulated vsize (KiB) 89388
[startup+488.402 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525456/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=484
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 48352 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 484
Current children cumulated vsize (KiB) 89388
[startup+488.507 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20917
/proc/meminfo: memFree=1525456/2055920 swapFree=4110824/4192956
[pid=20913] ppid=20911 vsize=89388 CPUtime=484.1
/proc/20913/stat : 20913 (bprolog) R 20911 20913 18713 0 -1 4194304 9782 0 0 0 48362 48 0 0 25 0 2 0 1993929327 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 134746429 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20913/statm: 22347 9006 193 116 0 21858 0
[pid=20913/tid=20915] ppid=20911 vsize=89388 CPUtime=0
/proc/20913/task/20915/stat : 20915 (bprolog) S 20911 20913 18713 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1993929562 91533312 9006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 484.1
Current children cumulated vsize (KiB) 89388
Child status: 0
Real time (s): 488.546
CPU time (s): 484.152
CPU user time (s): 483.658
CPU system time (s): 0.493924
CPU usage (%): 99.1006
Max. virtual memory (cumulated for all children) (KiB): 89388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.658
system time used= 0.493924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 10119
runsolver used 0.637903 second user time and 1.45178 second system time
The end
Begin job on node70 at 2008-07-04 07:33:25
IDJOB=1066942
IDBENCH=55153
IDSOLVER=347
FILE ID=node70/1066942-1215149605
PBS_JOBID= 7877374
Free space on /tmp= 66376 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg4-8_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1066942-1215149605/watcher-1066942-1215149605 -o /tmp/evaluation-result-1066942-1215149605/solver-1066942-1215149605 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1066942-1215149605 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a7715be9ecd59779c269bf6066fd7c0a
RANDOM SEED=1646005821
node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1576896 kB
Buffers: 17980 kB
Cached: 183172 kB
SwapCached: 76424 kB
Active: 387408 kB
Inactive: 36424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1576896 kB
SwapTotal: 4192956 kB
SwapFree: 4110824 kB
Dirty: 1592 kB
Writeback: 0 kB
Mapped: 229332 kB
Slab: 40152 kB
Committed_AS: 4236720 kB
PageTables: 2204 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66376 MiB
End job on node70 at 2008-07-04 07:41:33