Trace number 2091679

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 1802.62

General information on the benchmark

Namecsp/rand-2-50-23-fcd/
normalized-rand-2-50-23-587-230-fcd-1_ext.xml
MD5SUM5cbfd9869132936f470a8c5a88ae8b4e
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 benchmark385.643
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints463
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension463
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.18/0.20	c Seed is 125592790
0.18/0.20	c Constructing HOME/instance-2091679-1247733120.xml  with 10632 constraints
0.18/0.20	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2091679-1247733120/watcher-2091679-1247733120 -o /tmp/evaluation-result-2091679-1247733120/solver-2091679-1247733120 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 125592790 HOME/instance-2091679-1247733120.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/72 22146
/proc/meminfo: memFree=1482440/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=5260 CPUtime=0
/proc/22146/stat : 22146 (pcssolve) R 22144 22146 21083 0 -1 4194304 64 0 0 0 0 0 0 0 22 0 1 0 60375911 5386240 49 996147200 4194304 4889804 548682068800 18446744073709551615 264837801078 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 1315 49 37 169 0 14 0

[startup+0.104323 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 22146
/proc/meminfo: memFree=1482440/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=5696 CPUtime=0.08
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 1140 822 0 0 8 0 0 0 18 0 1 0 60375911 5832704 749 996147200 134512640 135095119 4294956304 18446744073709551615 134983986 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 1424 749 364 142 0 378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696

[startup+0.201304 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 22146
/proc/meminfo: memFree=1482440/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=8104 CPUtime=0.18
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 1793 822 0 0 17 1 0 0 18 0 1 0 60375911 8298496 1304 996147200 134512640 135095119 4294956304 18446744073709551615 134570724 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2026 1304 378 142 0 980 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8104

[startup+0.301306 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 22146
/proc/meminfo: memFree=1482440/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=8104 CPUtime=0.28
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 1793 822 0 0 27 1 0 0 19 0 1 0 60375911 8298496 1304 996147200 134512640 135095119 4294956304 18446744073709551615 134644032 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2026 1304 378 142 0 980 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8104

[startup+0.701345 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 22146
/proc/meminfo: memFree=1482440/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=8104 CPUtime=0.68
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 1797 822 0 0 67 1 0 0 23 0 1 0 60375911 8298496 1308 996147200 134512640 135095119 4294956304 18446744073709551615 134642865 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2026 1308 378 142 0 980 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8104

[startup+1.50143 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1478592/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=8104 CPUtime=1.47
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 1803 822 0 0 146 1 0 0 25 0 1 0 60375911 8298496 1314 996147200 134512640 135095119 4294956304 18446744073709551615 134642917 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2026 1314 378 142 0 980 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8104

[startup+3.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1478400/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=8104 CPUtime=3.05
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 1816 822 0 0 304 1 0 0 25 0 1 0 60375911 8298496 1327 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2026 1327 378 142 0 980 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8104

[startup+6.30293 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1478272/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=8104 CPUtime=6.22
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 1839 822 0 0 621 1 0 0 25 0 1 0 60375911 8298496 1350 996147200 134512640 135095119 4294956304 18446744073709551615 134638010 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2026 1350 378 142 0 980 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8104

[startup+12.7016 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1477184/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=9776 CPUtime=12.56
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 2188 822 0 0 1255 1 0 0 25 0 1 0 60375911 10010624 1570 996147200 134512640 135095119 4294956304 18446744073709551615 134641672 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2444 1570 378 142 0 1398 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 9776

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1475712/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=11196 CPUtime=25.24
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 2737 822 0 0 2522 2 0 0 25 0 1 0 60375911 11464704 1862 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 2799 1862 378 142 0 1753 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 11196

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1472064/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=14200 CPUtime=50.6
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 3787 822 0 0 5057 3 0 0 25 0 1 0 60375911 14540800 2622 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 3550 2622 378 142 0 2504 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 14200

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1453632/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=18492 CPUtime=101.32
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 5329 822 0 0 10128 4 0 0 25 0 1 0 60375911 18935808 3651 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 4623 3651 378 142 0 3577 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 18492

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 22152
/proc/meminfo: memFree=1446848/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=28988 CPUtime=160.75
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 8366 822 0 0 16069 6 0 0 25 0 1 0 60375911 29683712 5150 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/22146/statm: 7247 5150 378 142 0 6201 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 28988

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1515320/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=29384 CPUtime=220.36
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 8834 822 0 0 22028 8 0 0 25 0 1 0 60375911 30089216 5618 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 7346 5618 378 142 0 6300 0
Current children cumulated CPU time (s) 220.36
Current children cumulated vsize (KiB) 29384

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1512120/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=31364 CPUtime=280.33
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 9649 822 0 0 28023 10 0 0 25 0 1 0 60375911 32116736 6433 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 7841 6433 378 142 0 6795 0
Current children cumulated CPU time (s) 280.33
Current children cumulated vsize (KiB) 31364

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1508856/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=33080 CPUtime=340.3
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 10426 822 0 0 34020 10 0 0 25 0 1 0 60375911 33873920 7210 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 8270 7210 378 142 0 7224 0
Current children cumulated CPU time (s) 340.3
Current children cumulated vsize (KiB) 33080

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1505720/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=42984 CPUtime=400.28
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 13208 822 0 0 40015 13 0 0 25 0 1 0 60375911 44015616 7943 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 10746 7943 378 142 0 9700 0
Current children cumulated CPU time (s) 400.28
Current children cumulated vsize (KiB) 42984

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1502840/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=44828 CPUtime=460.26
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 13956 822 0 0 46012 14 0 0 25 0 1 0 60375911 45903872 8691 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 11207 8691 378 142 0 10161 0
Current children cumulated CPU time (s) 460.26
Current children cumulated vsize (KiB) 44828

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1495160/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=55392 CPUtime=520.24
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 16894 822 0 0 52009 15 0 0 25 0 1 0 60375911 56721408 10604 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 13848 10604 378 142 0 12802 0
Current children cumulated CPU time (s) 520.24
Current children cumulated vsize (KiB) 55392

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1494072/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=55392 CPUtime=580.21
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 17174 822 0 0 58006 15 0 0 25 0 1 0 60375911 56721408 10884 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 13848 10884 378 142 0 12802 0
Current children cumulated CPU time (s) 580.21
Current children cumulated vsize (KiB) 55392

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1492984/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=55392 CPUtime=640.18
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 17452 822 0 0 64003 15 0 0 25 0 1 0 60375911 56721408 11162 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 13848 11162 378 142 0 12802 0
Current children cumulated CPU time (s) 640.18
Current children cumulated vsize (KiB) 55392

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1484728/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=59624 CPUtime=880.09
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 19478 822 0 0 87991 18 0 0 25 0 1 0 60375911 61054976 13188 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 14906 13188 378 142 0 13860 0
Current children cumulated CPU time (s) 880.09
Current children cumulated vsize (KiB) 59624

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1482488/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=60812 CPUtime=940.07
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 20020 822 0 0 93988 19 0 0 25 0 1 0 60375911 62271488 13730 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 15203 13730 378 142 0 14157 0
Current children cumulated CPU time (s) 940.07
Current children cumulated vsize (KiB) 60812

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1480248/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=62124 CPUtime=1000.05
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 20585 822 0 0 99985 20 0 0 25 0 1 0 60375911 63614976 14295 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 15531 14295 378 142 0 14485 0
Current children cumulated CPU time (s) 1000.05
Current children cumulated vsize (KiB) 62124

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1478136/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=79828 CPUtime=1060.02
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 25215 822 0 0 105980 22 0 0 25 0 1 0 60375911 81743872 14828 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 19957 14828 378 142 0 18911 0
Current children cumulated CPU time (s) 1060.02
Current children cumulated vsize (KiB) 79828

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1475960/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=81016 CPUtime=1120
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 25745 822 0 0 111977 23 0 0 25 0 1 0 60375911 82960384 15358 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 20254 15358 378 142 0 19208 0
Current children cumulated CPU time (s) 1120
Current children cumulated vsize (KiB) 81016

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22194
/proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=82204 CPUtime=1179.98
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 26269 822 0 0 117974 24 0 0 25 0 1 0 60375911 84176896 15882 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 20551 15882 378 142 0 19505 0
Current children cumulated CPU time (s) 1179.98
Current children cumulated vsize (KiB) 82204

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1471672/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=83392 CPUtime=1239.95
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 26785 822 0 0 123971 24 0 0 25 0 1 0 60375911 85393408 16398 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 20848 16398 378 142 0 19802 0
Current children cumulated CPU time (s) 1239.95
Current children cumulated vsize (KiB) 83392

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1469688/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=84452 CPUtime=1299.92
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 27276 822 0 0 129967 25 0 0 25 0 1 0 60375911 86478848 16889 996147200 134512640 135095119 4294956304 18446744073709551615 134617038 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 21113 16889 378 142 0 20067 0
Current children cumulated CPU time (s) 1299.92
Current children cumulated vsize (KiB) 84452

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1467640/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=85640 CPUtime=1359.9
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 27780 822 0 0 135964 26 0 0 25 0 1 0 60375911 87695360 17393 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 21410 17393 378 142 0 20364 0
Current children cumulated CPU time (s) 1359.9
Current children cumulated vsize (KiB) 85640

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1465528/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=86828 CPUtime=1419.88
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 28255 822 0 0 141961 27 0 0 25 0 1 0 60375911 88911872 17868 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 21707 17868 378 142 0 20661 0
Current children cumulated CPU time (s) 1419.88
Current children cumulated vsize (KiB) 86828

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1463864/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=87760 CPUtime=1479.85
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 28681 822 0 0 147958 27 0 0 25 0 1 0 60375911 89866240 18294 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 21940 18294 378 142 0 20894 0
Current children cumulated CPU time (s) 1479.85
Current children cumulated vsize (KiB) 87760

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1449016/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=109948 CPUtime=1539.84
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 34423 822 0 0 153954 30 0 0 25 0 1 0 60375911 112586752 21987 996147200 134512640 135095119 4294956304 18446744073709551615 134617201 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 27487 21987 378 142 0 26441 0
Current children cumulated CPU time (s) 1539.84
Current children cumulated vsize (KiB) 109948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1448248/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=109948 CPUtime=1599.8
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 34615 822 0 0 159950 30 0 0 25 0 1 0 60375911 112586752 22179 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 27487 22179 378 142 0 26441 0
Current children cumulated CPU time (s) 1599.8
Current children cumulated vsize (KiB) 109948

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1447544/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=109948 CPUtime=1659.78
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 34787 822 0 0 165948 30 0 0 25 0 1 0 60375911 112586752 22351 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 27487 22351 378 142 0 26441 0
Current children cumulated CPU time (s) 1659.78
Current children cumulated vsize (KiB) 109948

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22196
/proc/meminfo: memFree=1446840/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=109948 CPUtime=1719.75
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 34973 822 0 0 171945 30 0 0 25 0 1 0 60375911 112586752 22537 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 27487 22537 378 142 0 26441 0
Current children cumulated CPU time (s) 1719.75
Current children cumulated vsize (KiB) 109948

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22202
/proc/meminfo: memFree=1446008/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=109948 CPUtime=1779.73
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 35155 822 0 0 177942 31 0 0 25 0 1 0 60375911 112586752 22719 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 27487 22719 378 142 0 26441 0
Current children cumulated CPU time (s) 1779.73
Current children cumulated vsize (KiB) 109948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22202
/proc/meminfo: memFree=1445752/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=109948 CPUtime=1800.03
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 35218 822 0 0 179972 31 0 0 25 0 1 0 60375911 112586752 22782 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 27487 22782 378 142 0 26441 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 109948

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

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

[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22202
/proc/meminfo: memFree=1445752/2055920 swapFree=4192812/4192956
[pid=22146] ppid=22144 vsize=109948 CPUtime=1800.03
/proc/22146/stat : 22146 (pcs.small) R 22144 22146 21083 0 -1 4194304 35218 822 0 0 179972 31 0 0 25 0 1 0 60375911 112586752 22782 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/22146/statm: 27487 22782 378 142 0 26441 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 109948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.62
CPU time (s): 1800.06
CPU user time (s): 1799.73
CPU system time (s): 0.337948
CPU usage (%): 99.8581
Max. virtual memory (cumulated for all children) (KiB): 113260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36040
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= 21
involuntary context switches= 9860

runsolver used 1.56876 second user time and 5.21021 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-16 10:32:00
IDJOB=2091679
IDBENCH=60102
IDSOLVER=733
FILE ID=node44/2091679-1247733120
PBS_JOBID= 9521583
Free space on /tmp= 66280 MiB

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

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

MD5SUM BENCH= 5cbfd9869132936f470a8c5a88ae8b4e
RANDOM SEED=125592790

node44.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.219
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.219
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:       1482920 kB
Buffers:         87980 kB
Cached:         310704 kB
SwapCached:          0 kB
Active:         175832 kB
Inactive:       310992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1482920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2160 kB
Writeback:           0 kB
Mapped:          99564 kB
Slab:            71376 kB
Committed_AS:   645244 kB
PageTables:       1916 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 node44 at 2009-07-16 11:02:05