Trace number 2087136

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.07 1811.23

General information on the benchmark

Namecsp/dag-half/
normalized-half-n25-d5-e56-r7-3.xml
MD5SUMa120acb0d25d871e6ddc3f8ad8bfd6be
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 benchmark184.611
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Maximum constraint arity7
Maximum domain size5
Number of constraints which are defined in extension56
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.13/0.31	c small-domain mode
0.13/0.32	c Seed is 334078607
0.13/0.32	c Constructing HOME/instance-2087136-1247727405.xml  with 56 constraints
10.29/10.41	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-2087136-1247727405/watcher-2087136-1247727405 -o /tmp/evaluation-result-2087136-1247727405/solver-2087136-1247727405 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 334078607 HOME/instance-2087136-1247727405.xml 

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


[startup+0 s]
/proc/loadavg: 1.92 1.97 1.98 4/82 16032
/proc/meminfo: memFree=1436224/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=5356 CPUtime=0
/proc/16032/stat : 16032 (pcssolve) R 16030 16032 15811 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59806039 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16032/statm: 1339 241 200 169 0 50 0
[pid=16033] ppid=16032 vsize=5356 CPUtime=0
/proc/16033/stat : 16033 (pcssolve) R 16032 16032 15811 0 -1 4194368 21 0 0 0 0 0 0 0 21 0 1 0 59806039 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240154016357 0 0 4100 65536 0 0 0 17 1 0 0
/proc/16033/statm: 1339 243 202 169 0 50 0
[pid=16034] ppid=16032 vsize=5356 CPUtime=0
/proc/16034/stat : 16034 (pcssolve) R 16032 16032 15811 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59806039 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16034/statm: 1339 241 200 169 0 50 0

[startup+0.081069 s]
/proc/loadavg: 1.92 1.97 1.98 4/82 16032
/proc/meminfo: memFree=1436224/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=5356 CPUtime=0.06
/proc/16032/stat : 16032 (pcssolve) R 16030 16032 15811 0 -1 4194304 326 819 0 0 0 0 4 2 17 0 1 0 59806039 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16032/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.101018 s]
/proc/loadavg: 1.92 1.97 1.98 4/82 16032
/proc/meminfo: memFree=1436224/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=5356 CPUtime=0.06
/proc/16032/stat : 16032 (pcssolve) S 16030 16032 15811 0 -1 4194304 339 819 0 0 0 0 4 2 17 0 1 0 59806039 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16032/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301063 s]
/proc/loadavg: 1.92 1.97 1.98 4/82 16032
/proc/meminfo: memFree=1436224/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=5356 CPUtime=0.13
/proc/16032/stat : 16032 (pcssolve) S 16030 16032 15811 0 -1 4194304 367 1652 0 0 0 0 9 4 16 0 1 0 59806039 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16032/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356

[startup+0.701133 s]
/proc/loadavg: 1.92 1.97 1.98 4/82 16032
/proc/meminfo: memFree=1436224/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=10308 CPUtime=0.68
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 2396 2327 0 0 37 1 23 7 19 0 1 0 59806039 10555392 1447 996147200 134512640 135095119 4294956304 18446744073709551615 134741625 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 2577 1447 375 142 0 1531 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10308

[startup+1.50128 s]
/proc/loadavg: 2.01 1.99 1.99 3/83 16038
/proc/meminfo: memFree=1428408/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=19500 CPUtime=1.47
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 4741 2327 0 0 115 2 23 7 25 0 1 0 59806039 19968000 2838 996147200 134512640 135095119 4294956304 18446744073709551615 134934231 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 4875 2838 375 142 0 3829 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19500

[startup+3.1026 s]
/proc/loadavg: 2.01 1.99 1.99 3/83 16038
/proc/meminfo: memFree=1420984/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=39276 CPUtime=3.06
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 9487 2327 0 0 271 5 23 7 25 0 1 0 59806039 40218624 5519 996147200 134512640 135095119 4294956304 18446744073709551615 134738854 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 9819 5519 375 142 0 8773 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 39276

[startup+6.3012 s]
/proc/loadavg: 2.01 1.99 1.99 3/83 16038
/proc/meminfo: memFree=1399672/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=77648 CPUtime=6.23
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 20916 2327 0 0 582 11 23 7 25 0 1 0 59806039 79511552 10971 996147200 134512640 135095119 4294956304 18446744073709551615 6812387 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 19412 10971 375 142 0 18366 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 77648

[startup+12.7024 s]
/proc/loadavg: 2.08 2.00 1.99 3/83 16038
/proc/meminfo: memFree=1365824/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=74376 CPUtime=12.57
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 35942 2327 0 0 1209 18 23 7 25 0 1 0 59806039 76161024 17930 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 18594 17930 389 142 0 17548 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 74376

[startup+25.5019 s]
/proc/loadavg: 2.07 2.00 1.99 3/83 16038
/proc/meminfo: memFree=1365952/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=74528 CPUtime=25.25
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 35991 2327 0 0 2477 18 23 7 25 0 1 0 59806039 76316672 17979 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 18632 17979 389 142 0 17586 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 74528

[startup+51.1018 s]
/proc/loadavg: 2.05 2.00 1.99 3/83 16038
/proc/meminfo: memFree=1365632/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=74920 CPUtime=50.63
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 36126 2327 0 0 5015 18 23 7 25 0 1 0 59806039 76718080 18049 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 18730 18049 389 142 0 17684 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 74920

[startup+102.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 16038
/proc/meminfo: memFree=1364608/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=76132 CPUtime=101.36
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 36494 2327 0 0 10087 19 23 7 25 0 1 0 59806039 77959168 18287 996147200 134512640 135095119 4294956304 18446744073709551615 134926999 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 19033 18287 389 142 0 17987 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 76132

[startup+162.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/83 16038
/proc/meminfo: memFree=1363456/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=77300 CPUtime=160.83
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 36925 2327 0 0 16034 19 23 7 25 0 1 0 59806039 79155200 18589 996147200 134512640 135095119 4294956304 18446744073709551615 134918244 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 19325 18589 389 142 0 18279 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 77300

[startup+222.302 s]
/proc/loadavg: 2.46 2.14 2.04 3/83 16038
/proc/meminfo: memFree=1361664/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=80020 CPUtime=220.29
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 37744 2327 0 0 21980 19 23 7 25 0 1 0 59806039 81940480 19022 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 20005 19022 389 142 0 18959 0
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (KiB) 80020

[startup+282.303 s]
/proc/loadavg: 2.24 2.14 2.04 3/83 16044
/proc/meminfo: memFree=1360064/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=81068 CPUtime=279.75
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 38142 2327 0 0 27925 20 23 7 25 0 1 0 59806039 83013632 19420 996147200 134512640 135095119 4294956304 18446744073709551615 134918161 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 20267 19420 389 142 0 19221 0
Current children cumulated CPU time (s) 279.75
Current children cumulated vsize (KiB) 81068

[startup+342.301 s]
/proc/loadavg: 2.20 2.14 2.05 3/83 16044
/proc/meminfo: memFree=1356672/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=84988 CPUtime=339.22
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 39238 2327 0 0 33871 21 23 7 25 0 1 0 59806039 87027712 20259 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 21247 20259 389 142 0 20201 0
Current children cumulated CPU time (s) 339.22
Current children cumulated vsize (KiB) 84988

[startup+402.302 s]
/proc/loadavg: 2.07 2.11 2.04 3/83 16044
/proc/meminfo: memFree=1356160/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=84988 CPUtime=398.7
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 39360 2327 0 0 39818 22 23 7 25 0 1 0 59806039 87027712 20381 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 21247 20381 389 142 0 20201 0
Current children cumulated CPU time (s) 398.7
Current children cumulated vsize (KiB) 84988

[startup+462.301 s]
/proc/loadavg: 2.02 2.09 2.04 3/83 16044
/proc/meminfo: memFree=1355264/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=87560 CPUtime=458.16
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 40120 2327 0 0 45764 22 23 7 25 0 1 0 59806039 89661440 20628 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 21890 20628 389 142 0 20844 0
Current children cumulated CPU time (s) 458.16
Current children cumulated vsize (KiB) 87560

[startup+522.302 s]
/proc/loadavg: 2.01 2.07 2.03 3/83 16044
/proc/meminfo: memFree=1353728/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=88600 CPUtime=517.64
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 40514 2327 0 0 51711 23 23 7 25 0 1 0 59806039 90726400 21022 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 22150 21022 389 142 0 21104 0
Current children cumulated CPU time (s) 517.64
Current children cumulated vsize (KiB) 88600

[startup+582.302 s]
/proc/loadavg: 2.00 2.06 2.02 3/83 16044
/proc/meminfo: memFree=1352192/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=89652 CPUtime=577.11
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 40895 2327 0 0 57658 23 23 7 25 0 1 0 59806039 91803648 21403 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 22413 21403 389 142 0 21367 0
Current children cumulated CPU time (s) 577.11
Current children cumulated vsize (KiB) 89652

[startup+642.302 s]
/proc/loadavg: 2.00 2.04 2.02 3/83 16044
/proc/meminfo: memFree=1350656/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=90696 CPUtime=636.58

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

[startup+822.301 s]
/proc/loadavg: 1.96 2.00 2.00 3/84 16149
/proc/meminfo: memFree=1305536/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=101324 CPUtime=815.11
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 44315 2327 0 0 81454 27 23 7 25 0 1 0 59806039 103755776 23285 996147200 134512640 135095119 4294956304 18446744073709551615 134918224 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 25331 23285 389 142 0 24285 0
Current children cumulated CPU time (s) 815.11
Current children cumulated vsize (KiB) 101324

[startup+882.302 s]
/proc/loadavg: 1.98 2.00 2.00 3/84 16149
/proc/meminfo: memFree=1245056/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=101588 CPUtime=874.86
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 44528 2327 0 0 87428 28 23 7 25 0 1 0 59806039 104026112 23498 996147200 134512640 135095119 4294956304 18446744073709551615 134918198 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 25397 23498 389 142 0 24351 0
Current children cumulated CPU time (s) 874.86
Current children cumulated vsize (KiB) 101588

[startup+942.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/84 16149
/proc/meminfo: memFree=1217792/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=102772 CPUtime=934.62
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 44940 2327 0 0 93404 28 23 7 25 0 1 0 59806039 105238528 23910 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 25693 23910 389 142 0 24647 0
Current children cumulated CPU time (s) 934.62
Current children cumulated vsize (KiB) 102772

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/84 16149
/proc/meminfo: memFree=1216192/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=103824 CPUtime=994.36
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 45324 2327 0 0 99377 29 23 7 25 0 1 0 59806039 106315776 24294 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 25956 24294 389 142 0 24910 0
Current children cumulated CPU time (s) 994.36
Current children cumulated vsize (KiB) 103824

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/84 16149
/proc/meminfo: memFree=1214528/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=104996 CPUtime=1054.12
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 45748 2327 0 0 105352 30 23 7 25 0 1 0 59806039 107515904 24718 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16032/statm: 26249 24718 389 142 0 25203 0
Current children cumulated CPU time (s) 1054.12
Current children cumulated vsize (KiB) 104996

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/74 16182
/proc/meminfo: memFree=1117072/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=106036 CPUtime=1113.86
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 46134 2327 0 0 111324 32 23 7 25 0 1 0 59806039 108580864 25104 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 26509 25104 389 142 0 25463 0
Current children cumulated CPU time (s) 1113.86
Current children cumulated vsize (KiB) 106036

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/74 16182
/proc/meminfo: memFree=1116496/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=107088 CPUtime=1173.62
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 46533 2327 0 0 117299 33 23 7 25 0 1 0 59806039 109658112 25503 996147200 134512640 135095119 4294956304 18446744073709551615 134916499 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 26772 25503 389 142 0 25726 0
Current children cumulated CPU time (s) 1173.62
Current children cumulated vsize (KiB) 107088

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/74 16182
/proc/meminfo: memFree=1114896/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=108140 CPUtime=1233.38
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 46929 2327 0 0 123275 33 23 7 25 0 1 0 59806039 110735360 25899 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 27035 25899 389 142 0 25989 0
Current children cumulated CPU time (s) 1233.38
Current children cumulated vsize (KiB) 108140

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 16182
/proc/meminfo: memFree=1105104/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=121468 CPUtime=1293.15
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 50381 2327 0 0 129249 36 23 7 25 0 1 0 59806039 124383232 28326 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 30367 28326 389 142 0 29321 0
Current children cumulated CPU time (s) 1293.15
Current children cumulated vsize (KiB) 121468

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1104656/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=121468 CPUtime=1352.91
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 50514 2327 0 0 135225 36 23 7 25 0 1 0 59806039 124383232 28459 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 30367 28459 389 142 0 29321 0
Current children cumulated CPU time (s) 1352.91
Current children cumulated vsize (KiB) 121468

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1104080/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=121468 CPUtime=1412.67
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 50646 2327 0 0 141201 36 23 7 25 0 1 0 59806039 124383232 28591 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 30367 28591 389 142 0 29321 0
Current children cumulated CPU time (s) 1412.67
Current children cumulated vsize (KiB) 121468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1103568/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=121468 CPUtime=1472.43
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 50776 2327 0 0 147177 36 23 7 25 0 1 0 59806039 124383232 28721 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 30367 28721 389 142 0 29321 0
Current children cumulated CPU time (s) 1472.43
Current children cumulated vsize (KiB) 121468

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1103056/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=121468 CPUtime=1532.19
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 50910 2327 0 0 153153 36 23 7 25 0 1 0 59806039 124383232 28855 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 30367 28855 389 142 0 29321 0
Current children cumulated CPU time (s) 1532.19
Current children cumulated vsize (KiB) 121468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1102480/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=129660 CPUtime=1591.95
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 53089 2327 0 0 159128 37 23 7 25 0 1 0 59806039 132771840 28985 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 32415 28985 389 142 0 31369 0
Current children cumulated CPU time (s) 1591.95
Current children cumulated vsize (KiB) 129660

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1101968/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=129660 CPUtime=1651.72
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 53213 2327 0 0 165104 38 23 7 25 0 1 0 59806039 132771840 29109 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 32415 29109 389 142 0 31369 0
Current children cumulated CPU time (s) 1651.72
Current children cumulated vsize (KiB) 129660

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1100752/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=130316 CPUtime=1711.47
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 53516 2327 0 0 171079 38 23 7 25 0 1 0 59806039 133443584 29412 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 32579 29412 389 142 0 31533 0
Current children cumulated CPU time (s) 1711.47
Current children cumulated vsize (KiB) 130316

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1099088/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=131364 CPUtime=1771.23
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 53920 2327 0 0 177055 38 23 7 25 0 1 0 59806039 134516736 29816 996147200 134512640 135095119 4294956304 18446744073709551615 134916470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 32841 29816 389 142 0 31795 0
Current children cumulated CPU time (s) 1771.23
Current children cumulated vsize (KiB) 131364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16182
/proc/meminfo: memFree=1098320/2055920 swapFree=4192812/4192956
[pid=16032] ppid=16030 vsize=131884 CPUtime=1800.02
/proc/16032/stat : 16032 (pcs.small) R 16030 16032 15811 0 -1 4194304 54112 2327 0 0 179934 38 23 7 25 0 1 0 59806039 135049216 30008 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16032/statm: 32971 30008 389 142 0 31925 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 131884

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): 1811.23
CPU time (s): 1800.07
CPU user time (s): 1799.58
CPU system time (s): 0.487925
CPU usage (%): 99.3838
Max. virtual memory (cumulated for all children) (KiB): 131884

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

runsolver used 1.84072 second user time and 4.87326 second system time

The end

Launcher Data 

Begin job on node86 at 2009-07-16 08:56:48
IDJOB=2087136
IDBENCH=58695
IDSOLVER=733
FILE ID=node86/2087136-1247727405
PBS_JOBID= 9521581
Free space on /tmp= 66224 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087136-1247727405/watcher-2087136-1247727405 -o /tmp/evaluation-result-2087136-1247727405/solver-2087136-1247727405 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 334078607 HOME/instance-2087136-1247727405.xml

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

MD5SUM BENCH= a120acb0d25d871e6ddc3f8ad8bfd6be
RANDOM SEED=334078607

node86.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.265
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.265
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1436640 kB
Buffers:         92648 kB
Cached:         394640 kB
SwapCached:          0 kB
Active:         163004 kB
Inactive:       380060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1436640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           32340 kB
Writeback:           0 kB
Mapped:          76040 kB
Slab:            61236 kB
Committed_AS:   673900 kB
PageTables:       2036 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= 66156 MiB
End job on node86 at 2009-07-16 09:27:01