Trace number 2066632

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 0.3.2SAT 519.625 522.087

DiagnosticValue
ASSIGNMENTS3437

General information on the benchmark

Namecsp/pseudo/ii/
normalized-ii-32b4.xml
MD5SUMf34a2733b65d1532e9b30a8688faa12a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.20881
Satisfiable
(Un)Satisfiability was proved
Number of variables762
Number of constraints7299
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7299
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has operations which may create big domains
0.00/0.02	c big-domain mode
0.00/0.03	c Seed is 914763651
0.00/0.03	c Constructing HOME/instance-2066632-1247705015.xml  with 36753 constraints
0.56/0.63	c Solving 3437 backtracks 11 restarts
519.41/521.93	s SATISFIABLE
519.41/521.93	c V0=0, V1=1, V2=1, V3=0, V4=0, V5=1, V6=1, V7=0, V8=1, V9=0, V10=1, V11=0, V12=1, V13=0, V14=1, V15=0, V16=1, V17=0, V18=1, V19=0, V20=1, V21=0, V22=1, V23=0, V24=1, V25=0, V26=1, V27=0, V28=1, V29=0, V30=1, V31=0, V32=1, V33=0, V34=0, V35=1, V36=1, V37=0, V38=1, V39=0, V40=1, V41=0, V42=1, V43=0, V44=1, V45=0, V46=0, V47=1, V48=1, V49=0, V50=1, V51=0, V52=1, V53=0, V54=1, V55=0, V56=1, V57=0, V58=1, V59=0, V60=1, V61=0, V62=1, V63=0, V64=1, V65=0, V66=1, V67=0, V68=1, V69=0, V70=1, V71=0, V72=1, V73=0, V74=1, V75=0, V76=1, V77=0, V78=1, V79=0, V80=1, V81=0, V82=1, V83=0, V84=1, V85=0, V86=1, V87=0, V88=1, V89=0, V90=1, V91=0, V92=1, V93=0, V94=1, V95=0, V96=1, V97=0, V98=1, V99=0, V100=1, V101=0, V102=1, V103=0, V104=1, V105=0, V106=1, V107=0, V108=1, V109=0, V110=1, V111=0, V112=1, V113=0, V114=1, V115=0, V116=1, V117=0, V118=1, V119=0, V120=0, V121=1, V122=1, V123=0, V124=1, V125=0, V126=1, V127=0, V128=1, V129=0, V130=1, V131=0, V132=0, V133=1, V134=1, V135=0, V136=1, V137=0, V138=1, V139=0, V140=1, V141=0, V142=1, V143=0, V144=1, V145=0, V146=0, V147=1, V148=1, V149=0, V150=1, V151=0, V152=1, V153=0, V154=1, V155=0, V156=1, V157=0, V158=1, V159=0, V160=1, V161=0, V162=1, V163=0, V164=1, V165=0, V166=1, V167=0, V168=1, V169=0, V170=1, V171=0, V172=1, V173=0, V174=1, V175=0, V176=1, V177=0, V178=1, V179=0, V180=1, V181=0, V182=1, V183=0, V184=1, V185=0, V186=1, V187=0, V188=1, V189=0, V190=1, V191=0, V192=1, V193=0, V194=1, V195=0, V196=1, V197=0, V198=1, V199=0, V200=1, V201=0, V202=1, V203=0, V204=1, V205=0, V206=0, V207=1, V208=1, V209=0, V210=1, V211=0, V212=1, V213=0, V214=1, V215=0, V216=1, V217=0, V218=1, V219=0, V220=1, V221=0, V222=1, V223=0, V224=1, V225=0, V226=1, V227=0, V228=1, V229=0, V230=1, V231=0, V232=1, V233=0, V234=1, V235=0, V236=1, V237=0, V238=1, V239=0, V240=1, V241=0, V242=1, V243=0, V244=1, V245=0, V246=1, V247=0, V248=1, V249=0, V250=1, V251=0, V252=0, V253=1, V254=1, V255=0, V256=1, V257=0, V258=1, V259=0, V260=1, V261=0, V262=1, V263=0, V264=1, V265=0, V266=1, V267=0, V268=1, V269=0, V270=1, V271=0, V272=1, V273=0, V274=1, V275=0, V276=1, V277=0, V278=1, V279=0, V280=1, V281=0, V282=1, V283=0, V284=1, V285=0, V286=1, V287=0, V288=1, V289=0, V290=1, V291=0, V292=1, V293=0, V294=1, V295=0, V296=1, V297=0, V298=1, V299=0, V300=1, V301=0, V302=1, V303=0, V304=1, V305=0, V306=1, V307=0, V308=1, V309=0, V310=1, V311=0, V312=1, V313=0, V314=1, V315=0, V316=1, V317=0, V318=1, V319=0, V320=1, V321=0, V322=1, V323=0, V324=1, V325=0, V326=1, V327=0, V328=0, V329=1, V330=1, V331=0, V332=1, V333=0, V334=1, V335=0, V336=1, V337=0, V338=1, V339=0, V340=1, V341=0, V342=1, V343=0, V344=1, V345=0, V346=0, V347=1, V348=1, V349=0, V350=1, V351=0, V352=1, V353=0, V354=1, V355=0, V356=0, V357=1, V358=1, V359=0, V360=1, V361=0, V362=1, V363=0, V364=1, V365=0, V366=1, V367=0, V368=1, V369=0, V370=1, V371=0, V372=1, V373=0, V374=1, V375=0, V376=1, V377=0, V378=1, V379=0, V380=1, V381=0, V382=1, V383=0, V384=0, V385=1, V386=1, V387=0, V388=0, V389=1, V390=0, V391=1, V392=0, V393=1, V394=1, V395=0, V396=0, V397=1, V398=0, V399=1, V400=1, V401=0, V402=0, V403=1, V404=0, V405=1, V406=1, V407=0, V408=0, V409=1, V410=0, V411=1, V412=1, V413=0, V414=1, V415=0, V416=0, V417=1, V418=0, V419=1, V420=0, V421=1, V422=0, V423=1, V424=1, V425=0, V426=0, V427=1, V428=0, V429=1, V430=1, V431=0, V432=0, V433=1, V434=0, V435=1, V436=1, V437=0, V438=0, V439=1, V440=1, V441=0, V442=0, V443=1, V444=0, V445=1, V446=1, V447=0, V448=0, V449=1, V450=0, V451=1, V452=0, V453=1, V454=1, V455=0, V456=0, V457=1, V458=1, V459=0, V460=0, V461=1, V462=0, V463=1, V464=0, V465=1, V466=1, V467=0, V468=0, V469=1, V470=0, V471=1, V472=1, V473=0, V474=0, V475=1, V476=0, V477=1, V478=1, V479=0, V480=0, V481=1, V482=0, V483=1, V484=1, V485=0, V486=0, V487=1, V488=0, V489=1, V490=1, V491=0, V492=0, V493=1, V494=1, V495=0, V496=0, V497=1, V498=0, V499=1, V500=1, V501=0, V502=0, V503=1, V504=0, V505=1, V506=0, V507=1, V508=1, V509=0, V510=0, V511=1, V512=1, V513=0, V514=0, V515=1, V516=1, V517=0, V518=0, V519=1, V520=0, V521=1, V522=0, V523=1, V524=0, V525=1, V526=1, V527=0, V528=0, V529=1, V530=1, V531=0, V532=0, V533=1, V534=0, V535=1, V536=1, V537=0, V538=0, V539=1, V540=0, V541=1, V542=0, V543=1, V544=1, V545=0, V546=0, V547=1, V548=1, V549=0, V550=0, V551=1, V552=0, V553=1, V554=0, V555=1, V556=1, V557=0, V558=0, V559=1, V560=0, V561=1, V562=1, V563=0, V564=0, V565=1, V566=1, V567=0, V568=0, V569=1, V570=0, V571=1, V572=1, V573=0, V574=0, V575=1, V576=0, V577=1, V578=1, V579=0, V580=0, V581=1, V582=0, V583=1, V584=0, V585=1, V586=1, V587=0, V588=0, V589=1, V590=0, V591=1, V592=1, V593=0, V594=0, V595=1, V596=0, V597=1, V598=1, V599=0, V600=0, V601=1, V602=0, V603=1, V604=1, V605=0, V606=0, V607=1, V608=1, V609=0, V610=0, V611=1, V612=0, V613=1, V614=1, V615=0, V616=0, V617=1, V618=1, V619=0, V620=0, V621=1, V622=0, V623=1, V624=0, V625=1, V626=0, V627=1, V628=1, V629=0, V630=0, V631=1, V632=1, V633=0, V634=0, V635=1, V636=0, V637=1, V638=0, V639=1, V640=1, V641=0, V642=0, V643=1, V644=1, V645=0, V646=0, V647=1, V648=0, V649=1, V650=1, V651=0, V652=0, V653=1, V654=0, V655=1, V656=1, V657=0, V658=0, V659=1, V660=0, V661=1, V662=0, V663=1, V664=1, V665=0, V666=0, V667=1, V668=1, V669=0, V670=0, V671=1, V672=0, V673=1, V674=0, V675=1, V676=1, V677=0, V678=0, V679=1, V680=0, V681=1, V682=1, V683=0, V684=0, V685=1, V686=1, V687=0, V688=0, V689=1, V690=0, V691=1, V692=0, V693=1, V694=1, V695=0, V696=0, V697=1, V698=1, V699=0, V700=0, V701=1, V702=1, V703=0, V704=0, V705=1, V706=0, V707=1, V708=1, V709=0, V710=0, V711=1, V712=0, V713=1, V714=0, V715=1, V716=0, V717=1, V718=1, V719=0, V720=1, V721=0, V722=0, V723=1, V724=0, V725=1, V726=0, V727=1, V728=1, V729=0, V730=0, V731=1, V732=0, V733=1, V734=0, V735=1, V736=1, V737=0, V738=1, V739=0, V740=0, V741=1, V742=0, V743=1, V744=0, V745=1, V746=0, V747=1, V748=1, V749=0, V750=0, V751=1, V752=0, V753=1, V754=1, V755=0, V756=0, V757=1, V758=1, V759=0, V760=0, V761=1, 
519.51/522.07	v 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 
519.51/522.07	d ASSIGNMENTS 3437

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-2066632-1247705015/watcher-2066632-1247705015 -o /tmp/evaluation-result-2066632-1247705015/solver-2066632-1247705015 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 914763651 HOME/instance-2066632-1247705015.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.48 2.13 1.97 4/82 11510
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=5356 CPUtime=0
/proc/11510/stat : 11510 (pcssolve) R 11508 11510 10253 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 57564131 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 231962219233 0 0 4100 65536 0 0 0 17 1 0 0
/proc/11510/statm: 1339 237 197 169 0 50 0

[startup+0.083675 s]
/proc/loadavg: 2.48 2.13 1.97 4/82 11510
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=5332 CPUtime=0.05
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 1007 826 0 0 5 0 0 0 18 0 1 0 57564131 5459968 616 996147200 134512640 135215973 4294956304 18446744073709551615 134752645 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 1333 616 385 171 0 258 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5332

[startup+0.102763 s]
/proc/loadavg: 2.48 2.13 1.97 4/82 11510
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=5496 CPUtime=0.07
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 1044 826 0 0 7 0 0 0 18 0 1 0 57564131 5627904 653 996147200 134512640 135215973 4294956304 18446744073709551615 4159743883 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 1374 653 385 171 0 299 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5496

[startup+0.301708 s]
/proc/loadavg: 2.48 2.13 1.97 4/82 11510
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=7712 CPUtime=0.26
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 1723 826 0 0 26 0 0 0 19 0 1 0 57564131 7897088 1133 996147200 134512640 135215973 4294956304 18446744073709551615 134906926 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 1928 1134 385 171 0 853 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 7712

[startup+0.70176 s]
/proc/loadavg: 2.48 2.13 1.97 4/82 11510
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=20528 CPUtime=0.66
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 6259 826 0 0 64 2 0 0 23 0 1 0 57564131 21020672 4162 996147200 134512640 135215973 4294956304 18446744073709551615 134908154 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 5132 4162 406 171 0 4057 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 20528

[startup+1.50186 s]
/proc/loadavg: 2.48 2.13 1.97 3/83 11516
/proc/meminfo: memFree=1639976/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=40728 CPUtime=1.47
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 12824 826 0 0 141 6 0 0 25 0 1 0 57564131 41705472 7603 996147200 134512640 135215973 4294956304 18446744073709551615 4158844876 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 10182 7603 409 171 0 9107 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40728

[startup+3.10208 s]
/proc/loadavg: 2.48 2.13 1.97 3/83 11516
/proc/meminfo: memFree=1631464/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=40744 CPUtime=3.06
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 13257 826 0 0 300 6 0 0 25 0 1 0 57564131 41721856 8036 996147200 134512640 135215973 4294956304 18446744073709551615 134908148 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 10186 8036 409 171 0 9111 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40744

[startup+6.30152 s]
/proc/loadavg: 2.44 2.13 1.97 3/83 11516
/proc/meminfo: memFree=1610344/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=61816 CPUtime=6.27
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 19908 826 0 0 617 10 0 0 25 0 1 0 57564131 63299584 11358 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 15454 11358 409 171 0 14379 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 61816

[startup+12.7014 s]
/proc/loadavg: 2.40 2.13 1.97 3/83 11516
/proc/meminfo: memFree=1601840/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=62064 CPUtime=12.66
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 19999 826 0 0 1256 10 0 0 25 0 1 0 57564131 63553536 11449 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 15516 11449 409 171 0 14441 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 62064

[startup+25.5061 s]
/proc/loadavg: 2.39 2.14 1.98 3/83 11516
/proc/meminfo: memFree=1585712/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=62612 CPUtime=25.46
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 20198 826 0 0 2536 10 0 0 25 0 1 0 57564131 64114688 11648 996147200 134512640 135215973 4294956304 18446744073709551615 135096197 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 15653 11648 409 171 0 14578 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62612

[startup+51.1016 s]
/proc/loadavg: 2.46 2.17 2.00 3/83 11516
/proc/meminfo: memFree=1565168/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=64524 CPUtime=50.97
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 20993 826 0 0 5086 11 0 0 25 0 1 0 57564131 66072576 12410 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 16131 12410 409 171 0 15056 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 64524

[startup+102.307 s]
/proc/loadavg: 2.26 2.16 2.00 3/83 11516
/proc/meminfo: memFree=1537776/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=67356 CPUtime=101.91
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 21752 826 0 0 10180 11 0 0 25 0 1 0 57564131 68972544 13103 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 16839 13103 409 171 0 15764 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 67356

[startup+162.302 s]
/proc/loadavg: 2.29 2.19 2.02 3/83 11516
/proc/meminfo: memFree=1496624/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=74904 CPUtime=161.6
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 24143 826 0 0 16147 13 0 0 25 0 1 0 57564131 76701696 15365 996147200 134512640 135215973 4294956304 18446744073709551615 134983074 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 18726 15365 409 171 0 17651 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 74904

[startup+222.302 s]
/proc/loadavg: 2.20 2.18 2.02 4/83 11516
/proc/meminfo: memFree=1460784/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=82904 CPUtime=221.31
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 26258 826 0 0 22116 15 0 0 25 0 1 0 57564131 84893696 17480 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 20726 17480 409 171 0 19651 0
Current children cumulated CPU time (s) 221.31
Current children cumulated vsize (KiB) 82904

[startup+282.302 s]
/proc/loadavg: 2.22 2.19 2.03 4/83 11516
/proc/meminfo: memFree=1435568/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=91336 CPUtime=281.02
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 28445 826 0 0 28085 17 0 0 25 0 1 0 57564131 93528064 19407 996147200 134512640 135215973 4294956304 18446744073709551615 4158960503 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 22834 19407 409 171 0 21759 0
Current children cumulated CPU time (s) 281.02
Current children cumulated vsize (KiB) 91336

[startup+342.301 s]
/proc/loadavg: 2.19 2.20 2.04 4/83 11516
/proc/meminfo: memFree=1423344/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=98184 CPUtime=340.71
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 30215 826 0 0 34053 18 0 0 25 0 1 0 57564131 100540416 21176 996147200 134512640 135215973 4294956304 18446744073709551615 134680748 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 24546 21176 409 171 0 23471 0
Current children cumulated CPU time (s) 340.71
Current children cumulated vsize (KiB) 98184

[startup+402.301 s]
/proc/loadavg: 2.37 2.25 2.07 3/83 11516
/proc/meminfo: memFree=1402544/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=106028 CPUtime=400.42
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 32237 826 0 0 40022 20 0 0 25 0 1 0 57564131 108572672 23195 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 26507 23195 409 171 0 25432 0
Current children cumulated CPU time (s) 400.42
Current children cumulated vsize (KiB) 106028

[startup+462.301 s]
/proc/loadavg: 2.57 2.31 2.10 4/83 11516
/proc/meminfo: memFree=1375920/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=116224 CPUtime=460.11
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 34836 826 0 0 45990 21 0 0 25 0 1 0 57564131 119013376 25794 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 29056 25794 409 171 0 27981 0
Current children cumulated CPU time (s) 460.11
Current children cumulated vsize (KiB) 116224

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

[startup+486.302 s]
/proc/loadavg: 2.58 2.33 2.11 3/83 11516
/proc/meminfo: memFree=1370544/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=122096 CPUtime=483.99
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 36325 826 0 0 48377 22 0 0 25 0 1 0 57564131 125026304 27283 996147200 134512640 135215973 4294956304 18446744073709551615 134601602 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 30524 27283 409 171 0 29449 0
Current children cumulated CPU time (s) 483.99
Current children cumulated vsize (KiB) 122096

[startup+499.102 s]
/proc/loadavg: 2.56 2.34 2.11 3/83 11516
/proc/meminfo: memFree=1368944/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=123760 CPUtime=496.73
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 36750 826 0 0 49651 22 0 0 25 0 1 0 57564131 126730240 27708 996147200 134512640 135215973 4294956304 18446744073709551615 134597467 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 30940 27708 409 171 0 29865 0
Current children cumulated CPU time (s) 496.73
Current children cumulated vsize (KiB) 123760

[startup+511.901 s]
/proc/loadavg: 2.51 2.34 2.12 4/83 11516
/proc/meminfo: memFree=1366960/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=125484 CPUtime=509.47
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 37191 826 0 0 50924 23 0 0 25 0 1 0 57564131 128495616 28149 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 31371 28149 409 171 0 30296 0
Current children cumulated CPU time (s) 509.47
Current children cumulated vsize (KiB) 125484

[startup+518.302 s]
/proc/loadavg: 2.47 2.33 2.12 3/83 11518
/proc/meminfo: memFree=1363248/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=127084 CPUtime=515.83
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 37810 826 0 0 51560 23 0 0 25 0 1 0 57564131 130134016 28768 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 31771 28768 409 171 0 30696 0
Current children cumulated CPU time (s) 515.83
Current children cumulated vsize (KiB) 127084

[startup+519.901 s]
/proc/loadavg: 2.51 2.34 2.12 4/83 11518
/proc/meminfo: memFree=1359152/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=127164 CPUtime=517.42
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 37827 826 0 0 51719 23 0 0 25 0 1 0 57564131 130215936 28785 996147200 134512640 135215973 4294956304 18446744073709551615 134641193 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 31791 28785 409 171 0 30716 0
Current children cumulated CPU time (s) 517.42
Current children cumulated vsize (KiB) 127164

[startup+520.701 s]
/proc/loadavg: 2.51 2.34 2.12 3/83 11518
/proc/meminfo: memFree=1360112/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=127176 CPUtime=518.22
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 37833 826 0 0 51799 23 0 0 25 0 1 0 57564131 130228224 28791 996147200 134512640 135215973 4294956304 18446744073709551615 134583680 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 31794 28791 409 171 0 30719 0
Current children cumulated CPU time (s) 518.22
Current children cumulated vsize (KiB) 127176

[startup+521.501 s]
/proc/loadavg: 2.51 2.34 2.12 3/83 11518
/proc/meminfo: memFree=1360048/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=127196 CPUtime=519.01
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 37836 826 0 0 51878 23 0 0 25 0 1 0 57564131 130248704 28794 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 31799 28794 409 171 0 30724 0
Current children cumulated CPU time (s) 519.01
Current children cumulated vsize (KiB) 127196

[startup+521.901 s]
/proc/loadavg: 2.51 2.34 2.12 3/83 11518
/proc/meminfo: memFree=1360048/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=127196 CPUtime=519.41
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 37836 826 0 0 51918 23 0 0 25 0 1 0 57564131 130248704 28794 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 31799 28794 409 171 0 30724 0
Current children cumulated CPU time (s) 519.41
Current children cumulated vsize (KiB) 127196

[startup+522.001 s]
/proc/loadavg: 2.51 2.34 2.12 3/83 11518
/proc/meminfo: memFree=1360048/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=125020 CPUtime=519.51
/proc/11510/stat : 11510 (pcs.big) R 11508 11510 10253 0 -1 4194304 37836 826 0 0 51928 23 0 0 25 0 1 0 57564131 128020480 28452 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 31255 28452 409 171 0 30180 0
Current children cumulated CPU time (s) 519.51
Current children cumulated vsize (KiB) 125020

Child status: 0
Real time (s): 522.087
CPU time (s): 519.625
CPU user time (s): 519.357
CPU system time (s): 0.267959
CPU usage (%): 99.5284
Max. virtual memory (cumulated for all children) (KiB): 127312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 519.357
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38665
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= 22
involuntary context switches= 16843

runsolver used 0.602908 second user time and 1.79873 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-16 02:43:36
IDJOB=2066632
IDBENCH=54551
IDSOLVER=733
FILE ID=node71/2066632-1247705015
PBS_JOBID= 9521172
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/ii/normalized-ii-32b4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2066632-1247705015/watcher-2066632-1247705015 -o /tmp/evaluation-result-2066632-1247705015/solver-2066632-1247705015 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 914763651 HOME/instance-2066632-1247705015.xml

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

MD5SUM BENCH= f34a2733b65d1532e9b30a8688faa12a
RANDOM SEED=914763651

node71.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.222
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.222
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:       1662288 kB
Buffers:         55872 kB
Cached:         137520 kB
SwapCached:          0 kB
Active:         148780 kB
Inactive:       155684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1662288 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2836 kB
Writeback:           0 kB
Mapped:         131520 kB
Slab:            73932 kB
Committed_AS:   652644 kB
PageTables:       2116 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= 66392 MiB
End job on node71 at 2009-07-16 02:52:18