Trace number 2057745

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? (TO) 1800.08 1807.42

General information on the benchmark

Namecsp/frb53-24/
normalized-frb53-24-2-mgd_ext.xml
MD5SUMc807862e06c48a2b4207c85ebc9f341f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables53
Number of constraints474
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension474
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.01	c Seed is 871039321
0.00/0.01	c Constructing HOME/instance-2057745-1247694231.xml  with 11373 constraints
0.08/0.19	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2057745-1247694231/watcher-2057745-1247694231 -o /tmp/evaluation-result-2057745-1247694231/solver-2057745-1247694231 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 871039321 HOME/instance-2057745-1247694231.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: 0.07 0.02 0.00 3/67 10143
/proc/meminfo: memFree=1457552/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=5356 CPUtime=0
/proc/10143/stat : 10143 (pcssolve) S 10141 10143 10045 0 -1 4194304 367 649 0 0 0 0 0 0 16 0 1 0 56489205 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10143/statm: 1339 243 202 169 0 50 0
[pid=10148] ppid=10143 vsize=0 CPUtime=0
/proc/10148/stat : 10148 (grep) R 10143 10143 10045 0 -1 4194308 173 0 0 0 0 0 0 0 18 0 1 0 56489206 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10148/statm: -- couldn't open statm file --
[startup+0.0406879 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 10143
/proc/meminfo: memFree=1457552/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=4772 CPUtime=0.02
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 913 822 0 0 2 0 0 0 17 0 1 0 56489205 4886528 522 996147200 134512640 135095119 4294956304 18446744073709551615 7452283 0 0 4096 0 0 0 0 17 1 0 0
/proc/10143/statm: 1193 522 364 142 0 147 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4772

[startup+0.101697 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 10143
/proc/meminfo: memFree=1457552/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=5828 CPUtime=0.08
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 1175 822 0 0 8 0 0 0 17 0 1 0 56489205 5967872 784 996147200 134512640 135095119 4294956304 18446744073709551615 7452283 0 0 4096 0 0 0 0 17 1 0 0
/proc/10143/statm: 1457 784 364 142 0 411 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5828

[startup+0.301724 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 10143
/proc/meminfo: memFree=1457552/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=8456 CPUtime=0.28
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 1902 822 0 0 28 0 0 0 19 0 1 0 56489205 8658944 1413 996147200 134512640 135095119 4294956304 18446744073709551615 134637600 0 0 4096 0 0 0 0 17 1 0 0
/proc/10143/statm: 2114 1413 378 142 0 1068 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8456

[startup+0.701782 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 10143
/proc/meminfo: memFree=1457552/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=8456 CPUtime=0.68
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 1904 822 0 0 68 0 0 0 23 0 1 0 56489205 8658944 1415 996147200 134512640 135095119 4294956304 18446744073709551615 134642596 0 0 4096 0 0 0 0 17 1 0 0
/proc/10143/statm: 2114 1415 378 142 0 1068 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8456

[startup+1.50291 s]
/proc/loadavg: 0.07 0.02 0.00 2/68 10149
/proc/meminfo: memFree=1453384/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=8456 CPUtime=1.47
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 1910 822 0 0 147 0 0 0 25 0 1 0 56489205 8658944 1421 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 2114 1421 378 142 0 1068 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8456

[startup+3.10114 s]
/proc/loadavg: 0.07 0.02 0.00 3/73 10164
/proc/meminfo: memFree=1446168/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=8456 CPUtime=3.06
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 1920 822 0 0 306 0 0 0 25 0 1 0 56489205 8658944 1431 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 2114 1431 378 142 0 1068 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 8456

[startup+6.3026 s]
/proc/loadavg: 0.22 0.05 0.01 3/73 10164
/proc/meminfo: memFree=1441368/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=8456 CPUtime=6.26
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 1940 822 0 0 625 1 0 0 25 0 1 0 56489205 8658944 1451 996147200 134512640 135095119 4294956304 18446744073709551615 134641644 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 2114 1451 378 142 0 1068 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 8456

[startup+12.7015 s]
/proc/loadavg: 0.36 0.08 0.02 3/73 10164
/proc/meminfo: memFree=1436192/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=9996 CPUtime=12.63
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 2241 822 0 0 1262 1 0 0 25 0 1 0 56489205 10235904 1623 996147200 134512640 135095119 4294956304 18446744073709551615 134576602 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 2499 1623 378 142 0 1453 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 9996

[startup+25.5014 s]
/proc/loadavg: 0.73 0.17 0.06 3/73 10164
/proc/meminfo: memFree=1425824/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=9996 CPUtime=25.37
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 2396 822 0 0 2536 1 0 0 25 0 1 0 56489205 10235904 1778 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 2499 1778 378 142 0 1453 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 9996

[startup+51.1011 s]
/proc/loadavg: 1.16 0.32 0.11 3/73 10164
/proc/meminfo: memFree=1407200/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=14152 CPUtime=50.87
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 3680 822 0 0 5085 2 0 0 25 0 1 0 56489205 14491648 2548 996147200 134512640 135095119 4294956304 18446744073709551615 134617221 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 3538 2548 378 142 0 2492 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 14152

[startup+102.307 s]
/proc/loadavg: 1.63 0.58 0.20 3/73 10164
/proc/meminfo: memFree=1388320/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=18048 CPUtime=101.86
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 5060 822 0 0 10183 3 0 0 25 0 1 0 56489205 18481152 3415 996147200 134512640 135095119 4294956304 18446744073709551615 134643050 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 4512 3415 378 142 0 3466 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 18048

[startup+162.301 s]
/proc/loadavg: 1.86 0.83 0.31 3/73 10164
/proc/meminfo: memFree=1368992/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=20160 CPUtime=161.62
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 5980 822 0 0 16157 5 0 0 25 0 1 0 56489205 20643840 4335 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 5040 4335 378 142 0 3994 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 20160

[startup+222.302 s]
/proc/loadavg: 2.04 1.07 0.43 3/73 10164
/proc/meminfo: memFree=1341024/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=28812 CPUtime=221.37
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 8496 822 0 0 22131 6 0 0 25 0 1 0 56489205 29503488 5313 996147200 134512640 135095119 4294956304 18446744073709551615 134555101 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 7203 5313 378 142 0 6157 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 28812

[startup+282.302 s]
/proc/loadavg: 2.05 1.25 0.53 3/73 10164
/proc/meminfo: memFree=1317856/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=30132 CPUtime=281.13
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 9119 822 0 0 28106 7 0 0 25 0 1 0 56489205 30855168 5936 996147200 134512640 135095119 4294956304 18446744073709551615 134641482 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 7533 5936 378 142 0 6487 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 30132

[startup+342.301 s]
/proc/loadavg: 2.02 1.39 0.62 3/73 10164
/proc/meminfo: memFree=1301344/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=31716 CPUtime=340.89
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 9804 822 0 0 34080 9 0 0 25 0 1 0 56489205 32477184 6621 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 7929 6621 378 142 0 6883 0
Current children cumulated CPU time (s) 340.89
Current children cumulated vsize (KiB) 31716

[startup+402.302 s]
/proc/loadavg: 2.00 1.50 0.70 3/73 10164
/proc/meminfo: memFree=1268192/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=33168 CPUtime=400.64
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 10419 822 0 0 40055 9 0 0 25 0 1 0 56489205 33964032 7236 996147200 134512640 135095119 4294956304 18446744073709551615 134589572 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 8292 7236 378 142 0 7246 0
Current children cumulated CPU time (s) 400.64
Current children cumulated vsize (KiB) 33168

[startup+462.302 s]
/proc/loadavg: 2.00 1.58 0.78 3/73 10166
/proc/meminfo: memFree=1259552/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=34616 CPUtime=460.4
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 11013 822 0 0 46029 11 0 0 25 0 1 0 56489205 35446784 7830 996147200 134512640 135095119 4294956304 18446744073709551615 134555008 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 8654 7830 378 142 0 7608 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 34616

[startup+522.301 s]
/proc/loadavg: 2.00 1.66 0.85 3/73 10166
/proc/meminfo: memFree=1250592/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=44260 CPUtime=520.16
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 13693 822 0 0 52003 13 0 0 25 0 1 0 56489205 45322240 8461 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 11065 8461 378 142 0 10019 0
Current children cumulated CPU time (s) 520.16
Current children cumulated vsize (KiB) 44260

[startup+582.301 s]
/proc/loadavg: 2.00 1.72 0.92 3/73 10166
/proc/meminfo: memFree=1232288/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=55352 CPUtime=579.91
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 16695 822 0 0 57977 14 0 0 25 0 1 0 56489205 56680448 10438 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 13838 10438 378 142 0 12792 0
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (KiB) 55352

[startup+642.302 s]
/proc/loadavg: 2.00 1.77 0.99 3/73 10166
/proc/meminfo: memFree=1219232/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=55352 CPUtime=639.67
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 16942 822 0 0 63952 15 0 0 25 0 1 0 56489205 56680448 10685 996147200 134512640 135095119 4294956304 18446744073709551615 134641807 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 13838 10685 378 142 0 12792 0
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (KiB) 55352

################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 2.00 1.86 1.16 3/73 10166
/proc/meminfo: memFree=1176096/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=55616 CPUtime=818.94
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 17713 822 0 0 81878 16 0 0 25 0 1 0 56489205 56950784 11456 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 13904 11456 378 142 0 12858 0
Current children cumulated CPU time (s) 818.94
Current children cumulated vsize (KiB) 55616

[startup+882.302 s]
/proc/loadavg: 2.07 1.90 1.21 3/73 10166
/proc/meminfo: memFree=1159648/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=56672 CPUtime=878.69
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 18201 822 0 0 87853 16 0 0 25 0 1 0 56489205 58032128 11944 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 14168 11944 378 142 0 13122 0
Current children cumulated CPU time (s) 878.69
Current children cumulated vsize (KiB) 56672

[startup+942.301 s]
/proc/loadavg: 2.08 1.93 1.26 3/73 10197
/proc/meminfo: memFree=1376664/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=57596 CPUtime=938.45
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 18661 822 0 0 93827 18 0 0 25 0 1 0 56489205 58978304 12404 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 14399 12404 378 142 0 13353 0
Current children cumulated CPU time (s) 938.45
Current children cumulated vsize (KiB) 57596

[startup+1002.3 s]
/proc/loadavg: 2.03 1.94 1.31 3/73 10197
/proc/meminfo: memFree=1340952/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=58784 CPUtime=998.21
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 19148 822 0 0 99803 18 0 0 25 0 1 0 56489205 60194816 12891 996147200 134512640 135095119 4294956304 18446744073709551615 134642888 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 14696 12891 378 142 0 13650 0
Current children cumulated CPU time (s) 998.21
Current children cumulated vsize (KiB) 58784

[startup+1062.3 s]
/proc/loadavg: 2.01 1.95 1.35 3/73 10203
/proc/meminfo: memFree=1308824/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=59844 CPUtime=1057.96
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 19608 822 0 0 105777 19 0 0 25 0 1 0 56489205 61280256 13351 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 14961 13351 378 142 0 13915 0
Current children cumulated CPU time (s) 1057.96
Current children cumulated vsize (KiB) 59844

[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.38 3/73 10203
/proc/meminfo: memFree=1269144/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=60768 CPUtime=1117.71
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 20045 822 0 0 111752 19 0 0 25 0 1 0 56489205 62226432 13788 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 15192 13788 378 142 0 14146 0
Current children cumulated CPU time (s) 1117.71
Current children cumulated vsize (KiB) 60768

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/73 10203
/proc/meminfo: memFree=1229016/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=61828 CPUtime=1177.47
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 20507 822 0 0 117727 20 0 0 25 0 1 0 56489205 63311872 14250 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 15457 14250 378 142 0 14411 0
Current children cumulated CPU time (s) 1177.47
Current children cumulated vsize (KiB) 61828

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.45 3/73 10203
/proc/meminfo: memFree=1182168/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=79268 CPUtime=1237.23
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 25048 822 0 0 123701 22 0 0 25 0 1 0 56489205 81170432 14694 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 19817 14694 378 142 0 18771 0
Current children cumulated CPU time (s) 1237.23
Current children cumulated vsize (KiB) 79268

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/73 10203
/proc/meminfo: memFree=1153624/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=80324 CPUtime=1296.99
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 25493 822 0 0 129676 23 0 0 25 0 1 0 56489205 82251776 15139 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 20081 15139 378 142 0 19035 0
Current children cumulated CPU time (s) 1296.99
Current children cumulated vsize (KiB) 80324

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/73 10203
/proc/meminfo: memFree=1120480/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=81256 CPUtime=1356.74
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 25922 822 0 0 135651 23 0 0 25 0 1 0 56489205 83206144 15568 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 20314 15568 378 142 0 19268 0
Current children cumulated CPU time (s) 1356.74
Current children cumulated vsize (KiB) 81256

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/73 10203
/proc/meminfo: memFree=1092640/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=82180 CPUtime=1416.5
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 26326 822 0 0 141626 24 0 0 25 0 1 0 56489205 84152320 15972 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 20545 15972 378 142 0 19499 0
Current children cumulated CPU time (s) 1416.5
Current children cumulated vsize (KiB) 82180

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/73 10203
/proc/meminfo: memFree=1062496/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=83232 CPUtime=1476.26
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 26773 822 0 0 147601 25 0 0 25 0 1 0 56489205 85229568 16419 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 20808 16419 378 142 0 19762 0
Current children cumulated CPU time (s) 1476.26
Current children cumulated vsize (KiB) 83232

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/73 10203
/proc/meminfo: memFree=1025632/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=84160 CPUtime=1536.01
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 27185 822 0 0 153576 25 0 0 25 0 1 0 56489205 86179840 16831 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 21040 16831 378 142 0 19994 0
Current children cumulated CPU time (s) 1536.01
Current children cumulated vsize (KiB) 84160

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/73 10203
/proc/meminfo: memFree=988256/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=85220 CPUtime=1595.77
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 27616 822 0 0 159551 26 0 0 25 0 1 0 56489205 87265280 17262 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 21305 17262 378 142 0 20259 0
Current children cumulated CPU time (s) 1595.77
Current children cumulated vsize (KiB) 85220

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/73 10203
/proc/meminfo: memFree=951840/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=86148 CPUtime=1655.53
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 28023 822 0 0 165527 26 0 0 25 0 1 0 56489205 88215552 17669 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 21537 17669 378 142 0 20491 0
Current children cumulated CPU time (s) 1655.53
Current children cumulated vsize (KiB) 86148

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/73 10203
/proc/meminfo: memFree=918432/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=87076 CPUtime=1715.29
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 28423 822 0 0 171502 27 0 0 25 0 1 0 56489205 89165824 18069 996147200 134512640 135095119 4294956304 18446744073709551615 134636891 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 21769 18069 378 142 0 20723 0
Current children cumulated CPU time (s) 1715.29
Current children cumulated vsize (KiB) 87076

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/73 10203
/proc/meminfo: memFree=879648/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=87864 CPUtime=1775.04
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 28810 822 0 0 177477 27 0 0 25 0 1 0 56489205 89972736 18456 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 21966 18456 378 142 0 20920 0
Current children cumulated CPU time (s) 1775.04
Current children cumulated vsize (KiB) 87864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.4 s]
/proc/loadavg: 2.00 1.97 1.68 3/73 10203
/proc/meminfo: memFree=864352/2055920 swapFree=4192812/4192956
[pid=10143] ppid=10141 vsize=88264 CPUtime=1800.05
/proc/10143/stat : 10143 (pcs.small) R 10141 10143 10045 0 -1 4194304 28960 822 0 0 179977 28 0 0 25 0 1 0 56489205 90382336 18606 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/10143/statm: 22066 18606 378 142 0 21020 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 88264

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.42
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.298954
CPU usage (%): 99.5939
Max. virtual memory (cumulated for all children) (KiB): 88264

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

runsolver used 1.71674 second user time and 4.86526 second system time

The end

Launcher Data 

Begin job on node30 at 2009-07-15 23:43:51
IDJOB=2057745
IDBENCH=53408
IDSOLVER=734
FILE ID=node30/2057745-1247694231
PBS_JOBID= 9521250
Free space on /tmp= 66288 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/frb53-24/normalized-frb53-24-2-mgd_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2057745-1247694231/watcher-2057745-1247694231 -o /tmp/evaluation-result-2057745-1247694231/solver-2057745-1247694231 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 871039321 HOME/instance-2057745-1247694231.xml

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

MD5SUM BENCH= c807862e06c48a2b4207c85ebc9f341f
RANDOM SEED=871039321

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:       1458104 kB
Buffers:         74404 kB
Cached:         428524 kB
SwapCached:          0 kB
Active:         211904 kB
Inactive:       306792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1458104 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2352 kB
Writeback:           0 kB
Mapped:          25608 kB
Slab:            64956 kB
Committed_AS:   499636 kB
PageTables:       1556 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 00:14:00