Trace number 2076474

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 1.51377 1.51745

DiagnosticValue
ASSIGNMENTS1847
CHECKS6189600
NODES1847

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-9.xml
MD5SUMd07eba8b6417f2f1d02309d4c67c10fc
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 benchmark1.51377
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1348
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.00	c mistral version 1.545
1.39/1.41	s SATISFIABLE
1.39/1.41	v 931 218 170 78 0 1029 1301 1128 846 185 320 194 267 761 1177 466 841 594 1297 295 865 940 1272 520 139 0 915 45 542 810 1032 1126 535 322 837 1203 583 391 461 231 338 274 1150 72 1322 172 97 225 745 1190 489 1027 1221 638 712 1177 948 1347 550 617 566 391 119 358 1206 0 72 532 602 542 1127 1030 1260 757 186 934 844 674 278 523 173 1273 985 165 0 862 183 1275 1175 444 485 269 938 352 1049 1126 156 531 98 930 246 1164 1037 1259 1147 381 945 824 728 45 747 127 607 1064 926 714 1198 342 172 581 1027 315 865 1106 54 523 94 942 1206 910 0 833 183 1220 1274 1275 408 438 606 697 99 1309 0 331 341 349 1142 873 757 1064 956 1086 1169 188 844 710 1329 278 426 579 503 715 636 769 686 936 186 827 1322 1267 529 97 1127 1156 381 0 424 287 1211 1117 850 716 0 938 86 246 374 519 848 1017 602 748 65 1069 1107 305 1252 1176 663 156 1252 261 1106 141 664 1017 415 550 96 965 444 876 0 500 769 376 607 1160 712 900 1054 338 773 351 675 738 295 420 1310 215 92 0 954 1282 1182 1118 926 164 634 1333 98 668 40 0 1294 853 387 503 947 273 539 159 138 757 298 910 218 132 462 1029 1256 677 72 1104 769 254 342 0 566 947 650 485 1039 1175 221 854 137 260 88 926 627 684 835 528 139 1249 1268 1104 1176 1021 1072 761 1094 398 919 228 387 539 72 0 1120 1236 888 206 98 1322 751 426 1229 305 1062 981 539 1203 92 645 331 0 696 769 1183 765 967 278 385 692 0 352 850 1032 173 543 1319 432 1236 185 231 63 460 633 663 96 712 820 1118 367 0 594 1193 1010 158 349 919 420 269 1191 522 505 228 1273 748 148 234 97 131 877 374 1084 535 853 463 1262 708 1216 1006 594 761 1193 278 0 905 1233 1041 119 463 804 322 638 778 206 663 0 716 86 1053 367 1141 389 987 1277
1.39/1.41	d CHECKS 6189603
1.39/1.41	d ASSIGNMENTS 1847
1.39/1.41	d NODES 1847 BACKTRACKS 935 FAILURES 935 RUNTIME 0.98 TOTALTIME 1.4 NODES/s 1884.69 CHECKS/s 6.31592e+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-2076474-1247362870/watcher-2076474-1247362870 -o /tmp/evaluation-result-2076474-1247362870/solver-2076474-1247362870 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2076474-1247362870.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: 2.11 2.13 2.07 4/83 20593
/proc/meminfo: memFree=1712176/2055920 swapFree=4192812/4192956
[pid=20593] ppid=20591 vsize=4804 CPUtime=0
/proc/20593/stat : 20593 (ld-linux.so.2) R 20591 20593 16353 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 23353667 4919296 162 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448480482 0 0 4096 0 0 0 0 17 0 0 0
/proc/20593/statm: 1201 162 137 29 0 16 0

[startup+0.014128 s]
/proc/loadavg: 2.11 2.13 2.07 4/83 20593
/proc/meminfo: memFree=1712176/2055920 swapFree=4192812/4192956
[pid=20593] ppid=20591 vsize=6144 CPUtime=0
/proc/20593/stat : 20593 (ld-linux.so.2) R 20591 20593 16353 0 -1 4194304 714 0 0 0 0 0 0 0 18 0 1 0 23353667 6291456 693 996147200 1448431616 1448550632 4294956208 18446744073709551615 134533450 0 0 4096 0 0 0 0 17 0 0 0
/proc/20593/statm: 1536 695 349 29 0 351 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6144

[startup+0.102135 s]
/proc/loadavg: 2.11 2.13 2.07 4/83 20593
/proc/meminfo: memFree=1712176/2055920 swapFree=4192812/4192956
[pid=20593] ppid=20591 vsize=8888 CPUtime=0.09
/proc/20593/stat : 20593 (ld-linux.so.2) R 20591 20593 16353 0 -1 4194304 1452 0 0 0 9 0 0 0 18 0 1 0 23353667 9101312 1431 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/20593/statm: 2222 1432 378 29 0 1037 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8888

[startup+0.302154 s]
/proc/loadavg: 2.11 2.13 2.07 4/83 20593
/proc/meminfo: memFree=1712176/2055920 swapFree=4192812/4192956
[pid=20593] ppid=20591 vsize=13548 CPUtime=0.29
/proc/20593/stat : 20593 (ld-linux.so.2) R 20591 20593 16353 0 -1 4194304 2586 0 0 0 28 1 0 0 20 0 1 0 23353667 13873152 2565 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/20593/statm: 3387 2565 379 29 0 2202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13548

[startup+0.701192 s]
/proc/loadavg: 2.11 2.13 2.07 4/83 20593
/proc/meminfo: memFree=1712176/2055920 swapFree=4192812/4192956
[pid=20593] ppid=20591 vsize=32184 CPUtime=0.69
/proc/20593/stat : 20593 (ld-linux.so.2) R 20591 20593 16353 0 -1 4194304 7165 0 0 0 66 3 0 0 23 0 1 0 23353667 32956416 7144 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161275 0 0 4096 0 0 0 0 17 0 0 0
/proc/20593/statm: 8046 7144 420 29 0 6861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32184

[startup+1.50127 s]
/proc/loadavg: 2.11 2.13 2.07 3/84 20594
/proc/meminfo: memFree=1685224/2055920 swapFree=4192812/4192956
[pid=20593] ppid=20591 vsize=29732 CPUtime=1.49
/proc/20593/stat : 20593 (ld-linux.so.2) R 20591 20593 16353 0 -1 4194304 7352 0 0 0 146 3 0 0 25 0 1 0 23353667 30445568 6654 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157373584 0 0 4096 0 0 0 0 17 0 0 0
/proc/20593/statm: 7433 6654 457 29 0 6248 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29732

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

Child status: 0
Real time (s): 1.51745
CPU time (s): 1.51377
CPU user time (s): 1.47478
CPU system time (s): 0.038994
CPU usage (%): 99.7576
Max. virtual memory (cumulated for all children) (KiB): 32712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.47477
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= 7353
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= 46

runsolver used 0.002999 second user time and 0.011998 second system time

The end

Launcher Data 

Begin job on node18 at 2009-07-12 03:41:10
IDJOB=2076474
IDBENCH=56433
IDSOLVER=769
FILE ID=node18/2076474-1247362870
PBS_JOBID= 9506943
Free space on /tmp= 66292 MiB

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

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

MD5SUM BENCH= d07eba8b6417f2f1d02309d4c67c10fc
RANDOM SEED=1643631089

node18.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.243
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.243
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:       1712656 kB
Buffers:         28600 kB
Cached:         117532 kB
SwapCached:          0 kB
Active:         240752 kB
Inactive:        51776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712656 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2452 kB
Writeback:           0 kB
Mapped:         162092 kB
Slab:            35840 kB
Committed_AS:   884448 kB
PageTables:       1996 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= 66288 MiB
End job on node18 at 2009-07-12 03:41:12