Trace number 2081592

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.13 1810.04

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-14.xml
MD5SUMfcc319e6fc9e5f3f4a12aa7c5c9c75e3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark806.525
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1424
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
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.17/0.20	c Seed is 1201631736
0.17/0.20	c Constructing HOME/instance-2081592-1247719956.xml  with 61830 constraints
0.87/0.99	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-2081592-1247719956/watcher-2081592-1247719956 -o /tmp/evaluation-result-2081592-1247719956/solver-2081592-1247719956 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1201631736 HOME/instance-2081592-1247719956.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.47 2.12 2.04 4/75 19051
/proc/meminfo: memFree=1403968/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=18576 CPUtime=0
/proc/19051/stat : 19051 (runsolver) R 19049 19051 17311 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59058332 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 209560595751 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19051/statm: 4644 284 249 26 0 2626 0

[startup+0.0490081 s]
/proc/loadavg: 2.47 2.12 2.04 4/75 19051
/proc/meminfo: memFree=1403968/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=5068 CPUtime=0.02
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 942 660 0 0 2 0 0 0 18 0 1 0 59058332 5189632 573 996147200 134512640 135215973 4294956304 18446744073709551615 4159189536 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 1267 573 388 171 0 192 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5068

[startup+0.10202 s]
/proc/loadavg: 2.47 2.12 2.04 4/75 19051
/proc/meminfo: memFree=1403968/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=6876 CPUtime=0.08
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1346 660 0 0 8 0 0 0 18 0 1 0 59058332 7041024 903 996147200 134512640 135215973 4294956304 18446744073709551615 4159195912 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 1719 903 388 171 0 644 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6876

[startup+0.302055 s]
/proc/loadavg: 2.47 2.12 2.04 4/75 19051
/proc/meminfo: memFree=1403968/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=10420 CPUtime=0.27
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 2629 660 0 0 27 0 0 0 19 0 1 0 59058332 10670080 1770 996147200 134512640 135215973 4294956304 18446744073709551615 134886005 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 2605 1770 388 171 0 1530 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10420

[startup+0.702122 s]
/proc/loadavg: 2.47 2.12 2.04 4/75 19051
/proc/meminfo: memFree=1403968/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=19728 CPUtime=0.67
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 5655 660 0 0 65 2 0 0 23 0 1 0 59058332 20201472 3672 996147200 134512640 135215973 4294956304 18446744073709551615 9199198 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 4932 3672 388 171 0 3857 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 19728

[startup+1.50126 s]
/proc/loadavg: 2.51 2.13 2.04 3/76 19056
/proc/meminfo: memFree=1388024/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=38852 CPUtime=1.46
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 12535 660 0 0 140 6 0 0 25 0 1 0 59058332 39784448 8772 996147200 134512640 135215973 4294956304 18446744073709551615 134601567 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 9713 8772 404 171 0 8638 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38852

[startup+3.10153 s]
/proc/loadavg: 2.51 2.13 2.04 3/76 19056
/proc/meminfo: memFree=1358584/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=54116 CPUtime=3.05
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 19249 660 0 0 296 9 0 0 25 0 1 0 59058332 55414784 11740 996147200 134512640 135215973 4294956304 18446744073709551615 135096327 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 13529 11740 408 171 0 12454 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 54116

[startup+6.30107 s]
/proc/loadavg: 2.47 2.13 2.04 3/76 19056
/proc/meminfo: memFree=1355448/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=54236 CPUtime=6.21
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 22980 660 0 0 611 10 0 0 25 0 1 0 59058332 55537664 12351 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 13559 12351 408 171 0 12484 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 54236

[startup+12.7012 s]
/proc/loadavg: 2.43 2.13 2.04 3/76 19056
/proc/meminfo: memFree=1338808/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=75080 CPUtime=12.56
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 37764 660 0 0 1238 18 0 0 25 0 1 0 59058332 76881920 15850 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 18770 15850 408 171 0 17695 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 75080

[startup+25.5013 s]
/proc/loadavg: 2.34 2.12 2.04 3/76 19056
/proc/meminfo: memFree=1335800/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=75252 CPUtime=25.23
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 52647 660 0 0 2499 24 0 0 25 0 1 0 59058332 77058048 15913 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 18813 15913 408 171 0 17738 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 75252

[startup+51.1027 s]
/proc/loadavg: 2.30 2.13 2.04 3/76 19056
/proc/meminfo: memFree=1329592/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=76292 CPUtime=50.59
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 76113 660 0 0 5023 36 0 0 25 0 1 0 59058332 78123008 16154 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 19073 16154 408 171 0 17998 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 76292

[startup+102.307 s]
/proc/loadavg: 2.13 2.11 2.04 3/76 19056
/proc/meminfo: memFree=1314872/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=77828 CPUtime=101.32
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 126692 660 0 0 10072 60 0 0 25 0 1 0 59058332 79695872 17008 996147200 134512640 135215973 4294956304 18446744073709551615 134612186 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 19457 17008 408 171 0 18382 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 77828

[startup+162.302 s]
/proc/loadavg: 2.16 2.11 2.04 3/76 19056
/proc/meminfo: memFree=1299832/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=79896 CPUtime=160.75
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 170054 660 0 0 15995 80 0 0 25 0 1 0 59058332 81813504 17497 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 19974 17497 408 171 0 18899 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 79896

[startup+222.302 s]
/proc/loadavg: 2.06 2.09 2.04 3/76 19056
/proc/meminfo: memFree=1284216/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=82484 CPUtime=220.18
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 210399 660 0 0 21921 97 0 0 25 0 1 0 59058332 84463616 17961 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 20621 17961 408 171 0 19546 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 82484

[startup+282.302 s]
/proc/loadavg: 2.07 2.09 2.04 3/76 19056
/proc/meminfo: memFree=1268152/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=87024 CPUtime=279.61
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 225588 660 0 0 27858 103 0 0 25 0 1 0 59058332 89112576 18584 996147200 134512640 135215973 4294956304 18446744073709551615 134592026 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 21756 18584 408 171 0 20681 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 87024

[startup+342.302 s]
/proc/loadavg: 2.07 2.08 2.03 3/76 19056
/proc/meminfo: memFree=1250168/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=91524 CPUtime=339.04
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 267922 660 0 0 33784 120 0 0 25 0 1 0 59058332 93720576 19838 996147200 134512640 135215973 4294956304 18446744073709551615 134902665 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 22881 19838 408 171 0 21806 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 91524

[startup+402.302 s]
/proc/loadavg: 2.07 2.08 2.03 3/76 19056
/proc/meminfo: memFree=1232440/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=97948 CPUtime=398.48
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 304749 660 0 0 39713 135 0 0 25 0 1 0 59058332 100298752 21052 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 24487 21052 408 171 0 23412 0
Current children cumulated CPU time (s) 398.48
Current children cumulated vsize (KiB) 97948

[startup+462.301 s]
/proc/loadavg: 2.06 2.08 2.03 3/76 19056
/proc/meminfo: memFree=1214328/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=102720 CPUtime=457.91
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 342687 660 0 0 45640 151 0 0 25 0 1 0 59058332 105185280 22382 996147200 134512640 135215973 4294956304 18446744073709551615 134601564 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 25680 22382 408 171 0 24605 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 102720

[startup+522.302 s]
/proc/loadavg: 2.08 2.08 2.03 3/76 19062
/proc/meminfo: memFree=1192944/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=108116 CPUtime=517.34
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 404794 660 0 0 51556 178 0 0 25 0 1 0 59058332 110710784 24481 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 27029 24481 408 171 0 25954 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 108116

[startup+582.302 s]
/proc/loadavg: 2.03 2.06 2.03 3/76 19062
/proc/meminfo: memFree=1175856/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=112456 CPUtime=576.78
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 470288 660 0 0 57472 206 0 0 25 0 1 0 59058332 115154944 25703 996147200 134512640 135215973 4294956304 18446744073709551615 134977089 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 28114 25703 408 171 0 27039 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 112456

[startup+642.302 s]
/proc/loadavg: 2.01 2.05 2.02 3/76 19062
/proc/meminfo: memFree=1161456/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=121148 CPUtime=636.21
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 512074 660 0 0 63398 223 0 0 25 0 1 0 59058332 124055552 26996 996147200 134512640 135215973 4294956304 18446744073709551615 134592088 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 30287 26996 408 171 0 29212 0
Current children cumulated CPU time (s) 636.21
Current children cumulated vsize (KiB) 121148

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19062
/proc/meminfo: memFree=1133304/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=130020 CPUtime=814.51
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 784161 660 0 0 81106 345 0 0 25 0 1 0 59058332 133140480 29671 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 32505 29671 408 171 0 31430 0
Current children cumulated CPU time (s) 814.51
Current children cumulated vsize (KiB) 130020

[startup+882.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19062
/proc/meminfo: memFree=1121336/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=133688 CPUtime=873.94
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 825860 660 0 0 87029 365 0 0 25 0 1 0 59058332 136896512 30654 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 33422 30654 408 171 0 32347 0
Current children cumulated CPU time (s) 873.94
Current children cumulated vsize (KiB) 133688

[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 19062
/proc/meminfo: memFree=1109432/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=137372 CPUtime=933.38
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 888041 660 0 0 92949 389 0 0 25 0 1 0 59058332 140668928 31683 996147200 134512640 135215973 4294956304 18446744073709551615 134590644 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 34343 31683 408 171 0 33268 0
Current children cumulated CPU time (s) 933.38
Current children cumulated vsize (KiB) 137372

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19062
/proc/meminfo: memFree=1096248/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=141436 CPUtime=992.82
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 966680 660 0 0 98858 424 0 0 25 0 1 0 59058332 144830464 32790 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/19051/statm: 35359 32790 408 171 0 34284 0
Current children cumulated CPU time (s) 992.82
Current children cumulated vsize (KiB) 141436

[startup+1062.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/76 19095
/proc/meminfo: memFree=1383288/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=148404 CPUtime=1052.72
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1028926 660 0 0 104823 449 0 0 25 0 1 0 59058332 151965696 34612 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 37101 34612 408 171 0 36026 0
Current children cumulated CPU time (s) 1052.72
Current children cumulated vsize (KiB) 148404

[startup+1122.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/76 19095
/proc/meminfo: memFree=1251064/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=149580 CPUtime=1112.69
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1063170 660 0 0 110805 464 0 0 25 0 1 0 59058332 153169920 35004 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 37395 35004 408 171 0 36320 0
Current children cumulated CPU time (s) 1112.69
Current children cumulated vsize (KiB) 149580

[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/76 19095
/proc/meminfo: memFree=1125560/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=150876 CPUtime=1172.66
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1089189 660 0 0 116793 473 0 0 25 0 1 0 59058332 154497024 35439 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 37719 35439 408 171 0 36644 0
Current children cumulated CPU time (s) 1172.66
Current children cumulated vsize (KiB) 150876

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/76 19095
/proc/meminfo: memFree=1004024/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=152304 CPUtime=1232.63
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1110432 660 0 0 122781 482 0 0 25 0 1 0 59058332 155959296 35882 996147200 134512640 135215973 4294956304 18446744073709551615 135095907 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 38076 35882 408 171 0 37001 0
Current children cumulated CPU time (s) 1232.63
Current children cumulated vsize (KiB) 152304

[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/76 19095
/proc/meminfo: memFree=878968/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=161652 CPUtime=1292.61
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1134962 660 0 0 128769 492 0 0 25 0 1 0 59058332 165531648 36263 996147200 134512640 135215973 4294956304 18446744073709551615 135094919 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 40413 36263 408 171 0 39338 0
Current children cumulated CPU time (s) 1292.61
Current children cumulated vsize (KiB) 161652

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/76 19095
/proc/meminfo: memFree=749240/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=165584 CPUtime=1352.59
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1162240 660 0 0 134756 503 0 0 25 0 1 0 59058332 169558016 37333 996147200 134512640 135215973 4294956304 18446744073709551615 134951359 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 41396 37333 408 171 0 40321 0
Current children cumulated CPU time (s) 1352.59
Current children cumulated vsize (KiB) 165584

[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/76 19095
/proc/meminfo: memFree=626424/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=167144 CPUtime=1412.56
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1199777 660 0 0 140738 518 0 0 25 0 1 0 59058332 171155456 37846 996147200 134512640 135215973 4294956304 18446744073709551615 135096351 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 41786 37846 408 171 0 40711 0
Current children cumulated CPU time (s) 1412.56
Current children cumulated vsize (KiB) 167144

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/85 19137
/proc/meminfo: memFree=1455784/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=168960 CPUtime=1472.52
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1245982 660 0 0 146715 537 0 0 25 0 1 0 59058332 173015040 38395 996147200 134512640 135215973 4294956304 18446744073709551615 134592152 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 42240 38395 408 171 0 41165 0
Current children cumulated CPU time (s) 1472.52
Current children cumulated vsize (KiB) 168960

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 19137
/proc/meminfo: memFree=1449512/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=174620 CPUtime=1532.49
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1324627 660 0 0 152685 564 0 0 25 0 1 0 59058332 178810880 39924 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 43655 39924 408 171 0 42580 0
Current children cumulated CPU time (s) 1532.49
Current children cumulated vsize (KiB) 174620

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 19137
/proc/meminfo: memFree=1444712/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=179356 CPUtime=1592.47
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1430742 660 0 0 158643 604 0 0 25 0 1 0 59058332 183660544 41207 996147200 134512640 135215973 4294956304 18446744073709551615 134583656 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 44839 41207 408 171 0 43764 0
Current children cumulated CPU time (s) 1592.47
Current children cumulated vsize (KiB) 179356

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 19137
/proc/meminfo: memFree=1440040/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=183288 CPUtime=1652.44
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1527044 660 0 0 164602 642 0 0 25 0 1 0 59058332 187686912 42297 996147200 134512640 135215973 4294956304 18446744073709551615 134583660 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 45822 42297 408 171 0 44747 0
Current children cumulated CPU time (s) 1652.44
Current children cumulated vsize (KiB) 183288

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 19137
/proc/meminfo: memFree=1436072/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=186680 CPUtime=1712.42
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1585562 660 0 0 170576 666 0 0 25 0 1 0 59058332 191160320 43251 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 46670 43251 408 171 0 45595 0
Current children cumulated CPU time (s) 1712.42
Current children cumulated vsize (KiB) 186680

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 19137
/proc/meminfo: memFree=1431976/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=190360 CPUtime=1772.39
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1640200 660 0 0 176551 688 0 0 25 0 1 0 59058332 194928640 44277 996147200 134512640 135215973 4294956304 18446744073709551615 134641129 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 47590 44277 408 171 0 46515 0
Current children cumulated CPU time (s) 1772.39
Current children cumulated vsize (KiB) 190360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 19137
/proc/meminfo: memFree=1430184/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=191916 CPUtime=1800.08
/proc/19051/stat : 19051 (pcs.big) R 19049 19051 17311 0 -1 4194304 1663008 660 0 0 179313 695 0 0 25 0 1 0 59058332 196521984 44725 996147200 134512640 135215973 4294956304 18446744073709551615 134581781 0 0 4096 0 0 0 0 17 0 0 0
/proc/19051/statm: 47979 44725 408 171 0 46904 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 191916

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): 1810.04
CPU time (s): 1800.13
CPU user time (s): 1793.14
CPU system time (s): 6.99094
CPU usage (%): 99.4527
Max. virtual memory (cumulated for all children) (KiB): 191916

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

runsolver used 2.25266 second user time and 5.98409 second system time

The end

Launcher Data 

Begin job on node68 at 2009-07-16 06:52:36
IDJOB=2081592
IDBENCH=57439
IDSOLVER=733
FILE ID=node68/2081592-1247719956
PBS_JOBID= 9521429
Free space on /tmp= 66420 MiB

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

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

MD5SUM BENCH= fcc319e6fc9e5f3f4a12aa7c5c9c75e3
RANDOM SEED=1201631736

node68.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.258
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.258
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:       1404448 kB
Buffers:         72084 kB
Cached:         268256 kB
SwapCached:          0 kB
Active:         319404 kB
Inactive:       263460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1404448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2936 kB
Writeback:           0 kB
Mapped:         254320 kB
Slab:            53036 kB
Committed_AS:   824264 kB
PageTables:       2416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66416 MiB
End job on node68 at 2009-07-16 07:22:48