Trace number 2080350

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.15 1809.38

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-105-8.xml
MD5SUM29d9042e3e0cc0348db4eadf5baca638
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 benchmark5.72613
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1353
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
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.00/0.21	c Seed is 2117710652
0.00/0.21	c Constructing HOME/instance-2080350-1247717557.xml  with 11445 constraints
0.00/0.21	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-2080350-1247717557/watcher-2080350-1247717557 -o /tmp/evaluation-result-2080350-1247717557/solver-2080350-1247717557 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2117710652 HOME/instance-2080350-1247717557.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 1.99 1.99 4/82 12504
/proc/meminfo: memFree=583496/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=5356 CPUtime=0
/proc/12504/stat : 12504 (pcssolve) R 12502 12504 9640 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58819513 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 258939087519 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12504/statm: 1339 241 200 169 0 50 0
[pid=12505] ppid=12504 vsize=3676 CPUtime=0
/proc/12505/stat : 12505 (fgrep) R 12504 12504 9640 0 -1 4194304 136 0 0 0 0 0 0 0 22 0 1 0 58819514 3764224 103 996147200 4194304 4274172 548682068976 18446744073709551615 258939256306 0 0 4096 0 0 0 0 17 1 0 0
/proc/12505/statm: 919 103 84 19 0 43 0
[pid=12506] ppid=12504 vsize=5356 CPUtime=0
/proc/12506/stat : 12506 (pcssolve) R 12504 12504 9640 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58819514 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 258939087519 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12506/statm: 1339 241 200 169 0 50 0

[startup+0.211765 s]
/proc/loadavg: 2.00 1.99 1.99 4/82 12504
/proc/meminfo: memFree=583496/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=9812 CPUtime=0.19
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 2445 662 0 0 18 1 0 0 19 0 1 0 58819513 10047488 1651 996147200 134512640 135215973 4294956304 18446744073709551615 5160444 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 2453 1651 404 171 0 1378 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9812

[startup+0.301651 s]
/proc/loadavg: 2.00 1.99 1.99 4/82 12504
/proc/meminfo: memFree=583496/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=11584 CPUtime=0.27
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 3024 662 0 0 26 1 0 0 19 0 1 0 58819513 11862016 2072 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 2896 2072 404 171 0 1821 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11584

[startup+0.401671 s]
/proc/loadavg: 2.00 1.99 1.99 4/82 12504
/proc/meminfo: memFree=583496/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=16144 CPUtime=0.37
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 3579 662 0 0 36 1 0 0 20 0 1 0 58819513 16531456 2418 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 4036 2418 404 171 0 2961 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 16144

[startup+0.701725 s]
/proc/loadavg: 2.00 1.99 1.99 4/82 12504
/proc/meminfo: memFree=583496/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=15524 CPUtime=0.67
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 4487 662 0 0 65 2 0 0 23 0 1 0 58819513 15896576 2909 996147200 134512640 135215973 4294956304 18446744073709551615 134600245 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 3881 2909 408 171 0 2806 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 15524

[startup+1.50187 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=573056/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=15624 CPUtime=1.46
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 4551 662 0 0 144 2 0 0 25 0 1 0 58819513 15998976 2973 996147200 134512640 135215973 4294956304 18446744073709551615 134958134 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 3906 2973 408 171 0 2831 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15624

[startup+3.10116 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=572800/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=15940 CPUtime=3.05
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 4707 662 0 0 303 2 0 0 25 0 1 0 58819513 16322560 3129 996147200 134512640 135215973 4294956304 18446744073709551615 134600485 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 3985 3129 408 171 0 2910 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 15940

[startup+6.30174 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=571840/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=16580 CPUtime=6.22
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 4877 662 0 0 620 2 0 0 25 0 1 0 58819513 16977920 3299 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 4145 3299 408 171 0 3070 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 16580

[startup+12.7019 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=568128/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=23176 CPUtime=12.55
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 6668 662 0 0 1252 3 0 0 25 0 1 0 58819513 23732224 4159 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 5794 4159 408 171 0 4719 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 23176

[startup+25.5062 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=565568/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=25652 CPUtime=25.24
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 7417 662 0 0 2520 4 0 0 25 0 1 0 58819513 26267648 4779 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 6413 4779 408 171 0 5338 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 25652

[startup+51.1019 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=558592/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=33260 CPUtime=50.59
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 9511 662 0 0 5054 5 0 0 25 0 1 0 58819513 34058240 6616 996147200 134512640 135215973 4294956304 18446744073709551615 135095925 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 8315 6616 408 171 0 7240 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 33260

[startup+102.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=540544/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=51672 CPUtime=101.31
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 14587 662 0 0 10123 8 0 0 25 0 1 0 58819513 52912128 11050 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 12918 11050 408 171 0 11843 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 51672

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=522304/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=71980 CPUtime=160.74
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 20152 662 0 0 16062 12 0 0 25 0 1 0 58819513 73707520 15590 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 17995 15590 408 171 0 16920 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 71980

[startup+222.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=503232/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=88396 CPUtime=220.17
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 24834 662 0 0 22002 15 0 0 25 0 1 0 58819513 90517504 20272 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 22099 20272 408 171 0 21024 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 88396

[startup+282.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=487168/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=110964 CPUtime=279.6
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 30898 662 0 0 27941 19 0 0 25 0 1 0 58819513 113627136 24287 996147200 134512640 135215973 4294956304 18446744073709551615 135098469 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 27741 24287 408 171 0 26666 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 110964

[startup+342.307 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=471872/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=124856 CPUtime=339.03
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 34720 662 0 0 33882 21 0 0 25 0 1 0 58819513 127852544 28109 996147200 134512640 135215973 4294956304 18446744073709551615 134648311 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 31214 28109 408 171 0 30139 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 124856

[startup+402.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=454272/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=141800 CPUtime=398.46
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 39429 662 0 0 39821 25 0 0 25 0 1 0 58819513 145203200 32528 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 35450 32528 408 171 0 34375 0
Current children cumulated CPU time (s) 398.46
Current children cumulated vsize (KiB) 141800

[startup+462.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=438784/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=155068 CPUtime=457.89
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 43298 662 0 0 45761 28 0 0 25 0 1 0 58819513 158789632 36397 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 38767 36397 408 171 0 37692 0
Current children cumulated CPU time (s) 457.89
Current children cumulated vsize (KiB) 155068

[startup+522.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=423488/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=168440 CPUtime=517.33
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 47153 662 0 0 51701 32 0 0 25 0 1 0 58819513 172482560 40252 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 42110 40252 408 171 0 41035 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 168440

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=409856/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=196484 CPUtime=576.75
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 54588 662 0 0 57638 37 0 0 25 0 1 0 58819513 201199616 43590 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 49121 43590 408 171 0 48046 0
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (KiB) 196484

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 12509
/proc/meminfo: memFree=388928/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=215460 CPUtime=636.19

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

[startup+882.302 s]
/proc/loadavg: 2.00 1.99 1.99 4/82 12550
/proc/meminfo: memFree=969352/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=292012 CPUtime=874.59
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 81114 662 0 0 87401 58 0 0 25 0 1 0 58819513 299020288 69603 996147200 134512640 135215973 4294956304 18446744073709551615 134648513 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 73003 69603 408 171 0 71928 0
Current children cumulated CPU time (s) 874.59
Current children cumulated vsize (KiB) 292012

[startup+942.302 s]
/proc/loadavg: 2.04 2.00 1.99 3/82 12550
/proc/meminfo: memFree=945224/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=304468 CPUtime=934.56
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 84663 662 0 0 93395 61 0 0 25 0 1 0 58819513 311775232 73152 996147200 134512640 135215973 4294956304 18446744073709551615 134590435 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 76117 73152 408 171 0 75042 0
Current children cumulated CPU time (s) 934.56
Current children cumulated vsize (KiB) 304468

[startup+1002.31 s]
/proc/loadavg: 2.01 2.00 1.99 3/82 12550
/proc/meminfo: memFree=919304/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=320688 CPUtime=994.54
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 89203 662 0 0 99388 66 0 0 25 0 1 0 58819513 328384512 77692 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 80172 77692 408 171 0 79097 0
Current children cumulated CPU time (s) 994.54
Current children cumulated vsize (KiB) 320688

[startup+1062.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/83 12552
/proc/meminfo: memFree=719224/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=336552 CPUtime=1054.5
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 93721 662 0 0 105380 70 0 0 25 0 1 0 58819513 344629248 82210 996147200 134512640 135215973 4294956304 18446744073709551615 5162619 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 84138 82211 408 171 0 83063 0
Current children cumulated CPU time (s) 1054.5
Current children cumulated vsize (KiB) 336552

[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/83 12552
/proc/meminfo: memFree=653752/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=383208 CPUtime=1114.48
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 105918 662 0 0 111370 78 0 0 25 0 1 0 58819513 392404992 86214 996147200 134512640 135215973 4294956304 18446744073709551615 134590047 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 95802 86214 408 171 0 94727 0
Current children cumulated CPU time (s) 1114.48
Current children cumulated vsize (KiB) 383208

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 12552
/proc/meminfo: memFree=637432/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=394332 CPUtime=1174.46
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 109141 662 0 0 117365 81 0 0 25 0 1 0 58819513 403795968 89437 996147200 134512640 135215973 4294956304 18446744073709551615 134600102 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 98583 89437 408 171 0 97508 0
Current children cumulated CPU time (s) 1174.46
Current children cumulated vsize (KiB) 394332

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 12552
/proc/meminfo: memFree=622584/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=407420 CPUtime=1234.42
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 112749 662 0 0 123358 84 0 0 25 0 1 0 58819513 417198080 93045 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 101855 93045 408 171 0 100780 0
Current children cumulated CPU time (s) 1234.42
Current children cumulated vsize (KiB) 407420

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12552
/proc/meminfo: memFree=606008/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=420176 CPUtime=1294.4
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 116266 662 0 0 129352 88 0 0 25 0 1 0 58819513 430260224 96562 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 105044 96562 408 171 0 103969 0
Current children cumulated CPU time (s) 1294.4
Current children cumulated vsize (KiB) 420176

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/83 12552
/proc/meminfo: memFree=583360/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=434284 CPUtime=1354.38
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 120135 662 0 0 135347 91 0 0 25 0 1 0 58819513 444706816 100431 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 108571 100431 408 171 0 107496 0
Current children cumulated CPU time (s) 1354.38
Current children cumulated vsize (KiB) 434284

[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 12552
/proc/meminfo: memFree=567744/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=448608 CPUtime=1414.35
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 124099 662 0 0 141339 96 0 0 25 0 1 0 58819513 459374592 104395 996147200 134512640 135215973 4294956304 18446744073709551615 134982800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 112152 104395 408 171 0 111077 0
Current children cumulated CPU time (s) 1414.35
Current children cumulated vsize (KiB) 448608

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 12552
/proc/meminfo: memFree=549568/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=460796 CPUtime=1474.32
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 127528 662 0 0 147331 101 0 0 25 0 1 0 58819513 471855104 107824 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 115199 107824 408 171 0 114124 0
Current children cumulated CPU time (s) 1474.32
Current children cumulated vsize (KiB) 460796

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 12552
/proc/meminfo: memFree=530176/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=474972 CPUtime=1534.29
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 131424 662 0 0 153324 105 0 0 25 0 1 0 58819513 486371328 111720 996147200 134512640 135215973 4294956304 18446744073709551615 134532914 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 118743 111720 408 171 0 117668 0
Current children cumulated CPU time (s) 1534.29
Current children cumulated vsize (KiB) 474972

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 12552
/proc/meminfo: memFree=513280/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=488476 CPUtime=1594
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 135176 662 0 0 159292 108 0 0 25 0 1 0 58819513 500199424 115472 996147200 134512640 135215973 4294956304 18446744073709551615 134591951 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 122119 115472 408 171 0 121044 0
Current children cumulated CPU time (s) 1594
Current children cumulated vsize (KiB) 488476

[startup+1662.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12552
/proc/meminfo: memFree=496512/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=502192 CPUtime=1653.74
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 138974 662 0 0 165263 111 0 0 25 0 1 0 58819513 514244608 119270 996147200 134512640 135215973 4294956304 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 125548 119270 408 171 0 124473 0
Current children cumulated CPU time (s) 1653.74
Current children cumulated vsize (KiB) 502192

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12552
/proc/meminfo: memFree=481088/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=515980 CPUtime=1713.45
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 142778 662 0 0 171231 114 0 0 25 0 1 0 58819513 528363520 123074 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 128995 123074 408 171 0 127920 0
Current children cumulated CPU time (s) 1713.45
Current children cumulated vsize (KiB) 515980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12552
/proc/meminfo: memFree=464128/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=530160 CPUtime=1773.17
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 146688 662 0 0 177199 118 0 0 25 0 1 0 58819513 542883840 126984 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 132540 126984 408 171 0 131465 0
Current children cumulated CPU time (s) 1773.17
Current children cumulated vsize (KiB) 530160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12552
/proc/meminfo: memFree=453312/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=536480 CPUtime=1800.05
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 148442 662 0 0 179886 119 0 0 25 0 1 0 58819513 549355520 128738 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 134120 128738 408 171 0 133045 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 536480

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1809.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12552
/proc/meminfo: memFree=453312/2055920 swapFree=4192812/4192956
[pid=12504] ppid=12502 vsize=536480 CPUtime=1800.05
/proc/12504/stat : 12504 (pcs.big) R 12502 12504 9640 0 -1 4194304 148442 662 0 0 179886 119 0 0 25 0 1 0 58819513 549355520 128738 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 0 0 0
/proc/12504/statm: 134120 128738 408 171 0 133045 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 536480

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.38
CPU time (s): 1800.15
CPU user time (s): 1798.87
CPU system time (s): 1.2828
CPU usage (%): 99.4899
Max. virtual memory (cumulated for all children) (KiB): 536480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.2828
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 38687

runsolver used 2.25266 second user time and 5.88011 second system time

The end

Launcher Data 

Begin job on node45 at 2009-07-16 06:12:37
IDJOB=2080350
IDBENCH=57067
IDSOLVER=734
FILE ID=node45/2080350-1247717557
PBS_JOBID= 9521352
Free space on /tmp= 66380 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-105-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080350-1247717557/watcher-2080350-1247717557 -o /tmp/evaluation-result-2080350-1247717557/solver-2080350-1247717557 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2117710652 HOME/instance-2080350-1247717557.xml

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

MD5SUM BENCH= 29d9042e3e0cc0348db4eadf5baca638
RANDOM SEED=2117710652

node45.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.281
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.281
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:        583912 kB
Buffers:         82156 kB
Cached:         569556 kB
SwapCached:          0 kB
Active:         824308 kB
Inactive:       554840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        583912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1968 kB
Writeback:           0 kB
Mapped:         747856 kB
Slab:            76596 kB
Committed_AS:  1285532 kB
PageTables:       3192 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= 66372 MiB
End job on node45 at 2009-07-16 06:42:49