Trace number 2087610

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.2? 966.966 975.861

DiagnosticValue
ASSIGNMENTS488109

General information on the benchmark

Namecsp/os-taillard-10/
normalized-os-taillard-10-95-0.xml
MD5SUM1165e40eba72dfa257b8e9ace84cf5b2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.241962
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size611
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 781650243
0.00/0.02	c Constructing HOME/instance-2087610-1247727911.xml  with 6300 constraints
0.08/0.11	c Solving 488109 backtracks 23 restarts
966.79/975.73	s UNKNOWN
966.79/975.73	c Out of memory
966.79/975.73	d ASSIGNMENTS 488109

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087610-1247727911/watcher-2087610-1247727911 -o /tmp/evaluation-result-2087610-1247727911/solver-2087610-1247727911 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 781650243 HOME/instance-2087610-1247727911.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.92 1.98 1.99 4/81 13030
/proc/meminfo: memFree=1462920/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=5356 CPUtime=0
/proc/13030/stat : 13030 (pcssolve) R 13028 13030 12507 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59857763 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 227848809119 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13030/statm: 1339 241 200 169 0 50 0
[pid=13031] ppid=13030 vsize=5356 CPUtime=0
/proc/13031/stat : 13031 (pcssolve) R 13030 13030 12507 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59857764 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 227848809119 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13031/statm: 1339 241 200 169 0 50 0

[startup+0.0829511 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 13030
/proc/meminfo: memFree=1462920/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=6160 CPUtime=0.06
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 1161 659 0 0 6 0 0 0 23 0 1 0 59857763 6307840 792 996147200 134512640 135215973 4294956304 18446744073709551615 8326791 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 1540 792 388 171 0 465 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6160

[startup+0.101953 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 13030
/proc/meminfo: memFree=1462920/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=6476 CPUtime=0.08
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 1289 659 0 0 8 0 0 0 23 0 1 0 59857763 6631424 846 996147200 134512640 135215973 4294956304 18446744073709551615 8294799 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 1619 846 388 171 0 544 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6476

[startup+0.301976 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 13030
/proc/meminfo: memFree=1462920/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=9000 CPUtime=0.27
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 2160 659 0 0 26 1 0 0 25 0 1 0 59857763 9216000 1504 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 2250 1504 406 171 0 1175 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9000

[startup+0.70201 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 13030
/proc/meminfo: memFree=1462920/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=9220 CPUtime=0.67
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 2233 659 0 0 66 1 0 0 25 0 1 0 59857763 9441280 1577 996147200 134512640 135215973 4294956304 18446744073709551615 134591920 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 2305 1577 406 171 0 1230 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9220

[startup+1.50109 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1457920/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=9972 CPUtime=1.46
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 2415 659 0 0 145 1 0 0 25 0 1 0 59857763 10211328 1759 996147200 134512640 135215973 4294956304 18446744073709551615 134600029 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 2493 1759 406 171 0 1418 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9972

[startup+3.10124 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1456640/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=12008 CPUtime=3.05
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 2960 659 0 0 304 1 0 0 25 0 1 0 59857763 12296192 2206 996147200 134512640 135215973 4294956304 18446744073709551615 4158960516 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 3002 2206 406 171 0 1927 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 12008

[startup+6.30155 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1451776/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=16008 CPUtime=6.22
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 4040 659 0 0 621 1 0 0 25 0 1 0 59857763 16392192 3221 996147200 134512640 135215973 4294956304 18446744073709551615 135098252 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 4002 3221 406 171 0 2927 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 16008

[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1446656/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=21356 CPUtime=12.56
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 5524 659 0 0 1253 3 0 0 25 0 1 0 59857763 21868544 4576 996147200 134512640 135215973 4294956304 18446744073709551615 4158960868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 5339 4576 406 171 0 4264 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 21356

[startup+25.5024 s]
/proc/loadavg: 1.95 1.98 1.99 4/82 13035
/proc/meminfo: memFree=1432320/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=35720 CPUtime=25.23
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 9385 659 0 0 2519 4 0 0 25 0 1 0 59857763 36577280 8051 996147200 134512640 135215973 4294956304 18446744073709551615 4158844876 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 8930 8051 406 171 0 7855 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 35720

[startup+51.1028 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1409216/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=59560 CPUtime=50.6
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 16023 659 0 0 5051 9 0 0 25 0 1 0 59857763 60989440 13919 996147200 134512640 135215973 4294956304 18446744073709551615 135096057 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 14890 13919 406 171 0 13815 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 59560

[startup+102.308 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1356288/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=114992 CPUtime=101.33
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 30630 659 0 0 10117 16 0 0 25 0 1 0 59857763 117751808 26988 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 28748 26988 406 171 0 27673 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 114992

[startup+162.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1306112/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=168364 CPUtime=160.76
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 45354 659 0 0 16051 25 0 0 25 0 1 0 59857763 172404736 39663 996147200 134512640 135215973 4294956304 18446744073709551615 134600068 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 42091 39663 406 171 0 41016 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 168364

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1259904/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=208652 CPUtime=220.2
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 56746 659 0 0 21989 31 0 0 25 0 1 0 59857763 213659648 51055 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 52163 51055 406 171 0 51088 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 208652

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1199616/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=282788 CPUtime=279.63
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 77045 659 0 0 27921 42 0 0 25 0 1 0 59857763 289574912 66232 996147200 134512640 135215973 4294956304 18446744073709551615 134532952 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 70697 66232 406 171 0 69622 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 282788

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1145920/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=330584 CPUtime=339.08
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 90356 659 0 0 33860 48 0 0 25 0 1 0 59857763 338518016 79543 996147200 134512640 135215973 4294956304 18446744073709551615 135095024 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 82646 79543 406 171 0 81571 0
Current children cumulated CPU time (s) 339.08
Current children cumulated vsize (KiB) 330584

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1081536/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=393212 CPUtime=398.52
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 106531 659 0 0 39798 54 0 0 25 0 1 0 59857763 402649088 95718 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 98303 95718 406 171 0 97228 0
Current children cumulated CPU time (s) 398.52
Current children cumulated vsize (KiB) 393212

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=1020800/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=460600 CPUtime=457.95
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 123603 659 0 0 45733 62 0 0 25 0 1 0 59857763 471654400 110741 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 115150 110741 406 171 0 114075 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 460600

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=966400/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=512824 CPUtime=517.4
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 137326 659 0 0 51672 68 0 0 25 0 1 0 59857763 525131776 124464 996147200 134512640 135215973 4294956304 18446744073709551615 134591970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 128206 124464 406 171 0 127131 0
Current children cumulated CPU time (s) 517.4
Current children cumulated vsize (KiB) 512824

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=907072/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=597516 CPUtime=576.83
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 160217 659 0 0 57603 80 0 0 25 0 1 0 59857763 611856384 139162 996147200 134512640 135215973 4294956304 18446744073709551615 8294976 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 149379 139162 406 171 0 148304 0
Current children cumulated CPU time (s) 576.83
Current children cumulated vsize (KiB) 597516

[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=849536/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=647712 CPUtime=636.27
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 174428 659 0 0 63540 87 0 0 25 0 1 0 59857763 663257088 153373 996147200 134512640 135215973 4294956304 18446744073709551615 4158961313 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 161928 153373 406 171 0 160853 0
Current children cumulated CPU time (s) 636.27
Current children cumulated vsize (KiB) 647712

[startup+702.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=802240/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=689532 CPUtime=695.71
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 186244 659 0 0 69479 92 0 0 25 0 1 0 59857763 706080768 165189 996147200 134512640 135215973 4294956304 18446744073709551615 4158961121 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 172383 165189 406 171 0 171308 0
Current children cumulated CPU time (s) 695.71
Current children cumulated vsize (KiB) 689532

[startup+762.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=757056/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=729988 CPUtime=755.15
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 197506 659 0 0 75418 97 0 0 25 0 1 0 59857763 747507712 176451 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 182497 176451 406 171 0 181422 0
Current children cumulated CPU time (s) 755.15
Current children cumulated vsize (KiB) 729988

[startup+822.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=707776/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=774068 CPUtime=814.58
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 209866 659 0 0 81355 103 0 0 25 0 1 0 59857763 792645632 188811 996147200 134512640 135215973 4294956304 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 193517 188811 406 171 0 192442 0
Current children cumulated CPU time (s) 814.58
Current children cumulated vsize (KiB) 774068

[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13035
/proc/meminfo: memFree=652352/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=823148 CPUtime=874.03
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 223630 659 0 0 87292 111 0 0 25 0 1 0 59857763 842903552 202575 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13030/statm: 205787 202575 406 171 0 204712 0
Current children cumulated CPU time (s) 874.03
Current children cumulated vsize (KiB) 823148

[startup+942.305 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 13077
/proc/meminfo: memFree=620032/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=867272 CPUtime=933.41
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 236066 659 0 0 93223 118 0 0 25 0 1 0 59857763 888086528 215011 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 216818 215011 406 171 0 215743 0
Current children cumulated CPU time (s) 933.41
Current children cumulated vsize (KiB) 867272

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

[startup+947.107 s]
/proc/loadavg: 2.07 2.00 2.00 3/83 13077
/proc/meminfo: memFree=596992/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=871816 CPUtime=938.21
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 237332 659 0 0 93703 118 0 0 25 0 1 0 59857763 892739584 216277 996147200 134512640 135215973 4294956304 18446744073709551615 134592217 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 217954 216277 406 171 0 216879 0
Current children cumulated CPU time (s) 938.21
Current children cumulated vsize (KiB) 871816

[startup+959.901 s]
/proc/loadavg: 2.06 2.00 2.00 3/83 13077
/proc/meminfo: memFree=540096/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=882372 CPUtime=951
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 240315 659 0 0 94980 120 0 0 25 0 1 0 59857763 903548928 219260 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 220593 219260 406 171 0 219518 0
Current children cumulated CPU time (s) 951
Current children cumulated vsize (KiB) 882372

[startup+966.303 s]
/proc/loadavg: 2.05 2.00 2.00 3/82 13118
/proc/meminfo: memFree=603016/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=887924 CPUtime=957.4
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 241877 659 0 0 95619 121 0 0 25 0 1 0 59857763 909234176 220822 996147200 134512640 135215973 4294956304 18446744073709551615 4158960820 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 221981 220822 406 171 0 220906 0
Current children cumulated CPU time (s) 957.4
Current children cumulated vsize (KiB) 887924

[startup+972.701 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 13119
/proc/meminfo: memFree=573312/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=893812 CPUtime=963.8
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 243540 659 0 0 96257 123 0 0 25 0 1 0 59857763 915263488 222485 996147200 134512640 135215973 4294956304 18446744073709551615 134677950 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 223453 222485 406 171 0 222378 0
Current children cumulated CPU time (s) 963.8
Current children cumulated vsize (KiB) 893812

[startup+974.302 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 13119
/proc/meminfo: memFree=568256/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=895484 CPUtime=965.39
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 243759 659 2 0 96416 123 0 0 25 0 1 0 59857763 916975616 222705 996147200 134512640 135215973 4294956304 18446744073709551615 134615884 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 223871 222705 422 171 0 222796 0
Current children cumulated CPU time (s) 965.39
Current children cumulated vsize (KiB) 895484

[startup+975.103 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 13119
/proc/meminfo: memFree=578432/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=879096 CPUtime=966.19
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 243759 659 2 0 96496 123 0 0 25 0 1 0 59857763 900194304 218842 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 219774 218842 422 171 0 218699 0
Current children cumulated CPU time (s) 966.19
Current children cumulated vsize (KiB) 879096

[startup+975.502 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 13119
/proc/meminfo: memFree=578432/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=879096 CPUtime=966.59
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 243759 659 2 0 96536 123 0 0 25 0 1 0 59857763 900194304 218842 996147200 134512640 135215973 4294956304 18446744073709551615 134626105 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 219774 218842 422 171 0 218699 0
Current children cumulated CPU time (s) 966.59
Current children cumulated vsize (KiB) 879096

[startup+975.707 s]
/proc/loadavg: 2.04 2.00 2.00 3/83 13119
/proc/meminfo: memFree=574720/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=879096 CPUtime=966.79
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194304 243759 659 2 0 96556 123 0 0 25 0 1 0 59857763 900194304 218842 996147200 134512640 135215973 4294956304 18446744073709551615 8290373 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 219774 218842 422 171 0 218699 0
Current children cumulated CPU time (s) 966.79
Current children cumulated vsize (KiB) 879096

[startup+975.802 s]
/proc/loadavg: 2.04 2.00 2.00 3/83 13119
/proc/meminfo: memFree=574720/2055920 swapFree=4192812/4192956
[pid=13030] ppid=13028 vsize=0 CPUtime=966.89
/proc/13030/stat : 13030 (pcs.big) R 13028 13030 12507 0 -1 4194308 243762 659 2 0 96558 131 0 0 25 0 1 0 59857763 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/13030/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 966.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 975.861
CPU time (s): 966.966
CPU user time (s): 965.587
CPU system time (s): 1.37879
CPU usage (%): 99.0885
Max. virtual memory (cumulated for all children) (KiB): 895484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 965.587
system time used= 1.37879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244421
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 39154

runsolver used 1.2908 second user time and 3.15352 second system time

The end

Launcher Data 

Begin job on node18 at 2009-07-16 09:05:11
IDJOB=2087610
IDBENCH=58751
IDSOLVER=734
FILE ID=node18/2087610-1247727911
PBS_JOBID= 9521520
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/os-taillard-10/normalized-os-taillard-10-95-0.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087610-1247727911/watcher-2087610-1247727911 -o /tmp/evaluation-result-2087610-1247727911/solver-2087610-1247727911 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 781650243 HOME/instance-2087610-1247727911.xml

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

MD5SUM BENCH= 1165e40eba72dfa257b8e9ace84cf5b2
RANDOM SEED=781650243

node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.243
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.243
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1463400 kB
Buffers:         90140 kB
Cached:         367432 kB
SwapCached:          0 kB
Active:         134616 kB
Inactive:       378120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1463400 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1860 kB
Writeback:           0 kB
Mapped:          75568 kB
Slab:            64856 kB
Committed_AS:   550132 kB
PageTables:       1892 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= 66320 MiB
End job on node18 at 2009-07-16 09:21:27