Trace number 2073144

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 1412.96 1423.86

DiagnosticValue
ASSIGNMENTS262293

General information on the benchmark

Namecsp/ramsey4/
normalized-ramsey-33-4.xml
MD5SUMa42d79bb6fe860b06fb8edfaf7f29aa0
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 benchmark2.69759
Satisfiable
(Un)Satisfiability was proved
Number of variables528
Number of constraints5456
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5456
Global constraints used (with number of constraints)

Solver Data 

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

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-2073144-1247711349/watcher-2073144-1247711349 -o /tmp/evaluation-result-2073144-1247711349/solver-2073144-1247711349 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1102727635 HOME/instance-2073144-1247711349.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.88 2.11 2.13 5/73 16613
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=5356 CPUtime=0
/proc/16613/stat : 16613 (pcssolve) R 16611 16613 16016 0 -1 4194304 305 0 0 0 0 0 0 0 21 0 1 0 58199964 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 0 0 0 17 0 0 0
/proc/16613/statm: 1339 242 201 169 0 50 0
[pid=16614] ppid=16613 vsize=0 CPUtime=0
/proc/16614/stat : 16614 (fgrep) Z 16613 16613 16016 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 58199965 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/16614/statm: 0 0 0 0 0 0 0
[pid=16615] ppid=16613 vsize=3676 CPUtime=0
/proc/16615/stat : 16615 (grep) R 16613 16613 16016 0 -1 4194304 154 0 0 0 0 0 0 0 22 0 1 0 58199965 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 269807747154 0 0 4096 0 0 0 0 17 0 0 0
/proc/16615/statm: 919 121 99 19 0 43 0

[startup+0.0281971 s]
/proc/loadavg: 1.88 2.11 2.13 5/73 16613
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=4376 CPUtime=0
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 800 822 0 0 0 0 0 0 24 0 1 0 58199964 4481024 409 996147200 134512640 135095119 4294956304 18446744073709551615 134706689 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 1094 409 356 142 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4376

[startup+0.101211 s]
/proc/loadavg: 1.88 2.11 2.13 5/73 16613
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=6304 CPUtime=0.07
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 1322 822 0 0 7 0 0 0 24 0 1 0 58199964 6455296 833 996147200 134512640 135095119 4294956304 18446744073709551615 134802236 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 1576 833 374 142 0 530 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6304

[startup+0.301235 s]
/proc/loadavg: 1.88 2.11 2.13 5/73 16613
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=11656 CPUtime=0.27
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 2876 822 0 0 27 0 0 0 25 0 1 0 58199964 11935744 1901 996147200 134512640 135095119 4294956304 18446744073709551615 6001092 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 2914 1901 374 142 0 1868 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11656

[startup+0.701277 s]
/proc/loadavg: 1.88 2.11 2.13 5/73 16613
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=17040 CPUtime=0.67
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 9097 822 0 0 65 2 0 0 25 0 1 0 58199964 17448960 3336 996147200 134512640 135095119 4294956304 18446744073709551615 134599362 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 4260 3336 387 142 0 3214 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 17040

[startup+1.50136 s]
/proc/loadavg: 1.88 2.11 2.13 4/74 16619
/proc/meminfo: memFree=1266368/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=17016 CPUtime=1.46
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 22836 822 0 0 140 6 0 0 25 0 1 0 58199964 17424384 3357 996147200 134512640 135095119 4294956304 18446744073709551615 134556889 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 4254 3357 387 142 0 3208 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17016

[startup+3.10153 s]
/proc/loadavg: 1.88 2.11 2.13 4/74 16619
/proc/meminfo: memFree=1266048/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=17340 CPUtime=3.06
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 32654 822 0 0 296 10 0 0 25 0 1 0 58199964 17756160 3406 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 4335 3406 387 142 0 3289 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17340

[startup+6.30088 s]
/proc/loadavg: 1.89 2.11 2.13 4/74 16619
/proc/meminfo: memFree=1265864/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=17468 CPUtime=6.23
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 82442 822 0 0 599 24 0 0 25 0 1 0 58199964 17887232 3452 996147200 134512640 135095119 4294956304 18446744073709551615 134840370 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 4367 3452 387 142 0 3321 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 17468

[startup+12.7026 s]
/proc/loadavg: 1.90 2.11 2.13 3/74 16619
/proc/meminfo: memFree=1265680/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=17596 CPUtime=12.58
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 129112 822 0 0 1216 42 0 0 25 0 1 0 58199964 18018304 3496 996147200 134512640 135095119 4294956304 18446744073709551615 134615598 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 4399 3496 387 142 0 3353 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 17596

[startup+25.5019 s]
/proc/loadavg: 1.92 2.10 2.13 3/74 16619
/proc/meminfo: memFree=1265304/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=18260 CPUtime=25.27
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 293703 822 0 0 2432 95 0 0 25 0 1 0 58199964 18698240 3661 996147200 134512640 135095119 4294956304 18446744073709551615 134599362 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 4565 3661 387 142 0 3519 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 18260

[startup+51.1017 s]
/proc/loadavg: 1.95 2.09 2.12 4/74 16619
/proc/meminfo: memFree=1263576/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=21864 CPUtime=50.69
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 423180 822 0 0 4929 140 0 0 25 0 1 0 58199964 22388736 4082 996147200 134512640 135095119 4294956304 18446744073709551615 134842108 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 5466 4082 387 142 0 4420 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 21864

[startup+102.306 s]
/proc/loadavg: 1.98 2.08 2.11 4/74 16619
/proc/meminfo: memFree=1262424/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=22376 CPUtime=101.49
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 657320 822 0 0 9932 217 0 0 25 0 1 0 58199964 22913024 4294 996147200 134512640 135095119 4294956304 18446744073709551615 134590379 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 5594 4294 387 142 0 4548 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 22376

[startup+162.302 s]
/proc/loadavg: 1.99 2.06 2.10 4/74 16619
/proc/meminfo: memFree=1258904/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=25204 CPUtime=161.04
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 1614367 822 0 0 15572 532 0 0 25 0 1 0 58199964 25808896 5223 996147200 134512640 135095119 4294956304 18446744073709551615 134578949 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 6301 5223 387 142 0 5255 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 25204

[startup+222.302 s]
/proc/loadavg: 1.99 2.05 2.09 3/74 16619
/proc/meminfo: memFree=1257048/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=26488 CPUtime=220.57
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 2044080 822 0 0 21373 684 0 0 25 0 1 0 58199964 27123712 5650 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 6622 5650 387 142 0 5576 0
Current children cumulated CPU time (s) 220.57
Current children cumulated vsize (KiB) 26488

[startup+282.301 s]
/proc/loadavg: 1.99 2.04 2.08 4/74 16619
/proc/meminfo: memFree=1255512/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=27644 CPUtime=280.12
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 2425262 822 0 0 27199 813 0 0 25 0 1 0 58199964 28307456 6034 996147200 134512640 135095119 4294956304 18446744073709551615 134555243 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 6911 6034 387 142 0 5865 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 27644

[startup+342.302 s]
/proc/loadavg: 1.99 2.03 2.08 3/74 16619
/proc/meminfo: memFree=1252120/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=35084 CPUtime=339.65
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 2721403 822 0 0 33044 921 0 0 25 0 1 0 58199964 35926016 6858 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 8771 6858 387 142 0 7725 0
Current children cumulated CPU time (s) 339.65
Current children cumulated vsize (KiB) 35084

[startup+402.301 s]
/proc/loadavg: 1.99 2.02 2.07 4/74 16619
/proc/meminfo: memFree=1251672/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=35084 CPUtime=399.2
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 3003615 822 0 0 38893 1027 0 0 25 0 1 0 58199964 35926016 6920 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 8771 6920 387 142 0 7725 0
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (KiB) 35084

[startup+462.302 s]
/proc/loadavg: 1.99 2.01 2.07 4/74 16619
/proc/meminfo: memFree=1250968/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=35468 CPUtime=458.73
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 3319139 822 0 0 44731 1142 0 0 25 0 1 0 58199964 36319232 7082 996147200 134512640 135095119 4294956304 18446744073709551615 134842103 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 8867 7082 387 142 0 7821 0
Current children cumulated CPU time (s) 458.73
Current children cumulated vsize (KiB) 35468

[startup+522.301 s]
/proc/loadavg: 1.99 2.01 2.06 3/74 16619
/proc/meminfo: memFree=1250392/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=35980 CPUtime=518.28
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 3620725 822 0 0 50576 1252 0 0 25 0 1 0 58199964 36843520 7290 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 8995 7290 387 142 0 7949 0
Current children cumulated CPU time (s) 518.28
Current children cumulated vsize (KiB) 35980

[startup+582.302 s]
/proc/loadavg: 1.99 2.00 2.05 4/74 16619
/proc/meminfo: memFree=1248984/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=37008 CPUtime=577.82
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 4033292 822 0 0 56385 1397 0 0 25 0 1 0 58199964 37896192 7633 996147200 134512640 135095119 4294956304 18446744073709551615 134842103 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 9252 7633 387 142 0 8206 0
Current children cumulated CPU time (s) 577.82
Current children cumulated vsize (KiB) 37008

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 2.05 3/74 16619
/proc/meminfo: memFree=1246552/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=38804 CPUtime=637.37
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 4621233 822 0 0 62142 1595 0 0 25 0 1 0 58199964 39735296 8208 996147200 134512640 135095119 4294956304 18446744073709551615 134839528 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 9701 8208 387 142 0 8655 0
Current children cumulated CPU time (s) 637.37
Current children cumulated vsize (KiB) 38804

[startup+702.301 s]
/proc/loadavg: 1.99 2.00 2.04 4/74 16619
/proc/meminfo: memFree=1244760/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=40092 CPUtime=696.91
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 5005007 822 0 0 67966 1725 0 0 25 0 1 0 58199964 41054208 8600 996147200 134512640 135095119 4294956304 18446744073709551615 134615598 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 10023 8600 387 142 0 8977 0
Current children cumulated CPU time (s) 696.91
Current children cumulated vsize (KiB) 40092

[startup+762.307 s]
/proc/loadavg: 1.99 2.00 2.04 3/74 16619
/proc/meminfo: memFree=1242904/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=41508 CPUtime=756.46
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 5365904 822 0 0 73794 1852 0 0 25 0 1 0 58199964 42504192 9029 996147200 134512640 135095119 4294956304 18446744073709551615 134578931 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 10377 9029 387 142 0 9331 0
Current children cumulated CPU time (s) 756.46
Current children cumulated vsize (KiB) 41508

[startup+822.301 s]
/proc/loadavg: 1.99 2.00 2.03 4/74 16619
/proc/meminfo: memFree=1240792/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=43180 CPUtime=815.99
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 5731387 822 0 0 79616 1983 0 0 25 0 1 0 58199964 44216320 9522 996147200 134512640 135095119 4294956304 18446744073709551615 134615475 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 10795 9522 387 142 0 9749 0
Current children cumulated CPU time (s) 815.99
Current children cumulated vsize (KiB) 43180

[startup+882.302 s]
/proc/loadavg: 1.99 2.00 2.03 4/74 16619
/proc/meminfo: memFree=1239064/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=44468 CPUtime=875.53
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 6022641 822 0 0 85468 2085 0 0 25 0 1 0 58199964 45535232 9924 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 11117 9924 387 142 0 10071 0
Current children cumulated CPU time (s) 875.53
Current children cumulated vsize (KiB) 44468

[startup+942.301 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 16619
/proc/meminfo: memFree=1237144/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=45756 CPUtime=935.07
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 6321402 822 0 0 91310 2197 0 0 25 0 1 0 58199964 46854144 10309 996147200 134512640 135095119 4294956304 18446744073709551615 134842108 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 11439 10309 387 142 0 10393 0
Current children cumulated CPU time (s) 935.07
Current children cumulated vsize (KiB) 45756

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.01 4/74 16619
/proc/meminfo: memFree=1235864/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=46912 CPUtime=994.61
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 6623328 822 0 0 97146 2315 0 0 25 0 1 0 58199964 48037888 10667 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 11728 10667 387 142 0 10682 0
Current children cumulated CPU time (s) 994.61
Current children cumulated vsize (KiB) 46912

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.01 4/74 16619
/proc/meminfo: memFree=1233048/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=48452 CPUtime=1054.15
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 6951687 822 0 0 102985 2430 0 0 25 0 1 0 58199964 49614848 11124 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 12113 11124 387 142 0 11067 0
Current children cumulated CPU time (s) 1054.15
Current children cumulated vsize (KiB) 48452

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16619
/proc/meminfo: memFree=1230616/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=50516 CPUtime=1113.69
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 7301864 822 0 0 108815 2554 0 0 25 0 1 0 58199964 51728384 11701 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 12629 11701 387 142 0 11583 0
Current children cumulated CPU time (s) 1113.69
Current children cumulated vsize (KiB) 50516

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16619
/proc/meminfo: memFree=1218648/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=70136 CPUtime=1173.23
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 7663571 822 0 0 114645 2678 0 0 25 0 1 0 58199964 71819264 14691 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 17534 14691 387 142 0 16488 0
Current children cumulated CPU time (s) 1173.23
Current children cumulated vsize (KiB) 70136

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16619
/proc/meminfo: memFree=1218008/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=70136 CPUtime=1232.77
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 7752525 822 0 0 120565 2712 0 0 25 0 1 0 58199964 71819264 14801 996147200 134512640 135095119 4294956304 18446744073709551615 134589551 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 17534 14801 387 142 0 16488 0
Current children cumulated CPU time (s) 1232.77
Current children cumulated vsize (KiB) 70136

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16619
/proc/meminfo: memFree=1215512/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=72336 CPUtime=1292.32
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 8122511 822 0 0 126383 2849 0 0 25 0 1 0 58199964 74072064 15427 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 18084 15427 387 142 0 17038 0
Current children cumulated CPU time (s) 1292.32
Current children cumulated vsize (KiB) 72336

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16621
/proc/meminfo: memFree=1210584/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=76636 CPUtime=1351.85
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 8586522 822 0 0 132174 3011 0 0 25 0 1 0 58199964 78475264 16598 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 19159 16598 387 142 0 18113 0
Current children cumulated CPU time (s) 1351.85
Current children cumulated vsize (KiB) 76636

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16621
/proc/meminfo: memFree=1203032/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=83952 CPUtime=1411.39
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 9158314 822 0 0 137932 3207 0 0 25 0 1 0 58199964 85966848 18504 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 20988 18504 387 142 0 19942 0
Current children cumulated CPU time (s) 1411.39
Current children cumulated vsize (KiB) 83952

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

[startup+1423.1 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16621
/proc/meminfo: memFree=1203032/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=84216 CPUtime=1412.19
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 9174125 822 0 0 138007 3212 0 0 25 0 1 0 58199964 86237184 18583 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 21054 18583 387 142 0 20008 0
Current children cumulated CPU time (s) 1412.19
Current children cumulated vsize (KiB) 84216

[startup+1423.5 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16621
/proc/meminfo: memFree=1202584/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=84988 CPUtime=1412.58
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 9179083 822 0 0 138045 3213 0 0 25 0 1 0 58199964 87027712 18630 996147200 134512640 135095119 4294956304 18446744073709551615 5775126 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 21247 18630 387 142 0 20201 0
Current children cumulated CPU time (s) 1412.58
Current children cumulated vsize (KiB) 84988

[startup+1423.7 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16621
/proc/meminfo: memFree=1202584/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=68736 CPUtime=1412.78
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 9179112 822 0 0 138065 3213 0 0 25 0 1 0 58199964 70385664 16183 996147200 134512640 135095119 4294956304 18446744073709551615 134595289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 17184 16183 387 142 0 16138 0
Current children cumulated CPU time (s) 1412.78
Current children cumulated vsize (KiB) 68736

[startup+1423.8 s]
/proc/loadavg: 1.99 2.00 2.00 4/74 16621
/proc/meminfo: memFree=1202584/2055920 swapFree=4192812/4192956
[pid=16613] ppid=16611 vsize=68736 CPUtime=1412.88
/proc/16613/stat : 16613 (pcs.small) R 16611 16613 16016 0 -1 4194304 9179112 822 0 0 138075 3213 0 0 25 0 1 0 58199964 70385664 16183 996147200 134512640 135095119 4294956304 18446744073709551615 134595289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16613/statm: 17184 16183 387 142 0 16138 0
Current children cumulated CPU time (s) 1412.88
Current children cumulated vsize (KiB) 68736

Child status: 0
Real time (s): 1423.86
CPU time (s): 1412.96
CPU user time (s): 1380.8
CPU system time (s): 32.1571
CPU usage (%): 99.2347
Max. virtual memory (cumulated for all children) (KiB): 85124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1380.8
system time used= 32.1571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9179936
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= 22464

runsolver used 1.52677 second user time and 3.66744 second system time

The end

Launcher Data 

Begin job on node81 at 2009-07-16 04:29:09
IDJOB=2073144
IDBENCH=55952
IDSOLVER=733
FILE ID=node81/2073144-1247711349
PBS_JOBID= 9521452
Free space on /tmp= 126664 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/ramsey4/normalized-ramsey-33-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2073144-1247711349/watcher-2073144-1247711349 -o /tmp/evaluation-result-2073144-1247711349/solver-2073144-1247711349 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1102727635 HOME/instance-2073144-1247711349.xml

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

MD5SUM BENCH= a42d79bb6fe860b06fb8edfaf7f29aa0
RANDOM SEED=1102727635

node81.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.233
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.233
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1279016 kB
Buffers:         90916 kB
Cached:         574736 kB
SwapCached:          0 kB
Active:         205404 kB
Inactive:       480992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1279016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3472 kB
Writeback:           0 kB
Mapped:          32160 kB
Slab:            75664 kB
Committed_AS:   555180 kB
PageTables:       1812 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126664 MiB
End job on node81 at 2009-07-16 04:52:53