Trace number 2080251

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

General information on the benchmark

Namecsp/js-taillard-20-15/
normalized-js-taillard-20-15-100-6.xml
MD5SUM63cd5470592839865b6357c53b6681fa
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 benchmark167.471
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1495
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
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.01	c Seed is 1267175303
0.00/0.01	c Constructing HOME/instance-2080251-1247717397.xml  with 20510 constraints
0.28/0.32	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-2080251-1247717397/watcher-2080251-1247717397 -o /tmp/evaluation-result-2080251-1247717397/solver-2080251-1247717397 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1267175303 HOME/instance-2080251-1247717397.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.27 2.12 2.04 4/83 13847
/proc/meminfo: memFree=767944/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=5356 CPUtime=0
/proc/13847/stat : 13847 (pcssolve) R 13845 13847 12510 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58804349 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251601152671 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13847/statm: 1339 241 200 169 0 50 0
[pid=13848] ppid=13847 vsize=5356 CPUtime=0
/proc/13848/stat : 13848 (pcssolve) R 13847 13847 12510 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58804350 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251601152671 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13848/statm: 1339 241 200 169 0 50 0

[startup+0.0236449 s]
/proc/loadavg: 2.27 2.12 2.04 4/83 13847
/proc/meminfo: memFree=767944/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=4628 CPUtime=0
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 838 661 0 0 0 0 0 0 24 0 1 0 58804349 4739072 469 996147200 134512640 135215973 4294956304 18446744073709551615 134773486 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 1157 469 388 171 0 82 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4628

[startup+0.101659 s]
/proc/loadavg: 2.27 2.12 2.04 4/83 13847
/proc/meminfo: memFree=767944/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=6776 CPUtime=0.08
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 1378 661 0 0 8 0 0 0 24 0 1 0 58804349 6938624 888 996147200 134512640 135215973 4294956304 18446744073709551615 134591810 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 1694 888 388 171 0 619 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6776

[startup+0.301683 s]
/proc/loadavg: 2.27 2.12 2.04 4/83 13847
/proc/meminfo: memFree=767944/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=11892 CPUtime=0.28
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 2980 661 0 0 27 1 0 0 25 0 1 0 58804349 12177408 1927 996147200 134512640 135215973 4294956304 18446744073709551615 12095061 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 2973 1927 388 171 0 1898 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11892

[startup+0.701726 s]
/proc/loadavg: 2.27 2.12 2.04 4/83 13847
/proc/meminfo: memFree=767944/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=20348 CPUtime=0.67
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 6113 661 0 0 65 2 0 0 25 0 1 0 58804349 20836352 4089 996147200 134512640 135215973 4294956304 18446744073709551615 4158960542 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 5087 4089 404 171 0 4012 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20348

[startup+1.50182 s]
/proc/loadavg: 2.27 2.12 2.04 3/84 13852
/proc/meminfo: memFree=750720/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=25616 CPUtime=1.46
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 8019 661 0 0 143 3 0 0 25 0 1 0 58804349 26230784 5162 996147200 134512640 135215973 4294956304 18446744073709551615 135094992 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 6404 5162 408 171 0 5329 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25616

[startup+3.10299 s]
/proc/loadavg: 2.27 2.12 2.04 3/84 13852
/proc/meminfo: memFree=748544/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=25712 CPUtime=3.05
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 8047 661 0 0 302 3 0 0 25 0 1 0 58804349 26329088 5190 996147200 134512640 135215973 4294956304 18446744073709551615 134908140 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 6428 5190 408 171 0 5353 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 25712

[startup+6.30135 s]
/proc/loadavg: 2.25 2.12 2.04 3/84 13852
/proc/meminfo: memFree=743040/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=36500 CPUtime=6.23
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 11077 661 0 0 618 5 0 0 25 0 1 0 58804349 37376000 6555 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 9125 6555 408 171 0 8050 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 36500

[startup+12.7011 s]
/proc/loadavg: 2.23 2.12 2.04 3/84 13852
/proc/meminfo: memFree=742536/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=36940 CPUtime=12.57
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 11178 661 0 0 1252 5 0 0 25 0 1 0 58804349 37826560 6656 996147200 134512640 135215973 4294956304 18446744073709551615 134597302 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 9235 6656 408 171 0 8160 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 36940

[startup+25.5015 s]
/proc/loadavg: 2.18 2.11 2.04 3/84 13852
/proc/meminfo: memFree=741576/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=38176 CPUtime=25.26
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 11551 661 0 0 2521 5 0 0 25 0 1 0 58804349 39092224 6931 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 9544 6931 408 171 0 8469 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 38176

[startup+51.1013 s]
/proc/loadavg: 2.17 2.12 2.04 3/84 13852
/proc/meminfo: memFree=739208/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=40432 CPUtime=50.63
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 12260 661 0 0 5056 7 0 0 25 0 1 0 58804349 41402368 7511 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 10108 7511 408 171 0 9033 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 40432

[startup+102.306 s]
/proc/loadavg: 2.12 2.11 2.04 3/84 13852
/proc/meminfo: memFree=731016/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=48380 CPUtime=101.39
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 14547 661 0 0 10130 9 0 0 25 0 1 0 58804349 49541120 9541 996147200 134512640 135215973 4294956304 18446744073709551615 135095310 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 12095 9541 408 171 0 11020 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 48380

[startup+162.302 s]
/proc/loadavg: 2.15 2.12 2.04 3/84 13852
/proc/meminfo: memFree=720136/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=60372 CPUtime=160.86
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 17792 661 0 0 16075 11 0 0 25 0 1 0 58804349 61820928 12273 996147200 134512640 135215973 4294956304 18446744073709551615 134957648 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 15093 12273 408 171 0 14018 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 60372

[startup+222.301 s]
/proc/loadavg: 2.06 2.10 2.04 3/84 13852
/proc/meminfo: memFree=711304/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=69316 CPUtime=220.34
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 20259 661 0 0 22021 13 0 0 25 0 1 0 58804349 70979584 14450 996147200 134512640 135215973 4294956304 18446744073709551615 134588248 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 17329 14450 408 171 0 16254 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 69316

[startup+282.301 s]
/proc/loadavg: 2.09 2.09 2.04 3/84 13852
/proc/meminfo: memFree=697608/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=85840 CPUtime=279.81
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 24712 661 0 0 27966 15 0 0 25 0 1 0 58804349 87900160 17878 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 21460 17878 408 171 0 20385 0
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (KiB) 85840

[startup+342.302 s]
/proc/loadavg: 2.10 2.09 2.04 3/84 13852
/proc/meminfo: memFree=686280/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=95580 CPUtime=339.3
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 27528 661 0 0 33912 18 0 0 25 0 1 0 58804349 97873920 20694 996147200 134512640 135215973 4294956304 18446744073709551615 4158960503 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 23895 20694 408 171 0 22820 0
Current children cumulated CPU time (s) 339.3
Current children cumulated vsize (KiB) 95580

[startup+402.302 s]
/proc/loadavg: 2.04 2.07 2.03 3/84 13852
/proc/meminfo: memFree=672776/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=107776 CPUtime=398.78
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 30942 661 0 0 39858 20 0 0 25 0 1 0 58804349 110362624 24108 996147200 134512640 135215973 4294956304 18446744073709551615 135094589 0 0 4096 0 0 0 0 17 0 0 0
/proc/13847/statm: 26944 24108 408 171 0 25869 0
Current children cumulated CPU time (s) 398.78
Current children cumulated vsize (KiB) 107776

[startup+462.301 s]
/proc/loadavg: 1.97 2.04 2.02 3/74 13885
/proc/meminfo: memFree=1387232/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=121408 CPUtime=458.46
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 34407 661 0 0 45823 23 0 0 25 0 1 0 58804349 124321792 27573 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 30352 27573 408 171 0 29277 0
Current children cumulated CPU time (s) 458.46
Current children cumulated vsize (KiB) 121408

[startup+522.302 s]
/proc/loadavg: 1.99 2.03 2.01 3/74 13885
/proc/meminfo: memFree=1372448/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=131648 CPUtime=518.22
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 37226 661 0 0 51798 24 0 0 25 0 1 0 58804349 134807552 30392 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 32912 30392 408 171 0 31837 0
Current children cumulated CPU time (s) 518.22
Current children cumulated vsize (KiB) 131648

[startup+582.302 s]
/proc/loadavg: 1.99 2.02 2.01 3/74 13885
/proc/meminfo: memFree=1356064/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=155864 CPUtime=577.99
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 43769 661 0 0 57771 28 0 0 25 0 1 0 58804349 159604736 34308 996147200 134512640 135215973 4294956304 18446744073709551615 134902564 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 38966 34308 408 171 0 37891 0
Current children cumulated CPU time (s) 577.99
Current children cumulated vsize (KiB) 155864

[startup+642.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 13885
/proc/meminfo: memFree=1348128/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=161872 CPUtime=637.76
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 45501 661 0 0 63746 30 0 0 25 0 1 0 58804349 165756928 36040 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 40468 36040 408 171 0 39393 0
Current children cumulated CPU time (s) 637.76

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

[startup+822.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1312352/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=181768 CPUtime=817.03
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 51214 661 0 0 81668 35 0 0 25 0 1 0 58804349 186130432 41753 996147200 134512640 135215973 4294956304 18446744073709551615 134592043 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 45442 41753 408 171 0 44367 0
Current children cumulated CPU time (s) 817.03
Current children cumulated vsize (KiB) 181768

[startup+882.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1306016/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=186472 CPUtime=876.8
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 52565 661 0 0 87644 36 0 0 25 0 1 0 58804349 190947328 43104 996147200 134512640 135215973 4294956304 18446744073709551615 134902569 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 46618 43104 408 171 0 45543 0
Current children cumulated CPU time (s) 876.8
Current children cumulated vsize (KiB) 186472

[startup+942.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1297248/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=191852 CPUtime=936.57
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 54111 661 0 0 93619 38 0 0 25 0 1 0 58804349 196456448 44650 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 47963 44650 408 171 0 46888 0
Current children cumulated CPU time (s) 936.57
Current children cumulated vsize (KiB) 191852

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1286752/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=197092 CPUtime=996.33
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 55602 661 0 0 99594 39 0 0 25 0 1 0 58804349 201822208 46141 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 49273 46141 408 171 0 48198 0
Current children cumulated CPU time (s) 996.33
Current children cumulated vsize (KiB) 197092

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1267936/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=204924 CPUtime=1056.09
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 57798 661 0 0 105569 40 0 0 25 0 1 0 58804349 209842176 48337 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 51231 48337 408 171 0 50156 0
Current children cumulated CPU time (s) 1056.09
Current children cumulated vsize (KiB) 204924

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1246176/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=229004 CPUtime=1115.86
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 64075 661 0 0 111542 44 0 0 25 0 1 0 58804349 234500096 50517 996147200 134512640 135215973 4294956304 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 57251 50517 408 171 0 56176 0
Current children cumulated CPU time (s) 1115.86
Current children cumulated vsize (KiB) 229004

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1226400/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=235756 CPUtime=1175.63
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 65991 661 0 0 117517 46 0 0 25 0 1 0 58804349 241414144 52433 996147200 134512640 135215973 4294956304 18446744073709551615 134982832 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 58939 52433 408 171 0 57864 0
Current children cumulated CPU time (s) 1175.63
Current children cumulated vsize (KiB) 235756

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1209120/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=243712 CPUtime=1235.39
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 68212 661 0 0 123492 47 0 0 25 0 1 0 58804349 249561088 54654 996147200 134512640 135215973 4294956304 18446744073709551615 134983200 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 60928 54654 408 171 0 59853 0
Current children cumulated CPU time (s) 1235.39
Current children cumulated vsize (KiB) 243712

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1183328/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=253228 CPUtime=1295.16
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 70873 661 0 0 129467 49 0 0 25 0 1 0 58804349 259305472 57315 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 63307 57315 408 171 0 62232 0
Current children cumulated CPU time (s) 1295.16
Current children cumulated vsize (KiB) 253228

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1171680/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=262528 CPUtime=1354.93
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 73438 661 0 0 135441 52 0 0 25 0 1 0 58804349 268828672 59880 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 65632 59880 408 171 0 64557 0
Current children cumulated CPU time (s) 1354.93
Current children cumulated vsize (KiB) 262528

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1156768/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=271460 CPUtime=1414.69
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 75930 661 0 0 141416 53 0 0 25 0 1 0 58804349 277975040 62372 996147200 134512640 135215973 4294956304 18446744073709551615 134592043 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 67865 62372 408 171 0 66790 0
Current children cumulated CPU time (s) 1414.69
Current children cumulated vsize (KiB) 271460

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1142240/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=279928 CPUtime=1474.44
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 78309 661 0 0 147389 55 0 0 25 0 1 0 58804349 286646272 64751 996147200 134512640 135215973 4294956304 18446744073709551615 134583710 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 69982 64751 408 171 0 68907 0
Current children cumulated CPU time (s) 1474.44
Current children cumulated vsize (KiB) 279928

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1122592/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=288644 CPUtime=1534.21
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 80761 661 0 0 153364 57 0 0 25 0 1 0 58804349 295571456 67203 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 72161 67203 408 171 0 71086 0
Current children cumulated CPU time (s) 1534.21
Current children cumulated vsize (KiB) 288644

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1105760/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=296944 CPUtime=1593.98
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 83102 661 0 0 159339 59 0 0 25 0 1 0 58804349 304070656 69544 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 74236 69544 408 171 0 73161 0
Current children cumulated CPU time (s) 1593.98
Current children cumulated vsize (KiB) 296944

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1095456/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=306052 CPUtime=1653.74
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 85663 661 0 0 165311 63 0 0 25 0 1 0 58804349 313397248 72105 996147200 134512640 135215973 4294956304 18446744073709551615 134609849 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 76513 72105 408 171 0 75438 0
Current children cumulated CPU time (s) 1653.74
Current children cumulated vsize (KiB) 306052

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1082208/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=315288 CPUtime=1713.5
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 88271 661 0 0 171286 64 0 0 25 0 1 0 58804349 322854912 74713 996147200 134512640 135215973 4294956304 18446744073709551615 135097337 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 78822 74713 408 171 0 77747 0
Current children cumulated CPU time (s) 1713.5
Current children cumulated vsize (KiB) 315288

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1066848/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=324076 CPUtime=1773.27
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 90741 661 0 0 177260 67 0 0 25 0 1 0 58804349 331853824 77183 996147200 134512640 135215973 4294956304 18446744073709551615 134582251 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 81019 77183 408 171 0 79944 0
Current children cumulated CPU time (s) 1773.27
Current children cumulated vsize (KiB) 324076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.2 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1060064/2055920 swapFree=4192812/4192956
[pid=13847] ppid=13845 vsize=328096 CPUtime=1800.06
/proc/13847/stat : 13847 (pcs.big) R 13845 13847 12510 0 -1 4194304 91872 661 0 0 179939 67 0 0 25 0 1 0 58804349 335970304 78314 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 1 0 0
/proc/13847/statm: 82024 78314 408 171 0 80949 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 328096

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.26
CPU time (s): 1800.13
CPU user time (s): 1799.4
CPU system time (s): 0.731888
CPU usage (%): 99.4958
Max. virtual memory (cumulated for all children) (KiB): 328096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.731888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92533
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= 19
involuntary context switches= 25454

runsolver used 1.65475 second user time and 4.99224 second system time

The end

Launcher Data 

Begin job on node91 at 2009-07-16 06:09:57
IDJOB=2080251
IDBENCH=57045
IDSOLVER=734
FILE ID=node91/2080251-1247717397
PBS_JOBID= 9521443
Free space on /tmp= 66188 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-100-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080251-1247717397/watcher-2080251-1247717397 -o /tmp/evaluation-result-2080251-1247717397/solver-2080251-1247717397 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1267175303 HOME/instance-2080251-1247717397.xml

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

MD5SUM BENCH= 63cd5470592839865b6357c53b6681fa
RANDOM SEED=1267175303

node91.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.241
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.241
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:        768424 kB
Buffers:         69184 kB
Cached:         387028 kB
SwapCached:          0 kB
Active:         797380 kB
Inactive:       419652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        768424 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2180 kB
Writeback:           0 kB
Mapped:         781160 kB
Slab:            54088 kB
Committed_AS:  1358564 kB
PageTables:       3240 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= 66196 MiB
End job on node91 at 2009-07-16 06:40:09