Trace number 2066743

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

General information on the benchmark

Namecsp/pseudo/ii/
normalized-ii-32d3.xml
MD5SUMf353575d792814fcacfff24a3e355536
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.4017
Satisfiable
(Un)Satisfiability was proved
Number of variables1648
Number of constraints20302
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension20302
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has operations which may create big domains
0.00/0.03	c big-domain mode
0.00/0.05	c Seed is 341724797
0.00/0.05	c Constructing HOME/instance-2066743-1247705138.xml  with 73496 constraints
1.46/1.53	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-2066743-1247705138/watcher-2066743-1247705138 -o /tmp/evaluation-result-2066743-1247705138/solver-2066743-1247705138 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 341724797 HOME/instance-2066743-1247705138.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.16 2.05 1.94 4/72 14905
/proc/meminfo: memFree=917288/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=5356 CPUtime=0
/proc/14905/stat : 14905 (pcssolve) R 14903 14905 13877 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 57581094 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 245482711711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14905/statm: 1339 241 200 169 0 50 0
[pid=14906] ppid=14905 vsize=5356 CPUtime=0
/proc/14906/stat : 14906 (pcssolve) R 14905 14905 13877 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 57581095 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 245482711711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14906/statm: 1339 241 200 169 0 50 0

[startup+0.0542019 s]
/proc/loadavg: 2.16 2.05 1.94 4/72 14905
/proc/meminfo: memFree=917288/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=4932 CPUtime=0.02
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 901 826 0 0 1 0 1 0 18 0 1 0 57581094 5050368 510 996147200 134512640 135215973 4294956304 18446744073709551615 134906919 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 1233 510 364 171 0 158 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4932

[startup+0.101167 s]
/proc/loadavg: 2.16 2.05 1.94 4/72 14905
/proc/meminfo: memFree=917288/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=5368 CPUtime=0.06
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 1029 826 0 0 5 0 1 0 18 0 1 0 57581094 5496832 638 996147200 134512640 135215973 4294956304 18446744073709551615 3293045 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 1342 638 385 171 0 267 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5368

[startup+0.301193 s]
/proc/loadavg: 2.16 2.05 1.94 4/72 14905
/proc/meminfo: memFree=917288/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=7652 CPUtime=0.27
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 1721 826 0 0 25 1 1 0 19 0 1 0 57581094 7835648 1093 996147200 134512640 135215973 4294956304 18446744073709551615 134837536 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 1913 1093 385 171 0 838 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7652

[startup+0.701231 s]
/proc/loadavg: 2.16 2.05 1.94 4/72 14905
/proc/meminfo: memFree=917288/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=11264 CPUtime=0.66
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 2900 826 0 0 64 1 1 0 23 0 1 0 57581094 11534336 1933 996147200 134512640 135215973 4294956304 18446744073709551615 134739661 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 2816 1933 385 171 0 1741 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 11264

[startup+1.50132 s]
/proc/loadavg: 2.16 2.05 1.94 3/73 14911
/proc/meminfo: memFree=908384/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=27988 CPUtime=1.46
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 8356 826 0 0 141 4 1 0 25 0 1 0 57581094 28659712 5101 996147200 134512640 135215973 4294956304 18446744073709551615 3290422 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 6997 5101 385 171 0 5922 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 27988

[startup+3.10148 s]
/proc/loadavg: 2.16 2.05 1.94 3/73 14911
/proc/meminfo: memFree=880800/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=54548 CPUtime=3.04
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 19013 826 0 0 294 9 1 0 25 0 1 0 57581094 55857152 11761 996147200 134512640 135215973 4294956304 18446744073709551615 134600165 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 13637 11761 409 171 0 12562 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 54548

[startup+6.30278 s]
/proc/loadavg: 2.15 2.05 1.94 3/73 14911
/proc/meminfo: memFree=860320/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=75384 CPUtime=6.21
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 25493 826 0 0 607 13 1 0 25 0 1 0 57581094 77193216 14210 996147200 134512640 135215973 4294956304 18446744073709551615 134593969 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 18846 14210 409 171 0 17771 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 75384

[startup+12.7014 s]
/proc/loadavg: 2.13 2.05 1.94 3/73 14911
/proc/meminfo: memFree=851040/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=75648 CPUtime=12.54
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 29270 826 0 0 1239 14 1 0 25 0 1 0 57581094 77463552 16367 996147200 134512640 135215973 4294956304 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 18912 16367 409 171 0 17837 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 75648

[startup+25.5017 s]
/proc/loadavg: 2.17 2.07 1.95 3/73 14911
/proc/meminfo: memFree=845728/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=76016 CPUtime=25.23
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 32862 826 0 0 2506 16 1 0 25 0 1 0 57581094 77840384 16935 996147200 134512640 135215973 4294956304 18446744073709551615 134599877 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 19004 16935 409 171 0 17929 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 76016

[startup+51.1014 s]
/proc/loadavg: 2.11 2.06 1.95 3/73 14911
/proc/meminfo: memFree=837728/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=77052 CPUtime=50.59
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 39432 826 0 0 5039 19 1 0 25 0 1 0 57581094 78901248 17565 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 19263 17565 409 171 0 18188 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 77052

[startup+102.307 s]
/proc/loadavg: 2.18 2.08 1.96 3/73 14911
/proc/meminfo: memFree=824672/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=79968 CPUtime=101.31
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 56475 826 0 0 10103 27 1 0 25 0 1 0 57581094 81887232 18267 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 19992 18267 409 171 0 18917 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 79968

[startup+162.302 s]
/proc/loadavg: 2.19 2.09 1.97 3/73 14911
/proc/meminfo: memFree=808608/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=84504 CPUtime=160.74
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 72850 826 0 0 16040 33 1 0 25 0 1 0 57581094 86532096 19414 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 21126 19414 409 171 0 20051 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 84504

[startup+222.302 s]
/proc/loadavg: 2.37 2.16 2.00 4/83 14951
/proc/meminfo: memFree=413776/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=91992 CPUtime=220.39
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 90429 826 0 0 21992 46 1 0 25 0 1 0 57581094 94199808 21322 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 22998 21322 409 171 0 21923 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 91992

[startup+282.302 s]
/proc/loadavg: 2.31 2.18 2.01 5/83 14951
/proc/meminfo: memFree=407184/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=98440 CPUtime=280.14
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 116101 826 0 0 27956 57 1 0 25 0 1 0 57581094 100802560 22889 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 24610 22889 409 171 0 23535 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 98440

[startup+342.302 s]
/proc/loadavg: 2.22 2.17 2.02 5/83 14953
/proc/meminfo: memFree=400976/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=104376 CPUtime=339.88
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 138486 826 0 0 33918 69 1 0 25 0 1 0 57581094 106881024 24430 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 26094 24430 409 171 0 25019 0
Current children cumulated CPU time (s) 339.88
Current children cumulated vsize (KiB) 104376

[startup+402.301 s]
/proc/loadavg: 2.08 2.14 2.01 4/83 14954
/proc/meminfo: memFree=450312/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=111912 CPUtime=399.62
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 156764 826 0 0 39883 78 1 0 25 0 1 0 57581094 114597888 26089 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 27978 26089 409 171 0 26903 0
Current children cumulated CPU time (s) 399.62
Current children cumulated vsize (KiB) 111912

[startup+462.301 s]
/proc/loadavg: 2.03 2.11 2.01 4/83 14954
/proc/meminfo: memFree=443784/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=117764 CPUtime=459.37
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 171582 826 0 0 45850 86 1 0 25 0 1 0 57581094 120590336 27623 996147200 134512640 135215973 4294956304 18446744073709551615 134902562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 29441 27623 409 171 0 28366 0
Current children cumulated CPU time (s) 459.37
Current children cumulated vsize (KiB) 117764

[startup+522.301 s]
/proc/loadavg: 2.01 2.09 2.00 4/83 14954
/proc/meminfo: memFree=438984/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=122472 CPUtime=519.12
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 185809 826 0 0 51818 93 1 0 25 0 1 0 57581094 125411328 28836 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 30618 28836 409 171 0 29543 0
Current children cumulated CPU time (s) 519.12
Current children cumulated vsize (KiB) 122472

[startup+582.301 s]
/proc/loadavg: 2.07 2.09 2.00 5/82 14954
/proc/meminfo: memFree=433928/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=127500 CPUtime=578.86
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 203014 826 0 0 57780 105 1 0 25 0 1 0 57581094 130560000 30111 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 31875 30111 409 171 0 30800 0
Current children cumulated CPU time (s) 578.86
Current children cumulated vsize (KiB) 127500

[startup+642.302 s]
/proc/loadavg: 2.66 2.25 2.06 4/82 14954
/proc/meminfo: memFree=380808/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=131364 CPUtime=638.6
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 218990 826 0 0 63747 112 1 0 25 0 1 0 57581094 134516736 31129 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 32841 31129 409 171 0 31766 0
Current children cumulated CPU time (s) 638.6

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

[startup+822.301 s]
/proc/loadavg: 2.36 2.38 2.14 4/82 14954
/proc/meminfo: memFree=354256/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=158608 CPUtime=817.83
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 282549 826 0 0 81637 145 1 0 25 0 1 0 57581094 162414592 37529 996147200 134512640 135215973 4294956304 18446744073709551615 134902551 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 39652 37529 409 171 0 38577 0
Current children cumulated CPU time (s) 817.83
Current children cumulated vsize (KiB) 158608

[startup+882.301 s]
/proc/loadavg: 2.13 2.30 2.13 5/82 14954
/proc/meminfo: memFree=346384/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=165360 CPUtime=877.56
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 304126 826 0 0 87599 156 1 0 25 0 1 0 57581094 169328640 39288 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 41340 39288 409 171 0 40265 0
Current children cumulated CPU time (s) 877.56
Current children cumulated vsize (KiB) 165360

[startup+942.302 s]
/proc/loadavg: 2.08 2.26 2.13 3/83 15002
/proc/meminfo: memFree=1064016/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=174268 CPUtime=937.24
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 328953 826 0 0 93554 169 1 0 25 0 1 0 57581094 178450432 41543 996147200 134512640 135215973 4294956304 18446744073709551615 135095011 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 43567 41543 409 171 0 42492 0
Current children cumulated CPU time (s) 937.24
Current children cumulated vsize (KiB) 174268

[startup+1002.3 s]
/proc/loadavg: 2.03 2.21 2.12 3/83 15002
/proc/meminfo: memFree=1056976/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=180988 CPUtime=996.99
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 349765 826 0 0 99521 177 1 0 25 0 1 0 57581094 185331712 43239 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 45247 43239 409 171 0 44172 0
Current children cumulated CPU time (s) 996.99
Current children cumulated vsize (KiB) 180988

[startup+1062.3 s]
/proc/loadavg: 2.01 2.17 2.10 3/83 15002
/proc/meminfo: memFree=1046736/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=191244 CPUtime=1056.75
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 373055 826 0 0 105486 188 1 0 25 0 1 0 57581094 195833856 45793 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 47811 45793 409 171 0 46736 0
Current children cumulated CPU time (s) 1056.75
Current children cumulated vsize (KiB) 191244

[startup+1122.3 s]
/proc/loadavg: 2.00 2.14 2.09 3/83 15002
/proc/meminfo: memFree=1028560/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=208024 CPUtime=1116.51
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 401182 826 0 0 111450 200 1 0 25 0 1 0 57581094 213016576 50322 996147200 134512640 135215973 4294956304 18446744073709551615 135096568 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 52006 50322 409 171 0 50931 0
Current children cumulated CPU time (s) 1116.51
Current children cumulated vsize (KiB) 208024

[startup+1182.3 s]
/proc/loadavg: 2.00 2.11 2.09 3/83 15002
/proc/meminfo: memFree=1022480/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=213680 CPUtime=1176.26
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 427818 826 0 0 117414 211 1 0 25 0 1 0 57581094 218808320 51848 996147200 134512640 135215973 4294956304 18446744073709551615 134533369 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 53420 51848 409 171 0 52345 0
Current children cumulated CPU time (s) 1176.26
Current children cumulated vsize (KiB) 213680

[startup+1242.3 s]
/proc/loadavg: 2.00 2.09 2.08 3/83 15002
/proc/meminfo: memFree=1012752/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=223048 CPUtime=1236.02
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 455762 826 0 0 123379 222 1 0 25 0 1 0 57581094 228401152 54270 996147200 134512640 135215973 4294956304 18446744073709551615 134588340 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 55762 54270 409 171 0 54687 0
Current children cumulated CPU time (s) 1236.02
Current children cumulated vsize (KiB) 223048

[startup+1302.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/83 15002
/proc/meminfo: memFree=1001232/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=234164 CPUtime=1295.78
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 485678 826 0 0 129342 235 1 0 25 0 1 0 57581094 239783936 57132 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 58541 57132 409 171 0 57466 0
Current children cumulated CPU time (s) 1295.78
Current children cumulated vsize (KiB) 234164

[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/83 15002
/proc/meminfo: memFree=991120/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=243800 CPUtime=1355.54
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 514853 826 0 0 135306 247 1 0 25 0 1 0 57581094 249651200 59631 996147200 134512640 135215973 4294956304 18446744073709551615 134594092 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 60950 59631 409 171 0 59875 0
Current children cumulated CPU time (s) 1355.54
Current children cumulated vsize (KiB) 243800

[startup+1422.31 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 15002
/proc/meminfo: memFree=979408/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=259108 CPUtime=1415.29
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 545458 826 0 0 141267 261 1 0 25 0 1 0 57581094 265326592 62535 996147200 134512640 135215973 4294956304 18446744073709551615 135098488 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 64777 62535 409 171 0 63702 0
Current children cumulated CPU time (s) 1415.29
Current children cumulated vsize (KiB) 259108

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 15002
/proc/meminfo: memFree=969104/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=269020 CPUtime=1475.06
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 575192 826 0 0 147230 275 1 0 25 0 1 0 57581094 275476480 65107 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 67255 65107 409 171 0 66180 0
Current children cumulated CPU time (s) 1475.06
Current children cumulated vsize (KiB) 269020

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15002
/proc/meminfo: memFree=955152/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=282516 CPUtime=1534.82
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 603744 826 0 0 153194 287 1 0 25 0 1 0 57581094 289296384 68549 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 70629 68549 409 171 0 69554 0
Current children cumulated CPU time (s) 1534.82
Current children cumulated vsize (KiB) 282516

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 15002
/proc/meminfo: memFree=946384/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=291068 CPUtime=1594.58
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 627045 826 0 0 159161 296 1 0 25 0 1 0 57581094 298053632 70736 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 72767 70736 409 171 0 71692 0
Current children cumulated CPU time (s) 1594.58
Current children cumulated vsize (KiB) 291068

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 15002
/proc/meminfo: memFree=938960/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=298208 CPUtime=1654.32
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 647121 826 0 0 165128 303 1 0 25 0 1 0 57581094 305364992 72560 996147200 134512640 135215973 4294956304 18446744073709551615 134590435 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 74552 72560 409 171 0 73477 0
Current children cumulated CPU time (s) 1654.32
Current children cumulated vsize (KiB) 298208

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/83 15002
/proc/meminfo: memFree=929680/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=307600 CPUtime=1714.09
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 668675 826 0 0 171096 312 1 0 25 0 1 0 57581094 314982400 74944 996147200 134512640 135215973 4294956304 18446744073709551615 134533291 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 76900 74944 409 171 0 75825 0
Current children cumulated CPU time (s) 1714.09
Current children cumulated vsize (KiB) 307600

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 15002
/proc/meminfo: memFree=917392/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=319480 CPUtime=1773.85
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 694548 826 0 0 177064 320 1 0 25 0 1 0 57581094 327147520 77975 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 79870 77975 409 171 0 78795 0
Current children cumulated CPU time (s) 1773.85
Current children cumulated vsize (KiB) 319480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.6 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 15002
/proc/meminfo: memFree=912528/2055920 swapFree=4192812/4192956
[pid=14905] ppid=14903 vsize=324128 CPUtime=1800.04
/proc/14905/stat : 14905 (pcs.big) R 14903 14905 13877 0 -1 4194304 706965 826 0 0 179678 325 1 0 25 0 1 0 57581094 331907072 79160 996147200 134512640 135215973 4294956304 18446744073709551615 134609815 0 0 4096 0 0 0 0 17 0 0 0
/proc/14905/statm: 81032 79160 409 171 0 79957 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 324128

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): 1808.66
CPU time (s): 1800.12
CPU user time (s): 1796.8
CPU system time (s): 3.3185
CPU usage (%): 99.528
Max. virtual memory (cumulated for all children) (KiB): 324128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.8
system time used= 3.31849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 707791
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= 23
involuntary context switches= 26528

runsolver used 1.88971 second user time and 5.04323 second system time

The end

Launcher Data 

Begin job on node17 at 2009-07-16 02:45:39
IDJOB=2066743
IDBENCH=54567
IDSOLVER=734
FILE ID=node17/2066743-1247705138
PBS_JOBID= 9521275
Free space on /tmp= 66356 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/pseudo/ii/normalized-ii-32d3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2066743-1247705138/watcher-2066743-1247705138 -o /tmp/evaluation-result-2066743-1247705138/solver-2066743-1247705138 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 341724797 HOME/instance-2066743-1247705138.xml

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

MD5SUM BENCH= f353575d792814fcacfff24a3e355536
RANDOM SEED=341724797

node17.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.213
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.213
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:        917768 kB
Buffers:         88204 kB
Cached:         618792 kB
SwapCached:          0 kB
Active:         388148 kB
Inactive:       670968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        917768 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4560 kB
Writeback:           0 kB
Mapped:         363612 kB
Slab:            63724 kB
Committed_AS:   865140 kB
PageTables:       2532 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= 66356 MiB
End job on node17 at 2009-07-16 03:15:49