Trace number 2081757

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

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-28.xml
MD5SUM5e35e44ffc93b7d1cb552d0f7ecb97a7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark20.8368
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Maximum constraint arity2
Maximum domain size1551
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12940
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
1.06/1.17	c Seed is 1986243792
1.06/1.17	c Constructing HOME/instance-2081757-1247720381.xml  with 82480 constraints
1.26/1.39	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-2081757-1247720381/watcher-2081757-1247720381 -o /tmp/evaluation-result-2081757-1247720381/solver-2081757-1247720381 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1986243792 HOME/instance-2081757-1247720381.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.35 2.12 2.03 4/82 14038
/proc/meminfo: memFree=898248/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=5356 CPUtime=0
/proc/14038/stat : 14038 (pcssolve) R 14036 14038 13117 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 59104272 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221780699807 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14038/statm: 1339 241 200 169 0 50 0
[pid=14039] ppid=14038 vsize=3544 CPUtime=0
/proc/14039/stat : 14039 (fgrep) R 14038 14038 13117 0 -1 4194304 108 0 0 0 0 0 0 0 24 0 1 0 59104273 3629056 75 996147200 4194304 4274172 548682068976 18446744073709551615 221781130650 0 0 4096 0 0 0 0 17 1 0 0
/proc/14039/statm: 886 75 58 19 0 10 0

[startup+0.21817 s]
/proc/loadavg: 2.35 2.12 2.03 4/82 14038
/proc/meminfo: memFree=898248/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=8612 CPUtime=0.18
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1995 659 0 0 18 0 0 0 19 0 1 0 59104272 8818688 1343 996147200 134512640 135215973 4294956304 18446744073709551615 134632035 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 2153 1343 388 171 0 1078 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8612

[startup+0.302175 s]
/proc/loadavg: 2.35 2.12 2.03 4/82 14038
/proc/meminfo: memFree=898248/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=10976 CPUtime=0.27
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 2699 659 0 0 26 1 0 0 19 0 1 0 59104272 11239424 1792 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 2744 1792 388 171 0 1669 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10976

[startup+0.402181 s]
/proc/loadavg: 2.35 2.12 2.03 4/82 14038
/proc/meminfo: memFree=898248/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=12652 CPUtime=0.37
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 3283 659 0 0 36 1 0 0 20 0 1 0 59104272 12955648 2182 996147200 134512640 135215973 4294956304 18446744073709551615 134697794 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 3163 2182 388 171 0 2088 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 12652

[startup+0.701203 s]
/proc/loadavg: 2.35 2.12 2.03 4/82 14038
/proc/meminfo: memFree=898248/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=20072 CPUtime=0.67
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 5680 659 0 0 64 3 0 0 23 0 1 0 59104272 20553728 3586 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 5018 3586 388 171 0 3943 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20072

[startup+1.50225 s]
/proc/loadavg: 2.35 2.12 2.03 3/83 14043
/proc/meminfo: memFree=876416/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=44316 CPUtime=1.46
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 14047 659 0 0 138 8 0 0 25 0 1 0 59104272 45379584 9153 996147200 134512640 135215973 4294956304 18446744073709551615 134648129 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 11079 9153 404 171 0 10004 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44316

[startup+3.10136 s]
/proc/loadavg: 2.35 2.12 2.03 4/83 14043
/proc/meminfo: memFree=850240/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=67820 CPUtime=3.04
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 23045 659 0 0 291 13 0 0 25 0 1 0 59104272 69447680 14869 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 16955 14869 404 171 0 15880 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 67820

[startup+6.30156 s]
/proc/loadavg: 2.32 2.11 2.03 4/83 14043
/proc/meminfo: memFree=830400/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=88260 CPUtime=6.22
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 33167 659 0 0 604 18 0 0 25 0 1 0 59104272 90378240 17177 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 22065 17177 408 171 0 20990 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 88260

[startup+12.702 s]
/proc/loadavg: 2.38 2.13 2.04 4/83 14043
/proc/meminfo: memFree=827456/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=88532 CPUtime=12.55
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 38478 659 0 0 1234 21 0 0 25 0 1 0 59104272 90656768 17934 996147200 134512640 135215973 4294956304 18446744073709551615 134609894 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 22133 17934 408 171 0 21058 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 88532

[startup+25.5068 s]
/proc/loadavg: 2.36 2.14 2.04 3/83 14043
/proc/meminfo: memFree=822912/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=88692 CPUtime=25.23
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 56100 659 0 0 2495 28 0 0 25 0 1 0 59104272 90820608 19065 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 22173 19065 408 171 0 21098 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 88692

[startup+51.1014 s]
/proc/loadavg: 2.45 2.17 2.05 4/83 14043
/proc/meminfo: memFree=822464/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=89076 CPUtime=50.59
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 78700 659 0 0 5020 39 0 0 25 0 1 0 59104272 91213824 19171 996147200 134512640 135215973 4294956304 18446744073709551615 134591110 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 22269 19171 408 171 0 21194 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 89076

[startup+102.302 s]
/proc/loadavg: 2.59 2.25 2.09 4/83 14049
/proc/meminfo: memFree=821312/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=90244 CPUtime=101.3
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 115170 659 0 0 10072 58 0 0 25 0 1 0 59104272 92409856 19456 996147200 134512640 135215973 4294956304 18446744073709551615 134599837 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 22561 19456 408 171 0 21486 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 90244

[startup+162.301 s]
/proc/loadavg: 2.64 2.33 2.12 4/83 14049
/proc/meminfo: memFree=819904/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=91408 CPUtime=160.74
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 181476 659 0 0 15985 89 0 0 25 0 1 0 59104272 93601792 19798 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 22852 19798 408 171 0 21777 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 91408

[startup+222.301 s]
/proc/loadavg: 2.66 2.39 2.15 3/83 14049
/proc/meminfo: memFree=818240/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=93224 CPUtime=220.19
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 210914 659 0 0 21915 104 0 0 25 0 1 0 59104272 95461376 20196 996147200 134512640 135215973 4294956304 18446744073709551615 134532900 0 0 4096 0 0 0 0 17 1 0 0
/proc/14038/statm: 23306 20196 408 171 0 22231 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 93224

[startup+282.302 s]
/proc/loadavg: 2.24 2.31 2.14 3/73 14081
/proc/meminfo: memFree=1479640/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=96992 CPUtime=280.11
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 251893 659 0 0 27892 119 0 0 25 0 1 0 59104272 99319808 21983 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 24248 21983 408 171 0 23173 0
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (KiB) 96992

[startup+342.307 s]
/proc/loadavg: 2.05 2.24 2.12 3/73 14143
/proc/meminfo: memFree=1474904/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=103148 CPUtime=340.08
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 304661 659 0 0 33869 139 0 0 25 0 1 0 59104272 105623552 23365 996147200 134512640 135215973 4294956304 18446744073709551615 134648429 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 25787 23365 408 171 0 24712 0
Current children cumulated CPU time (s) 340.08
Current children cumulated vsize (KiB) 103148

[startup+402.301 s]
/proc/loadavg: 2.02 2.19 2.11 3/73 14143
/proc/meminfo: memFree=1398232/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=104336 CPUtime=400.06
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 345363 659 0 0 39851 155 0 0 25 0 1 0 59104272 106840064 23702 996147200 134512640 135215973 4294956304 18446744073709551615 134583597 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 26084 23702 408 171 0 25009 0
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (KiB) 104336

[startup+462.301 s]
/proc/loadavg: 2.00 2.16 2.10 3/82 14184
/proc/meminfo: memFree=1536968/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=106308 CPUtime=460.03
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 397344 659 0 0 45826 177 0 0 25 0 1 0 59104272 108859392 24416 996147200 134512640 135215973 4294956304 18446744073709551615 134590644 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 26577 24416 408 171 0 25502 0
Current children cumulated CPU time (s) 460.03
Current children cumulated vsize (KiB) 106308

[startup+522.302 s]
/proc/loadavg: 2.00 2.12 2.09 3/82 14184
/proc/meminfo: memFree=1535048/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=110040 CPUtime=520.01
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 441137 659 0 0 51809 192 0 0 25 0 1 0 59104272 112680960 24916 996147200 134512640 135215973 4294956304 18446744073709551615 134533180 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 27510 24916 408 171 0 26435 0
Current children cumulated CPU time (s) 520.01
Current children cumulated vsize (KiB) 110040

[startup+582.302 s]
/proc/loadavg: 2.00 2.10 2.08 3/82 14184
/proc/meminfo: memFree=1514376/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=154740 CPUtime=579.99
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 585120 659 0 0 57751 248 0 0 25 0 1 0 59104272 158453760 30038 996147200 134512640 135215973 4294956304 18446744073709551615 134582279 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 38685 30038 408 171 0 37610 0
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (KiB) 154740

[startup+642.301 s]
/proc/loadavg: 2.00 2.08 2.08 3/82 14184
/proc/meminfo: memFree=1512520/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=156044 CPUtime=639.97
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 655988 659 0 0 63723 274 0 0 25 0 1 0 59104272 159789056 30457 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 39011 30457 408 171 0 37936 0
Current children cumulated CPU time (s) 639.97

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

[startup+822.302 s]
/proc/loadavg: 2.03 2.06 2.07 3/82 14184
/proc/meminfo: memFree=1507400/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=160580 CPUtime=819.9
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 798724 659 0 0 81664 326 0 0 25 0 1 0 59104272 164433920 31812 996147200 134512640 135215973 4294956304 18446744073709551615 4158960272 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 40145 31812 408 171 0 39070 0
Current children cumulated CPU time (s) 819.9
Current children cumulated vsize (KiB) 160580

[startup+882.302 s]
/proc/loadavg: 2.01 2.05 2.06 3/82 14184
/proc/meminfo: memFree=1505928/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=161480 CPUtime=879.89
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 831942 659 0 0 87651 338 0 0 25 0 1 0 59104272 165355520 32117 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 40370 32117 408 171 0 39295 0
Current children cumulated CPU time (s) 879.89
Current children cumulated vsize (KiB) 161480

[startup+942.301 s]
/proc/loadavg: 2.00 2.04 2.06 3/82 14184
/proc/meminfo: memFree=1504584/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=166612 CPUtime=939.86
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 858071 659 0 0 93639 347 0 0 25 0 1 0 59104272 170610688 32450 996147200 134512640 135215973 4294956304 18446744073709551615 135094328 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 41653 32450 408 171 0 40578 0
Current children cumulated CPU time (s) 939.86
Current children cumulated vsize (KiB) 166612

[startup+1002.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 14184
/proc/meminfo: memFree=1503368/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=167520 CPUtime=999.85
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 882800 659 0 0 99628 357 0 0 25 0 1 0 59104272 171540480 32753 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 41880 32753 408 171 0 40805 0
Current children cumulated CPU time (s) 999.85
Current children cumulated vsize (KiB) 167520

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 14184
/proc/meminfo: memFree=1502280/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=168312 CPUtime=1059.82
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 908810 659 0 0 105616 366 0 0 25 0 1 0 59104272 172351488 33026 996147200 134512640 135215973 4294956304 18446744073709551615 134591081 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 42078 33026 408 171 0 41003 0
Current children cumulated CPU time (s) 1059.82
Current children cumulated vsize (KiB) 168312

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 14184
/proc/meminfo: memFree=1500680/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=169648 CPUtime=1119.81
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 933572 659 0 0 111605 376 0 0 25 0 1 0 59104272 173719552 33431 996147200 134512640 135215973 4294956304 18446744073709551615 134648257 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 42412 33431 408 171 0 41337 0
Current children cumulated CPU time (s) 1119.81
Current children cumulated vsize (KiB) 169648

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 14184
/proc/meminfo: memFree=1498824/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=171076 CPUtime=1179.78
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 976039 659 0 0 117587 391 0 0 25 0 1 0 59104272 175181824 33877 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 42769 33877 408 171 0 41694 0
Current children cumulated CPU time (s) 1179.78
Current children cumulated vsize (KiB) 171076

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 14184
/proc/meminfo: memFree=1497352/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=172248 CPUtime=1239.76
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1025871 659 0 0 123566 410 0 0 25 0 1 0 59104272 176381952 34236 996147200 134512640 135215973 4294956304 18446744073709551615 134648295 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 43062 34236 408 171 0 41987 0
Current children cumulated CPU time (s) 1239.76
Current children cumulated vsize (KiB) 172248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 14184
/proc/meminfo: memFree=1496072/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=173268 CPUtime=1299.74
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1066200 659 0 0 129550 424 0 0 25 0 1 0 59104272 177426432 34545 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 43317 34545 408 171 0 42242 0
Current children cumulated CPU time (s) 1299.74
Current children cumulated vsize (KiB) 173268

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 14184
/proc/meminfo: memFree=1494408/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=174608 CPUtime=1359.71
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1081760 659 0 0 135541 430 0 0 25 0 1 0 59104272 178798592 34994 996147200 134512640 135215973 4294956304 18446744073709551615 134532961 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 43652 34994 408 171 0 42577 0
Current children cumulated CPU time (s) 1359.71
Current children cumulated vsize (KiB) 174608

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 14184
/proc/meminfo: memFree=1493000/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=175788 CPUtime=1419.69
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1106874 659 0 0 141528 441 0 0 25 0 1 0 59104272 180006912 35337 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 43947 35337 408 171 0 42872 0
Current children cumulated CPU time (s) 1419.69
Current children cumulated vsize (KiB) 175788

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 14184
/proc/meminfo: memFree=1491784/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=176692 CPUtime=1479.67
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1145270 659 0 0 147511 456 0 0 25 0 1 0 59104272 180932608 35645 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 44173 35645 408 171 0 43098 0
Current children cumulated CPU time (s) 1479.67
Current children cumulated vsize (KiB) 176692

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14184
/proc/meminfo: memFree=1488008/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=180200 CPUtime=1539.66
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1178494 659 0 0 153497 469 0 0 25 0 1 0 59104272 184524800 36577 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 45050 36577 408 171 0 43975 0
Current children cumulated CPU time (s) 1539.66
Current children cumulated vsize (KiB) 180200

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14184
/proc/meminfo: memFree=1485576/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=182268 CPUtime=1599.63
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1284995 659 0 0 159453 510 0 0 25 0 1 0 59104272 186642432 37163 996147200 134512640 135215973 4294956304 18446744073709551615 4158960519 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 45567 37163 408 171 0 44492 0
Current children cumulated CPU time (s) 1599.63
Current children cumulated vsize (KiB) 182268

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14184
/proc/meminfo: memFree=1479240/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=188164 CPUtime=1659.62
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1394206 659 0 0 165408 554 0 0 25 0 1 0 59104272 192679936 38734 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 47041 38734 408 171 0 45966 0
Current children cumulated CPU time (s) 1659.62
Current children cumulated vsize (KiB) 188164

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14184
/proc/meminfo: memFree=1474120/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=193016 CPUtime=1719.59
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1460352 659 0 0 171378 581 0 0 25 0 1 0 59104272 197648384 40020 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 48254 40020 408 171 0 47179 0
Current children cumulated CPU time (s) 1719.59
Current children cumulated vsize (KiB) 193016

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14184
/proc/meminfo: memFree=1472648/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=194036 CPUtime=1779.57
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1519469 659 0 0 177354 603 0 0 25 0 1 0 59104272 198692864 40349 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 48509 40349 408 171 0 47434 0
Current children cumulated CPU time (s) 1779.57
Current children cumulated vsize (KiB) 194036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14184
/proc/meminfo: memFree=1472072/2055920 swapFree=4191900/4192956
[pid=14038] ppid=14036 vsize=194556 CPUtime=1800.06
/proc/14038/stat : 14038 (pcs.big) R 14036 14038 13117 0 -1 4194304 1538996 659 0 0 179396 610 0 0 25 0 1 0 59104272 199225344 40487 996147200 134512640 135215973 4294956304 18446744073709551615 134589849 0 0 4096 0 0 0 0 17 0 0 0
/proc/14038/statm: 48639 40487 408 171 0 47564 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 194556

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): 1802.83
CPU time (s): 1800.11
CPU user time (s): 1793.97
CPU system time (s): 6.14107
CPU usage (%): 99.8488
Max. virtual memory (cumulated for all children) (KiB): 194704

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

runsolver used 1.89771 second user time and 5.01224 second system time

The end

Launcher Data 

Begin job on node29 at 2009-07-16 06:59:41
IDJOB=2081757
IDBENCH=57489
IDSOLVER=733
FILE ID=node29/2081757-1247720381
PBS_JOBID= 9521437
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-28.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081757-1247720381/watcher-2081757-1247720381 -o /tmp/evaluation-result-2081757-1247720381/solver-2081757-1247720381 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1986243792 HOME/instance-2081757-1247720381.xml

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

MD5SUM BENCH= 5e35e44ffc93b7d1cb552d0f7ecb97a7
RANDOM SEED=1986243792

node29.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.225
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.225
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:        898728 kB
Buffers:         67276 kB
Cached:         251932 kB
SwapCached:        392 kB
Active:         844520 kB
Inactive:       244688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        898728 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3380 kB
Writeback:           0 kB
Mapped:         789696 kB
Slab:            51636 kB
Committed_AS:  1407868 kB
PageTables:       3424 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= 66320 MiB
End job on node29 at 2009-07-16 07:29:46