Trace number 2074926

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.11 1803.22

General information on the benchmark

Namecsp/rand-8-20-5/
normalized-rand-8-20-5-18-800-14_ext.xml
MD5SUM0b43ac9df0b5dd736b9f382993324f9e
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.07923
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.17/0.34	c small-domain mode
0.17/0.34	c Seed is 1361567632
0.17/0.34	c Constructing HOME/instance-2074926-1247712515.xml  with 18 constraints
8.20/8.36	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-2074926-1247712515/watcher-2074926-1247712515 -o /tmp/evaluation-result-2074926-1247712515/solver-2074926-1247712515 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1361567632 HOME/instance-2074926-1247712515.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.05 2.00 2.00 4/82 16356
/proc/meminfo: memFree=626696/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=18576 CPUtime=0
/proc/16356/stat : 16356 (runsolver) R 16354 16356 14762 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58318555 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16356/statm: 4644 284 249 26 0 2626 0

[startup+0.0704771 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 16356
/proc/meminfo: memFree=626696/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=5356 CPUtime=0
/proc/16356/stat : 16356 (pcssolve) S 16354 16356 14762 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 58318555 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16356/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101474 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 16356
/proc/meminfo: memFree=626696/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=5356 CPUtime=0.07
/proc/16356/stat : 16356 (pcssolve) S 16354 16356 14762 0 -1 4194304 339 1332 0 0 0 0 4 3 20 0 1 0 58318555 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16356/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.301497 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 16356
/proc/meminfo: memFree=626696/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=5356 CPUtime=0.17
/proc/16356/stat : 16356 (pcssolve) S 16354 16356 14762 0 -1 4194304 367 2678 0 0 0 0 10 7 17 0 1 0 58318555 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16356/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+0.70152 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 16356
/proc/meminfo: memFree=626696/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=10484 CPUtime=0.67
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 2653 3866 0 0 33 2 21 11 20 0 1 0 58318555 10735616 1915 996147200 134512640 135095119 4294956304 18446744073709551615 134944154 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 2621 1915 375 142 0 1575 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10484

[startup+1.5016 s]
/proc/loadavg: 2.05 2.00 2.00 4/83 16362
/proc/meminfo: memFree=619968/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=19088 CPUtime=1.46
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 4817 3866 0 0 111 3 21 11 25 0 1 0 58318555 19546112 3189 996147200 134512640 135095119 4294956304 18446744073709551615 134979715 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 4772 3189 375 142 0 3726 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 19088

[startup+3.10173 s]
/proc/loadavg: 2.05 2.00 2.00 4/83 16362
/proc/meminfo: memFree=611328/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=35924 CPUtime=3.05
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 9205 3866 0 0 268 5 21 11 25 0 1 0 58318555 36786176 5574 996147200 134512640 135095119 4294956304 18446744073709551615 134741332 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 8981 5574 375 142 0 7935 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 35924

[startup+6.30201 s]
/proc/loadavg: 2.13 2.02 2.01 4/83 16362
/proc/meminfo: memFree=576640/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=68204 CPUtime=6.22
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 17597 3866 0 0 581 9 21 11 25 0 1 0 58318555 69840896 10441 996147200 134512640 135095119 4294956304 18446744073709551615 134741577 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 17051 10441 375 142 0 16005 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 68204

[startup+12.7026 s]
/proc/loadavg: 2.12 2.02 2.00 3/83 16362
/proc/meminfo: memFree=557248/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=58116 CPUtime=12.55
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 23579 3866 0 0 1211 12 21 11 25 0 1 0 58318555 59510784 13881 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 14529 13881 389 142 0 13483 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 58116

[startup+25.5017 s]
/proc/loadavg: 2.09 2.01 2.00 4/83 16363
/proc/meminfo: memFree=628472/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=58116 CPUtime=25.22
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 23579 3866 0 0 2478 12 21 11 25 0 1 0 58318555 59510784 13881 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 14529 13881 389 142 0 13483 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 58116

[startup+51.1019 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 16363
/proc/meminfo: memFree=628408/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=58116 CPUtime=50.59
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 23579 3866 0 0 5015 12 21 11 25 0 1 0 58318555 59510784 13881 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 14529 13881 389 142 0 13483 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 58116

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 4/83 16363
/proc/meminfo: memFree=628152/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=58116 CPUtime=101.31
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 23579 3866 0 0 10087 12 21 11 25 0 1 0 58318555 59510784 13881 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 14529 13881 389 142 0 13483 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 58116

[startup+162.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 16365
/proc/meminfo: memFree=627960/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=58116 CPUtime=160.75
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 23579 3866 0 0 16030 13 21 11 25 0 1 0 58318555 59510784 13881 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 14529 13881 389 142 0 13483 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 58116

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16365
/proc/meminfo: memFree=626680/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=60068 CPUtime=220.18
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 23954 3866 0 0 21973 13 21 11 25 0 1 0 58318555 61509632 14256 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/16356/statm: 15017 14256 389 142 0 13971 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 60068

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16398
/proc/meminfo: memFree=1295896/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=62120 CPUtime=279.71
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 24319 3866 0 0 27926 13 21 11 25 0 1 0 58318555 63610880 14621 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 15530 14621 389 142 0 14484 0
Current children cumulated CPU time (s) 279.71
Current children cumulated vsize (KiB) 62120

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16398
/proc/meminfo: memFree=1292952/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=62120 CPUtime=339.68
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 24443 3866 0 0 33923 13 21 11 25 0 1 0 58318555 63610880 14745 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 15530 14745 389 142 0 14484 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 62120

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16398
/proc/meminfo: memFree=1287832/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=64992 CPUtime=399.67
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 25281 3866 0 0 39921 14 21 11 25 0 1 0 58318555 66551808 15326 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 16248 15326 389 142 0 15202 0
Current children cumulated CPU time (s) 399.67
Current children cumulated vsize (KiB) 64992

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16398
/proc/meminfo: memFree=1285016/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=67040 CPUtime=459.64
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 25910 3866 0 0 45918 14 21 11 25 0 1 0 58318555 68648960 15442 996147200 134512640 135095119 4294956304 18446744073709551615 134911560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 16760 15442 389 142 0 15714 0
Current children cumulated CPU time (s) 459.64
Current children cumulated vsize (KiB) 67040

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16398
/proc/meminfo: memFree=1280664/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=67696 CPUtime=519.61
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 26178 3866 0 0 51915 14 21 11 25 0 1 0 58318555 69320704 15710 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 16924 15710 389 142 0 15878 0
Current children cumulated CPU time (s) 519.61
Current children cumulated vsize (KiB) 67696

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16398
/proc/meminfo: memFree=1277528/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=68484 CPUtime=579.6
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 26512 3866 0 0 57913 15 21 11 25 0 1 0 58318555 70127616 16044 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 17121 16044 389 142 0 16075 0
Current children cumulated CPU time (s) 579.6
Current children cumulated vsize (KiB) 68484

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16398
/proc/meminfo: memFree=1273304/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=69404 CPUtime=639.58
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 26854 3866 0 0 63911 15 21 11 25 0 1 0 58318555 71069696 16386 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 17351 16386 389 142 0 16305 0
Current children cumulated CPU time (s) 639.58
Current children cumulated vsize (KiB) 69404

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1258456/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=75800 CPUtime=819.51
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 28827 3866 0 0 81902 17 21 11 25 0 1 0 58318555 77619200 17846 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 18950 17846 389 142 0 17904 0
Current children cumulated CPU time (s) 819.51
Current children cumulated vsize (KiB) 75800

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1255000/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=79896 CPUtime=879.49
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 29972 3866 0 0 87899 18 21 11 25 0 1 0 58318555 81813504 17966 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 19974 17966 389 142 0 18928 0
Current children cumulated CPU time (s) 879.49
Current children cumulated vsize (KiB) 79896

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1251352/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=80156 CPUtime=939.48
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 30151 3866 0 0 93897 19 21 11 25 0 1 0 58318555 82079744 18145 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 20039 18145 389 142 0 18993 0
Current children cumulated CPU time (s) 939.48
Current children cumulated vsize (KiB) 80156

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1247000/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=81072 CPUtime=999.45
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 30496 3866 0 0 99894 19 21 11 25 0 1 0 58318555 83017728 18490 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 20268 18490 389 142 0 19222 0
Current children cumulated CPU time (s) 999.45
Current children cumulated vsize (KiB) 81072

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1236184/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=81988 CPUtime=1059.43
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 30839 3866 0 0 105891 20 21 11 25 0 1 0 58318555 83955712 18833 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 20497 18833 389 142 0 19451 0
Current children cumulated CPU time (s) 1059.43
Current children cumulated vsize (KiB) 81988

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1233432/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=82904 CPUtime=1119.41
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 31185 3866 0 0 111889 20 21 11 25 0 1 0 58318555 84893696 19179 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 20726 19179 389 142 0 19680 0
Current children cumulated CPU time (s) 1119.41
Current children cumulated vsize (KiB) 82904

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1230680/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=83696 CPUtime=1179.39
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 31528 3866 0 0 117886 21 21 11 25 0 1 0 58318555 85704704 19522 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 20924 19522 389 142 0 19878 0
Current children cumulated CPU time (s) 1179.39
Current children cumulated vsize (KiB) 83696

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1227800/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=84616 CPUtime=1239.36
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 31877 3866 0 0 123883 21 21 11 25 0 1 0 58318555 86646784 19871 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 21154 19871 389 142 0 20108 0
Current children cumulated CPU time (s) 1239.36
Current children cumulated vsize (KiB) 84616

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1224216/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=85532 CPUtime=1299.35
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 32227 3866 0 0 129881 22 21 11 25 0 1 0 58318555 87584768 20221 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 21383 20221 389 142 0 20337 0
Current children cumulated CPU time (s) 1299.35
Current children cumulated vsize (KiB) 85532

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1220120/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=86452 CPUtime=1359.32
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 32575 3866 0 0 135878 22 21 11 25 0 1 0 58318555 88526848 20569 996147200 134512640 135095119 4294956304 18446744073709551615 134926997 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 21613 20569 389 142 0 20567 0
Current children cumulated CPU time (s) 1359.32
Current children cumulated vsize (KiB) 86452

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16404
/proc/meminfo: memFree=1209624/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=97540 CPUtime=1419.31
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 35495 3866 0 0 141875 24 21 11 25 0 1 0 58318555 99880960 22464 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 24385 22464 389 142 0 23339 0
Current children cumulated CPU time (s) 1419.31
Current children cumulated vsize (KiB) 97540

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 16404
/proc/meminfo: memFree=1206104/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=97540 CPUtime=1479.28
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 35619 3866 0 0 147872 24 21 11 25 0 1 0 58318555 99880960 22588 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 24385 22588 389 142 0 23339 0
Current children cumulated CPU time (s) 1479.28
Current children cumulated vsize (KiB) 97540

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 16404
/proc/meminfo: memFree=1202712/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=97540 CPUtime=1539.26
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 35742 3866 0 0 153870 24 21 11 25 0 1 0 58318555 99880960 22711 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 24385 22711 389 142 0 23339 0
Current children cumulated CPU time (s) 1539.26
Current children cumulated vsize (KiB) 97540

[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 16404
/proc/meminfo: memFree=1199320/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=97540 CPUtime=1599.24
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 35867 3866 0 0 159867 25 21 11 25 0 1 0 58318555 99880960 22836 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 24385 22836 389 142 0 23339 0
Current children cumulated CPU time (s) 1599.24
Current children cumulated vsize (KiB) 97540

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 16404
/proc/meminfo: memFree=1196056/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=105732 CPUtime=1659.22
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 38041 3866 0 0 165864 26 21 11 25 0 1 0 58318555 108269568 22961 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 26433 22961 389 142 0 25387 0
Current children cumulated CPU time (s) 1659.22
Current children cumulated vsize (KiB) 105732

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 16404
/proc/meminfo: memFree=1192600/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=105732 CPUtime=1719.2
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 38158 3866 0 0 171861 27 21 11 25 0 1 0 58318555 108269568 23078 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 26433 23078 389 142 0 25387 0
Current children cumulated CPU time (s) 1719.2
Current children cumulated vsize (KiB) 105732

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 16404
/proc/meminfo: memFree=1189272/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=105732 CPUtime=1779.17
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 38273 3866 0 0 177858 27 21 11 25 0 1 0 58318555 108269568 23193 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 26433 23193 389 142 0 25387 0
Current children cumulated CPU time (s) 1779.17
Current children cumulated vsize (KiB) 105732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.2 s]
/proc/loadavg: 2.04 2.03 2.00 3/73 16404
/proc/meminfo: memFree=1188248/2055920 swapFree=4191900/4192956
[pid=16356] ppid=16354 vsize=105732 CPUtime=1800.07
/proc/16356/stat : 16356 (pcs.small) R 16354 16356 14762 0 -1 4194304 38314 3866 0 0 179948 27 21 11 25 0 1 0 58318555 108269568 23234 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16356/statm: 26433 23234 389 142 0 25387 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 105732

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): 1803.22
CPU time (s): 1800.11
CPU user time (s): 1799.7
CPU system time (s): 0.405938
CPU usage (%): 99.8273
Max. virtual memory (cumulated for all children) (KiB): 105732

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

runsolver used 2.68059 second user time and 5.42018 second system time

The end

Launcher Data 

Begin job on node15 at 2009-07-16 04:48:37
IDJOB=2074926
IDBENCH=56208
IDSOLVER=733
FILE ID=node15/2074926-1247712515
PBS_JOBID= 9521309
Free space on /tmp= 66284 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-14_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2074926-1247712515/watcher-2074926-1247712515 -o /tmp/evaluation-result-2074926-1247712515/solver-2074926-1247712515 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1361567632 HOME/instance-2074926-1247712515.xml

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

MD5SUM BENCH= 0b43ac9df0b5dd736b9f382993324f9e
RANDOM SEED=1361567632

node15.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.220
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.220
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:        627176 kB
Buffers:         85008 kB
Cached:         522292 kB
SwapCached:        416 kB
Active:         946596 kB
Inactive:       411244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        627176 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           25344 kB
Writeback:           0 kB
Mapped:         770240 kB
Slab:            54436 kB
Committed_AS:  1593064 kB
PageTables:       3372 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= 66280 MiB
End job on node15 at 2009-07-16 05:18:42