Trace number 2081669

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 1809.04

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-10.xml
MD5SUMa1e64c0f46651e1a499cb740245cd60c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Maximum constraint arity2
Maximum domain size1616
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
0.17/0.21	c Seed is 1437350692
0.17/0.21	c Constructing HOME/instance-2081669-1247720166.xml  with 82480 constraints
1.26/1.37	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-2081669-1247720166/watcher-2081669-1247720166 -o /tmp/evaluation-result-2081669-1247720166/solver-2081669-1247720166 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1437350692 HOME/instance-2081669-1247720166.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.79 2.44 2.17 4/72 19175
/proc/meminfo: memFree=1439528/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=5356 CPUtime=0
/proc/19175/stat : 19175 (pcssolve) R 19173 19175 17476 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59080123 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 235371293343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19175/statm: 1339 241 200 169 0 50 0
[pid=19176] ppid=19175 vsize=3676 CPUtime=0
/proc/19176/stat : 19176 (fgrep) R 19175 19175 17476 0 -1 4194304 122 0 0 0 0 0 0 0 22 0 1 0 59080123 3764224 89 996147200 4194304 4274172 548682068976 18446744073709551615 235370886720 0 0 4096 0 0 0 0 17 1 0 0
/proc/19176/statm: 919 89 71 19 0 43 0

[startup+0.0523649 s]
/proc/loadavg: 2.79 2.44 2.17 4/72 19175
/proc/meminfo: memFree=1439528/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=5144 CPUtime=0.02
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 966 658 0 0 2 0 0 0 18 0 1 0 59080123 5267456 597 996147200 134512640 135215973 4294956304 18446744073709551615 4158933664 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 1286 597 388 171 0 211 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.101373 s]
/proc/loadavg: 2.79 2.44 2.17 4/72 19175
/proc/meminfo: memFree=1439528/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=6416 CPUtime=0.07
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1283 658 0 0 7 0 0 0 18 0 1 0 59080123 6569984 840 996147200 134512640 135215973 4294956304 18446744073709551615 134761786 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 1604 840 388 171 0 529 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6416

[startup+0.301394 s]
/proc/loadavg: 2.79 2.44 2.17 4/72 19175
/proc/meminfo: memFree=1439528/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=10972 CPUtime=0.28
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 2716 658 0 0 27 1 0 0 19 0 1 0 59080123 11235328 1809 996147200 134512640 135215973 4294956304 18446744073709551615 134762865 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 2743 1809 388 171 0 1668 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10972

[startup+0.701429 s]
/proc/loadavg: 2.79 2.44 2.17 4/72 19175
/proc/meminfo: memFree=1439528/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=20200 CPUtime=0.67
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 5746 658 0 0 64 3 0 0 23 0 1 0 59080123 20684800 3652 996147200 134512640 135215973 4294956304 18446744073709551615 3053179 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 5050 3652 388 171 0 3975 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20200

[startup+1.5015 s]
/proc/loadavg: 2.79 2.44 2.17 3/73 19180
/proc/meminfo: memFree=1420192/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=44520 CPUtime=1.46
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 14118 658 0 0 139 7 0 0 25 0 1 0 59080123 45588480 9170 996147200 134512640 135215973 4294956304 18446744073709551615 134583183 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 11130 9170 404 171 0 10055 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44520

[startup+3.10265 s]
/proc/loadavg: 2.79 2.44 2.17 3/73 19180
/proc/meminfo: memFree=1393184/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=96296 CPUtime=3.05
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 24559 658 0 0 293 12 0 0 25 0 1 0 59080123 98607104 16382 996147200 134512640 135215973 4294956304 18446744073709551615 134915874 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 24074 16382 404 171 0 22999 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 96296

[startup+6.30194 s]
/proc/loadavg: 2.73 2.43 2.17 3/73 19180
/proc/meminfo: memFree=1369376/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=88392 CPUtime=6.23
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 33504 658 0 0 606 17 0 0 25 0 1 0 59080123 90513408 17651 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 22098 17651 408 171 0 21023 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 88392

[startup+12.7015 s]
/proc/loadavg: 2.67 2.42 2.16 3/73 19180
/proc/meminfo: memFree=1364704/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=88392 CPUtime=12.56
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 42068 658 0 0 1236 20 0 0 25 0 1 0 59080123 90513408 18763 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 22098 18763 408 171 0 21023 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 88392

[startup+25.5017 s]
/proc/loadavg: 2.52 2.40 2.16 3/73 19180
/proc/meminfo: memFree=1361504/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=88688 CPUtime=25.24
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 53952 658 0 0 2498 26 0 0 25 0 1 0 59080123 90816512 19469 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 22172 19469 408 171 0 21097 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 88688

[startup+51.102 s]
/proc/loadavg: 2.34 2.37 2.16 3/73 19180
/proc/meminfo: memFree=1358880/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=89080 CPUtime=50.6
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 76299 658 0 0 5025 35 0 0 25 0 1 0 59080123 91217920 19667 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 22270 19667 408 171 0 21195 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 89080

[startup+102.307 s]
/proc/loadavg: 2.15 2.31 2.15 3/73 19180
/proc/meminfo: memFree=1332768/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=132984 CPUtime=101.32
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 122308 658 0 0 10078 54 0 0 25 0 1 0 59080123 136175616 25042 996147200 134512640 135215973 4294956304 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 33246 25042 408 171 0 32171 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 132984

[startup+162.302 s]
/proc/loadavg: 2.05 2.25 2.14 3/73 19180
/proc/meminfo: memFree=1328352/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=134548 CPUtime=160.76
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 156930 658 0 0 16007 69 0 0 25 0 1 0 59080123 137777152 25380 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 33637 25380 408 171 0 32562 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 134548

[startup+222.301 s]
/proc/loadavg: 2.02 2.20 2.12 3/73 19180
/proc/meminfo: memFree=1322208/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=135312 CPUtime=220.19
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 223899 658 0 0 21919 100 0 0 25 0 1 0 59080123 138559488 25764 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 33828 25764 408 171 0 32753 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 135312

[startup+282.302 s]
/proc/loadavg: 2.00 2.16 2.11 3/73 19180
/proc/meminfo: memFree=1312992/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=136464 CPUtime=279.64
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 260881 658 0 0 27847 117 0 0 25 0 1 0 59080123 139739136 26107 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 34116 26107 408 171 0 33041 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 136464

[startup+342.301 s]
/proc/loadavg: 2.00 2.13 2.10 3/73 19186
/proc/meminfo: memFree=1305176/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=138808 CPUtime=339.05
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 302444 658 0 0 33770 135 0 0 25 0 1 0 59080123 142139392 26496 996147200 134512640 135215973 4294956304 18446744073709551615 134957665 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 34702 26496 408 171 0 33627 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 138808

[startup+402.302 s]
/proc/loadavg: 2.00 2.10 2.09 3/73 19186
/proc/meminfo: memFree=1297624/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=140120 CPUtime=398.51
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 319378 658 0 0 39709 142 0 0 25 0 1 0 59080123 143482880 26939 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 35030 26939 408 171 0 33955 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 140120

[startup+462.301 s]
/proc/loadavg: 2.00 2.08 2.08 3/73 19186
/proc/meminfo: memFree=1291672/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=141364 CPUtime=457.95
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 343718 658 0 0 45643 152 0 0 25 0 1 0 59080123 144756736 27336 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 35341 27336 408 171 0 34266 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 141364

[startup+522.301 s]
/proc/loadavg: 2.00 2.06 2.08 3/73 19186
/proc/meminfo: memFree=1286680/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=144584 CPUtime=517.39
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 395303 658 0 0 51565 174 0 0 25 0 1 0 59080123 148054016 27693 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 36146 27693 408 171 0 35071 0
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (KiB) 144584

[startup+582.302 s]
/proc/loadavg: 2.00 2.05 2.07 3/73 19186
/proc/meminfo: memFree=1280664/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=146416 CPUtime=576.83
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 438021 658 0 0 57489 194 0 0 25 0 1 0 59080123 149929984 28252 996147200 134512640 135215973 4294956304 18446744073709551615 134648556 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 36604 28252 408 171 0 35529 0
Current children cumulated CPU time (s) 576.83
Current children cumulated vsize (KiB) 146416

[startup+642.301 s]
/proc/loadavg: 2.00 2.04 2.07 3/73 19186
/proc/meminfo: memFree=1271264/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=148676 CPUtime=636.27
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 462063 658 0 0 63422 205 0 0 25 0 1 0 59080123 152244224 28903 996147200 134512640 135215973 4294956304 18446744073709551615 134616737 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 37169 28903 408 171 0 36094 0
Current children cumulated CPU time (s) 636.27

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/73 19186
/proc/meminfo: memFree=1243744/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=151912 CPUtime=814.59
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 662903 658 0 0 81167 292 0 0 25 0 1 0 59080123 155557888 29988 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 37978 29988 408 171 0 36903 0
Current children cumulated CPU time (s) 814.59
Current children cumulated vsize (KiB) 151912

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 19186
/proc/meminfo: memFree=1234272/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=157044 CPUtime=874.03
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 733190 658 0 0 87079 324 0 0 25 0 1 0 59080123 160813056 30319 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/19175/statm: 39261 30319 408 171 0 38186 0
Current children cumulated CPU time (s) 874.03
Current children cumulated vsize (KiB) 157044

[startup+942.301 s]
/proc/loadavg: 2.08 2.02 2.04 3/83 19228
/proc/meminfo: memFree=1265032/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=158192 CPUtime=933.66
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 760050 658 0 0 93027 339 0 0 25 0 1 0 59080123 161988608 30683 996147200 134512640 135215973 4294956304 18446744073709551615 134590344 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 39548 30683 408 171 0 38473 0
Current children cumulated CPU time (s) 933.66
Current children cumulated vsize (KiB) 158192

[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/83 19228
/proc/meminfo: memFree=1260232/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=162548 CPUtime=993.65
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 793090 658 0 0 99010 355 0 0 25 0 1 0 59080123 166449152 31845 996147200 134512640 135215973 4294956304 18446744073709551615 134600115 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 40637 31845 408 171 0 39562 0
Current children cumulated CPU time (s) 993.65
Current children cumulated vsize (KiB) 162548

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/82 19228
/proc/meminfo: memFree=1256072/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=165280 CPUtime=1053.62
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 841777 658 0 0 104989 373 0 0 25 0 1 0 59080123 169246720 32853 996147200 134512640 135215973 4294956304 18446744073709551615 134532692 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 41320 32853 408 171 0 40245 0
Current children cumulated CPU time (s) 1053.62
Current children cumulated vsize (KiB) 165280

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 19228
/proc/meminfo: memFree=1248520/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=166192 CPUtime=1113.6
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 892351 658 0 0 110965 395 0 0 25 0 1 0 59080123 170180608 33126 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 41548 33126 408 171 0 40473 0
Current children cumulated CPU time (s) 1113.6
Current children cumulated vsize (KiB) 166192

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 19228
/proc/meminfo: memFree=1247048/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=167480 CPUtime=1173.58
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 924674 658 0 0 116949 409 0 0 25 0 1 0 59080123 171499520 33502 996147200 134512640 135215973 4294956304 18446744073709551615 134610611 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 41870 33502 408 171 0 40795 0
Current children cumulated CPU time (s) 1173.58
Current children cumulated vsize (KiB) 167480

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 19228
/proc/meminfo: memFree=1244552/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=169432 CPUtime=1233.56
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 959073 658 0 0 122934 422 0 0 25 0 1 0 59080123 173498368 34091 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 42358 34091 408 171 0 41283 0
Current children cumulated CPU time (s) 1233.56
Current children cumulated vsize (KiB) 169432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 19228
/proc/meminfo: memFree=1241672/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=171900 CPUtime=1293.54
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 995442 658 0 0 128917 437 0 0 25 0 1 0 59080123 176025600 34787 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 42975 34787 408 171 0 41900 0
Current children cumulated CPU time (s) 1293.54
Current children cumulated vsize (KiB) 171900

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/70 19232
/proc/meminfo: memFree=1406128/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=175884 CPUtime=1353.51
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1016899 658 0 0 134905 446 0 0 25 0 1 0 59080123 180105216 35889 996147200 134512640 135215973 4294956304 18446744073709551615 134901817 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 43971 35889 408 171 0 42896 0
Current children cumulated CPU time (s) 1353.51
Current children cumulated vsize (KiB) 175884

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 19312
/proc/meminfo: memFree=1397952/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=177168 CPUtime=1413.5
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1048399 658 0 0 140890 460 0 0 25 0 1 0 59080123 181420032 36270 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 44292 36270 408 171 0 43217 0
Current children cumulated CPU time (s) 1413.5
Current children cumulated vsize (KiB) 177168

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 19312
/proc/meminfo: memFree=1374912/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=178456 CPUtime=1473.47
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1090939 658 0 0 146868 479 0 0 25 0 1 0 59080123 182738944 36651 996147200 134512640 135215973 4294956304 18446744073709551615 134976525 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 44614 36651 408 171 0 43539 0
Current children cumulated CPU time (s) 1473.47
Current children cumulated vsize (KiB) 178456

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 19312
/proc/meminfo: memFree=1365376/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=180816 CPUtime=1533.45
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1133612 658 0 0 152848 497 0 0 25 0 1 0 59080123 185155584 37303 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 45204 37303 408 171 0 44129 0
Current children cumulated CPU time (s) 1533.45
Current children cumulated vsize (KiB) 180816

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 19312
/proc/meminfo: memFree=1362432/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=183524 CPUtime=1593.43
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1169069 658 0 0 158833 510 0 0 25 0 1 0 59080123 187928576 38053 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 45881 38053 408 171 0 44806 0
Current children cumulated CPU time (s) 1593.43
Current children cumulated vsize (KiB) 183524

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 19312
/proc/meminfo: memFree=1359360/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=186272 CPUtime=1653.41
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1216057 658 0 0 164812 529 0 0 25 0 1 0 59080123 190742528 38811 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 46568 38811 408 171 0 45493 0
Current children cumulated CPU time (s) 1653.41
Current children cumulated vsize (KiB) 186272

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19312
/proc/meminfo: memFree=1356424/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=188888 CPUtime=1713.4
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1246937 658 0 0 170800 540 0 0 25 0 1 0 59080123 193421312 39538 996147200 134512640 135215973 4294956304 18446744073709551615 134957922 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 47222 39538 408 171 0 46147 0
Current children cumulated CPU time (s) 1713.4
Current children cumulated vsize (KiB) 188888

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19312
/proc/meminfo: memFree=1355208/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=189944 CPUtime=1773.37
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1282640 658 0 0 176783 554 0 0 25 0 1 0 59080123 194502656 39844 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 47486 39844 408 171 0 46411 0
Current children cumulated CPU time (s) 1773.37
Current children cumulated vsize (KiB) 189944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19312
/proc/meminfo: memFree=1354312/2055920 swapFree=4192812/4192956
[pid=19175] ppid=19173 vsize=198776 CPUtime=1800.07
/proc/19175/stat : 19175 (pcs.big) R 19173 19175 17476 0 -1 4194304 1308626 658 0 0 179442 565 0 0 25 0 1 0 59080123 203546624 40045 996147200 134512640 135215973 4294956304 18446744073709551615 3053179 0 0 4096 0 0 0 0 17 0 0 0
/proc/19175/statm: 49694 40045 408 171 0 48619 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 198776

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): 1809.04
CPU time (s): 1800.11
CPU user time (s): 1794.43
CPU system time (s): 5.68613
CPU usage (%): 99.5069
Max. virtual memory (cumulated for all children) (KiB): 198776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.43
system time used= 5.68614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1309284
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= 21
involuntary context switches= 23187

runsolver used 2.41963 second user time and 5.79312 second system time

The end

Launcher Data 

Begin job on node51 at 2009-07-16 06:56:06
IDJOB=2081669
IDBENCH=57464
IDSOLVER=733
FILE ID=node51/2081669-1247720166
PBS_JOBID= 9521397
Free space on /tmp= 66312 MiB

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

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

MD5SUM BENCH= a1e64c0f46651e1a499cb740245cd60c
RANDOM SEED=1437350692

node51.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:       1440008 kB
Buffers:         58644 kB
Cached:         282308 kB
SwapCached:          0 kB
Active:         269876 kB
Inactive:       278448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1440008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3356 kB
Writeback:           0 kB
Mapped:         218896 kB
Slab:            52460 kB
Committed_AS:   708340 kB
PageTables:       2252 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= 66316 MiB
End job on node51 at 2009-07-16 07:26:17