Trace number 2075201

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.2? (TO) 1800.05 1812.62

General information on the benchmark

Namecsp/rand-3-24-24-fcd/
normalized-rand-3-24-24-76-632-fcd-10_ext.xml
MD5SUM1a3479aef1bab58ff39ed2c94bbcc237
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark241.314
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.04	c small-domain mode
0.00/0.05	c Seed is 970903553
0.00/0.05	c Constructing HOME/instance-2075201-1247712883.xml  with 76 constraints
0.97/1.08	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-2075201-1247712883/watcher-2075201-1247712883 -o /tmp/evaluation-result-2075201-1247712883/solver-2075201-1247712883 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 970903553 HOME/instance-2075201-1247712883.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 4/81 14967
/proc/meminfo: memFree=1199936/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=5356 CPUtime=0
/proc/14967/stat : 14967 (pcssolve) R 14965 14967 13934 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58351426 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226238196383 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14967/statm: 1339 241 200 169 0 50 0
[pid=14968] ppid=14967 vsize=5356 CPUtime=0
/proc/14968/stat : 14968 (pcssolve) R 14967 14967 13934 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58351426 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226238196383 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14968/statm: 1339 241 200 169 0 50 0

[startup+0.0216749 s]
/proc/loadavg: 2.03 2.03 2.00 4/81 14967
/proc/meminfo: memFree=1199936/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=5356 CPUtime=0
/proc/14967/stat : 14967 (pcssolve) S 14965 14967 13934 0 -1 4194304 339 334 0 0 0 0 0 0 21 0 1 0 58351426 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14967/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10168 s]
/proc/loadavg: 2.03 2.03 2.00 4/81 14967
/proc/meminfo: memFree=1199936/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=5092 CPUtime=0.08
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 907 873 0 0 5 0 2 1 18 0 1 0 58351426 5214208 516 996147200 134512640 135095119 4294956304 18446744073709551615 4988020 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 1273 516 375 142 0 227 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5092

[startup+0.301697 s]
/proc/loadavg: 2.03 2.03 2.00 4/81 14967
/proc/meminfo: memFree=1199936/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=7712 CPUtime=0.28
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 1202 873 0 0 25 0 2 1 19 0 1 0 58351426 7897088 811 996147200 134512640 135095119 4294956304 18446744073709551615 5336711 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 1928 811 375 142 0 882 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7712

[startup+0.701732 s]
/proc/loadavg: 2.03 2.03 2.00 4/81 14967
/proc/meminfo: memFree=1199936/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=12944 CPUtime=0.67
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 1787 873 0 0 64 0 2 1 23 0 1 0 58351426 13254656 1396 996147200 134512640 135095119 4294956304 18446744073709551615 5336670 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 3236 1396 375 142 0 2190 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 12944

[startup+1.50181 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 14973
/proc/meminfo: memFree=1193976/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=17712 CPUtime=1.46
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 2353 873 0 0 143 0 2 1 25 0 1 0 58351426 18137088 1962 996147200 134512640 135095119 4294956304 18446744073709551615 134615417 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 4428 1962 389 142 0 3382 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17712

[startup+3.10194 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 14973
/proc/meminfo: memFree=1193272/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=17712 CPUtime=3.05
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 2363 873 0 0 302 0 2 1 25 0 1 0 58351426 18137088 1972 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 4428 1972 389 142 0 3382 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 17712

[startup+6.30123 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 14973
/proc/meminfo: memFree=1193016/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=17712 CPUtime=6.21
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 2406 873 0 0 618 0 2 1 25 0 1 0 58351426 18137088 2015 996147200 134512640 135095119 4294956304 18446744073709551615 134918129 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 4428 2015 389 142 0 3382 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 17712

[startup+12.7018 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 14973
/proc/meminfo: memFree=1192632/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=17972 CPUtime=12.56
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 2507 873 0 0 1252 1 2 1 25 0 1 0 58351426 18403328 2116 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 4493 2116 389 142 0 3447 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 17972

[startup+25.5019 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 14973
/proc/meminfo: memFree=1192184/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=18488 CPUtime=25.24
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 2728 873 0 0 2520 1 2 1 25 0 1 0 58351426 18931712 2272 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 4622 2272 389 142 0 3576 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 18488

[startup+51.1012 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 14973
/proc/meminfo: memFree=1190840/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=19256 CPUtime=50.6
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 3237 873 0 0 5055 2 2 1 25 0 1 0 58351426 19718144 2587 996147200 134512640 135095119 4294956304 18446744073709551615 134918175 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 4814 2587 389 142 0 3768 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 19256

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14973
/proc/meminfo: memFree=1188280/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=20792 CPUtime=101.33
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 4236 873 0 0 10127 3 2 1 25 0 1 0 58351426 21291008 3200 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 5198 3200 389 142 0 4152 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 20792

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14973
/proc/meminfo: memFree=1186168/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=22840 CPUtime=160.76
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 5264 873 0 0 16069 4 2 1 25 0 1 0 58351426 23388160 3715 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 5710 3715 389 142 0 4664 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 22840

[startup+222.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 14973
/proc/meminfo: memFree=1182712/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=24124 CPUtime=220.2
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 6389 873 0 0 22012 5 2 1 25 0 1 0 58351426 24702976 4583 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 6031 4583 389 142 0 4985 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 24124

[startup+282.302 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 14973
/proc/meminfo: memFree=1180728/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=28220 CPUtime=279.64
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 7893 873 0 0 27955 6 2 1 25 0 1 0 58351426 28897280 5062 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 7055 5062 389 142 0 6009 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 28220

[startup+342.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 14973
/proc/meminfo: memFree=1178488/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=28220 CPUtime=339.08
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 8462 873 0 0 33898 7 2 1 25 0 1 0 58351426 28897280 5631 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 7055 5631 389 142 0 6009 0
Current children cumulated CPU time (s) 339.08
Current children cumulated vsize (KiB) 28220

[startup+402.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 14979
/proc/meminfo: memFree=1172600/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=35136 CPUtime=398.5
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 10480 873 0 0 39839 8 2 1 25 0 1 0 58351426 35979264 7071 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 8784 7071 389 142 0 7738 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 35136

[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 4/82 14979
/proc/meminfo: memFree=1171448/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=35136 CPUtime=457.93
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 10803 873 0 0 45781 9 2 1 25 0 1 0 58351426 35979264 7394 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 8784 7394 389 142 0 7738 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 35136

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14979
/proc/meminfo: memFree=1169720/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=43328 CPUtime=517.37
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 13224 873 0 0 51724 10 2 1 25 0 1 0 58351426 44367872 7766 996147200 134512640 135095119 4294956304 18446744073709551615 134927049 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 10832 7766 389 142 0 9786 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 43328

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14979
/proc/meminfo: memFree=1166712/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=45176 CPUtime=576.81
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 14022 873 0 0 57667 11 2 1 25 0 1 0 58351426 46260224 8564 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 11294 8564 389 142 0 10248 0
Current children cumulated CPU time (s) 576.81
Current children cumulated vsize (KiB) 45176

[startup+642.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 14979
/proc/meminfo: memFree=1163448/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=46876 CPUtime=636.25
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 14824 873 0 0 63610 12 2 1 25 0 1 0 58351426 48001024 9366 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 11719 9366 389 142 0 10673 0
Current children cumulated CPU time (s) 636.25

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

[startup+822.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 14979
/proc/meminfo: memFree=1150264/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=60072 CPUtime=814.57
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 19251 873 0 0 81439 15 2 1 25 0 1 0 58351426 61513728 12639 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 15018 12639 389 142 0 13972 0
Current children cumulated CPU time (s) 814.57
Current children cumulated vsize (KiB) 60072

[startup+882.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 14979
/proc/meminfo: memFree=1149048/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=60072 CPUtime=874.01
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 19580 873 0 0 87383 15 2 1 25 0 1 0 58351426 61513728 12968 996147200 134512640 135095119 4294956304 18446744073709551615 134918099 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 15018 12968 389 142 0 13972 0
Current children cumulated CPU time (s) 874.01
Current children cumulated vsize (KiB) 60072

[startup+942.302 s]
/proc/loadavg: 2.10 2.05 2.01 3/82 14979
/proc/meminfo: memFree=1147832/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=60072 CPUtime=933.44
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 19876 873 0 0 93326 15 2 1 25 0 1 0 58351426 61513728 13264 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 15018 13264 389 142 0 13972 0
Current children cumulated CPU time (s) 933.44
Current children cumulated vsize (KiB) 60072

[startup+1002.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/82 14979
/proc/meminfo: memFree=1145656/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=61116 CPUtime=992.88
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 20418 873 0 0 99269 16 2 1 25 0 1 0 58351426 62582784 13806 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 15279 13806 389 142 0 14233 0
Current children cumulated CPU time (s) 992.88
Current children cumulated vsize (KiB) 61116

[startup+1062.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/82 14979
/proc/meminfo: memFree=1143352/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=78684 CPUtime=1052.32
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 25111 873 0 0 105210 19 2 1 25 0 1 0 58351426 80572416 14402 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 19671 14402 389 142 0 18625 0
Current children cumulated CPU time (s) 1052.32
Current children cumulated vsize (KiB) 78684

[startup+1122.3 s]
/proc/loadavg: 2.15 2.10 2.02 3/82 14979
/proc/meminfo: memFree=1140856/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=80120 CPUtime=1111.76
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 25726 873 0 0 111153 20 2 1 25 0 1 0 58351426 82042880 15017 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 20030 15017 389 142 0 18984 0
Current children cumulated CPU time (s) 1111.76
Current children cumulated vsize (KiB) 80120

[startup+1182.3 s]
/proc/loadavg: 2.09 2.09 2.02 3/82 14979
/proc/meminfo: memFree=1138360/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=81416 CPUtime=1171.21
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 26341 873 0 0 117097 21 2 1 25 0 1 0 58351426 83369984 15632 996147200 134512640 135095119 4294956304 18446744073709551615 134918283 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 20354 15632 389 142 0 19308 0
Current children cumulated CPU time (s) 1171.21
Current children cumulated vsize (KiB) 81416

[startup+1242.3 s]
/proc/loadavg: 2.11 2.10 2.03 3/82 14979
/proc/meminfo: memFree=1135928/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=82720 CPUtime=1230.65
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 26953 873 0 0 123040 22 2 1 25 0 1 0 58351426 84705280 16244 996147200 134512640 135095119 4294956304 18446744073709551615 134918163 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 20680 16244 389 142 0 19634 0
Current children cumulated CPU time (s) 1230.65
Current children cumulated vsize (KiB) 82720

[startup+1302.3 s]
/proc/loadavg: 2.28 2.14 2.04 3/82 14979
/proc/meminfo: memFree=1133368/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=84024 CPUtime=1290.09
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 27567 873 0 0 128984 22 2 1 25 0 1 0 58351426 86040576 16858 996147200 134512640 135095119 4294956304 18446744073709551615 134926993 0 0 4096 0 0 0 0 17 1 0 0
/proc/14967/statm: 21006 16858 389 142 0 19960 0
Current children cumulated CPU time (s) 1290.09
Current children cumulated vsize (KiB) 84024

[startup+1362.3 s]
/proc/loadavg: 2.06 2.10 2.03 3/73 15105
/proc/meminfo: memFree=1182216/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=85456 CPUtime=1349.91
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 28222 873 0 0 134963 25 2 1 25 0 1 0 58351426 87506944 17513 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 21364 17513 389 142 0 20318 0
Current children cumulated CPU time (s) 1349.91
Current children cumulated vsize (KiB) 85456

[startup+1422.31 s]
/proc/loadavg: 2.11 2.10 2.03 3/73 15179
/proc/meminfo: memFree=1158344/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=86888 CPUtime=1409.88
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 28893 873 0 0 140956 29 2 1 25 0 1 0 58351426 88973312 18184 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 21722 18184 389 142 0 20676 0
Current children cumulated CPU time (s) 1409.88
Current children cumulated vsize (KiB) 86888

[startup+1482.3 s]
/proc/loadavg: 2.29 2.14 2.05 4/83 15219
/proc/meminfo: memFree=441208/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=88460 CPUtime=1469.84
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 29638 873 0 0 146950 31 2 1 25 0 1 0 58351426 90583040 18929 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 22115 18929 389 142 0 21069 0
Current children cumulated CPU time (s) 1469.84
Current children cumulated vsize (KiB) 88460

[startup+1542.3 s]
/proc/loadavg: 2.14 2.12 2.05 3/83 15219
/proc/meminfo: memFree=431608/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=90160 CPUtime=1529.82
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 30389 873 0 0 152947 32 2 1 25 0 1 0 58351426 92323840 19680 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 22540 19680 389 142 0 21494 0
Current children cumulated CPU time (s) 1529.82
Current children cumulated vsize (KiB) 90160

[startup+1602.3 s]
/proc/loadavg: 2.46 2.23 2.09 4/83 15220
/proc/meminfo: memFree=472816/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=112344 CPUtime=1589.79
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 36283 873 0 0 158940 36 2 1 25 0 1 0 58351426 115040256 23525 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 28086 23525 389 142 0 27040 0
Current children cumulated CPU time (s) 1589.79
Current children cumulated vsize (KiB) 112344

[startup+1662.3 s]
/proc/loadavg: 2.24 2.20 2.09 3/83 15220
/proc/meminfo: memFree=471216/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=112344 CPUtime=1649.78
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 36631 873 0 0 164938 37 2 1 25 0 1 0 58351426 115040256 23873 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 28086 23873 389 142 0 27040 0
Current children cumulated CPU time (s) 1649.78
Current children cumulated vsize (KiB) 112344

[startup+1722.3 s]
/proc/loadavg: 2.33 2.23 2.10 3/83 15220
/proc/meminfo: memFree=469808/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=112344 CPUtime=1709.75
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 36981 873 0 0 170935 37 2 1 25 0 1 0 58351426 115040256 24223 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 28086 24223 389 142 0 27040 0
Current children cumulated CPU time (s) 1709.75
Current children cumulated vsize (KiB) 112344

[startup+1782.3 s]
/proc/loadavg: 2.12 2.18 2.09 3/83 15220
/proc/meminfo: memFree=468208/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=112344 CPUtime=1769.73
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 37340 873 0 0 176932 38 2 1 25 0 1 0 58351426 115040256 24582 996147200 134512640 135095119 4294956304 18446744073709551615 134918117 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 28086 24582 389 142 0 27040 0
Current children cumulated CPU time (s) 1769.73
Current children cumulated vsize (KiB) 112344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.6 s]
/proc/loadavg: 2.07 2.16 2.09 3/83 15220
/proc/meminfo: memFree=467504/2055920 swapFree=4192812/4192956
[pid=14967] ppid=14965 vsize=112344 CPUtime=1800.02
/proc/14967/stat : 14967 (pcs.small) R 14965 14967 13934 0 -1 4194304 37520 873 0 0 179961 38 2 1 25 0 1 0 58351426 115040256 24762 996147200 134512640 135095119 4294956304 18446744073709551615 134927013 0 0 4096 0 0 0 0 17 0 0 0
/proc/14967/statm: 28086 24762 389 142 0 27040 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 112344

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): 1812.62
CPU time (s): 1800.05
CPU user time (s): 1799.64
CPU system time (s): 0.415936
CPU usage (%): 99.3065
Max. virtual memory (cumulated for all children) (KiB): 119352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.415936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38393
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= 23
involuntary context switches= 54519

runsolver used 2.36064 second user time and 5.85711 second system time

The end

Launcher Data 

Begin job on node58 at 2009-07-16 04:54:43
IDJOB=2075201
IDBENCH=56245
IDSOLVER=733
FILE ID=node58/2075201-1247712883
PBS_JOBID= 9521349
Free space on /tmp= 66240 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-10_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2075201-1247712883/watcher-2075201-1247712883 -o /tmp/evaluation-result-2075201-1247712883/solver-2075201-1247712883 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 970903553 HOME/instance-2075201-1247712883.xml

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

MD5SUM BENCH= 1a3479aef1bab58ff39ed2c94bbcc237
RANDOM SEED=970903553

node58.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.234
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.234
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:       1200352 kB
Buffers:         81068 kB
Cached:         617020 kB
SwapCached:          0 kB
Active:         276456 kB
Inactive:       506244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1200352 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4712 kB
Writeback:           0 kB
Mapped:         105008 kB
Slab:            58004 kB
Committed_AS:   604904 kB
PageTables:       1920 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= 66236 MiB
End job on node58 at 2009-07-16 05:24:58