Trace number 2086740

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.15 1808.86

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-9.xml
MD5SUM501f6fc5db626afa3267b44860e8f65f
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 benchmark46.7539
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1697
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
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 1580799851
0.00/0.02	c Constructing HOME/instance-2086740-1247726772.xml  with 27360 constraints
0.38/0.43	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-2086740-1247726772/watcher-2086740-1247726772 -o /tmp/evaluation-result-2086740-1247726772/solver-2086740-1247726772 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1580799851 HOME/instance-2086740-1247726772.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/81 13916
/proc/meminfo: memFree=1437712/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=5356 CPUtime=0
/proc/13916/stat : 13916 (pcssolve) R 13914 13916 13565 0 -1 4194304 264 0 0 0 0 0 0 0 19 0 1 0 59741261 5484544 232 996147200 4194304 4889804 548682068800 18446744073709551615 269930158171 0 0 4100 65536 0 0 0 17 0 0 0
/proc/13916/statm: 1339 232 193 169 0 50 0

[startup+0.102541 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 13916
/proc/meminfo: memFree=1437712/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=6520 CPUtime=0.07
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 1313 663 0 0 7 0 0 0 21 0 1 0 59741261 6676480 870 996147200 134512640 135215973 4294956304 18446744073709551615 9180795 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 1630 870 388 171 0 555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6520

[startup+0.201551 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 13916
/proc/meminfo: memFree=1437712/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=8544 CPUtime=0.17
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 1978 663 0 0 16 1 0 0 22 0 1 0 59741261 8749056 1326 996147200 134512640 135215973 4294956304 18446744073709551615 9180795 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 2136 1326 388 171 0 1061 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8544

[startup+0.301562 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 13916
/proc/meminfo: memFree=1437712/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=10892 CPUtime=0.27
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 2734 663 0 0 26 1 0 0 23 0 1 0 59741261 11153408 1827 996147200 134512640 135215973 4294956304 18446744073709551615 134842157 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 2723 1827 388 171 0 1648 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10892

[startup+0.701609 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 13916
/proc/meminfo: memFree=1437712/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=22988 CPUtime=0.68
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 6688 663 0 0 64 4 0 0 25 0 1 0 59741261 23539712 4557 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 5747 4557 404 171 0 4672 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22988

[startup+1.5017 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1415552/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=38536 CPUtime=1.46
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 11983 663 0 0 140 6 0 0 25 0 1 0 59741261 39460864 7354 996147200 134512640 135215973 4294956304 18446744073709551615 8862836 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 9634 7354 408 171 0 8559 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38536

[startup+3.10189 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1409536/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=38708 CPUtime=3.06
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 12083 663 0 0 300 6 0 0 25 0 1 0 59741261 39636992 7454 996147200 134512640 135215973 4294956304 18446744073709551615 134585771 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 9677 7454 408 171 0 8602 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38708

[startup+6.30227 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1407360/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=38868 CPUtime=6.25
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 12559 663 0 0 618 7 0 0 25 0 1 0 59741261 39800832 7930 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 9717 7930 408 171 0 8642 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 38868

[startup+12.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1406792/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=39408 CPUtime=12.61
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 12725 663 0 0 1254 7 0 0 25 0 1 0 59741261 40353792 8044 996147200 134512640 135215973 4294956304 18446744073709551615 134588323 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 9852 8044 408 171 0 8777 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 39408

[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1405896/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=40424 CPUtime=25.34
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 13039 663 0 0 2527 7 0 0 25 0 1 0 59741261 41394176 8293 996147200 134512640 135215973 4294956304 18446744073709551615 135094328 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 10106 8293 408 171 0 9031 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 40424

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1402888/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=43552 CPUtime=50.81
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 13917 663 0 0 5073 8 0 0 25 0 1 0 59741261 44597248 9042 996147200 134512640 135215973 4294956304 18446744073709551615 134588235 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 10888 9042 408 171 0 9813 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 43552

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1396040/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=50604 CPUtime=101.77
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 15902 663 0 0 10167 10 0 0 25 0 1 0 59741261 51818496 10770 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 12651 10770 408 171 0 11576 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 50604

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1387528/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=60212 CPUtime=161.46
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 18544 663 0 0 16134 12 0 0 25 0 1 0 59741261 61657088 12899 996147200 134512640 135215973 4294956304 18446744073709551615 134902603 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 15053 12899 408 171 0 13978 0
Current children cumulated CPU time (s) 161.46
Current children cumulated vsize (KiB) 60212

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1374856/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=71996 CPUtime=221.17
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 21910 663 0 0 22102 15 0 0 25 0 1 0 59741261 73723904 16008 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 17999 16008 408 171 0 16924 0
Current children cumulated CPU time (s) 221.17
Current children cumulated vsize (KiB) 71996

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13921
/proc/meminfo: memFree=1367176/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=82644 CPUtime=280.87
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 24863 663 0 0 28069 18 0 0 25 0 1 0 59741261 84627456 17936 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 20661 17936 408 171 0 19586 0
Current children cumulated CPU time (s) 280.87
Current children cumulated vsize (KiB) 82644

[startup+342.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 13923
/proc/meminfo: memFree=1350216/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=93996 CPUtime=340.56
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 28015 663 0 0 34036 20 0 0 25 0 1 0 59741261 96251904 21088 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 23499 21088 408 171 0 22424 0
Current children cumulated CPU time (s) 340.56
Current children cumulated vsize (KiB) 93996

[startup+402.302 s]
/proc/loadavg: 2.09 2.02 2.01 3/82 13923
/proc/meminfo: memFree=1326984/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=101400 CPUtime=400.27
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 30072 663 0 0 40005 22 0 0 25 0 1 0 59741261 103833600 23145 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 25350 23145 408 171 0 24275 0
Current children cumulated CPU time (s) 400.27
Current children cumulated vsize (KiB) 101400

[startup+462.302 s]
/proc/loadavg: 2.03 2.02 2.00 4/82 13923
/proc/meminfo: memFree=1320264/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=107380 CPUtime=459.98
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 31726 663 0 0 45974 24 0 0 25 0 1 0 59741261 109957120 24799 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 26845 24799 408 171 0 25770 0
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (KiB) 107380

[startup+522.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 13923
/proc/meminfo: memFree=1314888/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=112220 CPUtime=519.68
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 33085 663 0 0 51942 26 0 0 25 0 1 0 59741261 114913280 26158 996147200 134512640 135215973 4294956304 18446744073709551615 134533322 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 28055 26158 408 171 0 26980 0
Current children cumulated CPU time (s) 519.68
Current children cumulated vsize (KiB) 112220

[startup+582.302 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 13923
/proc/meminfo: memFree=1308296/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=118076 CPUtime=579.38
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 34715 663 0 0 57911 27 0 0 25 0 1 0 59741261 120909824 27788 996147200 134512640 135215973 4294956304 18446744073709551615 4158960240 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 29519 27788 408 171 0 28444 0
Current children cumulated CPU time (s) 579.38
Current children cumulated vsize (KiB) 118076

[startup+642.302 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 13923
/proc/meminfo: memFree=1301000/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=132844 CPUtime=639.08
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 38590 663 0 0 63878 30 0 0 25 0 1 0 59741261 136032256 29614 996147200 134512640 135215973 4294956304 18446744073709551615 4158960547 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 33211 29614 408 171 0 32136 0
Current children cumulated CPU time (s) 639.08
Current children cumulated vsize (KiB) 132844

[startup+702.302 s]

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

[startup+882.306 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 13923
/proc/meminfo: memFree=1267528/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=162652 CPUtime=877.89
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 46911 663 0 0 87751 38 0 0 25 0 1 0 59741261 166555648 37935 996147200 134512640 135215973 4294956304 18446744073709551615 134590481 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 40663 37935 408 171 0 39588 0
Current children cumulated CPU time (s) 877.89
Current children cumulated vsize (KiB) 162652

[startup+942.301 s]
/proc/loadavg: 1.97 2.02 2.00 3/73 13962
/proc/meminfo: memFree=1363992/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=171736 CPUtime=937.54
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 49435 663 0 0 93714 40 0 0 25 0 1 0 59741261 175857664 40459 996147200 134512640 135215973 4294956304 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 42934 40459 408 171 0 41859 0
Current children cumulated CPU time (s) 937.54
Current children cumulated vsize (KiB) 171736

[startup+1002.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 13962
/proc/meminfo: memFree=866712/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=180220 CPUtime=997.29
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 51862 663 0 0 99688 41 0 0 25 0 1 0 59741261 184545280 42886 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 0 0 0
/proc/13916/statm: 45055 42886 408 171 0 43980 0
Current children cumulated CPU time (s) 997.29
Current children cumulated vsize (KiB) 180220

[startup+1062.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/73 13993
/proc/meminfo: memFree=1236120/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=189076 CPUtime=1056.93
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 54326 663 0 0 105650 43 0 0 25 0 1 0 59741261 193613824 45350 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 47269 45350 408 171 0 46194 0
Current children cumulated CPU time (s) 1056.93
Current children cumulated vsize (KiB) 189076

[startup+1122.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/73 13993
/proc/meminfo: memFree=968280/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=197172 CPUtime=1116.47
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 56600 663 0 0 111603 44 0 0 25 0 1 0 59741261 201904128 47624 996147200 134512640 135215973 4294956304 18446744073709551615 134583360 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 49293 47624 408 171 0 48218 0
Current children cumulated CPU time (s) 1116.47
Current children cumulated vsize (KiB) 197172

[startup+1182.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/83 14035
/proc/meminfo: memFree=1361864/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=220640 CPUtime=1176.04
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 62718 663 0 0 117555 49 0 0 25 0 1 0 59741261 225935360 49645 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 55160 49645 408 171 0 54085 0
Current children cumulated CPU time (s) 1176.04
Current children cumulated vsize (KiB) 220640

[startup+1242.3 s]
/proc/loadavg: 2.19 2.09 2.02 3/83 14035
/proc/meminfo: memFree=1272008/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=229280 CPUtime=1235.79
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 65160 663 0 0 123529 50 0 0 25 0 1 0 59741261 234782720 52087 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 57320 52087 408 171 0 56245 0
Current children cumulated CPU time (s) 1235.79
Current children cumulated vsize (KiB) 229280

[startup+1302.3 s]
/proc/loadavg: 2.19 2.10 2.02 3/83 14035
/proc/meminfo: memFree=1223816/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=238736 CPUtime=1295.57
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 67805 663 0 0 129505 52 0 0 25 0 1 0 59741261 244465664 54732 996147200 134512640 135215973 4294956304 18446744073709551615 134590622 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 59684 54732 408 171 0 58609 0
Current children cumulated CPU time (s) 1295.57
Current children cumulated vsize (KiB) 238736

[startup+1362.3 s]
/proc/loadavg: 2.13 2.10 2.02 3/83 14035
/proc/meminfo: memFree=1206920/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=254960 CPUtime=1355.33
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 72464 663 0 0 135478 55 0 0 25 0 1 0 59741261 261079040 58813 996147200 134512640 135215973 4294956304 18446744073709551615 134592235 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 63740 58813 408 171 0 62665 0
Current children cumulated CPU time (s) 1355.33
Current children cumulated vsize (KiB) 254960

[startup+1422.3 s]
/proc/loadavg: 2.25 2.13 2.04 3/83 14035
/proc/meminfo: memFree=1196488/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=263644 CPUtime=1415.1
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 75069 663 0 0 141453 57 0 0 25 0 1 0 59741261 269971456 61418 996147200 134512640 135215973 4294956304 18446744073709551615 134588938 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 65911 61418 408 171 0 64836 0
Current children cumulated CPU time (s) 1415.1
Current children cumulated vsize (KiB) 263644

[startup+1482.3 s]
/proc/loadavg: 2.23 2.15 2.05 3/82 14035
/proc/meminfo: memFree=1184720/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=274052 CPUtime=1474.87
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 77982 663 0 0 147428 59 0 0 25 0 1 0 59741261 280629248 64331 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 68513 64331 408 171 0 67438 0
Current children cumulated CPU time (s) 1474.87
Current children cumulated vsize (KiB) 274052

[startup+1542.31 s]
/proc/loadavg: 2.25 2.18 2.06 3/82 14035
/proc/meminfo: memFree=1177296/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=280696 CPUtime=1534.63
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 79830 663 0 0 153403 60 0 0 25 0 1 0 59741261 287432704 66179 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 70174 66179 408 171 0 69099 0
Current children cumulated CPU time (s) 1534.63
Current children cumulated vsize (KiB) 280696

[startup+1602.3 s]
/proc/loadavg: 2.31 2.21 2.08 3/82 14035
/proc/meminfo: memFree=1170128/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=287252 CPUtime=1594.39
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 81636 663 0 0 159378 61 0 0 25 0 1 0 59741261 294146048 67985 996147200 134512640 135215973 4294956304 18446744073709551615 134582279 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 71813 67985 408 171 0 70738 0
Current children cumulated CPU time (s) 1594.39
Current children cumulated vsize (KiB) 287252

[startup+1662.3 s]
/proc/loadavg: 2.32 2.23 2.09 3/82 14035
/proc/meminfo: memFree=1162384/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=294100 CPUtime=1654.16
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 83543 663 0 0 165353 63 0 0 25 0 1 0 59741261 301158400 69892 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 73525 69892 408 171 0 72450 0
Current children cumulated CPU time (s) 1654.16
Current children cumulated vsize (KiB) 294100

[startup+1722.3 s]
/proc/loadavg: 2.32 2.24 2.10 3/82 14035
/proc/meminfo: memFree=1150096/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=305200 CPUtime=1713.93
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 86616 663 0 0 171328 65 0 0 25 0 1 0 59741261 312524800 72965 996147200 134512640 135215973 4294956304 18446744073709551615 134958601 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 76300 72965 408 171 0 75225 0
Current children cumulated CPU time (s) 1713.93
Current children cumulated vsize (KiB) 305200

[startup+1782.3 s]
/proc/loadavg: 2.39 2.27 2.12 3/82 14035
/proc/meminfo: memFree=1138128/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=315976 CPUtime=1773.69
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 89574 663 0 0 177302 67 0 0 25 0 1 0 59741261 323559424 75923 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 78994 75923 408 171 0 77919 0
Current children cumulated CPU time (s) 1773.69
Current children cumulated vsize (KiB) 315976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.8 s]
/proc/loadavg: 2.29 2.26 2.12 3/82 14035
/proc/meminfo: memFree=1132240/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=321220 CPUtime=1800.08
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 91060 663 0 0 179940 68 0 0 25 0 1 0 59741261 328929280 77409 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 80305 77409 408 171 0 79230 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 321220

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

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

[startup+1808.8 s]
/proc/loadavg: 2.29 2.26 2.12 3/82 14035
/proc/meminfo: memFree=1132240/2055920 swapFree=4192812/4192956
[pid=13916] ppid=13914 vsize=321220 CPUtime=1800.08
/proc/13916/stat : 13916 (pcs.big) R 13914 13916 13565 0 -1 4194304 91060 663 0 0 179940 68 0 0 25 0 1 0 59741261 328929280 77409 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0
/proc/13916/statm: 80305 77409 408 171 0 79230 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 321220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.86
CPU time (s): 1800.15
CPU user time (s): 1799.41
CPU system time (s): 0.740887
CPU usage (%): 99.5189
Max. virtual memory (cumulated for all children) (KiB): 321220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.740887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91723
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= 27
involuntary context switches= 24429

runsolver used 1.74573 second user time and 4.84826 second system time

The end

Launcher Data 

Begin job on node53 at 2009-07-16 08:46:12
IDJOB=2086740
IDBENCH=58624
IDSOLVER=733
FILE ID=node53/2086740-1247726772
PBS_JOBID= 9521484
Free space on /tmp= 66044 MiB

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

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

MD5SUM BENCH= 501f6fc5db626afa3267b44860e8f65f
RANDOM SEED=1580799851

node53.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.232
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.232
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:       1438192 kB
Buffers:         68832 kB
Cached:         308908 kB
SwapCached:          0 kB
Active:         249972 kB
Inactive:       298820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1438192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2416 kB
Writeback:           0 kB
Mapped:         189524 kB
Slab:            53876 kB
Committed_AS:   728456 kB
PageTables:       2128 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= 66048 MiB
End job on node53 at 2009-07-16 09:16:23