Trace number 2080316

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 1802.28

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-95-5.xml
MD5SUM484892f9c69de742c864f4edd5e8898a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark244.907
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1185
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.02	c Seed is 757048773
0.00/0.02	c Constructing HOME/instance-2080316-1247717470.xml  with 11445 constraints
0.18/0.20	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-2080316-1247717470/watcher-2080316-1247717470 -o /tmp/evaluation-result-2080316-1247717470/solver-2080316-1247717470 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 757048773 HOME/instance-2080316-1247717470.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.04 2.07 2.06 4/82 13942
/proc/meminfo: memFree=1062320/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=5356 CPUtime=0
/proc/13942/stat : 13942 (pcssolve) R 13940 13942 10734 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58814079 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13942/statm: 1339 241 200 169 0 50 0
[pid=13943] ppid=13942 vsize=3544 CPUtime=0
/proc/13943/stat : 13943 (fgrep) R 13942 13942 10734 0 -1 4194304 115 0 0 0 0 0 0 0 22 0 1 0 58814080 3629056 82 996147200 4194304 4274172 548682068976 18446744073709551615 252429383540 0 0 4096 0 0 0 0 17 1 0 0
/proc/13943/statm: 886 82 65 19 0 10 0

[startup+0.067125 s]
/proc/loadavg: 2.04 2.07 2.06 4/82 13942
/proc/meminfo: memFree=1062320/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=5532 CPUtime=0.04
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 1045 661 0 0 4 0 0 0 23 0 1 0 58814079 5664768 676 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 1383 676 388 171 0 308 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5532

[startup+0.102128 s]
/proc/loadavg: 2.04 2.07 2.06 4/82 13942
/proc/meminfo: memFree=1062320/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=6528 CPUtime=0.07
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 1314 661 0 0 7 0 0 0 23 0 1 0 58814079 6684672 835 996147200 134512640 135215973 4294956304 18446744073709551615 4159787344 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 1632 835 388 171 0 557 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6528

[startup+0.302161 s]
/proc/loadavg: 2.04 2.07 2.06 4/82 13942
/proc/meminfo: memFree=1062320/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=11584 CPUtime=0.28
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 3000 661 0 0 27 1 0 0 25 0 1 0 58814079 11862016 2048 996147200 134512640 135215973 4294956304 18446744073709551615 134533315 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 2896 2048 404 171 0 1821 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11584

[startup+0.701191 s]
/proc/loadavg: 2.04 2.07 2.06 4/82 13942
/proc/meminfo: memFree=1062320/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=15532 CPUtime=0.68
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 4464 661 0 0 66 2 0 0 25 0 1 0 58814079 15904768 2886 996147200 134512640 135215973 4294956304 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 3883 2886 408 171 0 2808 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15532

[startup+1.50127 s]
/proc/loadavg: 2.04 2.07 2.06 3/83 13947
/proc/meminfo: memFree=1052200/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=15660 CPUtime=1.47
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 4514 661 0 0 145 2 0 0 25 0 1 0 58814079 16035840 2936 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 3915 2936 408 171 0 2840 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15660

[startup+3.10143 s]
/proc/loadavg: 2.04 2.07 2.06 3/83 13947
/proc/meminfo: memFree=1051880/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=15796 CPUtime=3.06
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 4594 661 0 0 304 2 0 0 25 0 1 0 58814079 16175104 3016 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 3949 3016 408 171 0 2874 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15796

[startup+6.30175 s]
/proc/loadavg: 2.03 2.07 2.06 3/83 13947
/proc/meminfo: memFree=1051112/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=16448 CPUtime=6.23
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 4779 661 0 0 621 2 0 0 25 0 1 0 58814079 16842752 3201 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 4112 3201 408 171 0 3037 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 16448

[startup+12.7014 s]
/proc/loadavg: 2.03 2.07 2.06 3/83 13947
/proc/meminfo: memFree=1047720/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=18252 CPUtime=12.56
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 5349 661 0 0 1254 2 0 0 25 0 1 0 58814079 18690048 3673 996147200 134512640 135215973 4294956304 18446744073709551615 135097353 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 4563 3673 408 171 0 3488 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 18252

[startup+25.5027 s]
/proc/loadavg: 2.02 2.07 2.05 3/83 13947
/proc/meminfo: memFree=1041896/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=22276 CPUtime=25.24
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 6450 661 0 0 2521 3 0 0 25 0 1 0 58814079 22810624 4645 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 5569 4645 408 171 0 4494 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 22276

[startup+51.1022 s]
/proc/loadavg: 2.09 2.07 2.06 3/83 13947
/proc/meminfo: memFree=872872/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=32508 CPUtime=50.61
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 9287 661 0 0 5055 6 0 0 25 0 1 0 58814079 33288192 6392 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 8127 6392 408 171 0 7052 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 32508

[startup+102.307 s]
/proc/loadavg: 2.04 2.06 2.05 3/83 13947
/proc/meminfo: memFree=823336/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=45504 CPUtime=101.33
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 12805 661 0 0 10124 9 0 0 25 0 1 0 58814079 46596096 9268 996147200 134512640 135215973 4294956304 18446744073709551615 134590694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13942/statm: 11376 9268 408 171 0 10301 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 45504

[startup+162.302 s]
/proc/loadavg: 2.01 2.05 2.05 3/73 13979
/proc/meminfo: memFree=1441472/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=59620 CPUtime=160.79
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 16768 661 0 0 16068 11 0 0 25 0 1 0 58814079 61050880 13231 996147200 134512640 135215973 4294956304 18446744073709551615 134907955 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 14905 13231 408 171 0 13830 0
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (KiB) 59620

[startup+222.302 s]
/proc/loadavg: 2.04 2.05 2.05 3/73 13979
/proc/meminfo: memFree=1406408/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=77360 CPUtime=220.78
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 21561 661 0 0 22063 15 0 0 25 0 1 0 58814079 79216640 16999 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 19340 16999 408 171 0 18265 0
Current children cumulated CPU time (s) 220.78
Current children cumulated vsize (KiB) 77360

[startup+282.302 s]
/proc/loadavg: 2.01 2.04 2.04 3/73 13979
/proc/meminfo: memFree=1377864/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=89336 CPUtime=280.76
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 24861 661 0 0 28058 18 0 0 25 0 1 0 58814079 91480064 20299 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 22334 20299 408 171 0 21259 0
Current children cumulated CPU time (s) 280.76
Current children cumulated vsize (KiB) 89336

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.03 3/73 13979
/proc/meminfo: memFree=1343496/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=105596 CPUtime=340.73
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 29337 661 0 0 34052 21 0 0 25 0 1 0 58814079 108130304 24775 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 26399 24775 408 171 0 25324 0
Current children cumulated CPU time (s) 340.73
Current children cumulated vsize (KiB) 105596

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.03 3/73 13979
/proc/meminfo: memFree=1313160/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=130760 CPUtime=400.71
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 36047 661 0 0 40046 25 0 0 25 0 1 0 58814079 133898240 29146 996147200 134512640 135215973 4294956304 18446744073709551615 135098022 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 32690 29146 408 171 0 31615 0
Current children cumulated CPU time (s) 400.71
Current children cumulated vsize (KiB) 130760

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.02 3/73 13979
/proc/meminfo: memFree=1283016/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=144828 CPUtime=460.68
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 40038 661 0 0 46041 27 0 0 25 0 1 0 58814079 148303872 33137 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 36207 33137 408 171 0 35132 0
Current children cumulated CPU time (s) 460.68
Current children cumulated vsize (KiB) 144828

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.02 3/73 13979
/proc/meminfo: memFree=1252936/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=157624 CPUtime=520.66
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 43840 661 0 0 52035 31 0 0 25 0 1 0 58814079 161406976 36939 996147200 134512640 135215973 4294956304 18446744073709551615 134648324 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 39406 36939 408 171 0 38331 0
Current children cumulated CPU time (s) 520.66
Current children cumulated vsize (KiB) 157624

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.01 3/73 13979
/proc/meminfo: memFree=1219272/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=171776 CPUtime=580.63
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 47742 661 0 0 58030 33 0 0 25 0 1 0 58814079 175898624 40841 996147200 134512640 135215973 4294956304 18446744073709551615 134982977 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 42944 40841 408 171 0 41869 0
Current children cumulated CPU time (s) 580.63
Current children cumulated vsize (KiB) 171776

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 13979
/proc/meminfo: memFree=1187784/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=186720 CPUtime=640.62
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 51930 661 0 0 64025 37 0 0 25 0 1 0 58814079 191201280 45029 996147200 134512640 135215973 4294956304 18446744073709551615 135094648 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 46680 45029 408 171 0 45605 0
Current children cumulated CPU time (s) 640.62

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=1091784/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=249548 CPUtime=820.54
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 69106 661 0 0 82005 49 0 0 25 0 1 0 58814079 255537152 58108 996147200 134512640 135215973 4294956304 18446744073709551615 134590591 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 62387 58108 408 171 0 61312 0
Current children cumulated CPU time (s) 820.54
Current children cumulated vsize (KiB) 249548

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=1063176/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=262872 CPUtime=880.52
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 72820 661 0 0 88000 52 0 0 25 0 1 0 58814079 269180928 61822 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 65718 61822 408 171 0 64643 0
Current children cumulated CPU time (s) 880.52
Current children cumulated vsize (KiB) 262872

[startup+942.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 13979
/proc/meminfo: memFree=1028744/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=283816 CPUtime=940.5
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 78410 661 0 0 93995 55 0 0 25 0 1 0 58814079 290627584 66899 996147200 134512640 135215973 4294956304 18446744073709551615 4158960095 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 70954 66899 408 171 0 69879 0
Current children cumulated CPU time (s) 940.5
Current children cumulated vsize (KiB) 283816

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/73 13979
/proc/meminfo: memFree=998600/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=293852 CPUtime=1000.47
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 81287 661 0 0 99990 57 0 0 25 0 1 0 58814079 300904448 69776 996147200 134512640 135215973 4294956304 18446744073709551615 134581357 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 73463 69776 408 171 0 72388 0
Current children cumulated CPU time (s) 1000.47
Current children cumulated vsize (KiB) 293852

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=969928/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=307104 CPUtime=1060.44
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 84959 661 0 0 105985 59 0 0 25 0 1 0 58814079 314474496 73448 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 76776 73448 408 171 0 75701 0
Current children cumulated CPU time (s) 1060.44
Current children cumulated vsize (KiB) 307104

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=932616/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=320028 CPUtime=1120.43
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 88526 661 0 0 111981 62 0 0 25 0 1 0 58814079 327708672 77015 996147200 134512640 135215973 4294956304 18446744073709551615 134583656 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 80007 77015 408 171 0 78932 0
Current children cumulated CPU time (s) 1120.43
Current children cumulated vsize (KiB) 320028

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=909960/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=332848 CPUtime=1180.4
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 92124 661 0 0 117975 65 0 0 25 0 1 0 58814079 340836352 80613 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 83212 80613 408 171 0 82137 0
Current children cumulated CPU time (s) 1180.4
Current children cumulated vsize (KiB) 332848

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=881544/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=346208 CPUtime=1240.37
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 95821 661 0 0 123968 69 0 0 25 0 1 0 58814079 354516992 84310 996147200 134512640 135215973 4294956304 18446744073709551615 134581944 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 86552 84310 408 171 0 85477 0
Current children cumulated CPU time (s) 1240.37
Current children cumulated vsize (KiB) 346208

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=851144/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=359868 CPUtime=1300.35
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 99577 661 0 0 129963 72 0 0 25 0 1 0 58814079 368504832 88066 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 89967 88066 408 171 0 88892 0
Current children cumulated CPU time (s) 1300.35
Current children cumulated vsize (KiB) 359868

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=823304/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=373772 CPUtime=1360.33
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 103427 661 0 0 135958 75 0 0 25 0 1 0 58814079 382742528 91916 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 93443 91916 408 171 0 92368 0
Current children cumulated CPU time (s) 1360.33
Current children cumulated vsize (KiB) 373772

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=798408/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=418744 CPUtime=1420.31
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 114971 661 0 0 141949 82 0 0 25 0 1 0 58814079 428793856 95267 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 104686 95267 408 171 0 103611 0
Current children cumulated CPU time (s) 1420.31
Current children cumulated vsize (KiB) 418744

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=772360/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=431592 CPUtime=1480.29
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 118511 661 0 0 147945 84 0 0 25 0 1 0 58814079 441950208 98807 996147200 134512640 135215973 4294956304 18446744073709551615 134617702 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 107898 98807 408 171 0 106823 0
Current children cumulated CPU time (s) 1480.29
Current children cumulated vsize (KiB) 431592

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=743752/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=444648 CPUtime=1540.26
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 122137 661 0 0 153939 87 0 0 25 0 1 0 58814079 455319552 102433 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 111162 102433 408 171 0 110087 0
Current children cumulated CPU time (s) 1540.26
Current children cumulated vsize (KiB) 444648

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=713800/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=459252 CPUtime=1600.23
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 126145 661 0 0 159933 90 0 0 25 0 1 0 58814079 470274048 106441 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 114813 106441 408 171 0 113738 0
Current children cumulated CPU time (s) 1600.23
Current children cumulated vsize (KiB) 459252

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=683528/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=472156 CPUtime=1660.21
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 129720 661 0 0 165928 93 0 0 25 0 1 0 58814079 483487744 110016 996147200 134512640 135215973 4294956304 18446744073709551615 134600490 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 118039 110016 408 171 0 116964 0
Current children cumulated CPU time (s) 1660.21
Current children cumulated vsize (KiB) 472156

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=652616/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=488092 CPUtime=1720.19
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 134069 661 0 0 171923 96 0 0 25 0 1 0 58814079 499806208 114365 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 122023 114365 408 171 0 120948 0
Current children cumulated CPU time (s) 1720.19
Current children cumulated vsize (KiB) 488092

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=617608/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=505616 CPUtime=1780.16
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 138820 661 0 0 177917 99 0 0 25 0 1 0 58814079 517750784 119116 996147200 134512640 135215973 4294956304 18446744073709551615 134648314 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 126404 119116 408 171 0 125329 0
Current children cumulated CPU time (s) 1780.16
Current children cumulated vsize (KiB) 505616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13979
/proc/meminfo: memFree=606536/2055920 swapFree=4192812/4192956
[pid=13942] ppid=13940 vsize=511172 CPUtime=1800.06
/proc/13942/stat : 13942 (pcs.big) R 13940 13942 10734 0 -1 4194304 140353 661 0 0 179906 100 0 0 25 0 1 0 58814079 523440128 120649 996147200 134512640 135215973 4294956304 18446744073709551615 134648469 0 0 4096 0 0 0 0 17 0 0 0
/proc/13942/statm: 127793 120649 408 171 0 126718 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 511172

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): 1802.28
CPU time (s): 1800.15
CPU user time (s): 1799.07
CPU system time (s): 1.08183
CPU usage (%): 99.8817
Max. virtual memory (cumulated for all children) (KiB): 511172

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

runsolver used 2.72458 second user time and 5.38218 second system time

The end

Launcher Data 

Begin job on node12 at 2009-07-16 06:11:11
IDJOB=2080316
IDBENCH=57057
IDSOLVER=733
FILE ID=node12/2080316-1247717470
PBS_JOBID= 9521423
Free space on /tmp= 66272 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080316-1247717470/watcher-2080316-1247717470 -o /tmp/evaluation-result-2080316-1247717470/solver-2080316-1247717470 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 757048773 HOME/instance-2080316-1247717470.xml

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

MD5SUM BENCH= 484892f9c69de742c864f4edd5e8898a
RANDOM SEED=757048773

node12.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.240
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.240
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:       1062800 kB
Buffers:         80748 kB
Cached:         372948 kB
SwapCached:          0 kB
Active:         534852 kB
Inactive:       376124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1062800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1968 kB
Writeback:           0 kB
Mapped:         477680 kB
Slab:            66588 kB
Committed_AS:  1123060 kB
PageTables:       2684 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= 66268 MiB
End job on node12 at 2009-07-16 06:41:15