Trace number 2081746

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.07 1811.84

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-22.xml
MD5SUM2dc1ef2385520df4e5d6471c36d68b37
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 size1545
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.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.21	c Seed is 1997895232
0.18/0.21	c Constructing HOME/instance-2081746-1247720358.xml  with 82480 constraints
1.17/1.27	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-2081746-1247720358/watcher-2081746-1247720358 -o /tmp/evaluation-result-2081746-1247720358/solver-2081746-1247720358 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1997895232 HOME/instance-2081746-1247720358.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.00 2.00 2.00 4/73 15294
/proc/meminfo: memFree=1442840/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=5356 CPUtime=0
/proc/15294/stat : 15294 (pcssolve) R 15292 15294 13858 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 59101070 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15294/statm: 1339 241 200 169 0 50 0
[pid=15295] ppid=15294 vsize=3544 CPUtime=0
/proc/15295/stat : 15295 (fgrep) R 15294 15294 13858 0 -1 4194304 106 0 0 0 0 0 0 0 19 0 1 0 59101070 3629056 73 996147200 4194304 4274172 548682068976 18446744073709551615 240154279236 0 0 4096 0 0 0 0 17 1 0 0
/proc/15295/statm: 886 73 56 19 0 10 0
[pid=15296] ppid=15294 vsize=5356 CPUtime=0
/proc/15296/stat : 15296 (pcssolve) R 15294 15294 13858 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 59101070 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15296/statm: 1339 241 200 169 0 50 0

[startup+0.0959249 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15294
/proc/meminfo: memFree=1442840/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=6416 CPUtime=0.07
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1296 659 0 0 7 0 0 0 18 0 1 0 59101070 6569984 853 996147200 134512640 135215973 4294956304 18446744073709551615 4159049977 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 1604 853 388 171 0 529 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6416

[startup+0.102916 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15294
/proc/meminfo: memFree=1442840/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=6548 CPUtime=0.08
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1325 659 0 0 8 0 0 0 18 0 1 0 59101070 6705152 882 996147200 134512640 135215973 4294956304 18446744073709551615 4159337312 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 1637 882 388 171 0 562 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6548

[startup+0.301963 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15294
/proc/meminfo: memFree=1442840/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=12264 CPUtime=0.28
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 3042 659 0 0 27 1 0 0 19 0 1 0 59101070 12558336 1941 996147200 134512640 135215973 4294956304 18446744073709551615 134798533 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 3066 1941 388 171 0 1991 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12264

[startup+0.701039 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15294
/proc/meminfo: memFree=1442840/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=20584 CPUtime=0.67
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 5929 659 0 0 64 3 0 0 23 0 1 0 59101070 21078016 3835 996147200 134512640 135215973 4294956304 18446744073709551615 134899339 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 5146 3835 388 171 0 4071 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20584

[startup+1.50219 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15299
/proc/meminfo: memFree=1421584/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=45072 CPUtime=1.47
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 14387 659 0 0 141 6 0 0 25 0 1 0 59101070 46153728 9336 996147200 134512640 135215973 4294956304 18446744073709551615 134672995 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 11268 9336 404 171 0 10193 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 45072

[startup+3.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15299
/proc/meminfo: memFree=1394640/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=88256 CPUtime=3.05
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 28710 659 0 0 293 12 0 0 25 0 1 0 59101070 90374144 17206 996147200 134512640 135215973 4294956304 18446744073709551615 134532672 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 22064 17206 404 171 0 20989 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 88256

[startup+6.30211 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15299
/proc/meminfo: memFree=1373456/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=88392 CPUtime=6.23
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 32524 659 0 0 609 14 0 0 25 0 1 0 59101070 90513408 17501 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 22098 17501 408 171 0 21023 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 88392

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15299
/proc/meminfo: memFree=1368592/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=88524 CPUtime=12.58
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 41405 659 0 0 1240 18 0 0 25 0 1 0 59101070 90648576 18516 996147200 134512640 135215973 4294956304 18446744073709551615 134648286 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 22131 18516 408 171 0 21056 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 88524

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15299
/proc/meminfo: memFree=1365840/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=88800 CPUtime=25.28
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 59532 659 0 0 2503 25 0 0 25 0 1 0 59101070 90931200 18841 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 22200 18841 408 171 0 21125 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 88800

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15299
/proc/meminfo: memFree=1362384/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=89320 CPUtime=50.69
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 73768 659 0 0 5037 32 0 0 25 0 1 0 59101070 91463680 19175 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 22330 19175 408 171 0 21255 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 89320

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 15299
/proc/meminfo: memFree=1355856/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=90360 CPUtime=101.5
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 103044 659 0 0 10108 42 0 0 25 0 1 0 59101070 92528640 19475 996147200 134512640 135215973 4294956304 18446744073709551615 134640977 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 22590 19475 408 171 0 21515 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 90360

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1345096/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=93636 CPUtime=161.02
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 145939 659 0 0 16044 58 0 0 25 0 1 0 59101070 95883264 21117 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 23409 21117 408 171 0 22334 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 93636

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1338760/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=95076 CPUtime=220.56
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 191288 659 0 0 21981 75 0 0 25 0 1 0 59101070 97357824 21547 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 23769 21547 408 171 0 22694 0
Current children cumulated CPU time (s) 220.56
Current children cumulated vsize (KiB) 95076

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1333256/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=97832 CPUtime=280.1
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 217844 659 0 0 27924 86 0 0 25 0 1 0 59101070 100179968 22040 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 24458 22040 408 171 0 23383 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 97832

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1327432/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=99792 CPUtime=339.64
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 253984 659 0 0 33864 100 0 0 25 0 1 0 59101070 102187008 22576 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 24948 22576 408 171 0 23873 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 99792

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1320520/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=101876 CPUtime=399.19
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 300330 659 0 0 39801 118 0 0 25 0 1 0 59101070 104321024 23175 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 25469 23175 408 171 0 24394 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 101876

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1313552/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=105164 CPUtime=458.73
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 354284 659 0 0 45732 141 0 0 25 0 1 0 59101070 107687936 24068 996147200 134512640 135215973 4294956304 18446744073709551615 134907424 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 26291 24068 408 171 0 25216 0
Current children cumulated CPU time (s) 458.73
Current children cumulated vsize (KiB) 105164

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1288528/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=149856 CPUtime=518.27
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 407376 659 0 0 51666 161 0 0 25 0 1 0 59101070 153452544 29448 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 37464 29448 408 171 0 36389 0
Current children cumulated CPU time (s) 518.27
Current children cumulated vsize (KiB) 149856

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1283344/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=153212 CPUtime=577.81
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 453418 659 0 0 57602 179 0 0 25 0 1 0 59101070 156889088 29851 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 38303 29851 408 171 0 37228 0
Current children cumulated CPU time (s) 577.81
Current children cumulated vsize (KiB) 153212

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1278288/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=154384 CPUtime=637.36

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1258448/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=159388 CPUtime=815.98
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 603916 659 0 0 81362 236 0 0 25 0 1 0 59101070 163213312 32413 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 39847 32413 408 171 0 38772 0
Current children cumulated CPU time (s) 815.98
Current children cumulated vsize (KiB) 159388

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15305
/proc/meminfo: memFree=1251024/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=161208 CPUtime=875.51
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 694238 659 0 0 87277 274 0 0 25 0 1 0 59101070 165076992 32966 996147200 134512640 135215973 4294956304 18446744073709551615 134588217 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 40302 32966 408 171 0 39227 0
Current children cumulated CPU time (s) 875.51
Current children cumulated vsize (KiB) 161208

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1306592/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=166596 CPUtime=935.08
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 729949 659 0 0 93217 291 0 0 25 0 1 0 59101070 170594304 33359 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 41649 33359 408 171 0 40574 0
Current children cumulated CPU time (s) 935.08
Current children cumulated vsize (KiB) 166596

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1305248/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=167768 CPUtime=994.84
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 760602 659 0 0 99180 304 0 0 25 0 1 0 59101070 171794432 33721 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 41942 33721 408 171 0 40867 0
Current children cumulated CPU time (s) 994.84
Current children cumulated vsize (KiB) 167768

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1302944/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=169076 CPUtime=1054.6
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 789398 659 0 0 105144 316 0 0 25 0 1 0 59101070 173133824 34158 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 42269 34158 408 171 0 41194 0
Current children cumulated CPU time (s) 1054.6
Current children cumulated vsize (KiB) 169076

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1299680/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=170796 CPUtime=1114.36
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 838268 659 0 0 111099 337 0 0 25 0 1 0 59101070 174895104 34659 996147200 134512640 135215973 4294956304 18446744073709551615 135098068 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 42699 34659 408 171 0 41624 0
Current children cumulated CPU time (s) 1114.36
Current children cumulated vsize (KiB) 170796

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1297056/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=172376 CPUtime=1174.12
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 886614 659 0 0 117053 359 0 0 25 0 1 0 59101070 176513024 35119 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 43094 35119 408 171 0 42019 0
Current children cumulated CPU time (s) 1174.12
Current children cumulated vsize (KiB) 172376

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1290784/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=174716 CPUtime=1233.88
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 940084 659 0 0 123006 382 0 0 25 0 1 0 59101070 178909184 35804 996147200 134512640 135215973 4294956304 18446744073709551615 4158960240 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 43679 35804 408 171 0 42604 0
Current children cumulated CPU time (s) 1233.88
Current children cumulated vsize (KiB) 174716

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1287584/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=176908 CPUtime=1293.64
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1040056 659 0 0 128940 424 0 0 25 0 1 0 59101070 181153792 36485 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 44227 36485 408 171 0 43152 0
Current children cumulated CPU time (s) 1293.64
Current children cumulated vsize (KiB) 176908

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1284000/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=179252 CPUtime=1353.4
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1104166 659 0 0 134890 450 0 0 25 0 1 0 59101070 183554048 37184 996147200 134512640 135215973 4294956304 18446744073709551615 134533281 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 44813 37184 408 171 0 43738 0
Current children cumulated CPU time (s) 1353.4
Current children cumulated vsize (KiB) 179252

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1279136/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=182256 CPUtime=1413.17
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1198622 659 0 0 140828 489 0 0 25 0 1 0 59101070 186630144 38007 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 45564 38007 408 171 0 44489 0
Current children cumulated CPU time (s) 1413.17
Current children cumulated vsize (KiB) 182256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1273376/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=186156 CPUtime=1472.92
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1301112 659 0 0 146757 535 0 0 25 0 1 0 59101070 190623744 39067 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 46539 39067 408 171 0 45464 0
Current children cumulated CPU time (s) 1472.92
Current children cumulated vsize (KiB) 186156

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15369
/proc/meminfo: memFree=1344800/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=189152 CPUtime=1532.61
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1397948 659 0 0 152686 575 0 0 25 0 1 0 59101070 193691648 39924 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 47288 39924 408 171 0 46213 0
Current children cumulated CPU time (s) 1532.61
Current children cumulated vsize (KiB) 189152

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15400
/proc/meminfo: memFree=1311776/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=192672 CPUtime=1592.12
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1486110 659 0 0 158602 610 0 0 25 0 1 0 59101070 197296128 40870 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 48168 40870 408 171 0 47093 0
Current children cumulated CPU time (s) 1592.12
Current children cumulated vsize (KiB) 192672

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15400
/proc/meminfo: memFree=1266592/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=198208 CPUtime=1651.66
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1556584 659 0 0 164530 636 0 0 25 0 1 0 59101070 202964992 42344 996147200 134512640 135215973 4294956304 18446744073709551615 134592170 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 49552 42344 408 171 0 48477 0
Current children cumulated CPU time (s) 1651.66
Current children cumulated vsize (KiB) 198208

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15400
/proc/meminfo: memFree=1229792/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=209176 CPUtime=1711.2
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1596176 659 0 0 170467 653 0 0 25 0 1 0 59101070 214196224 43110 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 52294 43110 408 171 0 51219 0
Current children cumulated CPU time (s) 1711.2
Current children cumulated vsize (KiB) 209176

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15400
/proc/meminfo: memFree=1189536/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=212332 CPUtime=1770.75
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1627236 659 0 0 176408 667 0 0 25 0 1 0 59101070 217427968 43948 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 53083 43948 408 171 0 52008 0
Current children cumulated CPU time (s) 1770.75
Current children cumulated vsize (KiB) 212332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15400
/proc/meminfo: memFree=1170784/2055920 swapFree=4192812/4192956
[pid=15294] ppid=15292 vsize=213124 CPUtime=1800.02
/proc/15294/stat : 15294 (pcs.big) R 15292 15294 13858 0 -1 4194304 1639968 659 0 0 179330 672 0 0 25 0 1 0 59101070 218238976 44191 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/15294/statm: 53281 44191 408 171 0 52206 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 213124

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): 1811.84
CPU time (s): 1800.07
CPU user time (s): 1793.31
CPU system time (s): 6.75697
CPU usage (%): 99.3505
Max. virtual memory (cumulated for all children) (KiB): 213124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.31
system time used= 6.75697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1640627
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= 17
involuntary context switches= 31230

runsolver used 1.79673 second user time and 4.80927 second system time

The end

Launcher Data 

Begin job on node86 at 2009-07-16 06:59:18
IDJOB=2081746
IDBENCH=57483
IDSOLVER=733
FILE ID=node86/2081746-1247720358
PBS_JOBID= 9521401
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= 2dc1ef2385520df4e5d6471c36d68b37
RANDOM SEED=1997895232

node86.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.265
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.265
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:       1443384 kB
Buffers:         89696 kB
Cached:         355976 kB
SwapCached:          0 kB
Active:         165612 kB
Inactive:       371580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1443384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3388 kB
Writeback:           0 kB
Mapped:         103040 kB
Slab:            60544 kB
Committed_AS:   670148 kB
PageTables:       1972 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= 66252 MiB
End job on node86 at 2009-07-16 07:29:32