Trace number 2076518

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Mistral 1.545SAT 6.42902 6.54024

DiagnosticValue
ASSIGNMENTS7319
CHECKS41561800
NODES7319

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-8.xml
MD5SUM86b24a9ba558d9e8e32f84b5d3fc0678
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.42902
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1388
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c mistral version 1.545
6.28/6.43	s SATISFIABLE
6.28/6.43	v 1250 1194 0 1026 1036 690 1069 1173 509 772 334 421 180 253 566 22 1323 864 942 50 74 697 548 967 333 1127 639 0 1295 894 152 451 1302 249 604 1271 1187 653 356 835 342 884 493 213 1377 1295 885 1248 574 0 1362 839 917 1190 696 972 612 1143 1048 97 97 912 1290 1182 565 904 406 488 1241 152 1069 1172 859 0 817 1002 356 954 258 828 494 71 1079 856 158 0 301 1339 894 1128 381 537 762 604 222 1190 680 448 109 992 1289 1069 1224 758 669 62 1385 409 42 1013 0 473 1174 1154 262 760 611 437 342 193 249 19 635 718 939 250 1249 1101 578 0 1013 190 675 86 496 1346 954 1144 1276 423 773 941 207 1206 367 1171 0 426 65 269 485 1001 51 1294 840 973 1276 228 1082 592 74 1294 0 993 498 1097 917 348 1293 1199 478 891 1335 133 666 1340 690 42 885 612 113 1155 686 1199 0 308 628 1311 558 433 1305 250 1053 730 957 920 51 338 826 185 151 1242 1124 745 316 484 1309 916 236 442 1285 543 262 1152 421 814 1033 650 58 616 0 910 836 1151 170 1331 1006 1025 91 1239 1029 348 442 805 258 419 334 1085 770 392 419 616 1242 932 698 498 88 1127 259 1301 0 149 537 1187 1034 870 1155 339 50 787 202 152 1104 1327 718 770 970 1055 66 259 426 75 0 1199 580 881 670 834 1231 364 759 0 671 829 113 1168 476 1290 269 383 316 170 1097 548 1059 918 255 19 1251 282 0 331 916 1063 223 342 255 651 851 670 133 718 1236 1377 1034 462 587 1143 404 772 894 1030 787 640 333 543 86 104 1024 864 451 388 0 989 121 1229 1326 1108 313 222 109 992 946 509 1129 1283 0 1323 579 83 936 324 670 928 831 440 1185 191 246 1037 0 1107 855 1239 185 423 643 1155 762 1246 301 473 228 1295 488 1013 938 91 697 364 1203 669 313 1054 1276 1197 724 575 174 1138 648 406 476 761 976 75 236 1315 1295 0
6.28/6.43	d CHECKS 41561798
6.28/6.43	d ASSIGNMENTS 7319
6.28/6.43	d NODES 7319 BACKTRACKS 5541 FAILURES 5541 RUNTIME 5.85 TOTALTIME 6.31 NODES/s 1251.11 CHECKS/s 7.10458e+06

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076518-1247362925/watcher-2076518-1247362925 -o /tmp/evaluation-result-2076518-1247362925/solver-2076518-1247362925 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2076518-1247362925.xml 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 2.11 2.07 3/67 18576
/proc/meminfo: memFree=1840528/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=1076 CPUtime=0
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 43 0 0 0 0 0 0 0 20 0 1 0 23355138 1101824 29 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448525156 0 0 4096 0 0 0 0 17 1 0 0
/proc/18576/statm: 269 29 23 29 0 3 0

[startup+0.0711941 s]
/proc/loadavg: 1.98 2.11 2.07 3/67 18576
/proc/meminfo: memFree=1840528/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=8100 CPUtime=0.05
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 1240 0 0 0 5 0 0 0 18 0 1 0 23355138 8294400 1219 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157378967 0 0 4096 0 0 0 0 17 1 0 0
/proc/18576/statm: 2025 1219 378 29 0 840 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8100

[startup+0.101191 s]
/proc/loadavg: 1.98 2.11 2.07 3/67 18576
/proc/meminfo: memFree=1840528/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=8804 CPUtime=0.08
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 1399 0 0 0 8 0 0 0 18 0 1 0 23355138 9015296 1378 996147200 1448431616 1448550632 4294956208 18446744073709551615 134527224 0 0 4096 0 0 0 0 17 1 0 0
/proc/18576/statm: 2201 1378 378 29 0 1016 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8804

[startup+0.301215 s]
/proc/loadavg: 1.98 2.11 2.07 3/67 18576
/proc/meminfo: memFree=1840528/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=13080 CPUtime=0.28
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 2454 0 0 0 27 1 0 0 19 0 1 0 23355138 13393920 2433 996147200 1448431616 1448550632 4294956208 18446744073709551615 134615908 0 0 4096 0 0 0 0 17 1 0 0
/proc/18576/statm: 3270 2433 379 29 0 2085 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13080

[startup+0.701256 s]
/proc/loadavg: 1.98 2.11 2.07 3/67 18576
/proc/meminfo: memFree=1840528/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=32300 CPUtime=0.69
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 7208 0 0 0 65 4 0 0 23 0 1 0 23355138 33075200 7187 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/18576/statm: 8075 7187 420 29 0 6890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32300

[startup+1.50134 s]
/proc/loadavg: 1.98 2.11 2.07 2/68 18577
/proc/meminfo: memFree=1813256/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=32696 CPUtime=1.48
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 7309 0 0 0 144 4 0 0 25 0 1 0 23355138 33480704 7288 996147200 1448431616 1448550632 4294956208 18446744073709551615 135267136 0 0 4096 0 0 0 0 17 1 0 0
/proc/18576/statm: 8174 7288 420 29 0 6989 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32696

[startup+3.10148 s]
/proc/loadavg: 1.98 2.11 2.07 2/65 18581
/proc/meminfo: memFree=1813856/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=33092 CPUtime=3.07
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 7383 0 0 0 303 4 0 0 25 0 1 0 23355138 33886208 7362 996147200 1448431616 1448550632 4294956208 18446744073709551615 135215894 0 0 4096 0 0 0 0 17 0 0 0
/proc/18576/statm: 8273 7362 420 29 0 7088 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33092

[startup+6.30182 s]
/proc/loadavg: 1.98 2.11 2.07 5/84 18631
/proc/meminfo: memFree=1735288/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=33224 CPUtime=6.18
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 7421 0 0 0 614 4 0 0 25 0 1 0 23355138 34021376 7400 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/18576/statm: 8306 7400 420 29 0 7121 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 33224

Solver just ended. Dumping a history of the last processes samples

[startup+6.50184 s]
/proc/loadavg: 1.98 2.11 2.07 4/84 18631
/proc/meminfo: memFree=1690936/2055920 swapFree=4192812/4192956
[pid=18576] ppid=18574 vsize=29852 CPUtime=6.38
/proc/18576/stat : 18576 (ld-linux.so.2) R 18574 18576 18479 0 -1 4194304 7498 0 0 0 634 4 0 0 25 0 1 0 23355138 30568448 6685 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157378188 0 0 4096 0 0 0 0 17 0 0 0
/proc/18576/statm: 7463 6685 457 29 0 6278 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 29852

Child status: 0
Real time (s): 6.54024
CPU time (s): 6.42902
CPU user time (s): 6.37603
CPU system time (s): 0.052991
CPU usage (%): 98.2995
Max. virtual memory (cumulated for all children) (KiB): 33224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.37603
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7499
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= 24
involuntary context switches= 78

runsolver used 0.011998 second user time and 0.024996 second system time

The end

Launcher Data 

Begin job on node70 at 2009-07-12 03:42:05
IDJOB=2076518
IDBENCH=56445
IDSOLVER=769
FILE ID=node70/2076518-1247362925
PBS_JOBID= 9506991
Free space on /tmp= 66416 MiB

SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-8.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076518-1247362925/watcher-2076518-1247362925 -o /tmp/evaluation-result-2076518-1247362925/solver-2076518-1247362925 -C 1800 -W 2000 -M 900  /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2076518-1247362925.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=1187872935

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.214
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.214
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:       1840944 kB
Buffers:         45772 kB
Cached:         107296 kB
SwapCached:          0 kB
Active:         101380 kB
Inactive:        66760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2316 kB
Writeback:           0 kB
Mapped:          24816 kB
Slab:            32588 kB
Committed_AS:   136884 kB
PageTables:       1576 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= 66412 MiB
End job on node70 at 2009-07-12 03:42:11