Trace number 2090888

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.11 1809.14

General information on the benchmark

Namecsp/tightness0.9/
normalized-rand-2-40-180-84-900-60_ext.xml
MD5SUM307ccf6f7e17f01d1d7cca643ee25957
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 benchmark5.81312
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.01	c has big domains
0.00/0.01	c big-domain mode
0.08/0.19	c Seed is 1315618233
0.08/0.19	c Constructing HOME/instance-2090888-1247731191.xml  with 84 constraints
0.67/0.76	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-2090888-1247731191/watcher-2090888-1247731191 -o /tmp/evaluation-result-2090888-1247731191/solver-2090888-1247731191 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1315618233 HOME/instance-2090888-1247731191.xml 

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


[startup+0 s]
/proc/loadavg: 2.11 2.03 1.98 4/72 15623
/proc/meminfo: memFree=1562592/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=5356 CPUtime=0
/proc/15623/stat : 15623 (pcssolve) S 15621 15623 15125 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 60185360 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15623/statm: 1339 242 201 169 0 50 0
[pid=15626] ppid=15623 vsize=200 CPUtime=0
/proc/15626/stat : 15626 (fgrep) R 15623 15623 15125 0 -1 4194304 45 0 0 0 0 0 0 0 20 0 1 0 60185361 204800 24 996147200 4194304 4274172 548682068976 18446744073709551615 233586095381 0 0 4096 0 0 0 0 17 1 0 0
/proc/15626/statm: 50 24 17 19 0 4 0
[pid=15627] ppid=15623 vsize=3676 CPUtime=0
/proc/15627/stat : 15627 (grep) S 15623 15623 15125 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 60185361 3764224 125 996147200 4194304 4274172 548682068976 18446744073709551615 233588883538 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15627/statm: 919 125 101 19 0 43 0

[startup+0.0833871 s]
/proc/loadavg: 2.11 2.03 1.98 4/72 15623
/proc/meminfo: memFree=1562592/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=5220 CPUtime=0.06
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 901 656 0 0 6 0 0 0 18 0 1 0 60185360 5345280 532 996147200 134512640 135215973 4294956304 18446744073709551615 135077528 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 1305 532 383 171 0 230 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5220

[startup+0.102384 s]
/proc/loadavg: 2.11 2.03 1.98 4/72 15623
/proc/meminfo: memFree=1562592/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=5372 CPUtime=0.08
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 922 656 0 0 8 0 0 0 18 0 1 0 60185360 5500928 553 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 1343 553 383 171 0 268 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5372

[startup+0.301422 s]
/proc/loadavg: 2.11 2.03 1.98 4/72 15623
/proc/meminfo: memFree=1562592/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=7524 CPUtime=0.27
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 1170 656 0 0 27 0 0 0 19 0 1 0 60185360 7704576 801 996147200 134512640 135215973 4294956304 18446744073709551615 11152994 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 1881 801 383 171 0 806 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7524

[startup+0.702494 s]
/proc/loadavg: 2.11 2.03 1.98 4/72 15623
/proc/meminfo: memFree=1562592/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=11916 CPUtime=0.67
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 1669 656 0 0 67 0 0 0 23 0 1 0 60185360 12201984 1300 996147200 134512640 135215973 4294956304 18446744073709551615 134841124 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 2979 1300 383 171 0 1904 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11916

[startup+1.50164 s]
/proc/loadavg: 2.11 2.03 1.98 3/73 15628
/proc/meminfo: memFree=1557400/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=13216 CPUtime=1.48
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 1988 656 0 0 147 1 0 0 25 0 1 0 60185360 13533184 1619 996147200 134512640 135215973 4294956304 18446744073709551615 135020375 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 3304 1619 401 171 0 2229 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13216

[startup+3.10194 s]
/proc/loadavg: 2.10 2.03 1.98 3/73 15628
/proc/meminfo: memFree=1557208/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=13216 CPUtime=3.07
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 2003 656 0 0 306 1 0 0 25 0 1 0 60185360 13533184 1634 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 3304 1634 401 171 0 2229 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13216

[startup+6.30152 s]
/proc/loadavg: 2.10 2.03 1.98 3/73 15628
/proc/meminfo: memFree=1556888/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=13216 CPUtime=6.25
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 2070 656 0 0 624 1 0 0 25 0 1 0 60185360 13533184 1701 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 3304 1701 401 171 0 2229 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13216

[startup+12.7017 s]
/proc/loadavg: 2.09 2.03 1.98 3/73 15628
/proc/meminfo: memFree=1555736/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=13216 CPUtime=12.61
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 2253 656 0 0 1260 1 0 0 25 0 1 0 60185360 13533184 1884 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 3304 1884 401 171 0 2229 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 13216

[startup+25.502 s]
/proc/loadavg: 2.07 2.03 1.98 3/73 15628
/proc/meminfo: memFree=1554072/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=13216 CPUtime=25.36
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 2531 656 0 0 2534 2 0 0 25 0 1 0 60185360 13533184 2162 996147200 134512640 135215973 4294956304 18446744073709551615 135020257 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 3304 2162 401 171 0 2229 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 13216

[startup+51.1026 s]
/proc/loadavg: 2.04 2.02 1.98 3/73 15628
/proc/meminfo: memFree=1550296/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=13872 CPUtime=50.82
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 3139 656 0 0 5080 2 0 0 25 0 1 0 60185360 14204928 2770 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 3468 2770 401 171 0 2393 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 13872

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.98 3/73 15634
/proc/meminfo: memFree=1541144/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=20200 CPUtime=101.75
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 4736 656 0 0 10172 3 0 0 25 0 1 0 60185360 20684800 4302 996147200 134512640 135215973 4294956304 18446744073709551615 135020303 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 5050 4302 401 171 0 3975 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 20200

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 1.98 3/73 15634
/proc/meminfo: memFree=1531160/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=26928 CPUtime=161.45
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 6467 656 0 0 16141 4 0 0 25 0 1 0 60185360 27574272 6033 996147200 134512640 135215973 4294956304 18446744073709551615 135018598 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 6732 6033 401 171 0 5657 0
Current children cumulated CPU time (s) 161.45
Current children cumulated vsize (KiB) 26928

[startup+222.302 s]
/proc/loadavg: 2.00 2.01 1.98 3/73 15634
/proc/meminfo: memFree=1521240/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=34172 CPUtime=221.15
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 8310 656 0 0 22109 6 0 0 25 0 1 0 60185360 34992128 7747 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 8543 7747 401 171 0 7468 0
Current children cumulated CPU time (s) 221.15
Current children cumulated vsize (KiB) 34172

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1511320/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=41292 CPUtime=280.86
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 10136 656 0 0 28079 7 0 0 25 0 1 0 60185360 42283008 9540 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 10323 9540 401 171 0 9248 0
Current children cumulated CPU time (s) 280.86
Current children cumulated vsize (KiB) 41292

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1500952/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=48548 CPUtime=340.55
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 12007 656 0 0 34047 8 0 0 25 0 1 0 60185360 49713152 11411 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 12137 11411 401 171 0 11062 0
Current children cumulated CPU time (s) 340.55
Current children cumulated vsize (KiB) 48548

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1491288/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=56300 CPUtime=400.25
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 13997 656 0 0 40015 10 0 0 25 0 1 0 60185360 57651200 13144 996147200 134512640 135215973 4294956304 18446744073709551615 134599875 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 14075 13144 401 171 0 13000 0
Current children cumulated CPU time (s) 400.25
Current children cumulated vsize (KiB) 56300

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1481944/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=62636 CPUtime=459.95
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 15613 656 0 0 45984 11 0 0 25 0 1 0 60185360 64139264 14760 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 15659 14760 401 171 0 14584 0
Current children cumulated CPU time (s) 459.95
Current children cumulated vsize (KiB) 62636

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1472792/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=68968 CPUtime=519.66
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 17250 656 0 0 51954 12 0 0 25 0 1 0 60185360 70623232 16397 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 17242 16397 401 171 0 16167 0
Current children cumulated CPU time (s) 519.66
Current children cumulated vsize (KiB) 68968

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1449240/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=75560 CPUtime=579.35
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 18933 656 0 0 57922 13 0 0 25 0 1 0 60185360 77373440 18015 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 18890 18015 401 171 0 17815 0
Current children cumulated CPU time (s) 579.35
Current children cumulated vsize (KiB) 75560

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1442072/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=81500 CPUtime=639.05

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1413464/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=107432 CPUtime=877.85
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 27110 656 0 0 87767 18 0 0 25 0 1 0 60185360 110010368 25679 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 26858 25679 401 171 0 25783 0
Current children cumulated CPU time (s) 877.85
Current children cumulated vsize (KiB) 107432

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1406616/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=113104 CPUtime=937.55
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 28571 656 0 0 93736 19 0 0 25 0 1 0 60185360 115818496 27140 996147200 134512640 135215973 4294956304 18446744073709551615 135013126 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 28276 27140 401 171 0 27201 0
Current children cumulated CPU time (s) 937.55
Current children cumulated vsize (KiB) 113104

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/73 15634
/proc/meminfo: memFree=1399128/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=119440 CPUtime=997.24
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 30198 656 0 0 99704 20 0 0 25 0 1 0 60185360 122306560 28767 996147200 134512640 135215973 4294956304 18446744073709551615 4158960519 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 29860 28767 401 171 0 28785 0
Current children cumulated CPU time (s) 997.24
Current children cumulated vsize (KiB) 119440

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/73 15634
/proc/meminfo: memFree=1391896/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=125512 CPUtime=1056.95
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 31770 656 0 0 105674 21 0 0 25 0 1 0 60185360 128524288 30339 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 31378 30339 401 171 0 30303 0
Current children cumulated CPU time (s) 1056.95
Current children cumulated vsize (KiB) 125512

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 15675
/proc/meminfo: memFree=1468120/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=131312 CPUtime=1116.61
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 33253 656 0 0 111639 22 0 0 25 0 1 0 60185360 134463488 31822 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15623/statm: 32828 31822 401 171 0 31753 0
Current children cumulated CPU time (s) 1116.61
Current children cumulated vsize (KiB) 131312

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 15708
/proc/meminfo: memFree=1470368/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=138816 CPUtime=1176.29
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 35167 656 0 0 117606 23 0 0 25 0 1 0 60185360 142147584 33607 996147200 134512640 135215973 4294956304 18446744073709551615 134583241 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 34704 33607 401 171 0 33629 0
Current children cumulated CPU time (s) 1176.29
Current children cumulated vsize (KiB) 138816

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 15708
/proc/meminfo: memFree=1453920/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=145152 CPUtime=1236.01
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 36801 656 0 0 123576 25 0 0 25 0 1 0 60185360 148635648 35241 996147200 134512640 135215973 4294956304 18446744073709551615 4158961423 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 36288 35241 401 171 0 35213 0
Current children cumulated CPU time (s) 1236.01
Current children cumulated vsize (KiB) 145152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15708
/proc/meminfo: memFree=1441568/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=150828 CPUtime=1295.71
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 38254 656 0 0 129546 25 0 0 25 0 1 0 60185360 154447872 36694 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 37707 36694 401 171 0 36632 0
Current children cumulated CPU time (s) 1295.71
Current children cumulated vsize (KiB) 150828

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1430304/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=156768 CPUtime=1355.42
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 39800 656 0 0 135516 26 0 0 25 0 1 0 60185360 160530432 38240 996147200 134512640 135215973 4294956304 18446744073709551615 134600356 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 39192 38240 401 171 0 38117 0
Current children cumulated CPU time (s) 1355.42
Current children cumulated vsize (KiB) 156768

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1419360/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=163104 CPUtime=1415.13
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 41418 656 0 0 141485 28 0 0 25 0 1 0 60185360 167018496 39858 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 40776 39858 401 171 0 39701 0
Current children cumulated CPU time (s) 1415.13
Current children cumulated vsize (KiB) 163104

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1402336/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=169440 CPUtime=1474.83
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 43021 656 0 0 147454 29 0 0 25 0 1 0 60185360 173506560 41461 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 42360 41461 401 171 0 41285 0
Current children cumulated CPU time (s) 1474.83
Current children cumulated vsize (KiB) 169440

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1394720/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=175248 CPUtime=1534.54
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 44531 656 0 0 153424 30 0 0 25 0 1 0 60185360 179453952 42971 996147200 134512640 135215973 4294956304 18446744073709551615 134590197 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 43812 42971 401 171 0 42737 0
Current children cumulated CPU time (s) 1534.54
Current children cumulated vsize (KiB) 175248

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1387296/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=181056 CPUtime=1594.24
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 46002 656 0 0 159393 31 0 0 25 0 1 0 60185360 185401344 44442 996147200 134512640 135215973 4294956304 18446744073709551615 134590017 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 45264 44442 401 171 0 44189 0
Current children cumulated CPU time (s) 1594.24
Current children cumulated vsize (KiB) 181056

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1379232/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=186996 CPUtime=1653.96
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 47536 656 0 0 165364 32 0 0 25 0 1 0 60185360 191483904 45976 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 46749 45976 401 171 0 45674 0
Current children cumulated CPU time (s) 1653.96
Current children cumulated vsize (KiB) 186996

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1370464/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=196768 CPUtime=1713.66
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 50013 656 0 0 171333 33 0 0 25 0 1 0 60185360 201490432 47428 996147200 134512640 135215973 4294956304 18446744073709551615 135018612 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 49192 47428 401 171 0 48117 0
Current children cumulated CPU time (s) 1713.66
Current children cumulated vsize (KiB) 196768

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1361376/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=202180 CPUtime=1773.38
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 51415 656 0 0 177304 34 0 0 25 0 1 0 60185360 207032320 48830 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 50545 48830 401 171 0 49470 0
Current children cumulated CPU time (s) 1773.38
Current children cumulated vsize (KiB) 202180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1356832/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=205252 CPUtime=1800.04
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 52181 656 0 0 179970 34 0 0 25 0 1 0 60185360 210178048 49596 996147200 134512640 135215973 4294956304 18446744073709551615 134590182 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 51313 49596 401 171 0 50238 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 205252

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

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

[startup+1809.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15708
/proc/meminfo: memFree=1356832/2055920 swapFree=4192812/4192956
[pid=15623] ppid=15621 vsize=205252 CPUtime=1800.04
/proc/15623/stat : 15623 (pcs.big) R 15621 15623 15125 0 -1 4194304 52181 656 0 0 179970 34 0 0 25 0 1 0 60185360 210178048 49596 996147200 134512640 135215973 4294956304 18446744073709551615 134590182 0 0 4096 0 0 0 0 17 1 0 0
/proc/15623/statm: 51313 49596 401 171 0 50238 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 205252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.14
CPU time (s): 1800.11
CPU user time (s): 1799.72
CPU system time (s): 0.38994
CPU usage (%): 99.5005
Max. virtual memory (cumulated for all children) (KiB): 205252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.38994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52837
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= 21
involuntary context switches= 23635

runsolver used 2.46762 second user time and 5.49716 second system time

The end

Launcher Data 

Begin job on node27 at 2009-07-16 09:59:51
IDJOB=2090888
IDBENCH=59937
IDSOLVER=734
FILE ID=node27/2090888-1247731191
PBS_JOBID= 9521563
Free space on /tmp= 66244 MiB

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

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

MD5SUM BENCH= 307ccf6f7e17f01d1d7cca643ee25957
RANDOM SEED=1315618233

node27.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		: 2800.239
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	: 5521.40
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		: 2800.239
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:       1563008 kB
Buffers:         77148 kB
Cached:         277812 kB
SwapCached:          0 kB
Active:         115024 kB
Inactive:       305588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1563008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4040 kB
Writeback:           0 kB
Mapped:          76964 kB
Slab:            57556 kB
Committed_AS:   612180 kB
PageTables:       1808 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66240 MiB
End job on node27 at 2009-07-16 10:30:02