Trace number 2090887

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.2UNSAT 1645.98 1649.16

DiagnosticValue
ASSIGNMENTS23547

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.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 2028765821
0.00/0.02	c Constructing HOME/instance-2090887-1247731189.xml  with 84 constraints
0.67/0.77	c Solving 23547 backtracks 16 restarts
1645.89/1649.13	s UNSATISFIABLE
1645.89/1649.13	d ASSIGNMENTS 23547

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2090887-1247731189/watcher-2090887-1247731189 -o /tmp/evaluation-result-2090887-1247731189/solver-2090887-1247731189 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2028765821 HOME/instance-2090887-1247731189.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.95 1.99 1.99 4/72 15639
/proc/meminfo: memFree=1643024/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=5356 CPUtime=0
/proc/15639/stat : 15639 (pcssolve) R 15637 15639 15123 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60181540 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15639/statm: 1339 241 200 169 0 50 0
[pid=15640] ppid=15639 vsize=3676 CPUtime=0
/proc/15640/stat : 15640 (fgrep) R 15639 15639 15123 0 -1 4194304 119 0 0 0 0 0 0 0 22 0 1 0 60181541 3764224 86 996147200 4194304 4274172 548682068976 18446744073709551615 231962220154 0 0 4096 0 0 0 0 17 1 0 0
/proc/15640/statm: 919 86 69 19 0 43 0

[startup+0.078571 s]
/proc/loadavg: 1.95 1.99 1.99 4/72 15639
/proc/meminfo: memFree=1643024/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=5076 CPUtime=0.05
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 879 656 0 0 5 0 0 0 23 0 1 0 60181540 5197824 510 996147200 134512640 135215973 4294956304 18446744073709551615 4159337007 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 1269 510 383 171 0 194 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5076

[startup+0.101571 s]
/proc/loadavg: 1.95 1.99 1.99 4/72 15639
/proc/meminfo: memFree=1643024/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=5372 CPUtime=0.07
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 916 656 0 0 7 0 0 0 23 0 1 0 60181540 5500928 547 996147200 134512640 135215973 4294956304 18446744073709551615 7646998 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 1343 547 383 171 0 268 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5372

[startup+0.3016 s]
/proc/loadavg: 1.95 1.99 1.99 4/72 15639
/proc/meminfo: memFree=1643024/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=7524 CPUtime=0.27
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 1160 656 0 0 27 0 0 0 25 0 1 0 60181540 7704576 791 996147200 134512640 135215973 4294956304 18446744073709551615 7671423 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 1881 791 383 171 0 806 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7524

[startup+0.701653 s]
/proc/loadavg: 1.95 1.99 1.99 4/72 15639
/proc/meminfo: memFree=1643024/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=11740 CPUtime=0.67
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 1647 656 0 0 66 1 0 0 25 0 1 0 60181540 12021760 1278 996147200 134512640 135215973 4294956304 18446744073709551615 134583624 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 2935 1278 383 171 0 1860 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11740

[startup+1.50177 s]
/proc/loadavg: 1.95 1.99 1.99 3/73 15644
/proc/meminfo: memFree=1638024/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=13216 CPUtime=1.47
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 1986 656 0 0 146 1 0 0 25 0 1 0 60181540 13533184 1617 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 3304 1617 401 171 0 2229 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13216

[startup+3.10199 s]
/proc/loadavg: 1.95 1.99 1.99 3/73 15644
/proc/meminfo: memFree=1637896/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=13216 CPUtime=3.06
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 2004 656 0 0 305 1 0 0 25 0 1 0 60181540 13533184 1635 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 3304 1635 401 171 0 2229 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13216

[startup+6.30142 s]
/proc/loadavg: 1.95 1.99 1.99 3/73 15644
/proc/meminfo: memFree=1637320/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=13216 CPUtime=6.25
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 2078 656 0 0 624 1 0 0 25 0 1 0 60181540 13533184 1709 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 3304 1709 401 171 0 2229 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13216

[startup+12.7013 s]
/proc/loadavg: 1.96 1.99 1.99 3/73 15644
/proc/meminfo: memFree=1636424/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=13216 CPUtime=12.61
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 2253 656 0 0 1260 1 0 0 25 0 1 0 60181540 13533184 1884 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/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: 1.96 1.99 1.99 3/73 15644
/proc/meminfo: memFree=1634824/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=13216 CPUtime=25.35
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 2554 656 0 0 2534 1 0 0 25 0 1 0 60181540 13533184 2185 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 3304 2185 401 171 0 2229 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 13216

[startup+51.1015 s]
/proc/loadavg: 1.98 1.99 1.99 3/73 15644
/proc/meminfo: memFree=1631368/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=14004 CPUtime=50.83
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 3183 656 0 0 5081 2 0 0 25 0 1 0 60181540 14340096 2814 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 3501 2814 401 171 0 2426 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 14004

[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1608904/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=21280 CPUtime=101.76
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 5027 656 0 0 10173 3 0 0 25 0 1 0 60181540 21790720 4593 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 5320 4593 401 171 0 4245 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 21280

[startup+162.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1600456/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=28800 CPUtime=161.47
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 6948 656 0 0 16143 4 0 0 25 0 1 0 60181540 29491200 6514 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 7200 6514 401 171 0 6125 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 28800

[startup+222.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1591688/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=36964 CPUtime=221.18
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 9014 656 0 0 22112 6 0 0 25 0 1 0 60181540 37851136 8451 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 9241 8451 401 171 0 8166 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 36964

[startup+282.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1583496/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=44084 CPUtime=280.89
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 10868 656 0 0 28082 7 0 0 25 0 1 0 60181540 45142016 10272 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 11021 10272 401 171 0 9946 0
Current children cumulated CPU time (s) 280.89
Current children cumulated vsize (KiB) 44084

[startup+342.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1574280/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=52128 CPUtime=340.59
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 12916 656 0 0 34051 8 0 0 25 0 1 0 60181540 53379072 12320 996147200 134512640 135215973 4294956304 18446744073709551615 134600115 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 13032 12320 401 171 0 11957 0
Current children cumulated CPU time (s) 340.59
Current children cumulated vsize (KiB) 52128

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1566472/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=60016 CPUtime=400.31
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 14931 656 0 0 40021 10 0 0 25 0 1 0 60181540 61456384 14078 996147200 134512640 135215973 4294956304 18446744073709551615 4158961236 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 15004 14078 401 171 0 13929 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 60016

[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1558728/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=66484 CPUtime=460.01
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 16600 656 0 0 45991 10 0 0 25 0 1 0 60181540 68079616 15747 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 16621 15747 401 171 0 15546 0
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (KiB) 66484

[startup+522.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15650
/proc/meminfo: memFree=1550856/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=73600 CPUtime=519.73
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 18406 656 0 0 51961 12 0 0 25 0 1 0 60181540 75366400 17488 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/15639/statm: 18400 17488 401 171 0 17325 0
Current children cumulated CPU time (s) 519.73
Current children cumulated vsize (KiB) 73600

[startup+582.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15683
/proc/meminfo: memFree=1638280/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=80332 CPUtime=579.54
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 20155 656 0 0 57941 13 0 0 25 0 1 0 60181540 82259968 19237 996147200 134512640 135215973 4294956304 18446744073709551615 135020341 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 20083 19237 401 171 0 19008 0
Current children cumulated CPU time (s) 579.54
Current children cumulated vsize (KiB) 80332

[startup+642.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 15683
/proc/meminfo: memFree=1625032/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=86932 CPUtime=639.52
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 21847 656 0 0 63938 14 0 0 25 0 1 0 60181540 89018368 20929 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 21733 20929 401 171 0 20658 0
Current children cumulated CPU time (s) 639.52

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

/proc/meminfo: memFree=1561544/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=130292 CPUtime=999.36
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 32978 656 0 0 99916 20 0 0 25 0 1 0 60181540 133419008 31547 996147200 134512640 135215973 4294956304 18446744073709551615 135026932 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 32573 31547 401 171 0 31498 0
Current children cumulated CPU time (s) 999.36
Current children cumulated vsize (KiB) 130292

[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/73 15683
/proc/meminfo: memFree=1547016/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=137024 CPUtime=1059.34
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 34691 656 0 0 105912 22 0 0 25 0 1 0 60181540 140312576 33260 996147200 134512640 135215973 4294956304 18446744073709551615 135026885 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 34256 33260 401 171 0 33181 0
Current children cumulated CPU time (s) 1059.34
Current children cumulated vsize (KiB) 137024

[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 15683
/proc/meminfo: memFree=1538760/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=144400 CPUtime=1119.31
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 36575 656 0 0 111908 23 0 0 25 0 1 0 60181540 147865600 35015 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 36100 35015 401 171 0 35025 0
Current children cumulated CPU time (s) 1119.31
Current children cumulated vsize (KiB) 144400

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 15683
/proc/meminfo: memFree=1530760/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=151124 CPUtime=1179.29
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 38310 656 0 0 117905 24 0 0 25 0 1 0 60181540 154750976 36750 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 37781 36750 401 171 0 36706 0
Current children cumulated CPU time (s) 1179.29
Current children cumulated vsize (KiB) 151124

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15683
/proc/meminfo: memFree=1522632/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=157720 CPUtime=1239.27
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 39988 656 0 0 123901 26 0 0 25 0 1 0 60181540 161505280 38428 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 39430 38428 401 171 0 38355 0
Current children cumulated CPU time (s) 1239.27
Current children cumulated vsize (KiB) 157720

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15683
/proc/meminfo: memFree=1513288/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=164584 CPUtime=1299.24
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 41746 656 0 0 129897 27 0 0 25 0 1 0 60181540 168534016 40186 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 41146 40186 401 171 0 40071 0
Current children cumulated CPU time (s) 1299.24
Current children cumulated vsize (KiB) 164584

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15683
/proc/meminfo: memFree=1505032/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=170656 CPUtime=1359.21
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 43304 656 0 0 135893 28 0 0 25 0 1 0 60181540 174751744 41744 996147200 134512640 135215973 4294956304 18446744073709551615 134589849 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 42664 41744 401 171 0 41589 0
Current children cumulated CPU time (s) 1359.21
Current children cumulated vsize (KiB) 170656

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1496264/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=176856 CPUtime=1419.2
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 44900 656 0 0 141890 30 0 0 25 0 1 0 60181540 181100544 43340 996147200 134512640 135215973 4294956304 18446744073709551615 135020412 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 44214 43340 401 171 0 43139 0
Current children cumulated CPU time (s) 1419.2
Current children cumulated vsize (KiB) 176856

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1487368/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=183456 CPUtime=1479.17
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 46587 656 0 0 147886 31 0 0 25 0 1 0 60181540 187858944 45027 996147200 134512640 135215973 4294956304 18446744073709551615 134590129 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 45864 45027 401 171 0 44789 0
Current children cumulated CPU time (s) 1479.17
Current children cumulated vsize (KiB) 183456

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1478664/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=189788 CPUtime=1539.14
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 48234 656 0 0 153882 32 0 0 25 0 1 0 60181540 194342912 46674 996147200 134512640 135215973 4294956304 18446744073709551615 4158960162 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 47447 46674 401 171 0 46372 0
Current children cumulated CPU time (s) 1539.14
Current children cumulated vsize (KiB) 189788

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1469960/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=200484 CPUtime=1599.12
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 50940 656 0 0 159878 34 0 0 25 0 1 0 60181540 205295616 48355 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 50121 48355 401 171 0 49046 0
Current children cumulated CPU time (s) 1599.12
Current children cumulated vsize (KiB) 200484

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

[startup+1612.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1468232/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=201540 CPUtime=1609.5
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 51196 656 0 0 160916 34 0 0 25 0 1 0 60181540 206376960 48611 996147200 134512640 135215973 4294956304 18446744073709551615 134583239 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 50385 48611 401 171 0 49310 0
Current children cumulated CPU time (s) 1609.5
Current children cumulated vsize (KiB) 201540

[startup+1625.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1466568/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=202860 CPUtime=1622.31
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 51544 656 0 0 162196 35 0 0 25 0 1 0 60181540 207728640 48959 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 50715 48959 401 171 0 49640 0
Current children cumulated CPU time (s) 1622.31
Current children cumulated vsize (KiB) 202860

[startup+1638.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1464776/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=204180 CPUtime=1635.1
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 51894 656 0 0 163475 35 0 0 25 0 1 0 60181540 209080320 49309 996147200 134512640 135215973 4294956304 18446744073709551615 135020407 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 51045 49309 401 171 0 49970 0
Current children cumulated CPU time (s) 1635.1
Current children cumulated vsize (KiB) 204180

[startup+1644.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1463688/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=204972 CPUtime=1641.5
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 52081 656 0 0 164115 35 0 0 25 0 1 0 60181540 209891328 49496 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 51243 49496 401 171 0 50168 0
Current children cumulated CPU time (s) 1641.5
Current children cumulated vsize (KiB) 204972

[startup+1646.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1463624/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=204972 CPUtime=1643.1
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 52106 656 0 0 164275 35 0 0 25 0 1 0 60181540 209891328 49521 996147200 134512640 135215973 4294956304 18446744073709551615 134596796 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 51243 49521 401 171 0 50168 0
Current children cumulated CPU time (s) 1643.1
Current children cumulated vsize (KiB) 204972

[startup+1647.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1463304/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=205236 CPUtime=1644.7
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 52145 656 0 0 164435 35 0 0 25 0 1 0 60181540 210161664 49560 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 51309 49560 401 171 0 50234 0
Current children cumulated CPU time (s) 1644.7
Current children cumulated vsize (KiB) 205236

[startup+1648.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1463304/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=204208 CPUtime=1645.49
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 52155 656 0 0 164514 35 0 0 25 0 1 0 60181540 209108992 49385 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 51052 49385 401 171 0 49977 0
Current children cumulated CPU time (s) 1645.49
Current children cumulated vsize (KiB) 204208

[startup+1649.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15683
/proc/meminfo: memFree=1463752/2055920 swapFree=4192812/4192956
[pid=15639] ppid=15637 vsize=204208 CPUtime=1645.89
/proc/15639/stat : 15639 (pcs.big) R 15637 15639 15123 0 -1 4194304 52155 656 0 0 164554 35 0 0 25 0 1 0 60181540 209108992 49385 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15639/statm: 51052 49385 401 171 0 49977 0
Current children cumulated CPU time (s) 1645.89
Current children cumulated vsize (KiB) 204208

Child status: 0
Real time (s): 1649.16
CPU time (s): 1645.98
CPU user time (s): 1645.59
CPU system time (s): 0.39294
CPU usage (%): 99.8069
Max. virtual memory (cumulated for all children) (KiB): 205236

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

runsolver used 2.29465 second user time and 5.01224 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-16 09:59:50
IDJOB=2090887
IDBENCH=59937
IDSOLVER=733
FILE ID=node71/2090887-1247731189
PBS_JOBID= 9521588
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
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-2090887-1247731189/watcher-2090887-1247731189 -o /tmp/evaluation-result-2090887-1247731189/solver-2090887-1247731189 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2028765821 HOME/instance-2090887-1247731189.xml

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

MD5SUM BENCH= 307ccf6f7e17f01d1d7cca643ee25957
RANDOM SEED=2028765821

node71.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.222
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.222
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:       1643504 kB
Buffers:         75852 kB
Cached:         152968 kB
SwapCached:          0 kB
Active:         171848 kB
Inactive:       150444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1643504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3904 kB
Writeback:           0 kB
Mapped:         104932 kB
Slab:            75360 kB
Committed_AS:   614672 kB
PageTables:       1992 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= 66392 MiB
End job on node71 at 2009-07-16 10:27:19