Trace number 2069273

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 943.072 946.133

DiagnosticValue
ASSIGNMENTS69105

General information on the benchmark

Namecsp/pseudo/mps/
normalized-mps-neos16.xml
MD5SUM33a073afc4815fea8b5c87cd2e5d9bca
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 benchmark3.15152
Satisfiable
(Un)Satisfiability was proved
Number of variables464
Number of constraints1069
Maximum constraint arity128
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1069
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has operations which may create big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 1075151295
0.00/0.02	c Constructing HOME/instance-2069273-1247708160.xml  with 7415 constraints
0.07/0.16	c Solving 69105 backtracks 18 restarts
941.92/945.01	s SATISFIABLE
941.92/945.01	c V0=1, V1=0, V2=1, V3=1, V4=1, V5=1, V6=0, V7=1, V8=1, V9=1, V10=0, V11=1, V12=1, V13=1, V14=1, V15=0, V16=0, V17=0, V18=1, V19=0, V20=0, V21=1, V22=1, V23=1, V24=1, V25=1, V26=1, V27=1, V28=1, V29=1, V30=1, V31=1, V32=1, V33=1, V34=1, V35=1, V36=1, V37=0, V38=1, V39=0, V40=1, V41=1, V42=1, V43=1, V44=0, V45=1, V46=1, V47=0, V48=0, V49=0, V50=0, V51=0, V52=0, V53=0, V54=0, V55=0, V56=0, V57=1, V58=1, V59=1, V60=1, V61=0, V62=0, V63=0, V64=0, V65=0, V66=0, V67=0, V68=0, V69=1, V70=0, V71=0, V72=0, V73=1, V74=0, V75=0, V76=0, V77=1, V78=0, V79=0, V80=1, V81=0, V82=1, V83=1, V84=0, V85=1, V86=0, V87=0, V88=0, V89=0, V90=1, V91=0, V92=0, V93=0, V94=1, V95=0, V96=0, V97=0, V98=0, V99=1, V100=1, V101=1, V102=0, V103=1, V104=1, V105=0, V106=0, V107=0, V108=0, V109=0, V110=0, V111=0, V112=0, V113=0, V114=0, V115=0, V116=0, V117=0, V118=0, V119=0, V120=0, V121=1, V122=0, V123=1, V124=0, V125=0, V126=0, V127=0, V128=1, V129=0, V130=0, V131=1, V132=1, V133=1, V134=1, V135=1, V136=1, V137=1, V138=1, V139=1, V140=1, V141=0, V142=0, V143=0, V144=0, V145=1, V146=1, V147=1, V148=1, V149=1, V150=1, V151=1, V152=1, V153=0, V154=1, V155=1, V156=1, V157=0, V158=1, V159=1, V160=1, V161=0, V162=1, V163=1, V164=0, V165=1, V166=0, V167=0, V168=1, V169=0, V170=1, V171=1, V172=1, V173=1, V174=0, V175=0, V176=0, V177=0, V178=1, V179=1, V180=1, V181=1, V182=1, V183=0, V184=0, V185=1, V186=1, V187=1, V188=1, V189=1, V190=1, V191=1, V192=1, V193=1, V194=1, V195=0, V196=0, V197=0, V198=0, V199=0, V200=1, V201=1, V202=0, V203=1, V204=1, V205=0, V206=1, V207=0, V208=0, V209=1, V210=0, V211=1, V212=1, V213=0, V214=0, V215=0, V216=1, V217=1, V218=1, V219=1, V220=1, V221=1, V222=0, V223=0, V224=0, V225=0, V226=0, V227=0, V228=0, V229=0, V230=0, V231=1, V232=1, V233=1, V234=0, V235=0, V236=1, V237=1, V238=0, V239=0, V240=0, V241=1, V242=0, V243=0, V244=0, V245=0, V246=0, V247=0, V248=1, V249=0, V250=1, V251=1, V252=0, V253=1, V254=0, V255=0, V256=0, V257=0, V258=1, V259=1, V260=1, V261=1, V262=0, V263=0, V264=0, V265=0, V266=0, V267=1, V268=1, V269=0, V270=0, V271=0, V272=0, V273=0, V274=0, V275=0, V276=0, V277=0, V278=0, V279=1, V280=1, V281=1, V282=1, V283=1, V284=0, V285=0, V286=1, V287=0, V288=0, V289=1, V290=0, V291=1, V292=1, V293=0, V294=1, V295=0, V296=0, V297=1, V298=1, V299=1, V300=0, V301=0, V302=0, V303=0, V304=0, V305=0, V306=1, V307=1, V308=1, V309=1, V310=1, V311=1, V312=1, V313=1, V314=1, V315=0, V316=0, V317=0, V318=1, V319=1, V320=0, V321=0, V322=1, V323=1, V324=1, V325=0, V326=1, V327=1, V328=1, V329=1, V330=1, V331=1, V332=0, V333=1, V334=0, V335=0, V336=1, V337=0, V338=0, V339=1, V340=1, V341=0, V342=0, V343=0, V344=0, V345=0, V346=1, V347=1, V348=0, V349=0, V350=1, V351=1, V352=0, V353=1, V354=0, V355=1, V356=0, V357=1, V358=0, V359=1, V360=0, V361=1, V362=1, V363=0, V364=0, V365=0, V366=0, V367=0, V368=1, V369=0, V370=0, V371=0, V372=1, V373=0, V374=0, V375=0, V376=1, V377=0, V378=0, V379=0, V380=1, V381=1, V382=0, V383=1, V384=1, V385=1, V386=0, V387=0, V388=1, V389=1, V390=0, V391=0, V392=1, V393=1, V394=1, V395=0, V396=0, V397=1, V398=1, V399=1, V400=1, V401=0, V402=0, V403=1, V404=0, V405=0, V406=1, V407=1, V408=1, V409=0, V410=1, V411=0, V412=0, V413=0, V414=1, V415=1, V416=0, V417=0, V418=0, V419=1, V420=1, V421=0, V422=0, V423=1, V424=1, V425=0, V426=1, V427=0, V428=0, V429=0, V430=1, V431=0, V432=0, V433=0, V434=0, V435=0, V436=1, V437=1, V438=1, V439=1, V440=0, V441=0, V442=0, V443=1, V444=0, V445=1, V446=0, V447=1, V448=0, V449=0, V450=0, V451=0, V452=0, V453=1, V454=0, V455=1, V456=1, V457=0, V458=0, V459=1, V460=1, V461=1, V462=1, V463=0, 
941.92/945.01	v 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 
942.92/946.03	d ASSIGNMENTS 69105

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-2069273-1247708160/watcher-2069273-1247708160 -o /tmp/evaluation-result-2069273-1247708160/solver-2069273-1247708160 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1075151295 HOME/instance-2069273-1247708160.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.91 1.98 1.99 4/72 11328
/proc/meminfo: memFree=1152928/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=5356 CPUtime=0
/proc/11328/stat : 11328 (pcssolve) R 11326 11328 10057 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57882088 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264907582111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11328/statm: 1339 241 200 169 0 50 0
[pid=11329] ppid=11328 vsize=100 CPUtime=0
/proc/11329/stat : 11329 (fgrep) R 11328 11328 10057 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 57882088 102400 3 996147200 0 0 548682069725 18446744073709551615 264907582759 0 0 4096 0 0 0 0 17 1 0 0
/proc/11329/statm: 25 3 0 0 0 2 0
[pid=11330] ppid=11328 vsize=5356 CPUtime=0
/proc/11330/stat : 11330 (pcssolve) R 11328 11328 10057 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57882088 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264907582111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11330/statm: 1339 241 200 169 0 50 0

[startup+0.0642341 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 11328
/proc/meminfo: memFree=1152928/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=5372 CPUtime=0.04
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 1011 826 0 0 4 0 0 0 24 0 1 0 57882088 5500928 620 996147200 134512640 135215973 4294956304 18446744073709551615 134636737 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 1343 620 385 171 0 268 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5372

[startup+0.102247 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 11328
/proc/meminfo: memFree=1152928/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=5684 CPUtime=0.07
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 1125 826 0 0 7 0 0 0 24 0 1 0 57882088 5820416 734 996147200 134512640 135215973 4294956304 18446744073709551615 4158848956 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 1421 734 385 171 0 346 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5684

[startup+0.301273 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 11328
/proc/meminfo: memFree=1152928/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=9416 CPUtime=0.28
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 2332 826 0 0 27 1 0 0 25 0 1 0 57882088 9641984 1625 996147200 134512640 135215973 4294956304 18446744073709551615 135097835 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 2354 1625 406 171 0 1279 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9416

[startup+0.701334 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 11328
/proc/meminfo: memFree=1152928/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=10900 CPUtime=0.68
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 2858 826 0 0 67 1 0 0 25 0 1 0 57882088 11161600 1942 996147200 134512640 135215973 4294956304 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 2725 1942 409 171 0 1650 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10900

[startup+1.50145 s]
/proc/loadavg: 1.91 1.98 1.99 3/73 11334
/proc/meminfo: memFree=1143952/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=11032 CPUtime=1.47
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 2972 826 0 0 146 1 0 0 25 0 1 0 57882088 11296768 2056 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 2758 2056 409 171 0 1683 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11032

[startup+3.10168 s]
/proc/loadavg: 1.91 1.98 1.99 3/73 11334
/proc/meminfo: memFree=1141456/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=11500 CPUtime=3.06
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 3076 826 0 0 305 1 0 0 25 0 1 0 57882088 11776000 2160 996147200 134512640 135215973 4294956304 18446744073709551615 134600490 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 2875 2160 409 171 0 1800 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11500

[startup+6.30116 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 11334
/proc/meminfo: memFree=1132432/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=15432 CPUtime=6.24
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 4141 826 0 0 623 1 0 0 25 0 1 0 57882088 15802368 2808 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 3858 2808 409 171 0 2783 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 15432

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 11334
/proc/meminfo: memFree=1118688/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=18584 CPUtime=12.62
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 4910 826 0 0 1260 2 0 0 25 0 1 0 57882088 19030016 3512 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 4646 3512 409 171 0 3571 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 18584

[startup+25.503 s]
/proc/loadavg: 1.94 1.98 1.99 3/73 11334
/proc/meminfo: memFree=1084192/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=26176 CPUtime=25.35
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 6888 826 0 0 2533 2 0 0 25 0 1 0 57882088 26804224 5490 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 6544 5490 409 171 0 5469 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 26176

[startup+51.1017 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 11334
/proc/meminfo: memFree=1020064/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=43872 CPUtime=50.82
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 11382 826 0 0 5078 4 0 0 25 0 1 0 57882088 44924928 9951 996147200 134512640 135215973 4294956304 18446744073709551615 135096417 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 10968 9951 409 171 0 9893 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 43872

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 11334
/proc/meminfo: memFree=940320/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=77036 CPUtime=101.78
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 19716 826 0 0 10169 9 0 0 25 0 1 0 57882088 78884864 18285 996147200 134512640 135215973 4294956304 18446744073709551615 134605749 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 19259 18285 409 171 0 18184 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 77036

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 11334
/proc/meminfo: memFree=842400/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=115964 CPUtime=161.49
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 29482 826 0 0 16135 14 0 0 25 0 1 0 57882088 118747136 27922 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 28991 27922 409 171 0 27916 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 115964

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 11334
/proc/meminfo: memFree=714528/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=153700 CPUtime=221.19
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 38943 826 0 0 22100 19 0 0 25 0 1 0 57882088 157388800 37383 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 38425 37383 409 171 0 37350 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 153700

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 11334
/proc/meminfo: memFree=635488/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=191728 CPUtime=280.9
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 48561 826 0 0 28066 24 0 0 25 0 1 0 57882088 196329472 46936 996147200 134512640 135215973 4294956304 18446744073709551615 134583542 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 47932 46936 409 171 0 46857 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 191728

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 11334
/proc/meminfo: memFree=541920/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=227392 CPUtime=340.6
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 57503 826 0 0 34030 30 0 0 25 0 1 0 57882088 232849408 55878 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 56848 55878 409 171 0 55773 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 227392

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 11334
/proc/meminfo: memFree=457056/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=266896 CPUtime=400.32
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 67462 826 0 0 39996 36 0 0 25 0 1 0 57882088 273301504 65451 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 66724 65451 409 171 0 65649 0
Current children cumulated CPU time (s) 400.32
Current children cumulated vsize (KiB) 266896

[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 11334
/proc/meminfo: memFree=350752/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=300264 CPUtime=460.02
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 75861 826 0 0 45960 42 0 0 25 0 1 0 57882088 307470336 73850 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 75066 73850 409 171 0 73991 0
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (KiB) 300264

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 11334
/proc/meminfo: memFree=269344/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=337148 CPUtime=519.73
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 85109 826 0 0 51926 47 0 0 25 0 1 0 57882088 345239552 83098 996147200 134512640 135215973 4294956304 18446744073709551615 134597297 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 84287 83098 409 171 0 83212 0
Current children cumulated CPU time (s) 519.73
Current children cumulated vsize (KiB) 337148

[startup+582.302 s]
/proc/loadavg: 2.30 2.07 2.02 3/73 11334
/proc/meminfo: memFree=170912/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=369632 CPUtime=579.43
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 93265 826 0 0 57891 52 0 0 25 0 1 0 57882088 378503168 91254 996147200 134512640 135215973 4294956304 18446744073709551615 134599985 0 0 4096 0 0 0 0 17 1 0 0
/proc/11328/statm: 92408 91254 409 171 0 91333 0
Current children cumulated CPU time (s) 579.43
Current children cumulated vsize (KiB) 369632

[startup+642.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/82 11599
/proc/meminfo: memFree=1016400/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=407736 CPUtime=639.35
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 102820 826 0 0 63874 61 0 0 25 0 1 0 57882088 417521664 100809 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 101934 100809 409 171 0 100859 0
Current children cumulated CPU time (s) 639.35
Current children cumulated vsize (KiB) 407736

[startup+702.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 11599
/proc/meminfo: memFree=975184/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=449132 CPUtime=699.32
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 113229 826 0 0 69866 66 0 0 25 0 1 0 57882088 459911168 111218 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 112283 111218 409 171 0 111208 0
Current children cumulated CPU time (s) 699.32
Current children cumulated vsize (KiB) 449132

[startup+762.306 s]
/proc/loadavg: 2.01 2.03 2.00 4/82 11599
/proc/meminfo: memFree=928720/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=494960 CPUtime=759.3
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 124711 826 0 0 75858 72 0 0 25 0 1 0 57882088 506839040 122700 996147200 134512640 135215973 4294956304 18446744073709551615 134581584 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 123740 122700 409 171 0 122665 0
Current children cumulated CPU time (s) 759.3
Current children cumulated vsize (KiB) 494960

[startup+822.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 11599
/proc/meminfo: memFree=878288/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=547484 CPUtime=819.27
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 137890 826 0 0 81850 77 0 0 25 0 1 0 57882088 560623616 135366 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 136871 135366 409 171 0 135796 0
Current children cumulated CPU time (s) 819.27
Current children cumulated vsize (KiB) 547484

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11599
/proc/meminfo: memFree=837392/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=587668 CPUtime=879.25
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 147983 826 0 0 87843 82 0 0 25 0 1 0 57882088 601772032 145459 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 146917 145459 409 171 0 145842 0
Current children cumulated CPU time (s) 879.25
Current children cumulated vsize (KiB) 587668

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11601
/proc/meminfo: memFree=793232/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=632500 CPUtime=939.22
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 159219 826 0 0 93834 88 0 0 25 0 1 0 57882088 647680000 156695 996147200 134512640 135215973 4294956304 18446744073709551615 134533252 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 158125 156695 409 171 0 157050 0
Current children cumulated CPU time (s) 939.22
Current children cumulated vsize (KiB) 632500

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

[startup+943.902 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11601
/proc/meminfo: memFree=790288/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=634388 CPUtime=940.82
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 159705 826 0 0 93994 88 0 0 25 0 1 0 57882088 649613312 157181 996147200 134512640 135215973 4294956304 18446744073709551615 134590927 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 158597 157181 409 171 0 157522 0
Current children cumulated CPU time (s) 940.82
Current children cumulated vsize (KiB) 634388

[startup+945.502 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11601
/proc/meminfo: memFree=789200/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=631636 CPUtime=942.42
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 160020 826 0 0 94154 88 0 0 25 0 1 0 57882088 646795264 156898 996147200 134512640 135215973 4294956304 18446744073709551615 134688887 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 157909 156898 409 171 0 156834 0
Current children cumulated CPU time (s) 942.42
Current children cumulated vsize (KiB) 631636

[startup+945.902 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11601
/proc/meminfo: memFree=791120/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=631636 CPUtime=942.82
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194304 160020 826 0 0 94194 88 0 0 25 0 1 0 57882088 646795264 156898 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 157909 156898 409 171 0 156834 0
Current children cumulated CPU time (s) 942.82
Current children cumulated vsize (KiB) 631636

[startup+946.102 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11601
/proc/meminfo: memFree=791120/2055920 swapFree=4192812/4192956
[pid=11328] ppid=11326 vsize=0 CPUtime=943.02
/proc/11328/stat : 11328 (pcs.big) R 11326 11328 10057 0 -1 4194308 160023 826 0 0 94207 95 0 0 25 0 1 0 57882088 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/11328/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 943.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 946.133
CPU time (s): 943.072
CPU user time (s): 942.081
CPU system time (s): 0.990849
CPU usage (%): 99.6765
Max. virtual memory (cumulated for all children) (KiB): 635736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 942.081
system time used= 0.990849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160849
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= 21
involuntary context switches= 8069

runsolver used 1.3048 second user time and 2.73958 second system time

The end

Launcher Data 

Begin job on node30 at 2009-07-16 03:36:00
IDJOB=2069273
IDBENCH=55016
IDSOLVER=734
FILE ID=node30/2069273-1247708160
PBS_JOBID= 9521251
Free space on /tmp= 66284 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-neos16.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2069273-1247708160/watcher-2069273-1247708160 -o /tmp/evaluation-result-2069273-1247708160/solver-2069273-1247708160 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1075151295 HOME/instance-2069273-1247708160.xml

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

MD5SUM BENCH= 33a073afc4815fea8b5c87cd2e5d9bca
RANDOM SEED=1075151295

node30.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.277
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.277
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:       1153408 kB
Buffers:         80760 kB
Cached:         443452 kB
SwapCached:          0 kB
Active:         509560 kB
Inactive:       311796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1153408 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1952 kB
Writeback:           0 kB
Mapped:         308716 kB
Slab:            66164 kB
Committed_AS:   811104 kB
PageTables:       2268 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= 66284 MiB
End job on node30 at 2009-07-16 03:51:46