Trace number 2090854

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.12 1810.74

General information on the benchmark

Namecsp/tightness0.9/
normalized-rand-2-40-180-84-900-65_ext.xml
MD5SUMa0c6c075a4bbbd6d1e995891d3fc5868
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.0505
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.17/0.20	c Seed is 807573444
0.17/0.20	c Constructing HOME/instance-2090854-1247731159.xml  with 84 constraints
0.66/0.78	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-2090854-1247731159/watcher-2090854-1247731159 -o /tmp/evaluation-result-2090854-1247731159/solver-2090854-1247731159 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 807573444 HOME/instance-2090854-1247731159.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.97 1.98 1.99 4/82 23027
/proc/meminfo: memFree=1687392/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=18576 CPUtime=0
/proc/23027/stat : 23027 (runsolver) R 23025 23027 22695 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 60182516 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 217871609127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23027/statm: 4644 284 249 26 0 2626 0

[startup+0.0697961 s]
/proc/loadavg: 1.97 1.98 1.99 4/82 23027
/proc/meminfo: memFree=1687392/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=4932 CPUtime=0.04
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 871 656 0 0 4 0 0 0 18 0 1 0 60182516 5050368 502 996147200 134512640 135215973 4294956304 18446744073709551615 134597336 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 1233 502 383 171 0 158 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4932

[startup+0.102797 s]
/proc/loadavg: 1.97 1.98 1.99 4/82 23027
/proc/meminfo: memFree=1687392/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=5348 CPUtime=0.07
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 912 656 0 0 7 0 0 0 18 0 1 0 60182516 5476352 543 996147200 134512640 135215973 4294956304 18446744073709551615 134882217 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 1337 543 383 171 0 262 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5348

[startup+0.302821 s]
/proc/loadavg: 1.97 1.98 1.99 4/82 23027
/proc/meminfo: memFree=1687392/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=7496 CPUtime=0.27
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 1157 656 0 0 27 0 0 0 19 0 1 0 60182516 7675904 788 996147200 134512640 135215973 4294956304 18446744073709551615 13021253 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 1874 788 383 171 0 799 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7496

[startup+0.701878 s]
/proc/loadavg: 1.97 1.98 1.99 4/82 23027
/proc/meminfo: memFree=1687392/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=11736 CPUtime=0.66
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 1634 656 0 0 66 0 0 0 23 0 1 0 60182516 12017664 1265 996147200 134512640 135215973 4294956304 18446744073709551615 12708977 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 2934 1265 383 171 0 1859 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 11736

[startup+1.50196 s]
/proc/loadavg: 1.97 1.98 1.99 3/83 23032
/proc/meminfo: memFree=1682456/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=13200 CPUtime=1.46
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 1981 656 0 0 146 0 0 0 25 0 1 0 60182516 13516800 1612 996147200 134512640 135215973 4294956304 18446744073709551615 134600076 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 3300 1612 401 171 0 2225 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13200

[startup+3.10115 s]
/proc/loadavg: 1.97 1.98 1.99 3/83 23032
/proc/meminfo: memFree=1682264/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=13200 CPUtime=3.04
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 2015 656 0 0 304 0 0 0 25 0 1 0 60182516 13516800 1646 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 3300 1646 401 171 0 2225 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13200

[startup+6.30133 s]
/proc/loadavg: 1.97 1.98 1.99 5/83 23032
/proc/meminfo: memFree=1681944/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=13200 CPUtime=5.19
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 2064 656 0 0 517 2 0 0 25 0 1 0 60182516 13516800 1695 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 3300 1695 401 171 0 2225 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 13200

[startup+12.7011 s]
/proc/loadavg: 1.97 1.98 1.99 3/83 23032
/proc/meminfo: memFree=1681560/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=13200 CPUtime=11.58
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 2172 656 0 0 1156 2 0 0 25 0 1 0 60182516 13516800 1803 996147200 134512640 135215973 4294956304 18446744073709551615 135018636 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 3300 1803 401 171 0 2225 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 13200

[startup+25.5015 s]
/proc/loadavg: 1.98 1.98 1.99 3/83 23032
/proc/meminfo: memFree=1680408/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=13200 CPUtime=24.37
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 2459 656 0 0 2435 2 0 0 25 0 1 0 60182516 13516800 2090 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/23027/statm: 3300 2090 401 171 0 2225 0
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (KiB) 13200

[startup+51.1015 s]
/proc/loadavg: 2.06 2.00 2.00 4/82 23075
/proc/meminfo: memFree=1688800/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=13592 CPUtime=49.86
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 3071 656 0 0 4983 3 0 0 25 0 1 0 60182516 13918208 2702 996147200 134512640 135215973 4294956304 18446744073709551615 135018640 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 3398 2702 401 171 0 2323 0
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (KiB) 13592

[startup+102.301 s]
/proc/loadavg: 2.08 2.01 2.00 5/88 23122
/proc/meminfo: memFree=1669224/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=20056 CPUtime=99.77
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 4725 656 0 0 9971 6 0 0 25 0 1 0 60182516 20537344 4291 996147200 134512640 135215973 4294956304 18446744073709551615 134590168 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 5014 4291 401 171 0 3939 0
Current children cumulated CPU time (s) 99.77
Current children cumulated vsize (KiB) 20056

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 23123
/proc/meminfo: memFree=1662040/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=27712 CPUtime=159.52
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 6675 656 0 0 15944 8 0 0 25 0 1 0 60182516 28377088 6241 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 6928 6241 401 171 0 5853 0
Current children cumulated CPU time (s) 159.52
Current children cumulated vsize (KiB) 27712

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1690344/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=35740 CPUtime=218.54
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 8732 656 0 0 21844 10 0 0 25 0 1 0 60182516 36597760 8169 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 8935 8169 401 171 0 7860 0
Current children cumulated CPU time (s) 218.54
Current children cumulated vsize (KiB) 35740

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1675880/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=43524 CPUtime=278.24
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 10706 656 0 0 27812 12 0 0 25 0 1 0 60182516 44568576 10110 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 10881 10110 401 171 0 9806 0
Current children cumulated CPU time (s) 278.24
Current children cumulated vsize (KiB) 43524

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1662696/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=50256 CPUtime=337.99
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 12428 656 0 0 33786 13 0 0 25 0 1 0 60182516 51462144 11832 996147200 134512640 135215973 4294956304 18446744073709551615 135026915 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 12564 11832 401 171 0 11489 0
Current children cumulated CPU time (s) 337.99
Current children cumulated vsize (KiB) 50256

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1652136/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=59060 CPUtime=397.73
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 14698 656 0 0 39759 14 0 0 25 0 1 0 60182516 60477440 13845 996147200 134512640 135215973 4294956304 18446744073709551615 4158961647 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 14765 13845 401 171 0 13690 0
Current children cumulated CPU time (s) 397.73
Current children cumulated vsize (KiB) 59060

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1641512/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=66188 CPUtime=457.47
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 16509 656 0 0 45732 15 0 0 25 0 1 0 60182516 67776512 15656 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 16547 15656 401 171 0 15472 0
Current children cumulated CPU time (s) 457.47
Current children cumulated vsize (KiB) 66188

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1631336/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=72920 CPUtime=517.22
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 18242 656 0 0 51705 17 0 0 25 0 1 0 60182516 74670080 17389 996147200 134512640 135215973 4294956304 18446744073709551615 4158960648 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 18230 17389 401 171 0 17155 0
Current children cumulated CPU time (s) 517.22
Current children cumulated vsize (KiB) 72920

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1621032/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=80168 CPUtime=576.96
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 20128 656 0 0 57678 18 0 0 25 0 1 0 60182516 82092032 19210 996147200 134512640 135215973 4294956304 18446744073709551615 135020332 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 20042 19210 401 171 0 18967 0
Current children cumulated CPU time (s) 576.96
Current children cumulated vsize (KiB) 80168

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1610728/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=87424 CPUtime=636.7
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 21967 656 0 0 63651 19 0 0 25 0 1 0 60182516 89522176 21049 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 21856 21049 401 171 0 20781 0
Current children cumulated CPU time (s) 636.7
Current children cumulated vsize (KiB) 87424

[startup+702.302 s]

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

[startup+822.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1580072/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=109660 CPUtime=815.93
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 27674 656 0 0 81569 24 0 0 25 0 1 0 60182516 112291840 26243 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 27415 26243 401 171 0 26340 0
Current children cumulated CPU time (s) 815.93
Current children cumulated vsize (KiB) 109660

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1571880/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=115864 CPUtime=875.68
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 29274 656 0 0 87543 25 0 0 25 0 1 0 60182516 118644736 27843 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 28966 27843 401 171 0 27891 0
Current children cumulated CPU time (s) 875.68
Current children cumulated vsize (KiB) 115864

[startup+942.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1562472/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=122464 CPUtime=935.41
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 30952 656 0 0 93515 26 0 0 25 0 1 0 60182516 125403136 29521 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 30616 29521 401 171 0 29541 0
Current children cumulated CPU time (s) 935.41
Current children cumulated vsize (KiB) 122464

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1553832/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=128668 CPUtime=995.15
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 32556 656 0 0 99488 27 0 0 25 0 1 0 60182516 131756032 31125 996147200 134512640 135215973 4294956304 18446744073709551615 135020270 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 32167 31125 401 171 0 31092 0
Current children cumulated CPU time (s) 995.15
Current children cumulated vsize (KiB) 128668

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1545768/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=134212 CPUtime=1054.89
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 33969 656 0 0 105461 28 0 0 25 0 1 0 60182516 137433088 32538 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 33553 32538 401 171 0 32478 0
Current children cumulated CPU time (s) 1054.89
Current children cumulated vsize (KiB) 134212

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1536808/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=141192 CPUtime=1114.63
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 35763 656 0 0 111434 29 0 0 25 0 1 0 60182516 144580608 34203 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 35298 34203 401 171 0 34223 0
Current children cumulated CPU time (s) 1114.63
Current children cumulated vsize (KiB) 141192

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1528232/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=147264 CPUtime=1174.37
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 37323 656 0 0 117407 30 0 0 25 0 1 0 60182516 150798336 35763 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 36816 35763 401 171 0 35741 0
Current children cumulated CPU time (s) 1174.37
Current children cumulated vsize (KiB) 147264

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1519912/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=153204 CPUtime=1234.12
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 38858 656 0 0 123381 31 0 0 25 0 1 0 60182516 156880896 37298 996147200 134512640 135215973 4294956304 18446744073709551615 134583183 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 38301 37298 401 171 0 37226 0
Current children cumulated CPU time (s) 1234.12
Current children cumulated vsize (KiB) 153204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1511720/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=158880 CPUtime=1293.86
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 40319 656 0 0 129354 32 0 0 25 0 1 0 60182516 162693120 38759 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 39720 38759 401 171 0 38645 0
Current children cumulated CPU time (s) 1293.86
Current children cumulated vsize (KiB) 158880

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1503464/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=164952 CPUtime=1353.6
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 41854 656 0 0 135327 33 0 0 25 0 1 0 60182516 168910848 40294 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 41238 40294 401 171 0 40163 0
Current children cumulated CPU time (s) 1353.6
Current children cumulated vsize (KiB) 164952

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1495464/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=170624 CPUtime=1413.33
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 43326 656 0 0 141299 34 0 0 25 0 1 0 60182516 174718976 41766 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 42656 41766 401 171 0 41581 0
Current children cumulated CPU time (s) 1413.33
Current children cumulated vsize (KiB) 170624

[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1487464/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=176296 CPUtime=1473.08
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 44783 656 0 0 147273 35 0 0 25 0 1 0 60182516 180527104 43223 996147200 134512640 135215973 4294956304 18446744073709551615 135018615 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 44074 43223 401 171 0 42999 0
Current children cumulated CPU time (s) 1473.08
Current children cumulated vsize (KiB) 176296

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1479976/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=181708 CPUtime=1532.82
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 46188 656 0 0 153246 36 0 0 25 0 1 0 60182516 186068992 44628 996147200 134512640 135215973 4294956304 18446744073709551615 134687217 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 45427 44628 401 171 0 44352 0
Current children cumulated CPU time (s) 1532.82
Current children cumulated vsize (KiB) 181708

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1472232/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=187516 CPUtime=1592.56
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 47657 656 0 0 159219 37 0 0 25 0 1 0 60182516 192016384 46097 996147200 134512640 135215973 4294956304 18446744073709551615 135020412 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 46879 46097 401 171 0 45804 0
Current children cumulated CPU time (s) 1592.56
Current children cumulated vsize (KiB) 187516

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1450728/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=197420 CPUtime=1652.31
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 50174 656 0 0 165192 39 0 0 25 0 1 0 60182516 202158080 47589 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 49355 47589 401 171 0 48280 0
Current children cumulated CPU time (s) 1652.31
Current children cumulated vsize (KiB) 197420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1444392/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=202832 CPUtime=1712.06
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 51578 656 0 0 171166 40 0 0 25 0 1 0 60182516 207699968 48993 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 50708 48993 401 171 0 49633 0
Current children cumulated CPU time (s) 1712.06
Current children cumulated vsize (KiB) 202832

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1437864/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=208376 CPUtime=1771.8
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 53011 656 0 0 177140 40 0 0 25 0 1 0 60182516 213377024 50426 996147200 134512640 135215973 4294956304 18446744073709551615 135026938 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 52094 50426 401 171 0 51019 0
Current children cumulated CPU time (s) 1771.8
Current children cumulated vsize (KiB) 208376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 23156
/proc/meminfo: memFree=1434676/2055920 swapFree=4192812/4192956
[pid=23027] ppid=23025 vsize=211016 CPUtime=1800.07
/proc/23027/stat : 23027 (pcs.big) R 23025 23027 22695 0 -1 4194304 53684 656 0 0 179966 41 0 0 25 0 1 0 60182516 216080384 51099 996147200 134512640 135215973 4294956304 18446744073709551615 135026932 0 0 4096 0 0 0 0 17 0 0 0
/proc/23027/statm: 52754 51099 401 171 0 51679 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 211016

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): 1810.74
CPU time (s): 1800.12
CPU user time (s): 1799.67
CPU system time (s): 0.45493
CPU usage (%): 99.4137
Max. virtual memory (cumulated for all children) (KiB): 211016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.45493
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54340
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= 19
involuntary context switches= 23911

runsolver used 1.86972 second user time and 5.41318 second system time

The end

Launcher Data 

Begin job on node28 at 2009-07-16 09:59:19
IDJOB=2090854
IDBENCH=59924
IDSOLVER=733
FILE ID=node28/2090854-1247731159
PBS_JOBID= 9521645
Free space on /tmp= 66008 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-65_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090854-1247731159/watcher-2090854-1247731159 -o /tmp/evaluation-result-2090854-1247731159/solver-2090854-1247731159 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 807573444 HOME/instance-2090854-1247731159.xml

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

MD5SUM BENCH= a0c6c075a4bbbd6d1e995891d3fc5868
RANDOM SEED=807573444

node28.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.230
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.230
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:       1687872 kB
Buffers:         55388 kB
Cached:         190840 kB
SwapCached:          0 kB
Active:         140364 kB
Inactive:       164064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1687872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3548 kB
Writeback:           0 kB
Mapped:          78480 kB
Slab:            48456 kB
Committed_AS:   646640 kB
PageTables:       1964 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66004 MiB
End job on node28 at 2009-07-16 10:29:32