Trace number 2091778

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.04 1810.92

General information on the benchmark

Namecsp/rand-2-50-23-fcd/
normalized-rand-2-50-23-587-230-fcd-33_ext.xml
MD5SUM1ce71125421fbeedcb08f370be5c4112
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 benchmark7.04193
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints467
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension467
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.02	c Seed is 1812752577
0.00/0.02	c Constructing HOME/instance-2091778-1247733361.xml  with 10718 constraints
0.07/0.19	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-2091778-1247733361/watcher-2091778-1247733361 -o /tmp/evaluation-result-2091778-1247733361/solver-2091778-1247733361 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1812752577 HOME/instance-2091778-1247733361.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: 1.92 1.98 1.99 4/72 19177
/proc/meminfo: memFree=1459472/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=18576 CPUtime=0
/proc/19177/stat : 19177 (runsolver) R 19175 19177 17638 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 60402497 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 238487661863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19177/statm: 4644 284 249 26 0 2626 0

[startup+0.0838129 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19177
/proc/meminfo: memFree=1459472/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=5300 CPUtime=0.06
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 1051 822 0 0 6 0 0 0 25 0 1 0 60402497 5427200 660 996147200 134512640 135095119 4294956304 18446744073709551615 134802306 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 1325 660 364 142 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5300

[startup+0.101813 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19177
/proc/meminfo: memFree=1459472/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=5696 CPUtime=0.07
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 1124 822 0 0 7 0 0 0 25 0 1 0 60402497 5832704 733 996147200 134512640 135095119 4294956304 18446744073709551615 2936556 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 1424 733 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.301858 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19177
/proc/meminfo: memFree=1459472/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=8100 CPUtime=0.27
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 1797 822 0 0 27 0 0 0 25 0 1 0 60402497 8294400 1308 996147200 134512640 135095119 4294956304 18446744073709551615 134641674 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 2025 1308 378 142 0 979 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8100

[startup+0.701935 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19177
/proc/meminfo: memFree=1459472/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=8100 CPUtime=0.67
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 1799 822 0 0 67 0 0 0 25 0 1 0 60402497 8294400 1310 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 2025 1310 378 142 0 979 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8100

[startup+1.50109 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1455624/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=8100 CPUtime=1.45
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 1805 822 0 0 145 0 0 0 25 0 1 0 60402497 8294400 1316 996147200 134512640 135095119 4294956304 18446744073709551615 134617214 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 2025 1316 378 142 0 979 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 8100

[startup+3.1014 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1455432/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=8100 CPUtime=3.04
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 1817 822 0 0 304 0 0 0 25 0 1 0 60402497 8294400 1328 996147200 134512640 135095119 4294956304 18446744073709551615 134616961 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 2025 1328 378 142 0 979 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 8100

[startup+6.30202 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1455048/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=8100 CPUtime=6.21
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 1837 822 0 0 621 0 0 0 25 0 1 0 60402497 8294400 1348 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 2025 1348 378 142 0 979 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 8100

[startup+12.7013 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1453704/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=9772 CPUtime=12.55
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 2179 822 0 0 1255 0 0 0 25 0 1 0 60402497 10006528 1561 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 2443 1561 378 142 0 1397 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 9772

[startup+25.5017 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1452040/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=11192 CPUtime=25.23
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 2739 822 0 0 2522 1 0 0 25 0 1 0 60402497 11460608 1864 996147200 134512640 135095119 4294956304 18446744073709551615 134644032 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 2798 1864 378 142 0 1752 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 11192

[startup+51.1017 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1447752/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=14064 CPUtime=50.59
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 3785 822 0 0 5057 2 0 0 25 0 1 0 60402497 14401536 2620 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 3516 2620 378 142 0 2470 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 14064

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1441160/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=18480 CPUtime=101.31
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 5330 822 0 0 10127 4 0 0 25 0 1 0 60402497 18923520 3652 996147200 134512640 135095119 4294956304 18446744073709551615 134638182 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 4620 3652 378 142 0 3574 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 18480

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1432200/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=28980 CPUtime=160.73
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 8364 822 0 0 16067 6 0 0 25 0 1 0 60402497 29675520 5148 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 7245 5148 378 142 0 6199 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 28980

[startup+222.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1427784/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=29244 CPUtime=220.17
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 8793 822 0 0 22010 7 0 0 25 0 1 0 60402497 29945856 5577 996147200 134512640 135095119 4294956304 18446744073709551615 134638374 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 7311 5577 378 142 0 6265 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 29244

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1422280/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=30828 CPUtime=279.6
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 9512 822 0 0 27952 8 0 0 25 0 1 0 60402497 31567872 6296 996147200 134512640 135095119 4294956304 18446744073709551615 134555020 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 7707 6296 378 142 0 6661 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 30828

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1416776/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=32412 CPUtime=339.03
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 10198 822 0 0 33894 9 0 0 25 0 1 0 60402497 33189888 6982 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 8103 6982 378 142 0 7057 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 32412

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1411784/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=33996 CPUtime=398.46
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 10847 822 0 0 39837 9 0 0 25 0 1 0 60402497 34811904 7631 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 8499 7631 378 142 0 7453 0
Current children cumulated CPU time (s) 398.46
Current children cumulated vsize (KiB) 33996

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1393288/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=43640 CPUtime=457.89
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 13551 822 0 0 45778 11 0 0 25 0 1 0 60402497 44687360 8286 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 10910 8286 378 142 0 9864 0
Current children cumulated CPU time (s) 457.89
Current children cumulated vsize (KiB) 43640

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1389512/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=45224 CPUtime=517.33
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 14208 822 0 0 51721 12 0 0 25 0 1 0 60402497 46309376 8943 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 11306 8943 378 142 0 10260 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 45224

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1381192/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=55392 CPUtime=576.75
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 17029 822 0 0 57662 13 0 0 25 0 1 0 60402497 56721408 10739 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 13848 10739 378 142 0 12802 0
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (KiB) 55392

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1379144/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=55392 CPUtime=636.2
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 17280 822 0 0 63606 14 0 0 25 0 1 0 60402497 56721408 10990 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 13848 10990 378 142 0 12802 0
Current children cumulated CPU time (s) 636.2
Current children cumulated vsize (KiB) 55392

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19183
/proc/meminfo: memFree=1368968/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=57900 CPUtime=873.92
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 18851 822 0 0 87376 16 0 0 25 0 1 0 60402497 59289600 12561 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 14475 12561 378 142 0 13429 0
Current children cumulated CPU time (s) 873.92
Current children cumulated vsize (KiB) 57900

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19185
/proc/meminfo: memFree=1365960/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=59092 CPUtime=933.35
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 19377 822 0 0 93318 17 0 0 25 0 1 0 60402497 60510208 13087 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 14773 13087 378 142 0 13727 0
Current children cumulated CPU time (s) 933.35
Current children cumulated vsize (KiB) 59092

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19185
/proc/meminfo: memFree=1362888/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=60152 CPUtime=992.78
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 19862 822 0 0 99261 17 0 0 25 0 1 0 60402497 61595648 13572 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 15038 13572 378 142 0 13992 0
Current children cumulated CPU time (s) 992.78
Current children cumulated vsize (KiB) 60152

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19185
/proc/meminfo: memFree=1359048/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=61208 CPUtime=1052.21
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 20335 822 0 0 105203 18 0 0 25 0 1 0 60402497 62676992 14045 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 15302 14045 378 142 0 14256 0
Current children cumulated CPU time (s) 1052.21
Current children cumulated vsize (KiB) 61208

[startup+1122.3 s]
/proc/loadavg: 1.84 1.95 1.98 2/68 19236
/proc/meminfo: memFree=1462256/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=78908 CPUtime=1111.74
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 24965 822 0 0 111152 22 0 0 25 0 1 0 60402497 80801792 14578 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 19727 14578 378 142 0 18681 0
Current children cumulated CPU time (s) 1111.74
Current children cumulated vsize (KiB) 78908

[startup+1182.3 s]
/proc/loadavg: 1.36 1.79 1.92 2/65 19306
/proc/meminfo: memFree=1461408/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=79964 CPUtime=1171.7
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 25466 822 0 0 117145 25 0 0 25 0 1 0 60402497 81883136 15079 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 19991 15079 378 142 0 18945 0
Current children cumulated CPU time (s) 1171.7
Current children cumulated vsize (KiB) 79964

[startup+1242.3 s]
/proc/loadavg: 1.13 1.64 1.86 2/65 19306
/proc/meminfo: memFree=1459424/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=81288 CPUtime=1231.67
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 25998 822 0 0 123141 26 0 0 25 0 1 0 60402497 83238912 15611 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 20322 15611 378 142 0 19276 0
Current children cumulated CPU time (s) 1231.67
Current children cumulated vsize (KiB) 81288

[startup+1302.3 s]
/proc/loadavg: 1.05 1.52 1.81 2/65 19306
/proc/meminfo: memFree=1457376/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=82348 CPUtime=1291.65
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 26496 822 0 0 129138 27 0 0 25 0 1 0 60402497 84324352 16109 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 20587 16109 378 142 0 19541 0
Current children cumulated CPU time (s) 1291.65
Current children cumulated vsize (KiB) 82348

[startup+1362.3 s]
/proc/loadavg: 1.02 1.43 1.75 2/65 19306
/proc/meminfo: memFree=1455200/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=83536 CPUtime=1351.61
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 27029 822 0 0 135134 27 0 0 25 0 1 0 60402497 85540864 16642 996147200 134512640 135095119 4294956304 18446744073709551615 134636924 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 20884 16642 378 142 0 19838 0
Current children cumulated CPU time (s) 1351.61
Current children cumulated vsize (KiB) 83536

[startup+1422.31 s]
/proc/loadavg: 1.00 1.35 1.70 2/65 19306
/proc/meminfo: memFree=1453280/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=84728 CPUtime=1411.59
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 27531 822 0 0 141131 28 0 0 25 0 1 0 60402497 86761472 17144 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19177/statm: 21182 17144 378 142 0 20136 0
Current children cumulated CPU time (s) 1411.59
Current children cumulated vsize (KiB) 84728

[startup+1482.3 s]
/proc/loadavg: 1.00 1.28 1.66 2/65 19306
/proc/meminfo: memFree=1451232/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=85920 CPUtime=1471.55
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 28055 822 0 0 147127 28 0 0 25 0 1 0 60402497 87982080 17668 996147200 134512640 135095119 4294956304 18446744073709551615 134617070 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 21480 17668 378 142 0 20434 0
Current children cumulated CPU time (s) 1471.55
Current children cumulated vsize (KiB) 85920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/65 19312
/proc/meminfo: memFree=1449056/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=87112 CPUtime=1531.53
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 28550 822 0 0 153124 29 0 0 25 0 1 0 60402497 89202688 18163 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 21778 18163 378 142 0 20732 0
Current children cumulated CPU time (s) 1531.53
Current children cumulated vsize (KiB) 87112

[startup+1602.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/65 19312
/proc/meminfo: memFree=1447392/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=87908 CPUtime=1591.49
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 28965 822 0 0 159120 29 0 0 25 0 1 0 60402497 90017792 18578 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 21977 18578 378 142 0 20931 0
Current children cumulated CPU time (s) 1591.49
Current children cumulated vsize (KiB) 87908

[startup+1662.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/65 19312
/proc/meminfo: memFree=1432480/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=110232 CPUtime=1651.46
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 34744 822 0 0 165114 32 0 0 25 0 1 0 60402497 112877568 22308 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 27558 22308 378 142 0 26512 0
Current children cumulated CPU time (s) 1651.46
Current children cumulated vsize (KiB) 110232

[startup+1722.3 s]
/proc/loadavg: 1.00 1.12 1.50 2/65 19312
/proc/meminfo: memFree=1431776/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=110232 CPUtime=1711.44
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 34936 822 0 0 171111 33 0 0 25 0 1 0 60402497 112877568 22500 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 27558 22500 378 142 0 26512 0
Current children cumulated CPU time (s) 1711.44
Current children cumulated vsize (KiB) 110232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.46 2/65 19312
/proc/meminfo: memFree=1430880/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=110232 CPUtime=1771.41
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 35124 822 0 0 177108 33 0 0 25 0 1 0 60402497 112877568 22688 996147200 134512640 135095119 4294956304 18446744073709551615 134615494 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 27558 22688 378 142 0 26512 0
Current children cumulated CPU time (s) 1771.41
Current children cumulated vsize (KiB) 110232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.9 s]
/proc/loadavg: 1.00 1.08 1.45 2/65 19312
/proc/meminfo: memFree=1430496/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=110232 CPUtime=1800
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 35219 822 0 0 179967 33 0 0 25 0 1 0 60402497 112877568 22783 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 27558 22783 378 142 0 26512 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 110232

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

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

[startup+1810.9 s]
/proc/loadavg: 1.00 1.08 1.45 2/65 19312
/proc/meminfo: memFree=1430496/2055920 swapFree=4192812/4192956
[pid=19177] ppid=19175 vsize=110232 CPUtime=1800
/proc/19177/stat : 19177 (pcs.small) R 19175 19177 17638 0 -1 4194304 35219 822 0 0 179967 33 0 0 25 0 1 0 60402497 112877568 22783 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19177/statm: 27558 22783 378 142 0 26512 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 110232

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.92
CPU time (s): 1800.04
CPU user time (s): 1799.68
CPU system time (s): 0.356945
CPU usage (%): 99.399
Max. virtual memory (cumulated for all children) (KiB): 118428

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

runsolver used 2.08568 second user time and 5.51916 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 10:36:01
IDJOB=2091778
IDBENCH=60118
IDSOLVER=733
FILE ID=node23/2091778-1247733361
PBS_JOBID= 9521586
Free space on /tmp= 66392 MiB

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

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

MD5SUM BENCH= 1ce71125421fbeedcb08f370be5c4112
RANDOM SEED=1812752577

node23.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.277
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.277
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:       1459952 kB
Buffers:         89920 kB
Cached:         353576 kB
SwapCached:          0 kB
Active:         126060 kB
Inactive:       390904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1459952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2120 kB
Writeback:           0 kB
Mapped:          84836 kB
Slab:            64204 kB
Committed_AS:   552980 kB
PageTables:       1880 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= 66392 MiB
End job on node23 at 2009-07-16 11:06:14