Trace number 2063321

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.09 1801.42

General information on the benchmark

Namecsp/rand-3-24-24/
normalized-rand-3-24-24-76-632-10_ext.xml
MD5SUMbf18611143afc06b8e4788fb89aa7ca2
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1702.36
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.18/0.21	c Seed is 1490597871
0.18/0.21	c Constructing HOME/instance-2063321-1247696048.xml  with 76 constraints
0.97/1.06	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-2063321-1247696048/watcher-2063321-1247696048 -o /tmp/evaluation-result-2063321-1247696048/solver-2063321-1247696048 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1490597871 HOME/instance-2063321-1247696048.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 2.00 1.70 4/72 8429
/proc/meminfo: memFree=1440560/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=5356 CPUtime=0
/proc/8429/stat : 8429 (pcssolve) R 8427 8429 8276 0 -1 4194304 273 0 0 0 0 0 0 0 22 0 1 0 56668138 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8429/statm: 1339 241 200 169 0 50 0
[pid=8430] ppid=8429 vsize=5356 CPUtime=0
/proc/8430/stat : 8430 (pcssolve) R 8429 8429 8276 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 56668139 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8430/statm: 1339 241 200 169 0 50 0

[startup+0.116891 s]
/proc/loadavg: 1.92 2.00 1.70 4/72 8429
/proc/meminfo: memFree=1440560/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=5284 CPUtime=0.09
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 947 873 0 0 6 0 2 1 18 0 1 0 56668138 5410816 556 996147200 134512640 135095119 4294956304 18446744073709551615 134945067 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 1321 556 375 142 0 275 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5284

[startup+0.2019 s]
/proc/loadavg: 1.92 2.00 1.70 4/72 8429
/proc/meminfo: memFree=1440560/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=6500 CPUtime=0.18
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 1064 873 0 0 15 0 2 1 18 0 1 0 56668138 6656000 673 996147200 134512640 135095119 4294956304 18446744073709551615 4159729145 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 1625 673 375 142 0 579 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6500

[startup+0.301906 s]
/proc/loadavg: 1.92 2.00 1.70 4/72 8429
/proc/meminfo: memFree=1440560/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=7716 CPUtime=0.27
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 1210 873 0 0 24 0 2 1 19 0 1 0 56668138 7901184 819 996147200 134512640 135095119 4294956304 18446744073709551615 134921151 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 1929 819 375 142 0 883 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7716

[startup+0.701942 s]
/proc/loadavg: 1.92 2.00 1.70 4/72 8429
/proc/meminfo: memFree=1440560/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=12952 CPUtime=0.67
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 1790 873 0 0 63 1 2 1 23 0 1 0 56668138 13262848 1399 996147200 134512640 135095119 4294956304 18446744073709551615 134739375 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 3238 1399 375 142 0 2192 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 12952

[startup+1.50202 s]
/proc/loadavg: 1.92 2.00 1.70 3/73 8435
/proc/meminfo: memFree=1434152/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=17700 CPUtime=1.46
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 2348 873 0 0 142 1 2 1 25 0 1 0 56668138 18124800 1957 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 4425 1957 389 142 0 3379 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17700

[startup+3.10216 s]
/proc/loadavg: 1.92 2.00 1.70 3/73 8435
/proc/meminfo: memFree=1433832/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=17700 CPUtime=3.05
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 2356 873 0 0 301 1 2 1 25 0 1 0 56668138 18124800 1965 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 4425 1965 389 142 0 3379 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 17700

[startup+6.30145 s]
/proc/loadavg: 1.93 2.00 1.70 3/73 8435
/proc/meminfo: memFree=1433640/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=17700 CPUtime=6.22
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 2394 873 0 0 618 1 2 1 25 0 1 0 56668138 18124800 2003 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 4425 2003 389 142 0 3379 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 17700

[startup+12.703 s]
/proc/loadavg: 1.93 2.00 1.71 3/73 8435
/proc/meminfo: memFree=1433128/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=17960 CPUtime=12.57
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 2483 873 0 0 1253 1 2 1 25 0 1 0 56668138 18391040 2092 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 4490 2092 389 142 0 3444 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 17960

[startup+25.5012 s]
/proc/loadavg: 1.95 2.00 1.71 3/73 8435
/proc/meminfo: memFree=1432360/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=18216 CPUtime=25.26
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 2655 873 0 0 2522 1 2 1 25 0 1 0 56668138 18653184 2199 996147200 134512640 135095119 4294956304 18446744073709551615 134927067 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 4554 2199 389 142 0 3508 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 18216

[startup+51.1015 s]
/proc/loadavg: 1.96 2.00 1.72 3/73 8435
/proc/meminfo: memFree=1430248/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=18988 CPUtime=50.64
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 3086 873 0 0 5059 2 2 1 25 0 1 0 56668138 19443712 2501 996147200 134512640 135095119 4294956304 18446744073709551615 134927020 0 0 4096 0 0 0 0 17 1 0 0
/proc/8429/statm: 4747 2501 389 142 0 3701 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 18988

[startup+102.301 s]
/proc/loadavg: 1.92 1.98 1.73 3/73 8468
/proc/meminfo: memFree=1522856/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=20780 CPUtime=101.56
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 4269 873 0 0 10150 3 2 1 25 0 1 0 56668138 21278720 3233 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 5195 3233 389 142 0 4149 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 20780

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.74 3/73 8500
/proc/meminfo: memFree=1505192/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=22828 CPUtime=161.53
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 5368 873 0 0 16145 5 2 1 25 0 1 0 56668138 23375872 3819 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 5707 3819 389 142 0 4661 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 22828

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.76 3/73 8500
/proc/meminfo: memFree=1500008/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=24112 CPUtime=221.52
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 6469 873 0 0 22143 6 2 1 25 0 1 0 56668138 24690688 4663 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 6028 4663 389 142 0 4982 0
Current children cumulated CPU time (s) 221.52
Current children cumulated vsize (KiB) 24112

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.77 3/73 8500
/proc/meminfo: memFree=1495464/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=28208 CPUtime=281.49
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 8047 873 0 0 28140 6 2 1 25 0 1 0 56668138 28884992 5216 996147200 134512640 135095119 4294956304 18446744073709551615 134927091 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 7052 5216 389 142 0 6006 0
Current children cumulated CPU time (s) 281.49
Current children cumulated vsize (KiB) 28208

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 1.78 3/73 8500
/proc/meminfo: memFree=1491496/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=28592 CPUtime=341.47
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 8676 873 0 0 34137 7 2 1 25 0 1 0 56668138 29278208 5845 996147200 134512640 135095119 4294956304 18446744073709551615 134918233 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 7148 5845 389 142 0 6102 0
Current children cumulated CPU time (s) 341.47
Current children cumulated vsize (KiB) 28592

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 1.79 3/73 8500
/proc/meminfo: memFree=1482088/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=35244 CPUtime=401.45
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 10683 873 0 0 40134 8 2 1 25 0 1 0 56668138 36089856 7274 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 8811 7274 389 142 0 7765 0
Current children cumulated CPU time (s) 401.45
Current children cumulated vsize (KiB) 35244

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.80 3/73 8500
/proc/meminfo: memFree=1479592/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=35244 CPUtime=461.43
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 11057 873 0 0 46131 9 2 1 25 0 1 0 56668138 36089856 7648 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 8811 7648 389 142 0 7765 0
Current children cumulated CPU time (s) 461.43
Current children cumulated vsize (KiB) 35244

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.81 3/73 8500
/proc/meminfo: memFree=1476200/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=44484 CPUtime=521.41
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 13750 873 0 0 52127 11 2 1 25 0 1 0 56668138 45551616 8292 996147200 134512640 135095119 4294956304 18446744073709551615 134927232 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 11121 8292 389 142 0 10075 0
Current children cumulated CPU time (s) 521.41
Current children cumulated vsize (KiB) 44484

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.82 3/73 8500
/proc/meminfo: memFree=1470952/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=46316 CPUtime=581.39
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 14606 873 0 0 58124 12 2 1 25 0 1 0 56668138 47427584 9148 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 11579 9148 389 142 0 10533 0
Current children cumulated CPU time (s) 581.39
Current children cumulated vsize (KiB) 46316

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 1.83 3/73 8500
/proc/meminfo: memFree=1466088/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=48024 CPUtime=641.37
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 15380 873 0 0 64121 13 2 1 25 0 1 0 56668138 49176576 9922 996147200 134512640 135095119 4294956304 18446744073709551615 134554989 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 12006 9922 389 142 0 10960 0
Current children cumulated CPU time (s) 641.37

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.85 3/73 8500
/proc/meminfo: memFree=1443496/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=60828 CPUtime=881.28
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 20090 873 0 0 88110 15 2 1 25 0 1 0 56668138 62287872 13478 996147200 134512640 135095119 4294956304 18446744073709551615 134918163 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 15207 13478 389 142 0 14161 0
Current children cumulated CPU time (s) 881.28
Current children cumulated vsize (KiB) 60828

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/73 8500
/proc/meminfo: memFree=1441000/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=60956 CPUtime=941.26
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 20456 873 0 0 94107 16 2 1 25 0 1 0 56668138 62418944 13844 996147200 134512640 135095119 4294956304 18446744073709551615 134916445 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 15239 13844 389 142 0 14193 0
Current children cumulated CPU time (s) 941.26
Current children cumulated vsize (KiB) 60956

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/73 8500
/proc/meminfo: memFree=1436456/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=78780 CPUtime=1001.23
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 25256 873 0 0 100102 18 2 1 25 0 1 0 56668138 80670720 14547 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 19695 14547 389 142 0 18649 0
Current children cumulated CPU time (s) 1001.23
Current children cumulated vsize (KiB) 78780

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/73 8500
/proc/meminfo: memFree=1431720/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=80352 CPUtime=1061.22
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 25991 873 0 0 106099 20 2 1 25 0 1 0 56668138 82280448 15282 996147200 134512640 135095119 4294956304 18446744073709551615 134918069 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 20088 15282 389 142 0 19042 0
Current children cumulated CPU time (s) 1061.22
Current children cumulated vsize (KiB) 80352

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/73 8500
/proc/meminfo: memFree=1426856/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=81924 CPUtime=1121.2
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 26732 873 0 0 112096 21 2 1 25 0 1 0 56668138 83890176 16023 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 20481 16023 389 142 0 19435 0
Current children cumulated CPU time (s) 1121.2
Current children cumulated vsize (KiB) 81924

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/73 8500
/proc/meminfo: memFree=1421864/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=83624 CPUtime=1181.18
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 27483 873 0 0 118093 22 2 1 25 0 1 0 56668138 85630976 16774 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 20906 16774 389 142 0 19860 0
Current children cumulated CPU time (s) 1181.18
Current children cumulated vsize (KiB) 83624

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/73 8500
/proc/meminfo: memFree=1416680/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=85196 CPUtime=1241.16
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 28222 873 0 0 124090 23 2 1 25 0 1 0 56668138 87240704 17513 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 21299 17513 389 142 0 20253 0
Current children cumulated CPU time (s) 1241.16
Current children cumulated vsize (KiB) 85196

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/73 8500
/proc/meminfo: memFree=1411560/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=86888 CPUtime=1301.13
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 28949 873 0 0 130087 23 2 1 25 0 1 0 56668138 88973312 18240 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 21722 18240 389 142 0 20676 0
Current children cumulated CPU time (s) 1301.13
Current children cumulated vsize (KiB) 86888

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/73 8500
/proc/meminfo: memFree=1398568/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=88456 CPUtime=1361.11
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 29678 873 0 0 136084 24 2 1 25 0 1 0 56668138 90578944 18969 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 22114 18969 389 142 0 21068 0
Current children cumulated CPU time (s) 1361.11
Current children cumulated vsize (KiB) 88456

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/73 8500
/proc/meminfo: memFree=1394728/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=90024 CPUtime=1421.09
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 30402 873 0 0 142082 24 2 1 25 0 1 0 56668138 92184576 19693 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 22506 19693 389 142 0 21460 0
Current children cumulated CPU time (s) 1421.09
Current children cumulated vsize (KiB) 90024

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1377256/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1481.07
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 36586 873 0 0 148077 27 2 1 25 0 1 0 56668138 116109312 23828 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 23828 389 142 0 27301 0
Current children cumulated CPU time (s) 1481.07
Current children cumulated vsize (KiB) 113388

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1375208/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1541.06
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 36916 873 0 0 154075 28 2 1 25 0 1 0 56668138 116109312 24158 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 24158 389 142 0 27301 0
Current children cumulated CPU time (s) 1541.06
Current children cumulated vsize (KiB) 113388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1373032/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1601.03
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 37244 873 0 0 160072 28 2 1 25 0 1 0 56668138 116109312 24486 996147200 134512640 135095119 4294956304 18446744073709551615 134918192 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 24486 389 142 0 27301 0
Current children cumulated CPU time (s) 1601.03
Current children cumulated vsize (KiB) 113388

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1370664/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1661
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 37576 873 0 0 166069 28 2 1 25 0 1 0 56668138 116109312 24818 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 24818 389 142 0 27301 0
Current children cumulated CPU time (s) 1661
Current children cumulated vsize (KiB) 113388

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1368616/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1720.98
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 37903 873 0 0 172067 28 2 1 25 0 1 0 56668138 116109312 25145 996147200 134512640 135095119 4294956304 18446744073709551615 134918231 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 25145 389 142 0 27301 0
Current children cumulated CPU time (s) 1720.98
Current children cumulated vsize (KiB) 113388

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1365992/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1780.96
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 38236 873 0 0 178064 29 2 1 25 0 1 0 56668138 116109312 25478 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 25478 389 142 0 27301 0
Current children cumulated CPU time (s) 1780.96
Current children cumulated vsize (KiB) 113388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1800.06
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 38342 873 0 0 179974 29 2 1 25 0 1 0 56668138 116109312 25584 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 25584 389 142 0 27301 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 113388

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

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 8500
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=8429] ppid=8427 vsize=113388 CPUtime=1800.06
/proc/8429/stat : 8429 (pcs.small) R 8427 8429 8276 0 -1 4194304 38342 873 0 0 179974 29 2 1 25 0 1 0 56668138 116109312 25584 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8429/statm: 28347 25584 389 142 0 27301 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 113388

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.42
CPU time (s): 1800.09
CPU user time (s): 1799.77
CPU system time (s): 0.32295
CPU usage (%): 99.9261
Max. virtual memory (cumulated for all children) (KiB): 120132

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

runsolver used 1.84472 second user time and 4.94525 second system time

The end

Launcher Data 

Begin job on node55 at 2009-07-16 00:14:08
IDJOB=2063321
IDBENCH=54004
IDSOLVER=733
FILE ID=node55/2063321-1247696048
PBS_JOBID= 9521202
Free space on /tmp= 66372 MiB

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

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

MD5SUM BENCH= bf18611143afc06b8e4788fb89aa7ca2
RANDOM SEED=1490597871

node55.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.231
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.231
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:       1441040 kB
Buffers:         68964 kB
Cached:         361408 kB
SwapCached:          0 kB
Active:         272344 kB
Inactive:       271888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1441040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4660 kB
Writeback:           0 kB
Mapped:         125304 kB
Slab:            55892 kB
Committed_AS:   624888 kB
PageTables:       1912 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= 66364 MiB
End job on node55 at 2009-07-16 00:44:12