Trace number 2063179

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.1 1800.83

General information on the benchmark

Namecsp/rand-3-24-24/
normalized-rand-3-24-24-76-632-32_ext.xml
MD5SUM8805480f3678cb88558dc50a18f30af9
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 benchmark984.19
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints72
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension72
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 2053275108
0.18/0.21	c Constructing HOME/instance-2063179-1247696038.xml  with 72 constraints
0.88/0.97	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-2063179-1247696038/watcher-2063179-1247696038 -o /tmp/evaluation-result-2063179-1247696038/solver-2063179-1247696038 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2053275108 HOME/instance-2063179-1247696038.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.85 1.94 1.67 4/72 12367
/proc/meminfo: memFree=1103192/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=5356 CPUtime=0
/proc/12367/stat : 12367 (pcssolve) R 12365 12367 12146 0 -1 4194304 273 0 0 0 0 0 0 0 22 0 1 0 56669890 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 254195329695 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12367/statm: 1339 241 200 169 0 50 0
[pid=12368] ppid=12367 vsize=5356 CPUtime=0
/proc/12368/stat : 12368 (pcssolve) R 12367 12367 12146 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 56669891 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 254195329695 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12368/statm: 1339 241 200 169 0 50 0

[startup+0.104263 s]
/proc/loadavg: 1.85 1.94 1.67 4/72 12367
/proc/meminfo: memFree=1103192/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=5268 CPUtime=0.08
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 926 873 0 0 5 0 2 1 18 0 1 0 56669890 5394432 535 996147200 134512640 135095119 4294956304 18446744073709551615 134741556 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 1317 535 375 142 0 271 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5268

[startup+0.202267 s]
/proc/loadavg: 1.85 1.94 1.67 4/72 12367
/proc/meminfo: memFree=1103192/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=6480 CPUtime=0.18
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 1098 873 0 0 15 0 2 1 18 0 1 0 56669890 6635520 707 996147200 134512640 135095119 4294956304 18446744073709551615 134934334 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 1620 707 375 142 0 574 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6480

[startup+0.301274 s]
/proc/loadavg: 1.85 1.94 1.67 4/72 12367
/proc/meminfo: memFree=1103192/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=7920 CPUtime=0.28
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 1254 873 0 0 25 0 2 1 19 0 1 0 56669890 8110080 863 996147200 134512640 135095119 4294956304 18446744073709551615 134803172 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 1980 863 375 142 0 934 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7920

[startup+0.701304 s]
/proc/loadavg: 1.85 1.94 1.67 4/72 12367
/proc/meminfo: memFree=1103192/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=13140 CPUtime=0.68
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 1836 873 0 0 64 1 2 1 23 0 1 0 56669890 13455360 1445 996147200 134512640 135095119 4294956304 18446744073709551615 134739568 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 3285 1445 375 142 0 2239 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13140

[startup+1.50237 s]
/proc/loadavg: 1.86 1.94 1.67 3/73 12373
/proc/meminfo: memFree=1097232/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=16568 CPUtime=1.47
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 2248 873 0 0 143 1 2 1 25 0 1 0 56669890 16965632 1857 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 4142 1857 389 142 0 3096 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16568

[startup+3.10148 s]
/proc/loadavg: 1.86 1.94 1.67 3/73 12373
/proc/meminfo: memFree=1096976/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=16568 CPUtime=3.06
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 2262 873 0 0 302 1 2 1 25 0 1 0 56669890 16965632 1871 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 4142 1871 389 142 0 3096 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16568

[startup+6.30171 s]
/proc/loadavg: 1.86 1.94 1.67 3/73 12373
/proc/meminfo: memFree=1096592/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=16568 CPUtime=6.23
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 2292 873 0 0 619 1 2 1 25 0 1 0 56669890 16965632 1901 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 4142 1901 389 142 0 3096 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 16568

[startup+12.7012 s]
/proc/loadavg: 1.88 1.94 1.67 3/73 12373
/proc/meminfo: memFree=1095952/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=16828 CPUtime=12.57
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 2357 873 0 0 1253 1 2 1 25 0 1 0 56669890 17231872 1966 996147200 134512640 135095119 4294956304 18446744073709551615 134916484 0 0 4096 0 0 0 0 17 1 0 0
/proc/12367/statm: 4207 1966 389 142 0 3161 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 16828

[startup+25.5011 s]
/proc/loadavg: 1.82 1.93 1.67 3/73 12405
/proc/meminfo: memFree=1192208/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=17084 CPUtime=25.35
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 2548 873 0 0 2531 1 2 1 25 0 1 0 56669890 17494016 2092 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 4271 2092 389 142 0 3225 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 17084

[startup+51.102 s]
/proc/loadavg: 1.88 1.93 1.68 3/73 12405
/proc/meminfo: memFree=1178576/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=18112 CPUtime=50.94
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 3187 873 0 0 5089 2 2 1 25 0 1 0 56669890 18546688 2537 996147200 134512640 135095119 4294956304 18446744073709551615 134911427 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 4528 2537 389 142 0 3482 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 18112

[startup+102.302 s]
/proc/loadavg: 1.95 1.94 1.69 3/73 12405
/proc/meminfo: memFree=1159632/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=19648 CPUtime=102.13
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 4308 873 0 0 10207 3 2 1 25 0 1 0 56669890 20119552 3272 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 4912 3272 389 142 0 3866 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 19648

[startup+162.302 s]
/proc/loadavg: 1.98 1.95 1.71 3/73 12405
/proc/meminfo: memFree=1147280/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=21696 CPUtime=162.1
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 5351 873 0 0 16204 3 2 1 25 0 1 0 56669890 22216704 3802 996147200 134512640 135095119 4294956304 18446744073709551615 134918231 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 5424 3802 389 142 0 4378 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 21696

[startup+222.306 s]
/proc/loadavg: 1.99 1.95 1.73 3/73 12405
/proc/meminfo: memFree=1133328/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=27076 CPUtime=222.09
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 7634 873 0 0 22201 5 2 1 25 0 1 0 56669890 27725824 4803 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 6769 4803 389 142 0 5723 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 27076

[startup+282.302 s]
/proc/loadavg: 1.99 1.96 1.74 3/73 12405
/proc/meminfo: memFree=1115600/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=27076 CPUtime=282.06
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 8060 873 0 0 28198 5 2 1 25 0 1 0 56669890 27725824 5229 996147200 134512640 135095119 4294956304 18446744073709551615 134916487 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 6769 5229 389 142 0 5723 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 27076

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 12405
/proc/meminfo: memFree=1096976/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=28512 CPUtime=342.05
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 8799 873 0 0 34196 6 2 1 25 0 1 0 56669890 29196288 5968 996147200 134512640 135095119 4294956304 18446744073709551615 134582516 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 7128 5968 389 142 0 6082 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 28512

[startup+402.301 s]
/proc/loadavg: 2.04 1.98 1.77 3/73 12405
/proc/meminfo: memFree=1077456/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=36208 CPUtime=402.03
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 11087 873 0 0 40192 8 2 1 25 0 1 0 56669890 37076992 7678 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 9052 7678 389 142 0 8006 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 36208

[startup+462.302 s]
/proc/loadavg: 2.10 2.01 1.79 3/73 12405
/proc/meminfo: memFree=1064336/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=44400 CPUtime=462
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 13510 873 0 0 46188 9 2 1 25 0 1 0 56669890 45465600 8052 996147200 134512640 135095119 4294956304 18446744073709551615 134918267 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 11100 8052 389 142 0 10054 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 44400

[startup+522.301 s]
/proc/loadavg: 2.04 2.01 1.80 3/73 12405
/proc/meminfo: memFree=1052240/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=44400 CPUtime=521.98
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 13888 873 0 0 52186 9 2 1 25 0 1 0 56669890 45465600 8430 996147200 134512640 135095119 4294956304 18446744073709551615 134918231 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 11100 8430 389 142 0 10054 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 44400

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.81 3/73 12405
/proc/meminfo: memFree=1032080/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=45972 CPUtime=581.96
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 14672 873 0 0 58183 10 2 1 25 0 1 0 56669890 47075328 9214 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 11493 9214 389 142 0 10447 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 45972

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 1.82 3/73 12405
/proc/meminfo: memFree=1014736/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=47804 CPUtime=641.94
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 15498 873 0 0 64180 11 2 1 25 0 1 0 56669890 48951296 10040 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 11951 10040 389 142 0 10905 0
Current children cumulated CPU time (s) 641.94

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.85 3/73 12405
/proc/meminfo: memFree=940688/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=79752 CPUtime=881.87
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 25146 873 0 0 88167 17 2 1 25 0 1 0 56669890 81666048 14437 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 19938 14437 389 142 0 18892 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 79752

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 1.85 3/73 12405
/proc/meminfo: memFree=927120/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=79752 CPUtime=941.85
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 25515 873 0 0 94164 18 2 1 25 0 1 0 56669890 81666048 14806 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 19938 14806 389 142 0 18892 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 79752

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/73 12405
/proc/meminfo: memFree=910480/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=79752 CPUtime=1001.83
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 25869 873 0 0 100161 19 2 1 25 0 1 0 56669890 81666048 15160 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 19938 15160 389 142 0 18892 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 79752

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/73 12405
/proc/meminfo: memFree=895632/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=81188 CPUtime=1061.8
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 26586 873 0 0 106158 19 2 1 25 0 1 0 56669890 83136512 15877 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 20297 15877 389 142 0 19251 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 81188

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/73 12405
/proc/meminfo: memFree=880016/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=82880 CPUtime=1121.79
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 27351 873 0 0 112156 20 2 1 25 0 1 0 56669890 84869120 16642 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 20720 16642 389 142 0 19674 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 82880

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.88 3/73 12405
/proc/meminfo: memFree=865744/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=84576 CPUtime=1181.76
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 28135 873 0 0 118152 21 2 1 25 0 1 0 56669890 86605824 17426 996147200 134512640 135095119 4294956304 18446744073709551615 134918247 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 21144 17426 389 142 0 20098 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 84576

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.89 3/73 12405
/proc/meminfo: memFree=850896/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=86264 CPUtime=1241.75
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 28928 873 0 0 124150 22 2 1 25 0 1 0 56669890 88334336 18219 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 21566 18219 389 142 0 20520 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 86264

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/73 12405
/proc/meminfo: memFree=838800/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=87960 CPUtime=1301.72
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 29700 873 0 0 130146 23 2 1 25 0 1 0 56669890 90071040 18991 996147200 134512640 135095119 4294956304 18446744073709551615 134916508 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 21990 18991 389 142 0 20944 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 87960

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/73 12405
/proc/meminfo: memFree=831888/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=89652 CPUtime=1361.71
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 30463 873 0 0 136143 25 2 1 25 0 1 0 56669890 91803648 19754 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 22413 19754 389 142 0 21367 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 89652

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/73 12405
/proc/meminfo: memFree=823696/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=91344 CPUtime=1421.69
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 31251 873 0 0 142141 25 2 1 25 0 1 0 56669890 93536256 20542 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 22836 20542 389 142 0 21790 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 91344

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=814864/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=93172 CPUtime=1481.66
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 32065 873 0 0 148137 26 2 1 25 0 1 0 56669890 95408128 21356 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 23293 21356 389 142 0 22247 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 93172

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=792656/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=118904 CPUtime=1541.65
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 38889 873 0 0 154133 29 2 1 25 0 1 0 56669890 121757696 26131 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 29726 26131 389 142 0 28680 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 118904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=785232/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=118904 CPUtime=1601.62
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 39258 873 0 0 160130 29 2 1 25 0 1 0 56669890 121757696 26500 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 29726 26500 389 142 0 28680 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 118904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=777680/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=118904 CPUtime=1661.61
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 39627 873 0 0 166127 31 2 1 25 0 1 0 56669890 121757696 26869 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 29726 26869 389 142 0 28680 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 118904

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=772240/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=118904 CPUtime=1721.59
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 39991 873 0 0 172125 31 2 1 25 0 1 0 56669890 121757696 27233 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 29726 27233 389 142 0 28680 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 118904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=763472/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=151672 CPUtime=1781.57
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 48550 873 0 0 178119 35 2 1 25 0 1 0 56669890 155312128 27599 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 37918 27599 389 142 0 36872 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 151672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=760720/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=151672 CPUtime=1800.08
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 48663 873 0 0 179970 35 2 1 25 0 1 0 56669890 155312128 27712 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 37918 27712 389 142 0 36872 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 151672

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

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

[startup+1800.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 12405
/proc/meminfo: memFree=760720/2055920 swapFree=4192812/4192956
[pid=12367] ppid=12365 vsize=151672 CPUtime=1800.08
/proc/12367/stat : 12367 (pcs.small) R 12365 12367 12146 0 -1 4194304 48663 873 0 0 179970 35 2 1 25 0 1 0 56669890 155312128 27712 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12367/statm: 37918 27712 389 142 0 36872 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 151672

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.83
CPU time (s): 1800.1
CPU user time (s): 1799.72
CPU system time (s): 0.381941
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 184444

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

runsolver used 2.5986 second user time and 5.09622 second system time

The end

Launcher Data 

Begin job on node34 at 2009-07-16 00:13:59
IDJOB=2063179
IDBENCH=53982
IDSOLVER=734
FILE ID=node34/2063179-1247696038
PBS_JOBID= 9521243
Free space on /tmp= 66304 MiB

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

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

MD5SUM BENCH= 8805480f3678cb88558dc50a18f30af9
RANDOM SEED=2053275108

node34.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.232
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.232
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:       1103736 kB
Buffers:         92228 kB
Cached:         659444 kB
SwapCached:          0 kB
Active:         358136 kB
Inactive:       512956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1103736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4644 kB
Writeback:           0 kB
Mapped:         130844 kB
Slab:            66348 kB
Committed_AS:   624756 kB
PageTables:       1956 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= 66304 MiB
End job on node34 at 2009-07-16 00:44:02