Trace number 2057382

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.12 1810.22

General information on the benchmark

Namecsp/rand-2-24/
normalized-rand-24-24-276-139-57021_ext.xml
MD5SUM8b34465813a216ac0e5d9d1889796917
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark71.6251
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.01	c Seed is 660327067
0.00/0.01	c Constructing HOME/instance-2057382-1247694220.xml  with 6612 constraints
0.08/0.10	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-2057382-1247694220/watcher-2057382-1247694220 -o /tmp/evaluation-result-2057382-1247694220/solver-2057382-1247694220 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 660327067 HOME/instance-2057382-1247694220.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: 0.00 0.00 0.00 3/68 12914
/proc/meminfo: memFree=908616/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=5356 CPUtime=0
/proc/12914/stat : 12914 (pcssolve) R 12912 12914 12816 0 -1 4194304 290 0 0 0 0 0 0 0 18 0 1 0 56487813 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12914/statm: 1339 241 200 169 0 50 0
[pid=12916] ppid=12914 vsize=5356 CPUtime=0
/proc/12916/stat : 12916 (pcssolve) R 12914 12914 12816 0 -1 4194368 22 0 0 0 0 0 0 0 21 0 1 0 56487813 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 228774702375 0 0 4096 0 0 0 0 17 1 0 0
/proc/12916/statm: 0 0 0 0 0 0 0

[startup+0.034309 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12914
/proc/meminfo: memFree=908616/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=4640 CPUtime=0.02
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 878 822 0 0 2 0 0 0 17 0 1 0 56487813 4751360 487 996147200 134512640 135095119 4294956304 18446744073709551615 10192507 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 1160 487 364 142 0 114 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4640

[startup+0.101315 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12914
/proc/meminfo: memFree=908616/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=6484 CPUtime=0.08
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 1296 822 0 0 8 0 0 0 17 0 1 0 56487813 6639616 905 996147200 134512640 135095119 4294956304 18446744073709551615 134608641 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 1621 905 367 142 0 575 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6484

[startup+0.301338 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12914
/proc/meminfo: memFree=908616/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=6484 CPUtime=0.28
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 1370 822 0 0 28 0 0 0 18 0 1 0 56487813 6639616 946 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 1621 946 378 142 0 575 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6484

[startup+0.701384 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12914
/proc/meminfo: memFree=908616/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=6484 CPUtime=0.68
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 1421 822 0 0 68 0 0 0 21 0 1 0 56487813 6639616 932 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 1621 932 378 142 0 575 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6484

[startup+1.50148 s]
/proc/loadavg: 0.08 0.02 0.01 2/69 12920
/proc/meminfo: memFree=906304/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=6872 CPUtime=1.49
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 1557 822 0 0 148 1 0 0 25 0 1 0 56487813 7036928 1003 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 1718 1003 378 142 0 672 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6872

[startup+3.10166 s]
/proc/loadavg: 0.08 0.02 0.01 2/69 12920
/proc/meminfo: memFree=905536/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=8036 CPUtime=3.08
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 1922 822 0 0 307 1 0 0 25 0 1 0 56487813 8228864 1239 996147200 134512640 135095119 4294956304 18446744073709551615 134617003 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 2009 1239 378 142 0 963 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8036

[startup+6.30103 s]
/proc/loadavg: 0.08 0.02 0.01 2/69 12920
/proc/meminfo: memFree=903040/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=10616 CPUtime=6.28
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 2634 822 0 0 627 1 0 0 25 0 1 0 56487813 10870784 1694 996147200 134512640 135095119 4294956304 18446744073709551615 134582516 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 2654 1694 378 142 0 1608 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10616

[startup+12.7028 s]
/proc/loadavg: 0.22 0.05 0.02 2/69 12920
/proc/meminfo: memFree=900992/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=11784 CPUtime=12.68
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 3200 822 0 0 1266 2 0 0 25 0 1 0 56487813 12066816 2260 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 2946 2260 378 142 0 1900 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11784

[startup+25.5012 s]
/proc/loadavg: 0.49 0.11 0.04 3/74 12935
/proc/meminfo: memFree=882776/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=16952 CPUtime=25.39
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 4853 822 0 0 2535 4 0 0 25 0 1 0 56487813 17358848 3143 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 4238 3143 378 142 0 3192 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 16952

[startup+51.1012 s]
/proc/loadavg: 1.01 0.26 0.09 3/74 12935
/proc/meminfo: memFree=856344/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=23780 CPUtime=50.79
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 7084 822 0 0 5074 5 0 0 25 0 1 0 56487813 24350720 4349 996147200 134512640 135095119 4294956304 18446744073709551615 134616896 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 5945 4349 378 142 0 4899 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 23780

[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.19 3/74 12935
/proc/meminfo: memFree=812632/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=29768 CPUtime=101.6
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 9314 822 0 0 10153 7 0 0 25 0 1 0 56487813 30482432 6066 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 7442 6066 378 142 0 6396 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 29768

[startup+162.302 s]
/proc/loadavg: 1.85 0.81 0.30 3/74 12935
/proc/meminfo: memFree=790744/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=41204 CPUtime=161.13
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 12823 822 0 0 16104 9 0 0 25 0 1 0 56487813 42192896 7526 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 10301 7526 378 142 0 9255 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 41204

[startup+222.302 s]
/proc/loadavg: 1.94 1.03 0.41 3/74 12935
/proc/meminfo: memFree=759896/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=53328 CPUtime=220.67
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 16404 822 0 0 22054 13 0 0 25 0 1 0 56487813 54607872 10082 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 13332 10082 378 142 0 12286 0
Current children cumulated CPU time (s) 220.67
Current children cumulated vsize (KiB) 53328

[startup+282.302 s]
/proc/loadavg: 1.98 1.20 0.50 3/74 12935
/proc/meminfo: memFree=726424/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=53328 CPUtime=280.21
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 16873 822 0 0 28008 13 0 0 25 0 1 0 56487813 54607872 10551 996147200 134512640 135095119 4294956304 18446744073709551615 134642631 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 13332 10551 378 142 0 12286 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 53328

[startup+342.302 s]
/proc/loadavg: 1.99 1.34 0.59 3/74 12935
/proc/meminfo: memFree=711640/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=53456 CPUtime=339.76
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 17353 822 0 0 33962 14 0 0 25 0 1 0 56487813 54738944 11031 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 13364 11031 378 142 0 12318 0
Current children cumulated CPU time (s) 339.76
Current children cumulated vsize (KiB) 53456

[startup+402.302 s]
/proc/loadavg: 1.99 1.46 0.68 3/74 12935
/proc/meminfo: memFree=692056/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=55416 CPUtime=399.29
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 18234 822 0 0 39914 15 0 0 25 0 1 0 56487813 56745984 11912 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 13854 11912 378 142 0 12808 0
Current children cumulated CPU time (s) 399.29
Current children cumulated vsize (KiB) 55416

[startup+462.304 s]
/proc/loadavg: 1.99 1.56 0.76 3/74 12935
/proc/meminfo: memFree=672792/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=57368 CPUtime=458.83
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 19083 822 0 0 45867 16 0 0 25 0 1 0 56487813 58744832 12761 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 14342 12761 378 142 0 13296 0
Current children cumulated CPU time (s) 458.83
Current children cumulated vsize (KiB) 57368

[startup+522.301 s]
/proc/loadavg: 1.99 1.63 0.83 3/74 12937
/proc/meminfo: memFree=656536/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=59068 CPUtime=518.37
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 19888 822 0 0 51820 17 0 0 25 0 1 0 56487813 60485632 13566 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 14767 13566 378 142 0 13721 0
Current children cumulated CPU time (s) 518.37
Current children cumulated vsize (KiB) 59068

[startup+582.301 s]
/proc/loadavg: 1.99 1.70 0.90 3/74 12937
/proc/meminfo: memFree=642904/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=77148 CPUtime=577.9
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 24754 822 0 0 57769 21 0 0 25 0 1 0 56487813 78999552 14335 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 19287 14335 378 142 0 18241 0
Current children cumulated CPU time (s) 577.9
Current children cumulated vsize (KiB) 77148

[startup+642.301 s]
/proc/loadavg: 1.99 1.75 0.97 3/74 12937
/proc/meminfo: memFree=630616/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=78856 CPUtime=637.45
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 25474 822 0 0 63723 22 0 0 25 0 1 0 56487813 80748544 15055 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 19714 15055 378 142 0 18668 0
Current children cumulated CPU time (s) 637.45

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.86 1.14 3/71 12989
/proc/meminfo: memFree=828720/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=83404 CPUtime=816.22
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 27533 822 0 0 81593 29 0 0 25 0 1 0 56487813 85405696 17114 996147200 134512640 135095119 4294956304 18446744073709551615 134589533 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 20851 17114 378 142 0 19805 0
Current children cumulated CPU time (s) 816.22
Current children cumulated vsize (KiB) 83404

[startup+882.302 s]
/proc/loadavg: 2.05 1.89 1.20 3/74 13030
/proc/meminfo: memFree=647640/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=875.96
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 33027 822 0 0 87562 34 0 0 25 0 1 0 56487813 106749952 20559 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 20559 378 142 0 25016 0
Current children cumulated CPU time (s) 875.96
Current children cumulated vsize (KiB) 104248

[startup+942.302 s]
/proc/loadavg: 2.01 1.90 1.24 3/74 13573
/proc/meminfo: memFree=772552/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=935.69
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 33294 822 0 0 93531 38 0 0 25 0 1 0 56487813 106749952 20826 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 20826 378 142 0 25016 0
Current children cumulated CPU time (s) 935.69
Current children cumulated vsize (KiB) 104248

[startup+1002.3 s]
/proc/loadavg: 2.07 1.93 1.29 3/74 13573
/proc/meminfo: memFree=740424/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=995.45
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 33559 822 0 0 99507 38 0 0 25 0 1 0 56487813 106749952 21091 996147200 134512640 135095119 4294956304 18446744073709551615 134838128 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 21091 378 142 0 25016 0
Current children cumulated CPU time (s) 995.45
Current children cumulated vsize (KiB) 104248

[startup+1062.3 s]
/proc/loadavg: 2.09 1.96 1.34 3/74 13579
/proc/meminfo: memFree=712640/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=1055.21
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 33823 822 0 0 105482 39 0 0 25 0 1 0 56487813 106749952 21355 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 21355 378 142 0 25016 0
Current children cumulated CPU time (s) 1055.21
Current children cumulated vsize (KiB) 104248

[startup+1122.3 s]
/proc/loadavg: 2.09 1.98 1.38 3/74 13579
/proc/meminfo: memFree=678272/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=1114.97
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 34084 822 0 0 111457 40 0 0 25 0 1 0 56487813 106749952 21616 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 21616 378 142 0 25016 0
Current children cumulated CPU time (s) 1114.97
Current children cumulated vsize (KiB) 104248

[startup+1182.3 s]
/proc/loadavg: 2.08 2.00 1.42 3/74 13579
/proc/meminfo: memFree=641792/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=1174.73
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 34336 822 0 0 117433 40 0 0 25 0 1 0 56487813 106749952 21868 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 21868 378 142 0 25016 0
Current children cumulated CPU time (s) 1174.73
Current children cumulated vsize (KiB) 104248

[startup+1242.3 s]
/proc/loadavg: 2.08 2.01 1.46 3/74 13579
/proc/meminfo: memFree=606208/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=1234.48
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 34593 822 0 0 123408 40 0 0 25 0 1 0 56487813 106749952 22125 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 22125 378 142 0 25016 0
Current children cumulated CPU time (s) 1234.48
Current children cumulated vsize (KiB) 104248

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 1.50 3/74 13579
/proc/meminfo: memFree=570752/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104248 CPUtime=1294.24
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 34839 822 0 0 129383 41 0 0 25 0 1 0 56487813 106749952 22371 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26062 22371 378 142 0 25016 0
Current children cumulated CPU time (s) 1294.24
Current children cumulated vsize (KiB) 104248

[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 1.53 3/74 13579
/proc/meminfo: memFree=538632/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=104900 CPUtime=1353.99
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 35256 822 0 0 135358 41 0 0 25 0 1 0 56487813 107417600 22788 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26225 22788 378 142 0 25179 0
Current children cumulated CPU time (s) 1353.99
Current children cumulated vsize (KiB) 104900

[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 1.56 3/74 13579
/proc/meminfo: memFree=499656/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=105944 CPUtime=1413.76
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 35740 822 0 0 141334 42 0 0 25 0 1 0 56487813 108486656 23272 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26486 23272 378 142 0 25440 0
Current children cumulated CPU time (s) 1413.76
Current children cumulated vsize (KiB) 105944

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 1.59 3/74 13579
/proc/meminfo: memFree=468040/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=106980 CPUtime=1473.51
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 36245 822 0 0 147308 43 0 0 25 0 1 0 56487813 109547520 23777 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 26745 23777 378 142 0 25699 0
Current children cumulated CPU time (s) 1473.51
Current children cumulated vsize (KiB) 106980

[startup+1542.3 s]
/proc/loadavg: 2.13 2.06 1.62 3/74 13579
/proc/meminfo: memFree=444296/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=108156 CPUtime=1533.27
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 36741 822 0 0 153284 43 0 0 25 0 1 0 56487813 110751744 24273 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 27039 24273 378 142 0 25993 0
Current children cumulated CPU time (s) 1533.27
Current children cumulated vsize (KiB) 108156

[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 1.65 3/74 13579
/proc/meminfo: memFree=423176/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=109212 CPUtime=1593.03
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 37215 822 0 0 159259 44 0 0 25 0 1 0 56487813 111833088 24747 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 27303 24747 378 142 0 26257 0
Current children cumulated CPU time (s) 1593.03
Current children cumulated vsize (KiB) 109212

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 1.67 3/74 13579
/proc/meminfo: memFree=402248/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=110256 CPUtime=1652.79
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 37708 822 0 0 165234 45 0 0 25 0 1 0 56487813 112902144 25240 996147200 134512640 135095119 4294956304 18446744073709551615 134617017 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 27564 25240 378 142 0 26518 0
Current children cumulated CPU time (s) 1652.79
Current children cumulated vsize (KiB) 110256

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 1.70 3/74 13579
/proc/meminfo: memFree=381832/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=111432 CPUtime=1712.55
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 38217 822 0 0 171210 45 0 0 25 0 1 0 56487813 114106368 25749 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 27858 25749 378 142 0 26812 0
Current children cumulated CPU time (s) 1712.55
Current children cumulated vsize (KiB) 111432

[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 1.72 3/74 13579
/proc/meminfo: memFree=360712/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=112596 CPUtime=1772.3
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 38728 822 0 0 177185 45 0 0 25 0 1 0 56487813 115298304 26260 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 28149 26260 378 142 0 27103 0
Current children cumulated CPU time (s) 1772.3
Current children cumulated vsize (KiB) 112596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.2 s]
/proc/loadavg: 2.06 2.06 1.73 3/74 13579
/proc/meminfo: memFree=347848/2055920 swapFree=4192812/4192956
[pid=12914] ppid=12912 vsize=112984 CPUtime=1800.09
/proc/12914/stat : 12914 (pcs.small) R 12912 12914 12816 0 -1 4194304 38949 822 0 0 179963 46 0 0 25 0 1 0 56487813 115695616 26481 996147200 134512640 135095119 4294956304 18446744073709551615 134607054 0 0 4096 0 0 0 0 17 0 0 0
/proc/12914/statm: 28246 26481 378 142 0 27200 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 112984

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.22
CPU time (s): 1800.12
CPU user time (s): 1799.64
CPU system time (s): 0.485926
CPU usage (%): 99.4421
Max. virtual memory (cumulated for all children) (KiB): 112984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.485926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39771
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= 20
involuntary context switches= 30782

runsolver used 1.82872 second user time and 4.78227 second system time

The end

Launcher Data 

Begin job on node74 at 2009-07-15 23:43:40
IDJOB=2057382
IDBENCH=53365
IDSOLVER=734
FILE ID=node74/2057382-1247694220
PBS_JOBID= 9521168
Free space on /tmp= 103036 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-2-24/normalized-rand-24-24-276-139-57021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2057382-1247694220/watcher-2057382-1247694220 -o /tmp/evaluation-result-2057382-1247694220/solver-2057382-1247694220 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 660327067 HOME/instance-2057382-1247694220.xml

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

MD5SUM BENCH= 8b34465813a216ac0e5d9d1889796917
RANDOM SEED=660327067

node74.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.234
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.234
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:        909096 kB
Buffers:         58280 kB
Cached:         997828 kB
SwapCached:          0 kB
Active:          84440 kB
Inactive:       987888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        909096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2120 kB
Writeback:           0 kB
Mapped:          25992 kB
Slab:            59980 kB
Committed_AS:   468840 kB
PageTables:       1664 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= 103032 MiB
End job on node74 at 2009-07-16 00:13:52