Trace number 2083968

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.18 1804.18

General information on the benchmark

Namecsp/fapp/fapp27/
normalized-fapp27-2550-6.xml
MD5SUMef7d7c637f2d266a95f48fc11eb03b09
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark31.9491
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints10886
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10886
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.09/0.20	c Seed is 2039579437
0.09/0.20	c Constructing HOME/instance-2083968-1247724077.xml  with 66327 constraints
1.08/1.13	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-2083968-1247724077/watcher-2083968-1247724077 -o /tmp/evaluation-result-2083968-1247724077/solver-2083968-1247724077 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2039579437 HOME/instance-2083968-1247724077.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.90 1.95 1.97 4/72 13675
/proc/meminfo: memFree=1494880/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=5356 CPUtime=0
/proc/13675/stat : 13675 (pcssolve) S 13673 13675 13638 0 -1 4194304 305 155 0 0 0 0 0 0 19 0 1 0 59471681 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13675/statm: 1339 242 201 169 0 50 0
[pid=13677] ppid=13675 vsize=5356 CPUtime=0
/proc/13677/stat : 13677 (pcssolve) R 13675 13675 13638 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 59471681 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 269930261799 0 0 4096 0 0 0 0 17 1 0 0
/proc/13677/statm: 1339 244 203 169 0 50 0

[startup+0.111278 s]
/proc/loadavg: 1.90 1.95 1.97 4/72 13675
/proc/meminfo: memFree=1494880/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=7428 CPUtime=0.09
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 1591 661 0 0 9 0 0 0 18 0 1 0 59471681 7606272 1064 996147200 134512640 135215973 4294956304 18446744073709551615 4159751057 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 1857 1064 386 171 0 782 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7428

[startup+0.201288 s]
/proc/loadavg: 1.90 1.95 1.97 4/72 13675
/proc/meminfo: memFree=1494880/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=9772 CPUtime=0.18
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2337 661 0 0 18 0 0 0 19 0 1 0 59471681 10006528 1564 996147200 134512640 135215973 4294956304 18446744073709551615 134601553 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 2443 1564 386 171 0 1368 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9772

[startup+0.3013 s]
/proc/loadavg: 1.90 1.95 1.97 4/72 13675
/proc/meminfo: memFree=1494880/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=13200 CPUtime=0.28
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 3329 661 0 0 27 1 0 0 20 0 1 0 59471681 13516800 2190 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 3300 2190 386 171 0 2225 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13200

[startup+0.701345 s]
/proc/loadavg: 1.90 1.95 1.97 4/72 13675
/proc/meminfo: memFree=1494880/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=22080 CPUtime=0.68
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 6347 661 0 0 66 2 0 0 24 0 1 0 59471681 22609920 4142 996147200 134512640 135215973 4294956304 18446744073709551615 4159732896 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 5520 4142 386 171 0 4445 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22080

[startup+1.50144 s]
/proc/loadavg: 1.90 1.95 1.97 3/73 13680
/proc/meminfo: memFree=1471576/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=36216 CPUtime=1.48
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 12312 661 0 0 144 4 0 0 25 0 1 0 59471681 37085184 7709 996147200 134512640 135215973 4294956304 18446744073709551615 9178620 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 9054 7709 410 171 0 7979 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36216

[startup+3.10163 s]
/proc/loadavg: 1.90 1.95 1.97 3/73 13680
/proc/meminfo: memFree=1464664/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=37052 CPUtime=3.07
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 12577 661 0 0 303 4 0 0 25 0 1 0 59471681 37941248 7816 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 9263 7816 410 171 0 8188 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37052

[startup+6.302 s]
/proc/loadavg: 1.91 1.95 1.97 3/73 13680
/proc/meminfo: memFree=1462360/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=39864 CPUtime=6.25
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 13477 661 0 0 621 4 0 0 25 0 1 0 59471681 40820736 8507 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 9966 8507 410 171 0 8891 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 39864

[startup+12.7018 s]
/proc/loadavg: 1.92 1.95 1.97 3/73 13680
/proc/meminfo: memFree=1459544/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=41448 CPUtime=12.64
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 13972 661 0 0 1259 5 0 0 25 0 1 0 59471681 42442752 9002 996147200 134512640 135215973 4294956304 18446744073709551615 134597353 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 10362 9002 410 171 0 9287 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 41448

[startup+25.5013 s]
/proc/loadavg: 1.93 1.96 1.97 3/73 13680
/proc/meminfo: memFree=1455320/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=45488 CPUtime=25.38
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 31475 661 0 0 2527 11 0 0 25 0 1 0 59471681 46579712 9848 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 11372 9848 413 171 0 10297 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 45488

[startup+51.1013 s]
/proc/loadavg: 1.96 1.96 1.97 3/73 13680
/proc/meminfo: memFree=1448280/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=51428 CPUtime=50.87
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 61673 661 0 0 5068 19 0 0 25 0 1 0 59471681 52662272 11336 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 12857 11336 413 171 0 11782 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 51428

[startup+102.301 s]
/proc/loadavg: 1.98 1.96 1.97 3/73 13680
/proc/meminfo: memFree=1437848/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=59220 CPUtime=101.87
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 155545 661 0 0 10145 42 0 0 25 0 1 0 59471681 60641280 13336 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 14805 13336 413 171 0 13730 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 59220

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1427672/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=66604 CPUtime=161.62
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 219849 661 0 0 16101 61 0 0 25 0 1 0 59471681 68202496 15174 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 16651 15174 413 171 0 15576 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 66604

[startup+222.305 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1417496/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=73988 CPUtime=221.38
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 271782 661 0 0 22062 76 0 0 25 0 1 0 59471681 75763712 17020 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 18497 17020 413 171 0 17422 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 73988

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1402584/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=85604 CPUtime=281.13
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 371567 661 0 0 28005 108 0 0 25 0 1 0 59471681 87658496 20061 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 21401 20061 413 171 0 20326 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 85604

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1387928/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=97200 CPUtime=340.9
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 438316 661 0 0 33962 128 0 0 25 0 1 0 59471681 99532800 22952 996147200 134512640 135215973 4294956304 18446744073709551615 134589784 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 24300 22952 413 171 0 23225 0
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (KiB) 97200

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1370200/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=111844 CPUtime=400.66
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 527766 661 0 0 39911 155 0 0 25 0 1 0 59471681 114528256 26620 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 27961 26620 413 171 0 26886 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 111844

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1354776/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=120292 CPUtime=460.41
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 593347 661 0 0 45869 172 0 0 25 0 1 0 59471681 123179008 28749 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 30073 28749 413 171 0 28998 0
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (KiB) 120292

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1336984/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=132552 CPUtime=520.16
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 662892 661 0 0 51826 190 0 0 25 0 1 0 59471681 135733248 31826 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 33138 31826 413 171 0 32063 0
Current children cumulated CPU time (s) 520.16
Current children cumulated vsize (KiB) 132552

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1316184/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=146932 CPUtime=579.92
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 776990 661 0 0 57771 221 0 0 25 0 1 0 59471681 150458368 35434 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 36733 35434 413 171 0 35658 0
Current children cumulated CPU time (s) 579.92
Current children cumulated vsize (KiB) 146932

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1291416/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=165276 CPUtime=639.68
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 949591 661 0 0 63699 269 0 0 25 0 1 0 59471681 169242624 40067 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 41319 40067 413 171 0 40244 0
Current children cumulated CPU time (s) 639.68

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/73 13680
/proc/meminfo: memFree=1232408/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=205644 CPUtime=818.95
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 1232250 661 0 0 81548 347 0 0 25 0 1 0 59471681 210579456 50184 996147200 134512640 135215973 4294956304 18446744073709551615 134597637 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 51411 50184 413 171 0 50336 0
Current children cumulated CPU time (s) 818.95
Current children cumulated vsize (KiB) 205644

[startup+882.306 s]
/proc/loadavg: 2.14 2.00 1.98 3/82 13722
/proc/meminfo: memFree=1330056/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=217120 CPUtime=878.65
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 1314428 661 0 0 87494 371 0 0 25 0 1 0 59471681 222330880 53076 996147200 134512640 135215973 4294956304 18446744073709551615 134583377 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 54280 53076 413 171 0 53205 0
Current children cumulated CPU time (s) 878.65
Current children cumulated vsize (KiB) 217120

[startup+942.302 s]
/proc/loadavg: 2.05 2.00 1.98 3/82 13722
/proc/meminfo: memFree=1313352/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=233340 CPUtime=938.62
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 1432068 661 0 0 93454 408 0 0 25 0 1 0 59471681 238940160 57152 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 58335 57152 413 171 0 57260 0
Current children cumulated CPU time (s) 938.62
Current children cumulated vsize (KiB) 233340

[startup+1002.3 s]
/proc/loadavg: 2.02 2.00 1.98 3/82 13722
/proc/meminfo: memFree=1289928/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=256420 CPUtime=998.6
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 1620792 661 0 0 99399 461 0 0 25 0 1 0 59471681 262574080 62944 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 64105 62944 413 171 0 63030 0
Current children cumulated CPU time (s) 998.6
Current children cumulated vsize (KiB) 256420

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/82 13722
/proc/meminfo: memFree=1261000/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=285324 CPUtime=1058.57
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 1803850 661 0 0 105348 509 0 0 25 0 1 0 59471681 292171776 70204 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 71331 70204 413 171 0 70256 0
Current children cumulated CPU time (s) 1058.57
Current children cumulated vsize (KiB) 285324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/82 13722
/proc/meminfo: memFree=1233928/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=311980 CPUtime=1118.56
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 1981098 661 0 0 111292 564 0 0 25 0 1 0 59471681 319467520 76874 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 77995 76874 413 171 0 76920 0
Current children cumulated CPU time (s) 1118.56
Current children cumulated vsize (KiB) 311980

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/82 13722
/proc/meminfo: memFree=1217992/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=327948 CPUtime=1178.53
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2083598 661 0 0 117258 595 0 0 25 0 1 0 59471681 335818752 80890 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 81987 80890 413 171 0 80912 0
Current children cumulated CPU time (s) 1178.53
Current children cumulated vsize (KiB) 327948

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/82 13722
/proc/meminfo: memFree=1206280/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=339560 CPUtime=1238.51
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2152156 661 0 0 123234 617 0 0 25 0 1 0 59471681 347709440 83792 996147200 134512640 135215973 4294956304 18446744073709551615 134591607 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 84890 83792 413 171 0 83815 0
Current children cumulated CPU time (s) 1238.51
Current children cumulated vsize (KiB) 339560

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1196616/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=349180 CPUtime=1298.48
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2224082 661 0 0 129213 635 0 0 25 0 1 0 59471681 357560320 86234 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 87295 86234 413 171 0 86220 0
Current children cumulated CPU time (s) 1298.48
Current children cumulated vsize (KiB) 349180

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 4/82 13722
/proc/meminfo: memFree=1184840/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=360792 CPUtime=1358.46
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2299182 661 0 0 135188 658 0 0 25 0 1 0 59471681 369451008 89124 996147200 134512640 135215973 4294956304 18446744073709551615 134585963 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 90198 89124 413 171 0 89123 0
Current children cumulated CPU time (s) 1358.46
Current children cumulated vsize (KiB) 360792

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1173384/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=372000 CPUtime=1418.44
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2380253 661 0 0 141162 682 0 0 25 0 1 0 59471681 380928000 91953 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 93000 91953 413 171 0 91925 0
Current children cumulated CPU time (s) 1418.44
Current children cumulated vsize (KiB) 372000

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1165320/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=380044 CPUtime=1478.41
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2457445 661 0 0 147137 704 0 0 25 0 1 0 59471681 389165056 93977 996147200 134512640 135215973 4294956304 18446744073709551615 134600789 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 95011 93977 413 171 0 93936 0
Current children cumulated CPU time (s) 1478.41
Current children cumulated vsize (KiB) 380044

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1156680/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=388484 CPUtime=1538.39
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2538669 661 0 0 153111 728 0 0 25 0 1 0 59471681 397807616 96089 996147200 134512640 135215973 4294956304 18446744073709551615 135094885 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 97121 96089 413 171 0 96046 0
Current children cumulated CPU time (s) 1538.39
Current children cumulated vsize (KiB) 388484

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1148744/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=396520 CPUtime=1598.36
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2612061 661 0 0 159088 748 0 0 25 0 1 0 59471681 406036480 98076 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 99130 98076 413 171 0 98055 0
Current children cumulated CPU time (s) 1598.36
Current children cumulated vsize (KiB) 396520

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1139976/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=405100 CPUtime=1658.34
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2676510 661 0 0 165067 767 0 0 25 0 1 0 59471681 414822400 100233 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 101275 100233 413 171 0 100200 0
Current children cumulated CPU time (s) 1658.34
Current children cumulated vsize (KiB) 405100

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1131848/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=413152 CPUtime=1718.31
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2735102 661 0 0 171049 782 0 0 25 0 1 0 59471681 423067648 102275 996147200 134512640 135215973 4294956304 18446744073709551615 134585778 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 103288 102275 413 171 0 102213 0
Current children cumulated CPU time (s) 1718.31
Current children cumulated vsize (KiB) 413152

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1119752/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=425032 CPUtime=1778.29
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2802945 661 0 0 177024 805 0 0 25 0 1 0 59471681 435232768 105274 996147200 134512640 135215973 4294956304 18446744073709551615 134590086 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 106258 105274 413 171 0 105183 0
Current children cumulated CPU time (s) 1778.29
Current children cumulated vsize (KiB) 425032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.11 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 13722
/proc/meminfo: memFree=1114696/2055920 swapFree=4192812/4192956
[pid=13675] ppid=13673 vsize=430048 CPUtime=1800.08
/proc/13675/stat : 13675 (pcs.big) R 13673 13675 13638 0 -1 4194304 2820665 661 0 0 179198 810 0 0 25 0 1 0 59471681 440369152 106522 996147200 134512640 135215973 4294956304 18446744073709551615 135096315 0 0 4096 0 0 0 0 17 0 0 0
/proc/13675/statm: 107512 106522 413 171 0 106437 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 430048

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): 1804.18
CPU time (s): 1800.18
CPU user time (s): 1791.99
CPU system time (s): 8.18575
CPU usage (%): 99.7782
Max. virtual memory (cumulated for all children) (KiB): 430148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 8.18576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2821326
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= 20
involuntary context switches= 15951

runsolver used 1.80373 second user time and 4.76828 second system time

The end

Launcher Data 

Begin job on node53 at 2009-07-16 08:01:17
IDJOB=2083968
IDBENCH=57993
IDSOLVER=733
FILE ID=node53/2083968-1247724077
PBS_JOBID= 9521513
Free space on /tmp= 66048 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp27/normalized-fapp27-2550-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083968-1247724077/watcher-2083968-1247724077 -o /tmp/evaluation-result-2083968-1247724077/solver-2083968-1247724077 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2039579437 HOME/instance-2083968-1247724077.xml

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

MD5SUM BENCH= ef7d7c637f2d266a95f48fc11eb03b09
RANDOM SEED=2039579437

node53.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.232
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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1495296 kB
Buffers:         66860 kB
Cached:         302720 kB
SwapCached:          0 kB
Active:         194968 kB
Inactive:       297164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1495296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3500 kB
Writeback:           0 kB
Mapped:         132024 kB
Slab:            53796 kB
Committed_AS:   616004 kB
PageTables:       1932 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= 66044 MiB
End job on node53 at 2009-07-16 08:31:23