Trace number 2084343

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.12 1807.73

General information on the benchmark

Namecsp/rlfapScens11/
normalized-scen11-f7.xml
MD5SUMa673a47612e40743ebfb56a57b81bb4c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.66259
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size37
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.17/0.20	c Seed is 2132707307
0.17/0.20	c Constructing HOME/instance-2084343-1247724598.xml  with 11969 constraints
0.17/0.29	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-2084343-1247724598/watcher-2084343-1247724598 -o /tmp/evaluation-result-2084343-1247724598/solver-2084343-1247724598 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2132707307 HOME/instance-2084343-1247724598.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.07 2.02 4/72 14818
/proc/meminfo: memFree=838512/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=5212 CPUtime=0
/proc/14818/stat : 14818 (pcssolve) R 14816 14818 12424 0 -1 4194304 71 0 0 0 0 0 0 0 20 0 1 0 59527204 5337088 45 996147200 4194304 4889804 548682068800 18446744073709551615 268582372184 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 1303 45 30 169 0 14 0

[startup+0.181374 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 14818
/proc/meminfo: memFree=838512/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=8832 CPUtime=0.15
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 1823 662 0 0 15 0 0 0 18 0 1 0 59527204 9043968 1380 996147200 134512640 135215973 4294956304 18446744073709551615 134808146 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 2208 1380 385 171 0 1133 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 8832

[startup+0.20137 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 14818
/proc/meminfo: memFree=838512/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=8880 CPUtime=0.17
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 1946 662 0 0 17 0 0 0 18 0 1 0 59527204 9093120 1449 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 2220 1450 385 171 0 1145 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8880

[startup+0.30139 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 14818
/proc/meminfo: memFree=838512/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=11364 CPUtime=0.27
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 2758 662 0 0 26 1 0 0 19 0 1 0 59527204 11636736 2031 996147200 134512640 135215973 4294956304 18446744073709551615 4158960048 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 2841 2031 401 171 0 1766 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11364

[startup+0.701468 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 14818
/proc/meminfo: memFree=838512/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=13516 CPUtime=0.67
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 3289 662 0 0 66 1 0 0 22 0 1 0 59527204 13840384 2562 996147200 134512640 135215973 4294956304 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 3379 2562 401 171 0 2304 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13516

[startup+1.50162 s]
/proc/loadavg: 2.05 2.07 2.02 3/73 14823
/proc/meminfo: memFree=825128/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=24100 CPUtime=1.46
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 5938 662 0 0 144 2 0 0 25 0 1 0 59527204 24678400 5158 996147200 134512640 135215973 4294956304 18446744073709551615 134583685 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 6025 5158 401 171 0 4950 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 24100

[startup+3.10194 s]
/proc/loadavg: 2.05 2.07 2.02 3/73 14823
/proc/meminfo: memFree=813416/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=38640 CPUtime=3.06
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 9652 662 0 0 302 4 0 0 25 0 1 0 59527204 39567360 8767 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 9660 8767 401 171 0 8585 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38640

[startup+6.30157 s]
/proc/loadavg: 2.04 2.07 2.02 3/73 14823
/proc/meminfo: memFree=796520/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=46428 CPUtime=6.24
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 11638 662 0 0 619 5 0 0 25 0 1 0 59527204 47542272 10753 996147200 134512640 135215973 4294956304 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 11607 10753 401 171 0 10532 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 46428

[startup+12.7018 s]
/proc/loadavg: 2.04 2.07 2.02 3/73 14823
/proc/meminfo: memFree=785192/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=55932 CPUtime=12.61
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 14030 662 0 0 1255 6 0 0 25 0 1 0 59527204 57274368 13145 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 13983 13145 401 171 0 12908 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 55932

[startup+25.5013 s]
/proc/loadavg: 2.03 2.06 2.02 3/73 14823
/proc/meminfo: memFree=752360/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=85144 CPUtime=25.37
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 21433 662 0 0 2527 10 0 0 25 0 1 0 59527204 87187456 20339 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 21286 20339 401 171 0 20211 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 85144

[startup+51.1014 s]
/proc/loadavg: 2.02 2.06 2.02 3/73 14823
/proc/meminfo: memFree=731432/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=95800 CPUtime=50.86
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 24198 662 0 0 5075 11 0 0 25 0 1 0 59527204 98099200 23104 996147200 134512640 135215973 4294956304 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 23950 23104 404 171 0 22875 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 95800

[startup+102.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/73 14823
/proc/meminfo: memFree=646376/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168056 CPUtime=101.81
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42338 662 0 0 10163 18 0 0 25 0 1 0 59527204 172089344 40827 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 42014 40827 404 171 0 40939 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 168056

[startup+162.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/73 14823
/proc/meminfo: memFree=629736/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168164 CPUtime=161.53
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42356 662 0 0 16134 19 0 0 25 0 1 0 59527204 172199936 40845 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 42041 40845 404 171 0 40966 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 168164

[startup+222.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 14823
/proc/meminfo: memFree=612904/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168164 CPUtime=221.24
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42389 662 0 0 22105 19 0 0 25 0 1 0 59527204 172199936 40878 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/14818/statm: 42041 40878 404 171 0 40966 0
Current children cumulated CPU time (s) 221.24
Current children cumulated vsize (KiB) 168164

[startup+282.302 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1089816/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168320 CPUtime=280.99
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42418 662 0 0 28078 21 0 0 25 0 1 0 59527204 172359680 40907 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42080 40907 404 171 0 41005 0
Current children cumulated CPU time (s) 280.99
Current children cumulated vsize (KiB) 168320

[startup+342.303 s]
/proc/loadavg: 1.97 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1089624/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168532 CPUtime=340.74
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42459 662 0 0 34053 21 0 0 25 0 1 0 59527204 172576768 40948 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42133 40948 404 171 0 41058 0
Current children cumulated CPU time (s) 340.74
Current children cumulated vsize (KiB) 168532

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1089432/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168628 CPUtime=400.5
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42514 662 0 0 40029 21 0 0 25 0 1 0 59527204 172675072 41003 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42157 41003 404 171 0 41082 0
Current children cumulated CPU time (s) 400.5
Current children cumulated vsize (KiB) 168628

[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1089240/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168724 CPUtime=460.25
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42560 662 0 0 46004 21 0 0 25 0 1 0 59527204 172773376 41049 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42181 41049 404 171 0 41106 0
Current children cumulated CPU time (s) 460.25
Current children cumulated vsize (KiB) 168724

[startup+522.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1089176/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168952 CPUtime=520
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42591 662 0 0 51979 21 0 0 25 0 1 0 59527204 173006848 41080 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42238 41080 404 171 0 41163 0
Current children cumulated CPU time (s) 520
Current children cumulated vsize (KiB) 168952

[startup+582.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1089112/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=168952 CPUtime=579.75
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42609 662 0 0 57954 21 0 0 25 0 1 0 59527204 173006848 41098 996147200 134512640 135215973 4294956304 18446744073709551615 134583697 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42238 41098 404 171 0 41163 0
Current children cumulated CPU time (s) 579.75
Current children cumulated vsize (KiB) 168952

[startup+642.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1089048/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=169048 CPUtime=639.51
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42627 662 0 0 63930 21 0 0 25 0 1 0 59527204 173105152 41116 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42262 41116 404 171 0 41187 0
Current children cumulated CPU time (s) 639.51
Current children cumulated vsize (KiB) 169048

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1088728/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=169336 CPUtime=818.77
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42707 662 0 0 81855 22 0 0 25 0 1 0 59527204 173400064 41196 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42334 41196 404 171 0 41259 0
Current children cumulated CPU time (s) 818.77
Current children cumulated vsize (KiB) 169336

[startup+882.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1088408/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=169528 CPUtime=878.53
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42762 662 0 0 87831 22 0 0 25 0 1 0 59527204 173596672 41251 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42382 41251 404 171 0 41307 0
Current children cumulated CPU time (s) 878.53
Current children cumulated vsize (KiB) 169528

[startup+942.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1088152/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=169752 CPUtime=938.28
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42832 662 0 0 93806 22 0 0 25 0 1 0 59527204 173826048 41288 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42438 41288 404 171 0 41363 0
Current children cumulated CPU time (s) 938.28
Current children cumulated vsize (KiB) 169752

[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14898
/proc/meminfo: memFree=1088088/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=169848 CPUtime=998.03
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42859 662 0 0 99781 22 0 0 25 0 1 0 59527204 173924352 41315 996147200 134512640 135215973 4294956304 18446744073709551615 134533363 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42462 41315 404 171 0 41387 0
Current children cumulated CPU time (s) 998.03
Current children cumulated vsize (KiB) 169848

[startup+1062.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/82 14898
/proc/meminfo: memFree=1088024/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=170040 CPUtime=1057.78
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42905 662 0 0 105756 22 0 0 25 0 1 0 59527204 174120960 41361 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42510 41361 404 171 0 41435 0
Current children cumulated CPU time (s) 1057.78
Current children cumulated vsize (KiB) 170040

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/82 14898
/proc/meminfo: memFree=1087832/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=170140 CPUtime=1117.54
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42941 662 0 0 111732 22 0 0 25 0 1 0 59527204 174223360 41397 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42535 41397 404 171 0 41460 0
Current children cumulated CPU time (s) 1117.54
Current children cumulated vsize (KiB) 170140

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14898
/proc/meminfo: memFree=1087704/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=170332 CPUtime=1177.3
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 42975 662 0 0 117708 22 0 0 25 0 1 0 59527204 174419968 41431 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42583 41431 404 171 0 41508 0
Current children cumulated CPU time (s) 1177.3
Current children cumulated vsize (KiB) 170332

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14898
/proc/meminfo: memFree=1087448/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=170432 CPUtime=1237.04
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43014 662 0 0 123682 22 0 0 25 0 1 0 59527204 174522368 41470 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42608 41470 404 171 0 41533 0
Current children cumulated CPU time (s) 1237.04
Current children cumulated vsize (KiB) 170432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14938
/proc/meminfo: memFree=1074584/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=170528 CPUtime=1296.8
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43051 662 0 0 129657 23 0 0 25 0 1 0 59527204 174620672 41507 996147200 134512640 135215973 4294956304 18446744073709551615 135097768 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42632 41507 404 171 0 41557 0
Current children cumulated CPU time (s) 1296.8
Current children cumulated vsize (KiB) 170528

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14938
/proc/meminfo: memFree=1055448/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=170624 CPUtime=1356.55
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43083 662 0 0 135631 24 0 0 25 0 1 0 59527204 174718976 41539 996147200 134512640 135215973 4294956304 18446744073709551615 134583644 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42656 41539 404 171 0 41581 0
Current children cumulated CPU time (s) 1356.55
Current children cumulated vsize (KiB) 170624

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14938
/proc/meminfo: memFree=1043672/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=171760 CPUtime=1416.31
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43349 662 0 0 141607 24 0 0 25 0 1 0 59527204 175882240 41676 996147200 134512640 135215973 4294956304 18446744073709551615 4158960227 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42940 41676 404 171 0 41865 0
Current children cumulated CPU time (s) 1416.31
Current children cumulated vsize (KiB) 171760

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14938
/proc/meminfo: memFree=1036056/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=171760 CPUtime=1476.06
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43352 662 0 0 147582 24 0 0 25 0 1 0 59527204 175882240 41679 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42940 41679 404 171 0 41865 0
Current children cumulated CPU time (s) 1476.06
Current children cumulated vsize (KiB) 171760

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14938
/proc/meminfo: memFree=1030808/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=171760 CPUtime=1535.81
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43363 662 0 0 153557 24 0 0 25 0 1 0 59527204 175882240 41690 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42940 41690 404 171 0 41865 0
Current children cumulated CPU time (s) 1535.81
Current children cumulated vsize (KiB) 171760

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14938
/proc/meminfo: memFree=1021592/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=171856 CPUtime=1595.56
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43373 662 0 0 159532 24 0 0 25 0 1 0 59527204 175980544 41700 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42964 41700 404 171 0 41889 0
Current children cumulated CPU time (s) 1595.56
Current children cumulated vsize (KiB) 171856

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 14939
/proc/meminfo: memFree=1014416/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=171856 CPUtime=1655.31
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43390 662 0 0 165507 24 0 0 25 0 1 0 59527204 175980544 41717 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42964 41717 404 171 0 41889 0
Current children cumulated CPU time (s) 1655.31
Current children cumulated vsize (KiB) 171856

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14940
/proc/meminfo: memFree=951048/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=171952 CPUtime=1715.06
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43409 662 0 0 171482 24 0 0 25 0 1 0 59527204 176078848 41736 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 42988 41736 404 171 0 41913 0
Current children cumulated CPU time (s) 1715.06
Current children cumulated vsize (KiB) 171952

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14940
/proc/meminfo: memFree=942088/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=172052 CPUtime=1774.79
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43436 662 0 0 177455 24 0 0 25 0 1 0 59527204 176181248 41763 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 43013 41763 404 171 0 41938 0
Current children cumulated CPU time (s) 1774.79
Current children cumulated vsize (KiB) 172052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 14940
/proc/meminfo: memFree=942024/2055924 swapFree=4192812/4192956
[pid=14818] ppid=14816 vsize=172148 CPUtime=1800.08
/proc/14818/stat : 14818 (pcs.big) R 14816 14818 12424 0 -1 4194304 43449 662 0 0 179983 25 0 0 25 0 1 0 59527204 176279552 41776 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 0 0 0
/proc/14818/statm: 43037 41776 404 171 0 41962 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 172148

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): 1807.73
CPU time (s): 1800.12
CPU user time (s): 1799.84
CPU system time (s): 0.282956
CPU usage (%): 99.5789
Max. virtual memory (cumulated for all children) (KiB): 172152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.282956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44111
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= 19
involuntary context switches= 23580

runsolver used 1.73274 second user time and 4.90325 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-16 08:09:58
IDJOB=2084343
IDBENCH=58068
IDSOLVER=734
FILE ID=node6/2084343-1247724598
PBS_JOBID= 9521477
Free space on /tmp= 66316 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rlfapScens11/normalized-scen11-f7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084343-1247724598/watcher-2084343-1247724598 -o /tmp/evaluation-result-2084343-1247724598/solver-2084343-1247724598 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2132707307 HOME/instance-2084343-1247724598.xml

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

MD5SUM BENCH= a673a47612e40743ebfb56a57b81bb4c
RANDOM SEED=2132707307

node6.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.263
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.263
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:      2055924 kB
MemFree:        839056 kB
Buffers:        109284 kB
Cached:         563440 kB
SwapCached:          0 kB
Active:         691632 kB
Inactive:       428480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        839056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2232 kB
Writeback:           0 kB
Mapped:         458940 kB
Slab:            81424 kB
Committed_AS:   916172 kB
PageTables:       2672 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= 66304 MiB
End job on node6 at 2009-07-16 08:40:08