Trace number 2065753

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
pcs-restart 0.3.2SAT 1.89171 1.90819

DiagnosticValue
ASSIGNMENTS64

General information on the benchmark

Namecsp/os-taillard-15/
normalized-os-taillard-15-105-9.xml
MD5SUMf3a501a01b9bc5992030d707bcd8787f
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 benchmark0.377941
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size982
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 929969902
0.00/0.02	c Constructing HOME/instance-2065753-1247703836.xml  with 22050 constraints
0.27/0.34	c Solving 64 backtracks 2 restarts
1.86/1.90	s SATISFIABLE
1.86/1.90	c V0=456, V1=13, V2=408, V3=111, V4=370, V5=0, V6=894, V7=711, V8=901, V9=284, V10=794, V11=666, V12=206, V13=523, V14=609, V15=717, V16=0, V17=443, V18=757, V19=349, V20=850, V21=914, V22=240, V23=531, V24=111, V25=158, V26=189, V27=814, V28=56, V29=630, V30=400, V31=818, V32=536, V33=845, V34=246, V35=975, V36=885, V37=563, V38=725, V39=547, V40=927, V41=145, V42=443, V43=653, V44=0, V45=812, V46=489, V47=809, V48=443, V49=382, V50=682, V51=206, V52=919, V53=0, V54=59, V55=902, V56=304, V57=732, V58=959, V59=148, V60=725, V61=676, V62=178, V63=365, V64=563, V65=881, V66=626, V67=902, V68=129, V69=825, V70=0, V71=237, V72=93, V73=631, V74=420, V75=905, V76=310, V77=726, V78=840, V79=656, V80=170, V81=45, V82=556, V83=273, V84=59, V85=370, V86=459, V87=963, V88=130, V89=974, V90=13, V91=354, V92=463, V93=917, V94=599, V95=98, V96=206, V97=822, V98=412, V99=733, V100=489, V101=667, V102=559, V103=462, V104=284, V105=906, V106=89, V107=199, V108=129, V109=841, V110=800, V111=0, V112=352, V113=310, V114=667, V115=284, V116=459, V117=464, V118=556, V119=811, V120=784, V121=253, V122=888, V123=284, V124=0, V125=209, V126=524, V127=727, V128=70, V129=420, V130=141, V131=903, V132=161, V133=602, V134=443, V135=806, V136=579, V137=710, V138=436, V139=881, V140=209, V141=0, V142=58, V143=148, V144=535, V145=668, V146=897, V147=289, V148=239, V149=352, V150=870, V151=208, V152=740, V153=243, V154=512, V155=809, V156=196, V157=390, V158=69, V159=130, V160=842, V161=92, V162=0, V163=599, V164=902, V165=682, V166=136, V167=189, V168=912, V169=109, V170=488, V171=350, V172=624, V173=239, V174=822, V175=894, V176=32, V177=883, V178=451, V179=304, V180=783, V181=824, V182=400, V183=717, V184=314, V185=493, V186=866, V187=0, V188=886, V189=954, V190=67, V191=124, V192=775, V193=188, V194=572, V195=608, V196=805, V197=455, V198=711, V199=262, V200=787, V201=630, V202=883, V203=362, V204=89, V205=0, V206=188, V207=510, V208=74, V209=133, V210=903, V211=781, V212=596, V213=0, V214=701, V215=299, V216=824, V217=178, V218=145, V219=602, V220=58, V221=879, V222=239, V223=351, V224=524, 
1.86/1.90	v 456 13 408 111 370 0 894 711 901 284 794 666 206 523 609 717 0 443 757 349 850 914 240 531 111 158 189 814 56 630 400 818 536 845 246 975 885 563 725 547 927 145 443 653 0 812 489 809 443 382 682 206 919 0 59 902 304 732 959 148 725 676 178 365 563 881 626 902 129 825 0 237 93 631 420 905 310 726 840 656 170 45 556 273 59 370 459 963 130 974 13 354 463 917 599 98 206 822 412 733 489 667 559 462 284 906 89 199 129 841 800 0 352 310 667 284 459 464 556 811 784 253 888 284 0 209 524 727 70 420 141 903 161 602 443 806 579 710 436 881 209 0 58 148 535 668 897 289 239 352 870 208 740 243 512 809 196 390 69 130 842 92 0 599 902 682 136 189 912 109 488 350 624 239 822 894 32 883 451 304 783 824 400 717 314 493 866 0 886 954 67 124 775 188 572 608 805 455 711 262 787 630 883 362 89 0 188 510 74 133 903 781 596 0 701 299 824 178 145 602 58 879 239 351 524 
1.86/1.90	d ASSIGNMENTS 64

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-2065753-1247703836/watcher-2065753-1247703836 -o /tmp/evaluation-result-2065753-1247703836/solver-2065753-1247703836 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 929969902 HOME/instance-2065753-1247703836.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.99 2.71 2.30 4/81 15468
/proc/meminfo: memFree=1243120/2055920 swapFree=4192812/4192956
[pid=15468] ppid=15466 vsize=18576 CPUtime=0
/proc/15468/stat : 15468 (runsolver) R 15466 15468 14589 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57447085 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 273653755175 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15468/statm: 4644 284 249 26 0 2626 0

[startup+0.0187889 s]
/proc/loadavg: 2.99 2.71 2.30 4/81 15468
/proc/meminfo: memFree=1243120/2055920 swapFree=4192812/4192956
[pid=15468] ppid=15466 vsize=5356 CPUtime=0
/proc/15468/stat : 15468 (pcssolve) S 15466 15468 14589 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 57447085 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15468/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101775 s]
/proc/loadavg: 2.99 2.71 2.30 4/81 15468
/proc/meminfo: memFree=1243120/2055920 swapFree=4192812/4192956
[pid=15468] ppid=15466 vsize=6524 CPUtime=0.07
/proc/15468/stat : 15468 (pcs.big) R 15466 15468 14589 0 -1 4194304 1339 661 0 0 7 0 0 0 21 0 1 0 57447085 6680576 860 996147200 134512640 135215973 4294956304 18446744073709551615 134710178 0 0 4096 0 0 0 0 17 0 0 0
/proc/15468/statm: 1631 860 388 171 0 556 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6524

[startup+0.30179 s]
/proc/loadavg: 2.99 2.71 2.30 4/81 15468
/proc/meminfo: memFree=1243120/2055920 swapFree=4192812/4192956
[pid=15468] ppid=15466 vsize=12328 CPUtime=0.27
/proc/15468/stat : 15468 (pcs.big) R 15466 15468 14589 0 -1 4194304 3097 661 0 0 27 0 0 0 23 0 1 0 57447085 12623872 1937 996147200 134512640 135215973 4294956304 18446744073709551615 134846299 0 0 4096 0 0 0 0 17 0 0 0
/proc/15468/statm: 3082 1937 388 171 0 2007 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12328

[startup+0.701815 s]
/proc/loadavg: 2.99 2.71 2.30 4/81 15468
/proc/meminfo: memFree=1243120/2055920 swapFree=4192812/4192956
[pid=15468] ppid=15466 vsize=18448 CPUtime=0.67
/proc/15468/stat : 15468 (pcs.big) R 15466 15468 14589 0 -1 4194304 5309 661 0 0 66 1 0 0 25 0 1 0 57447085 18890752 3587 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/15468/statm: 4612 3587 406 171 0 3537 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 18448

[startup+1.50187 s]
/proc/loadavg: 2.91 2.70 2.30 3/82 15473
/proc/meminfo: memFree=1227608/2055920 swapFree=4192812/4192956
[pid=15468] ppid=15466 vsize=21116 CPUtime=1.47
/proc/15468/stat : 15468 (pcs.big) R 15466 15468 14589 0 -1 4194304 6390 661 0 0 145 2 0 0 25 0 1 0 57447085 21622784 4246 996147200 134512640 135215973 4294956304 18446744073709551615 134957649 0 0 4096 0 0 0 0 17 0 0 0
/proc/15468/statm: 5279 4246 406 171 0 4204 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21116

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

[startup+1.9019 s]
/proc/loadavg: 2.91 2.70 2.30 3/82 15473
/proc/meminfo: memFree=1227608/2055920 swapFree=4192812/4192956
[pid=15468] ppid=15466 vsize=21508 CPUtime=1.86
/proc/15468/stat : 15468 (pcs.big) R 15466 15468 14589 0 -1 4194304 8005 661 0 0 184 2 0 0 25 0 1 0 57447085 22024192 3953 996147200 134512640 135215973 4294956304 18446744073709551615 134905942 0 0 4096 0 0 0 0 17 0 0 0
/proc/15468/statm: 5377 3953 406 171 0 4302 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 21508

Child status: 0
Real time (s): 1.90819
CPU time (s): 1.89171
CPU user time (s): 1.85672
CPU system time (s): 0.034994
CPU usage (%): 99.1364
Max. virtual memory (cumulated for all children) (KiB): 26256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.85672
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8669
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= 23
involuntary context switches= 40

runsolver used 0.004999 second user time and 0.006998 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-16 02:23:56
IDJOB=2065753
IDBENCH=54412
IDSOLVER=734
FILE ID=node52/2065753-1247703836
PBS_JOBID= 9521208
Free space on /tmp= 66188 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-105-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065753-1247703836/watcher-2065753-1247703836 -o /tmp/evaluation-result-2065753-1247703836/solver-2065753-1247703836 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 929969902 HOME/instance-2065753-1247703836.xml

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

MD5SUM BENCH= f3a501a01b9bc5992030d707bcd8787f
RANDOM SEED=929969902

node52.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.236
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.236
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:       1243600 kB
Buffers:         80960 kB
Cached:         620664 kB
SwapCached:          0 kB
Active:         224544 kB
Inactive:       514364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1243600 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:          57776 kB
Slab:            58380 kB
Committed_AS:   692840 kB
PageTables:       2012 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= 66188 MiB
End job on node52 at 2009-07-16 02:23:58