Trace number 2091019

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.06 1809.52

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-46_ext.xml
MD5SUM970294301d0111abb6ed2240c133f5ba
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark382.113
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints462
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension462
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.14	c Seed is 337902490
0.00/0.14	c Constructing HOME/instance-2091019-1247731284.xml  with 10612 constraints
0.00/0.18	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-2091019-1247731284/watcher-2091019-1247731284 -o /tmp/evaluation-result-2091019-1247731284/solver-2091019-1247731284 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 337902490 HOME/instance-2091019-1247731284.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/75 20029
/proc/meminfo: memFree=1606400/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=5212 CPUtime=0
/proc/20029/stat : 20029 (pcssolve) R 20027 20029 19342 0 -1 4194304 70 0 0 0 0 0 0 0 20 0 1 0 60191130 5337088 44 996147200 4194304 4889804 548682068800 18446744073709551615 209560126240 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 1303 44 30 169 0 14 0

[startup+0.212166 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 20029
/proc/meminfo: memFree=1606400/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=8108 CPUtime=0.18
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 1793 822 0 0 17 1 0 0 19 0 1 0 60191130 8302592 1304 996147200 134512640 135095119 4294956304 18446744073709551615 134641721 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2027 1304 378 142 0 981 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8108

[startup+0.302177 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 20029
/proc/meminfo: memFree=1606400/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=8108 CPUtime=0.27
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 1794 822 0 0 26 1 0 0 19 0 1 0 60191130 8302592 1305 996147200 134512640 135095119 4294956304 18446744073709551615 134638356 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2027 1305 378 142 0 981 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8108

[startup+0.402195 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 20029
/proc/meminfo: memFree=1606400/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=8108 CPUtime=0.37
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 1795 822 0 0 36 1 0 0 20 0 1 0 60191130 8302592 1306 996147200 134512640 135095119 4294956304 18446744073709551615 134582873 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2027 1306 378 142 0 981 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 8108

[startup+0.701248 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 20029
/proc/meminfo: memFree=1606400/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=8108 CPUtime=0.67
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 1797 822 0 0 66 1 0 0 23 0 1 0 60191130 8302592 1308 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2027 1308 378 142 0 981 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8108

[startup+1.50138 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1602552/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=8108 CPUtime=1.46
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 1803 822 0 0 145 1 0 0 25 0 1 0 60191130 8302592 1314 996147200 134512640 135095119 4294956304 18446744073709551615 134643085 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2027 1314 378 142 0 981 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8108

[startup+3.10165 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1602232/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=8108 CPUtime=3.05
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 1814 822 0 0 304 1 0 0 25 0 1 0 60191130 8302592 1325 996147200 134512640 135095119 4294956304 18446744073709551615 134838106 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2027 1325 378 142 0 981 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8108

[startup+6.3012 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1601528/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=8108 CPUtime=6.22
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 1836 822 0 0 621 1 0 0 25 0 1 0 60191130 8302592 1347 996147200 134512640 135095119 4294956304 18446744073709551615 134577772 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2027 1347 378 142 0 981 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8108

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1600248/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=9780 CPUtime=12.56
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 2181 822 0 0 1254 2 0 0 25 0 1 0 60191130 10014720 1563 996147200 134512640 135095119 4294956304 18446744073709551615 134641664 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2445 1563 378 142 0 1399 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 9780

[startup+25.5075 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1597624/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=11196 CPUtime=25.24
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 2743 822 0 0 2522 2 0 0 25 0 1 0 60191130 11464704 1868 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 2799 1868 378 142 0 1753 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 11196

[startup+51.1028 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1592184/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=14064 CPUtime=50.59
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 3777 822 0 0 5056 3 0 0 25 0 1 0 60191130 14401536 2612 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 3516 2612 378 142 0 2470 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 14064

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1582712/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=18616 CPUtime=101.31
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 5355 822 0 0 10126 5 0 0 25 0 1 0 60191130 19062784 3677 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 4654 3677 378 142 0 3608 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 18616

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1570552/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=28980 CPUtime=160.75
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 8357 822 0 0 16068 7 0 0 25 0 1 0 60191130 29675520 5141 996147200 134512640 135095119 4294956304 18446744073709551615 134643047 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 7245 5141 378 142 0 6199 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 28980

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20035
/proc/meminfo: memFree=1562744/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=29376 CPUtime=220.18
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 8800 822 0 0 22011 7 0 0 25 0 1 0 60191130 30081024 5584 996147200 134512640 135095119 4294956304 18446744073709551615 134643977 0 0 4096 0 0 0 0 17 1 0 0
/proc/20029/statm: 7344 5584 378 142 0 6298 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 29376

[startup+282.302 s]
/proc/loadavg: 2.07 2.03 2.01 3/76 20067
/proc/meminfo: memFree=1584056/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=31220 CPUtime=279.9
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 9574 822 0 0 27981 9 0 0 25 0 1 0 60191130 31969280 6358 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 7805 6358 378 142 0 6759 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 31220

[startup+342.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/76 20067
/proc/meminfo: memFree=1576504/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=32804 CPUtime=339.62
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 10288 822 0 0 33953 9 0 0 25 0 1 0 60191130 33591296 7072 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 8201 7072 378 142 0 7155 0
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (KiB) 32804

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/76 20067
/proc/meminfo: memFree=1568440/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=34384 CPUtime=399.33
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 10956 822 0 0 39923 10 0 0 25 0 1 0 60191130 35209216 7740 996147200 134512640 135095119 4294956304 18446744073709551615 134643026 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 8596 7740 378 142 0 7550 0
Current children cumulated CPU time (s) 399.33
Current children cumulated vsize (KiB) 34384

[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 20067
/proc/meminfo: memFree=1563896/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=44160 CPUtime=459.06
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 13660 822 0 0 45894 12 0 0 25 0 1 0 60191130 45219840 8395 996147200 134512640 135095119 4294956304 18446744073709551615 134570818 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 11040 8395 378 142 0 9994 0
Current children cumulated CPU time (s) 459.06
Current children cumulated vsize (KiB) 44160

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1553080/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=55248 CPUtime=518.78
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 16687 822 0 0 51864 14 0 0 25 0 1 0 60191130 56573952 10397 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 13812 10397 378 142 0 12766 0
Current children cumulated CPU time (s) 518.78
Current children cumulated vsize (KiB) 55248

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1549376/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=55248 CPUtime=578.51
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 16924 822 0 0 57836 15 0 0 25 0 1 0 60191130 56573952 10634 996147200 134512640 135095119 4294956304 18446744073709551615 134617021 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 13812 10634 378 142 0 12766 0
Current children cumulated CPU time (s) 578.51
Current children cumulated vsize (KiB) 55248

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1545792/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=55248 CPUtime=638.23
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 17166 822 0 0 63808 15 0 0 25 0 1 0 60191130 56573952 10876 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 13812 10876 378 142 0 12766 0
Current children cumulated CPU time (s) 638.23
Current children cumulated vsize (KiB) 55248

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.12 2.05 2.01 3/76 20067
/proc/meminfo: memFree=1526272/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=58020 CPUtime=877.11
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 18771 822 0 0 87694 17 0 0 25 0 1 0 60191130 59412480 12481 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 14505 12481 378 142 0 13459 0
Current children cumulated CPU time (s) 877.11
Current children cumulated vsize (KiB) 58020

[startup+942.302 s]
/proc/loadavg: 2.12 2.06 2.01 3/76 20067
/proc/meminfo: memFree=1523392/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=59076 CPUtime=936.84
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 19261 822 0 0 93666 18 0 0 25 0 1 0 60191130 60493824 12971 996147200 134512640 135095119 4294956304 18446744073709551615 134637470 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 14769 12971 378 142 0 13723 0
Current children cumulated CPU time (s) 936.84
Current children cumulated vsize (KiB) 59076

[startup+1002.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/76 20067
/proc/meminfo: memFree=1520256/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=60396 CPUtime=996.56
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 19794 822 0 0 99638 18 0 0 25 0 1 0 60191130 61845504 13504 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 15099 13504 378 142 0 14053 0
Current children cumulated CPU time (s) 996.56
Current children cumulated vsize (KiB) 60396

[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/76 20067
/proc/meminfo: memFree=1516544/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=61452 CPUtime=1056.28
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 20246 822 0 0 105609 19 0 0 25 0 1 0 60191130 62926848 13956 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 15363 13956 378 142 0 14317 0
Current children cumulated CPU time (s) 1056.28
Current children cumulated vsize (KiB) 61452

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/76 20067
/proc/meminfo: memFree=1512512/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=62508 CPUtime=1116
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 20717 822 0 0 111580 20 0 0 25 0 1 0 60191130 64008192 14427 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 15627 14427 378 142 0 14581 0
Current children cumulated CPU time (s) 1116
Current children cumulated vsize (KiB) 62508

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 20067
/proc/meminfo: memFree=1508544/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=79948 CPUtime=1175.73
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 25284 822 0 0 117550 23 0 0 25 0 1 0 60191130 81866752 14897 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 19987 14897 378 142 0 18941 0
Current children cumulated CPU time (s) 1175.73
Current children cumulated vsize (KiB) 79948

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 20067
/proc/meminfo: memFree=1504768/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=81004 CPUtime=1235.45
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 25752 822 0 0 123521 24 0 0 25 0 1 0 60191130 82948096 15365 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 20251 15365 378 142 0 19205 0
Current children cumulated CPU time (s) 1235.45
Current children cumulated vsize (KiB) 81004

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 20067
/proc/meminfo: memFree=1500928/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=82060 CPUtime=1295.17
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 26209 822 0 0 129492 25 0 0 25 0 1 0 60191130 84029440 15822 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 20515 15822 378 142 0 19469 0
Current children cumulated CPU time (s) 1295.17
Current children cumulated vsize (KiB) 82060

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1497152/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=83248 CPUtime=1354.89
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 26691 822 0 0 135464 25 0 0 25 0 1 0 60191130 85245952 16304 996147200 134512640 135095119 4294956304 18446744073709551615 134636926 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 20812 16304 378 142 0 19766 0
Current children cumulated CPU time (s) 1354.89
Current children cumulated vsize (KiB) 83248

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1493440/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=84304 CPUtime=1414.62
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 27159 822 0 0 141436 26 0 0 25 0 1 0 60191130 86327296 16772 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 21076 16772 378 142 0 20030 0
Current children cumulated CPU time (s) 1414.62
Current children cumulated vsize (KiB) 84304

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1489664/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=85360 CPUtime=1474.34
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 27589 822 0 0 147407 27 0 0 25 0 1 0 60191130 87408640 17202 996147200 134512640 135095119 4294956304 18446744073709551615 134570837 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 21340 17202 378 142 0 20294 0
Current children cumulated CPU time (s) 1474.34
Current children cumulated vsize (KiB) 85360

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1486144/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=86416 CPUtime=1534.07
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 28071 822 0 0 153379 28 0 0 25 0 1 0 60191130 88489984 17684 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 21604 17684 378 142 0 20558 0
Current children cumulated CPU time (s) 1534.07
Current children cumulated vsize (KiB) 86416

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1482752/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=87208 CPUtime=1593.78
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 28435 822 0 0 159350 28 0 0 25 0 1 0 60191130 89300992 18048 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 21802 18048 378 142 0 20756 0
Current children cumulated CPU time (s) 1593.78
Current children cumulated vsize (KiB) 87208

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1479168/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=88272 CPUtime=1653.51
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 28867 822 0 0 165322 29 0 0 25 0 1 0 60191130 90390528 18480 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 22068 18480 378 142 0 21022 0
Current children cumulated CPU time (s) 1653.51
Current children cumulated vsize (KiB) 88272

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1463168/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=109928 CPUtime=1713.23
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 34457 822 0 0 171291 32 0 0 25 0 1 0 60191130 112566272 22021 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 27482 22021 378 142 0 26436 0
Current children cumulated CPU time (s) 1713.23
Current children cumulated vsize (KiB) 109928

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1460480/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=109928 CPUtime=1772.93
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 34633 822 0 0 177261 32 0 0 25 0 1 0 60191130 112566272 22197 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 27482 22197 378 142 0 26436 0
Current children cumulated CPU time (s) 1772.93
Current children cumulated vsize (KiB) 109928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1459648/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=109928 CPUtime=1800.01
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 34708 822 0 0 179969 32 0 0 25 0 1 0 60191130 112566272 22272 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 27482 22272 378 142 0 26436 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109928

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

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

[startup+1809.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20067
/proc/meminfo: memFree=1459648/2055920 swapFree=4192812/4192956
[pid=20029] ppid=20027 vsize=109928 CPUtime=1800.01
/proc/20029/stat : 20029 (pcs.small) R 20027 20029 19342 0 -1 4194304 34708 822 0 0 179969 32 0 0 25 0 1 0 60191130 112566272 22272 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20029/statm: 27482 22272 378 142 0 26436 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109928

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.52
CPU time (s): 1800.06
CPU user time (s): 1799.71
CPU system time (s): 0.349946
CPU usage (%): 99.4768
Max. virtual memory (cumulated for all children) (KiB): 116936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.349946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35530
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= 22
involuntary context switches= 26581

runsolver used 1.81172 second user time and 6.42802 second system time

The end

Launcher Data 

Begin job on node68 at 2009-07-16 10:01:24
IDJOB=2091019
IDBENCH=59983
IDSOLVER=733
FILE ID=node68/2091019-1247731284
PBS_JOBID= 9521510
Free space on /tmp= 66420 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-46_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091019-1247731284/watcher-2091019-1247731284 -o /tmp/evaluation-result-2091019-1247731284/solver-2091019-1247731284 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 337902490 HOME/instance-2091019-1247731284.xml

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

MD5SUM BENCH= 970294301d0111abb6ed2240c133f5ba
RANDOM SEED=337902490

node68.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.258
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.258
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:       1606880 kB
Buffers:         78368 kB
Cached:         273668 kB
SwapCached:          0 kB
Active:         111220 kB
Inactive:       269696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1606880 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:          40612 kB
Slab:            53196 kB
Committed_AS:   601544 kB
PageTables:       1920 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= 66416 MiB
End job on node68 at 2009-07-16 10:31:36