Trace number 2090711

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 1286.61 1289.41

DiagnosticValue
ASSIGNMENTS71382

General information on the benchmark

Namecsp/tightness0.65/
normalized-rand-2-40-40-135-650-75_ext.xml
MD5SUMdf88dbc9978c6f0b33e7d1a27ea0ac7d
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 benchmark6.24105
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints135
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension135
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.00/0.02	c Seed is 449718206
0.00/0.02	c Constructing HOME/instance-2090711-1247731060.xml  with 213 constraints
0.18/0.23	c Solving 71382 backtracks 18 restarts
1286.48/1289.37	s UNSATISFIABLE
1286.48/1289.37	d ASSIGNMENTS 71382

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-2090711-1247731060/watcher-2090711-1247731060 -o /tmp/evaluation-result-2090711-1247731060/solver-2090711-1247731060 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 449718206 HOME/instance-2090711-1247731060.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.87 1.97 1.99 4/72 17416
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=5356 CPUtime=0
/proc/17416/stat : 17416 (pcssolve) R 17414 17416 16306 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60173062 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17416/statm: 1339 241 200 169 0 50 0
[pid=17417] ppid=17416 vsize=100 CPUtime=0
/proc/17417/stat : 17417 (fgrep) R 17416 17416 16306 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 60173063 102400 3 996147200 0 0 548682069725 18446744073709551615 214919867687 0 0 4096 0 0 0 0 17 1 0 0
/proc/17417/statm: 25 3 0 0 0 2 0
[pid=17418] ppid=17416 vsize=5356 CPUtime=0
/proc/17418/stat : 17418 (pcssolve) R 17416 17416 16306 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60173063 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17418/statm: 1339 241 200 169 0 50 0

[startup+0.044546 s]
/proc/loadavg: 1.87 1.97 1.99 4/72 17416
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=4756 CPUtime=0.02
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 855 656 0 0 2 0 0 0 23 0 1 0 60173062 4870144 486 996147200 134512640 135215973 4294956304 18446744073709551615 134882209 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 1189 486 383 171 0 114 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4756

[startup+0.101555 s]
/proc/loadavg: 1.87 1.97 1.99 4/72 17416
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=5420 CPUtime=0.08
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 978 656 0 0 8 0 0 0 23 0 1 0 60173062 5550080 609 996147200 134512640 135215973 4294956304 18446744073709551615 4158851740 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 1355 609 383 171 0 280 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5420

[startup+0.301601 s]
/proc/loadavg: 1.87 1.97 1.99 4/72 17416
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=7156 CPUtime=0.27
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 1376 656 0 0 27 0 0 0 25 0 1 0 60173062 7327744 1007 996147200 134512640 135215973 4294956304 18446744073709551615 4158960101 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 1789 1007 403 171 0 714 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7156

[startup+0.701685 s]
/proc/loadavg: 1.87 1.97 1.99 4/72 17416
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=7156 CPUtime=0.67
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 1379 656 0 0 67 0 0 0 25 0 1 0 60173062 7327744 1010 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 1789 1010 403 171 0 714 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7156

[startup+1.50186 s]
/proc/loadavg: 1.87 1.97 1.99 3/73 17421
/proc/meminfo: memFree=1641936/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=7156 CPUtime=1.46
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 1390 656 0 0 146 0 0 0 25 0 1 0 60173062 7327744 1021 996147200 134512640 135215973 4294956304 18446744073709551615 134586655 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 1789 1021 403 171 0 714 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7156

[startup+3.1012 s]
/proc/loadavg: 1.87 1.97 1.99 3/73 17421
/proc/meminfo: memFree=1641552/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=7156 CPUtime=3.05
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 1415 656 0 0 305 0 0 0 25 0 1 0 60173062 7327744 1046 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 1789 1046 403 171 0 714 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7156

[startup+6.30189 s]
/proc/loadavg: 1.96 1.98 1.99 4/73 17421
/proc/meminfo: memFree=1640528/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=7156 CPUtime=6.23
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 1481 656 0 0 623 0 0 0 25 0 1 0 60173062 7327744 1112 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 1789 1112 403 171 0 714 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 7156

[startup+12.7013 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 17421
/proc/meminfo: memFree=1637968/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=8344 CPUtime=12.57
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 1769 656 0 0 1257 0 0 0 25 0 1 0 60173062 8544256 1400 996147200 134512640 135215973 4294956304 18446744073709551615 134590027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 2086 1400 403 171 0 1011 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 8344

[startup+25.502 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 17421
/proc/meminfo: memFree=1632144/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=11376 CPUtime=25.28
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 2565 656 0 0 2527 1 0 0 25 0 1 0 60173062 11649024 2163 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 2844 2163 403 171 0 1769 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 11376

[startup+51.1017 s]
/proc/loadavg: 2.05 2.00 2.00 3/73 17421
/proc/meminfo: memFree=1621136/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=16912 CPUtime=50.67
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 4027 656 0 0 5066 1 0 0 25 0 1 0 60173062 17317888 3560 996147200 134512640 135215973 4294956304 18446744073709551615 9339301 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 4228 3560 403 171 0 3153 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 16912

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/73 17421
/proc/meminfo: memFree=1598544/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=28500 CPUtime=101.48
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 7059 656 0 0 10146 2 0 0 25 0 1 0 60173062 29184000 6430 996147200 134512640 135215973 4294956304 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 7125 6430 403 171 0 6050 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 28500

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17421
/proc/meminfo: memFree=1573840/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=42052 CPUtime=161
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 10627 656 0 0 16095 5 0 0 25 0 1 0 60173062 43061248 9676 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 10513 9676 403 171 0 9438 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 42052

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17427
/proc/meminfo: memFree=1548560/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=56236 CPUtime=220.49
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 14326 656 0 0 22042 7 0 0 25 0 1 0 60173062 57585664 12862 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 14059 12862 403 171 0 12984 0
Current children cumulated CPU time (s) 220.49
Current children cumulated vsize (KiB) 56236

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17427
/proc/meminfo: memFree=1525840/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=68492 CPUtime=280
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 17566 656 0 0 27991 9 0 0 25 0 1 0 60173062 70135808 15973 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/17416/statm: 17123 15973 403 171 0 16048 0
Current children cumulated CPU time (s) 280
Current children cumulated vsize (KiB) 68492

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1555272/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=80368 CPUtime=339.95
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 20688 656 0 0 33983 12 0 0 25 0 1 0 60173062 82296832 19095 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 20092 19095 403 171 0 19017 0
Current children cumulated CPU time (s) 339.95
Current children cumulated vsize (KiB) 80368

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1542600/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=92372 CPUtime=399.93
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 23851 656 0 0 39979 14 0 0 25 0 1 0 60173062 94588928 22258 996147200 134512640 135215973 4294956304 18446744073709551615 134590209 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 23093 22258 403 171 0 22018 0
Current children cumulated CPU time (s) 399.93
Current children cumulated vsize (KiB) 92372

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1530248/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=107940 CPUtime=459.89
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 27889 656 0 0 45972 17 0 0 25 0 1 0 60173062 110530560 25271 996147200 134512640 135215973 4294956304 18446744073709551615 134590178 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 26985 25271 403 171 0 25910 0
Current children cumulated CPU time (s) 459.89
Current children cumulated vsize (KiB) 107940

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1517512/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=120072 CPUtime=519.86
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 31085 656 0 0 51966 20 0 0 25 0 1 0 60173062 122953728 28467 996147200 134512640 135215973 4294956304 18446744073709551615 9339371 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 30018 28467 403 171 0 28943 0
Current children cumulated CPU time (s) 519.86
Current children cumulated vsize (KiB) 120072

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1505224/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=132708 CPUtime=579.83
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 34382 656 0 0 57960 23 0 0 25 0 1 0 60173062 135892992 31507 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 33177 31507 403 171 0 32102 0
Current children cumulated CPU time (s) 579.83
Current children cumulated vsize (KiB) 132708

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1493896/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=143396 CPUtime=639.8

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

/proc/meminfo: memFree=1483400/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=153428 CPUtime=699.77
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 39837 656 0 0 69948 29 0 0 25 0 1 0 60173062 157110272 36962 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 38357 36962 403 171 0 37282 0
Current children cumulated CPU time (s) 699.77
Current children cumulated vsize (KiB) 153428

[startup+762.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1472072/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=163984 CPUtime=759.75
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 42637 656 0 0 75944 31 0 0 25 0 1 0 60173062 167919616 39762 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 40996 39762 403 171 0 39921 0
Current children cumulated CPU time (s) 759.75
Current children cumulated vsize (KiB) 163984

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1461128/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=174540 CPUtime=819.71
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 45389 656 0 0 81939 32 0 0 25 0 1 0 60173062 178728960 42514 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 43635 42514 403 171 0 42560 0
Current children cumulated CPU time (s) 819.71
Current children cumulated vsize (KiB) 174540

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1451016/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=184040 CPUtime=879.68
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 47893 656 0 0 87934 34 0 0 25 0 1 0 60173062 188456960 45018 996147200 134512640 135215973 4294956304 18446744073709551615 134592306 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 46010 45018 403 171 0 44935 0
Current children cumulated CPU time (s) 879.68
Current children cumulated vsize (KiB) 184040

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1440392/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=194068 CPUtime=939.65
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 50534 656 0 0 93928 37 0 0 25 0 1 0 60173062 198725632 47659 996147200 134512640 135215973 4294956304 18446744073709551615 134597660 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 48517 47659 403 171 0 47442 0
Current children cumulated CPU time (s) 939.65
Current children cumulated vsize (KiB) 194068

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1430152/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=211624 CPUtime=999.62
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 55076 656 0 0 99922 40 0 0 25 0 1 0 60173062 216702976 50152 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 52906 50152 403 171 0 51831 0
Current children cumulated CPU time (s) 999.62
Current children cumulated vsize (KiB) 211624

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1420232/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=221260 CPUtime=1059.59
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 57596 656 0 0 105917 42 0 0 25 0 1 0 60173062 226570240 52672 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 55315 52672 403 171 0 54240 0
Current children cumulated CPU time (s) 1059.59
Current children cumulated vsize (KiB) 221260

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1409992/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=230760 CPUtime=1119.56
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 60123 656 0 0 111911 45 0 0 25 0 1 0 60173062 236298240 55199 996147200 134512640 135215973 4294956304 18446744073709551615 135026848 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 57690 55199 403 171 0 56615 0
Current children cumulated CPU time (s) 1119.56
Current children cumulated vsize (KiB) 230760

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1399112/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=243236 CPUtime=1179.53
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 63355 656 0 0 117906 47 0 0 25 0 1 0 60173062 249073664 57918 996147200 134512640 135215973 4294956304 18446744073709551615 134680642 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 60809 57918 403 171 0 59734 0
Current children cumulated CPU time (s) 1179.53
Current children cumulated vsize (KiB) 243236

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1389960/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=251800 CPUtime=1239.5
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 65612 656 0 0 123901 49 0 0 25 0 1 0 60173062 257843200 60175 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 62950 60175 403 171 0 61875 0
Current children cumulated CPU time (s) 1239.5
Current children cumulated vsize (KiB) 251800

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

[startup+1254.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1388040/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=253648 CPUtime=1251.5
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 66087 656 0 0 125100 50 0 0 25 0 1 0 60173062 259735552 60650 996147200 134512640 135215973 4294956304 18446744073709551615 134600377 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 63412 60650 403 171 0 62337 0
Current children cumulated CPU time (s) 1251.5
Current children cumulated vsize (KiB) 253648

[startup+1267.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1385992/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=255492 CPUtime=1264.3
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 66580 656 0 0 126380 50 0 0 25 0 1 0 60173062 261623808 61143 996147200 134512640 135215973 4294956304 18446744073709551615 134599875 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 63873 61143 403 171 0 62798 0
Current children cumulated CPU time (s) 1264.3
Current children cumulated vsize (KiB) 255492

[startup+1279.9 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 17468
/proc/meminfo: memFree=1384200/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=257340 CPUtime=1277.08
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 67058 656 0 0 127658 50 0 0 25 0 1 0 60173062 263516160 61621 996147200 134512640 135215973 4294956304 18446744073709551615 134590156 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 64335 61621 403 171 0 63260 0
Current children cumulated CPU time (s) 1277.08
Current children cumulated vsize (KiB) 257340

[startup+1286.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1383176/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=258132 CPUtime=1283.49
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 67287 656 0 0 128298 51 0 0 25 0 1 0 60173062 264327168 61850 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 64533 61850 403 171 0 63458 0
Current children cumulated CPU time (s) 1283.49
Current children cumulated vsize (KiB) 258132

[startup+1287.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1383048/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=258396 CPUtime=1285.08
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 67352 656 0 0 128457 51 0 0 25 0 1 0 60173062 264597504 61915 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 64599 61915 403 171 0 63524 0
Current children cumulated CPU time (s) 1285.08
Current children cumulated vsize (KiB) 258396

[startup+1288.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1382856/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=258528 CPUtime=1285.88
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 67378 656 0 0 128537 51 0 0 25 0 1 0 60173062 264732672 61941 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 64632 61941 403 171 0 63557 0
Current children cumulated CPU time (s) 1285.88
Current children cumulated vsize (KiB) 258528

[startup+1289.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1384776/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=254428 CPUtime=1286.28
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 67387 656 0 0 128577 51 0 0 25 0 1 0 60173062 260534272 61390 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 63607 61390 403 171 0 62532 0
Current children cumulated CPU time (s) 1286.28
Current children cumulated vsize (KiB) 254428

[startup+1289.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1384776/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=254428 CPUtime=1286.48
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194304 67387 656 0 0 128597 51 0 0 25 0 1 0 60173062 260534272 61390 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 63607 61390 403 171 0 62532 0
Current children cumulated CPU time (s) 1286.48
Current children cumulated vsize (KiB) 254428

[startup+1289.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17468
/proc/meminfo: memFree=1384776/2055920 swapFree=4192812/4192956
[pid=17416] ppid=17414 vsize=0 CPUtime=1286.58
/proc/17416/stat : 17416 (pcs.big) R 17414 17416 16306 0 -1 4194308 67390 656 0 0 128604 54 0 0 25 0 1 0 60173062 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/17416/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1286.58
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1289.41
CPU time (s): 1286.61
CPU user time (s): 1286.05
CPU system time (s): 0.558915
CPU usage (%): 99.7825
Max. virtual memory (cumulated for all children) (KiB): 258528

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

runsolver used 1.2768 second user time and 3.45647 second system time

The end

Launcher Data 

Begin job on node10 at 2009-07-16 09:57:40
IDJOB=2090711
IDBENCH=59870
IDSOLVER=733
FILE ID=node10/2090711-1247731060
PBS_JOBID= 9521561
Free space on /tmp= 66364 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.65/normalized-rand-2-40-40-135-650-75_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090711-1247731060/watcher-2090711-1247731060 -o /tmp/evaluation-result-2090711-1247731060/solver-2090711-1247731060 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 449718206 HOME/instance-2090711-1247731060.xml

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

MD5SUM BENCH= df88dbc9978c6f0b33e7d1a27ea0ac7d
RANDOM SEED=449718206

node10.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.279
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.279
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:       1645048 kB
Buffers:         80504 kB
Cached:         237668 kB
SwapCached:          0 kB
Active:          95612 kB
Inactive:       242400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1645048 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5096 kB
Writeback:           0 kB
Mapped:          31388 kB
Slab:            58324 kB
Committed_AS:   593888 kB
PageTables:       1692 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= 66360 MiB
End job on node10 at 2009-07-16 10:19:10