Trace number 2059021

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.13 1807.87

General information on the benchmark

Namecsp/QCP-25/
normalized-qcp-25-264-0_ext.xml
MD5SUM5c0298c4f51c80f1d84ee4e6bda51630
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 benchmark113.426
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints10142
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension10142
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 202311879
0.00/0.02	c Constructing HOME/instance-2059021-1247694445.xml  with 70862 constraints
0.28/0.31	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-2059021-1247694445/watcher-2059021-1247694445 -o /tmp/evaluation-result-2059021-1247694445/solver-2059021-1247694445 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 202311879 HOME/instance-2059021-1247694445.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.03 1.08 0.43 4/72 8730
/proc/meminfo: memFree=1104352/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=18576 CPUtime=0
/proc/8730/stat : 8730 (runsolver) R 8728 8730 8554 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 56511536 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8730/statm: 4644 284 249 26 0 2626 0

[startup+0.037266 s]
/proc/loadavg: 2.03 1.08 0.43 4/72 8730
/proc/meminfo: memFree=1104352/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=4688 CPUtime=0.01
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 872 824 0 0 1 0 0 0 25 0 1 0 56511536 4800512 481 996147200 134512640 135095119 4294956304 18446744073709551615 134710726 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 1172 481 367 142 0 126 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4688

[startup+0.102282 s]
/proc/loadavg: 2.03 1.08 0.43 4/72 8730
/proc/meminfo: memFree=1104352/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=7432 CPUtime=0.08
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 1667 824 0 0 7 1 0 0 25 0 1 0 56511536 7610368 1049 996147200 134512640 135095119 4294956304 18446744073709551615 10161791 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 1858 1049 367 142 0 812 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7432

[startup+0.302298 s]
/proc/loadavg: 2.03 1.08 0.43 4/72 8730
/proc/meminfo: memFree=1104352/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=15904 CPUtime=0.28
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 4235 824 0 0 26 2 0 0 25 0 1 0 56511536 16285696 2749 996147200 134512640 135095119 4294956304 18446744073709551615 10161749 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 3976 2749 367 142 0 2930 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15904

[startup+0.70234 s]
/proc/loadavg: 2.03 1.08 0.43 4/72 8730
/proc/meminfo: memFree=1104352/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=16068 CPUtime=0.68
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 4323 824 0 0 66 2 0 0 25 0 1 0 56511536 16453632 2837 996147200 134512640 135095119 4294956304 18446744073709551615 134555106 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 4017 2837 378 142 0 2971 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16068

[startup+1.50243 s]
/proc/loadavg: 2.03 1.08 0.43 3/73 8736
/proc/meminfo: memFree=1094232/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=16196 CPUtime=1.47
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 4367 824 0 0 145 2 0 0 25 0 1 0 56511536 16584704 2881 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 4049 2881 378 142 0 3003 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16196

[startup+3.10158 s]
/proc/loadavg: 2.03 1.08 0.43 3/73 8736
/proc/meminfo: memFree=1088216/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=16456 CPUtime=3.06
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 4444 824 0 0 304 2 0 0 25 0 1 0 56511536 16850944 2958 996147200 134512640 135095119 4294956304 18446744073709551615 134637470 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 4114 2958 378 142 0 3068 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16456

[startup+6.3019 s]
/proc/loadavg: 2.03 1.09 0.44 3/73 8736
/proc/meminfo: memFree=1086936/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=17736 CPUtime=6.25
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 4890 824 0 0 623 2 0 0 25 0 1 0 56511536 18161664 3306 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 4434 3306 378 142 0 3388 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 17736

[startup+12.7015 s]
/proc/loadavg: 2.03 1.11 0.45 3/73 8736
/proc/meminfo: memFree=1084056/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=20168 CPUtime=12.62
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 5671 824 0 0 1258 4 0 0 25 0 1 0 56511536 20652032 3958 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 5042 3958 378 142 0 3996 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 20168

[startup+25.5018 s]
/proc/loadavg: 2.02 1.15 0.47 3/73 8736
/proc/meminfo: memFree=1078552/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=24904 CPUtime=25.36
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 7213 824 0 0 2531 5 0 0 25 0 1 0 56511536 25501696 5243 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 6226 5243 378 142 0 5180 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 24904

[startup+51.1013 s]
/proc/loadavg: 2.01 1.22 0.51 3/73 8736
/proc/meminfo: memFree=1066584/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=39896 CPUtime=50.83
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 11641 824 0 0 5075 8 0 0 25 0 1 0 56511536 40853504 8004 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 9974 8004 378 142 0 8928 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 39896

[startup+102.306 s]
/proc/loadavg: 2.00 1.33 0.58 3/73 8736
/proc/meminfo: memFree=1049816/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=54616 CPUtime=101.79
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 16459 824 0 0 10166 13 0 0 25 0 1 0 56511536 55926784 11797 996147200 134512640 135095119 4294956304 18446744073709551615 134636887 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 13654 11797 378 142 0 12608 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 54616

[startup+162.301 s]
/proc/loadavg: 2.00 1.45 0.67 3/73 8736
/proc/meminfo: memFree=1029464/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=75864 CPUtime=161.5
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 22928 824 0 0 16131 19 0 0 25 0 1 0 56511536 77684736 16217 996147200 134512640 135095119 4294956304 18446744073709551615 134643043 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 18966 16217 378 142 0 17920 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 75864

[startup+222.301 s]
/proc/loadavg: 2.00 1.55 0.75 3/73 8738
/proc/meminfo: memFree=992344/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=113476 CPUtime=221.2
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 33587 824 0 0 22093 27 0 0 25 0 1 0 56511536 116199424 24570 996147200 134512640 135095119 4294956304 18446744073709551615 134839513 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 28369 24570 378 142 0 27323 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 113476

[startup+282.301 s]
/proc/loadavg: 2.00 1.63 0.83 3/73 8738
/proc/meminfo: memFree=985688/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=113476 CPUtime=280.91
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 34458 824 0 0 28063 28 0 0 25 0 1 0 56511536 116199424 25441 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 28369 25441 378 142 0 27323 0
Current children cumulated CPU time (s) 280.91
Current children cumulated vsize (KiB) 113476

[startup+342.301 s]
/proc/loadavg: 2.00 1.69 0.90 3/73 8738
/proc/meminfo: memFree=972952/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=136132 CPUtime=340.62
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 41009 824 0 0 34030 32 0 0 25 0 1 0 56511536 139399168 27895 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 34033 27895 378 142 0 32987 0
Current children cumulated CPU time (s) 340.62
Current children cumulated vsize (KiB) 136132

[startup+402.302 s]
/proc/loadavg: 2.00 1.75 0.96 3/73 8738
/proc/meminfo: memFree=955352/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=147396 CPUtime=400.33
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 44683 824 0 0 39997 36 0 0 25 0 1 0 56511536 150933504 31569 996147200 134512640 135095119 4294956304 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 36849 31569 378 142 0 35803 0
Current children cumulated CPU time (s) 400.33
Current children cumulated vsize (KiB) 147396

[startup+462.302 s]
/proc/loadavg: 2.00 1.79 1.02 3/73 8738
/proc/meminfo: memFree=938136/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=158276 CPUtime=460.04
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 48242 824 0 0 45964 40 0 0 25 0 1 0 56511536 162074624 35128 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 39569 35128 378 142 0 38523 0
Current children cumulated CPU time (s) 460.04
Current children cumulated vsize (KiB) 158276

[startup+522.303 s]
/proc/loadavg: 2.00 1.83 1.08 3/73 8738
/proc/meminfo: memFree=921240/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=169284 CPUtime=519.77
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 51840 824 0 0 51931 46 0 0 25 0 1 0 56511536 173346816 38726 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 42321 38726 378 142 0 41275 0
Current children cumulated CPU time (s) 519.77
Current children cumulated vsize (KiB) 169284

[startup+582.303 s]
/proc/loadavg: 2.00 1.85 1.14 3/73 8738
/proc/meminfo: memFree=904600/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=180036 CPUtime=579.47
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 55296 824 0 0 57896 51 0 0 25 0 1 0 56511536 184356864 42182 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 45009 42182 378 142 0 43963 0
Current children cumulated CPU time (s) 579.47
Current children cumulated vsize (KiB) 180036

[startup+642.303 s]
/proc/loadavg: 2.00 1.88 1.19 3/73 8738
/proc/meminfo: memFree=888600/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=190276 CPUtime=639.19
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 58615 824 0 0 63864 55 0 0 25 0 1 0 56511536 194842624 45501 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 47569 45501 378 142 0 46523 0
Current children cumulated CPU time (s) 639.19
Current children cumulated vsize (KiB) 190276

[startup+702.303 s]

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

[startup+822.303 s]
/proc/loadavg: 2.00 1.93 1.32 3/73 8744
/proc/meminfo: memFree=778456/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=325980 CPUtime=818.29
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 94544 824 0 0 81752 77 0 0 25 0 1 0 56511536 333803520 69140 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 81495 69140 378 142 0 80449 0
Current children cumulated CPU time (s) 818.29
Current children cumulated vsize (KiB) 325980

[startup+882.303 s]
/proc/loadavg: 2.00 1.94 1.36 3/73 8744
/proc/meminfo: memFree=775320/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=325980 CPUtime=878
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 95097 824 0 0 87722 78 0 0 25 0 1 0 56511536 333803520 69693 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 81495 69693 378 142 0 80449 0
Current children cumulated CPU time (s) 878
Current children cumulated vsize (KiB) 325980

[startup+942.303 s]
/proc/loadavg: 2.00 1.95 1.40 3/73 8744
/proc/meminfo: memFree=772184/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=325980 CPUtime=937.72
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 95644 824 0 0 93693 79 0 0 25 0 1 0 56511536 333803520 70240 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 81495 70240 378 142 0 80449 0
Current children cumulated CPU time (s) 937.72
Current children cumulated vsize (KiB) 325980

[startup+1002.3 s]
/proc/loadavg: 2.00 1.95 1.43 3/73 8744
/proc/meminfo: memFree=768856/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=325980 CPUtime=997.42
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 96203 824 0 0 99662 80 0 0 25 0 1 0 56511536 333803520 70799 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 81495 70799 378 142 0 80449 0
Current children cumulated CPU time (s) 997.42
Current children cumulated vsize (KiB) 325980

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.47 3/73 8744
/proc/meminfo: memFree=765656/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=325980 CPUtime=1057.14
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 96789 824 0 0 105633 81 0 0 25 0 1 0 56511536 333803520 71385 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 81495 71385 378 142 0 80449 0
Current children cumulated CPU time (s) 1057.14
Current children cumulated vsize (KiB) 325980

[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.50 3/73 8744
/proc/meminfo: memFree=762200/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=325980 CPUtime=1116.85
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 97395 824 0 0 111604 81 0 0 25 0 1 0 56511536 333803520 71991 996147200 134512640 135095119 4294956304 18446744073709551615 134615500 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 81495 71991 378 142 0 80449 0
Current children cumulated CPU time (s) 1116.85
Current children cumulated vsize (KiB) 325980

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/73 8744
/proc/meminfo: memFree=758104/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=325980 CPUtime=1176.56
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 98008 824 0 0 117574 82 0 0 25 0 1 0 56511536 333803520 72604 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 81495 72604 378 142 0 80449 0
Current children cumulated CPU time (s) 1176.56
Current children cumulated vsize (KiB) 325980

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/73 8744
/proc/meminfo: memFree=751128/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=328668 CPUtime=1236.27
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 99300 824 0 0 123542 85 0 0 25 0 1 0 56511536 336556032 73896 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 82167 73896 378 142 0 81121 0
Current children cumulated CPU time (s) 1236.27
Current children cumulated vsize (KiB) 328668

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/73 8744
/proc/meminfo: memFree=737880/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=337244 CPUtime=1295.99
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 102057 824 0 0 129510 89 0 0 25 0 1 0 56511536 345337856 76653 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 84311 76653 378 142 0 83265 0
Current children cumulated CPU time (s) 1295.99
Current children cumulated vsize (KiB) 337244

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/73 8744
/proc/meminfo: memFree=724952/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=345948 CPUtime=1355.7
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 104846 824 0 0 135478 92 0 0 25 0 1 0 56511536 354250752 79442 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 86487 79442 378 142 0 85441 0
Current children cumulated CPU time (s) 1355.7
Current children cumulated vsize (KiB) 345948

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.62 3/73 8744
/proc/meminfo: memFree=712024/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=354524 CPUtime=1415.41
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 107584 824 0 0 141446 95 0 0 25 0 1 0 56511536 363032576 82180 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 88631 82180 378 142 0 87585 0
Current children cumulated CPU time (s) 1415.41
Current children cumulated vsize (KiB) 354524

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/73 8744
/proc/meminfo: memFree=699352/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=363228 CPUtime=1475.12
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 110323 824 0 0 147414 98 0 0 25 0 1 0 56511536 371945472 84919 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 90807 84919 378 142 0 89761 0
Current children cumulated CPU time (s) 1475.12
Current children cumulated vsize (KiB) 363228

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/73 8744
/proc/meminfo: memFree=685848/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=371932 CPUtime=1534.83
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 113137 824 0 0 153382 101 0 0 25 0 1 0 56511536 380858368 87733 996147200 134512640 135095119 4294956304 18446744073709551615 134617249 0 0 4096 0 0 0 0 17 1 0 0
/proc/8730/statm: 92983 87733 378 142 0 91937 0
Current children cumulated CPU time (s) 1534.83
Current children cumulated vsize (KiB) 371932

[startup+1602.3 s]
/proc/loadavg: 1.87 1.94 1.67 3/73 8809
/proc/meminfo: memFree=766104/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=380636 CPUtime=1594.62
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 115883 824 0 0 159357 105 0 0 25 0 1 0 56511536 389771264 90479 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/8730/statm: 95159 90479 378 142 0 94113 0
Current children cumulated CPU time (s) 1594.62
Current children cumulated vsize (KiB) 380636

[startup+1662.3 s]
/proc/loadavg: 1.95 1.95 1.69 3/73 8809
/proc/meminfo: memFree=751576/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=389724 CPUtime=1654.59
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 118800 824 0 0 165351 108 0 0 25 0 1 0 56511536 399077376 93396 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/8730/statm: 97431 93396 378 142 0 96385 0
Current children cumulated CPU time (s) 1654.59
Current children cumulated vsize (KiB) 389724

[startup+1722.3 s]
/proc/loadavg: 1.98 1.95 1.70 3/73 8809
/proc/meminfo: memFree=737368/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=398812 CPUtime=1714.58
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 121676 824 0 0 171346 112 0 0 25 0 1 0 56511536 408383488 96272 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8730/statm: 99703 96272 378 142 0 98657 0
Current children cumulated CPU time (s) 1714.58
Current children cumulated vsize (KiB) 398812

[startup+1782.3 s]
/proc/loadavg: 1.99 1.96 1.72 3/73 8809
/proc/meminfo: memFree=722456/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=408284 CPUtime=1774.55
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 124660 824 0 0 177340 115 0 0 25 0 1 0 56511536 418082816 99256 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/8730/statm: 102071 99256 378 142 0 101025 0
Current children cumulated CPU time (s) 1774.55
Current children cumulated vsize (KiB) 408284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.8 s]
/proc/loadavg: 1.99 1.96 1.73 3/73 8809
/proc/meminfo: memFree=715288/2055920 swapFree=4192812/4192956
[pid=8730] ppid=8728 vsize=412380 CPUtime=1800.04
/proc/8730/stat : 8730 (pcs.small) R 8728 8730 8554 0 -1 4194304 125939 824 0 0 179888 116 0 0 25 0 1 0 56511536 422277120 100535 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 0 0 0
/proc/8730/statm: 103095 100535 378 142 0 102049 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 412380

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.87
CPU time (s): 1800.13
CPU user time (s): 1798.89
CPU system time (s): 1.23581
CPU usage (%): 99.5718
Max. virtual memory (cumulated for all children) (KiB): 412380

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

runsolver used 2.6626 second user time and 5.50116 second system time

The end

Launcher Data 

Begin job on node12 at 2009-07-15 23:47:25
IDJOB=2059021
IDBENCH=53544
IDSOLVER=734
FILE ID=node12/2059021-1247694445
PBS_JOBID= 9521284
Free space on /tmp= 66268 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-0_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059021-1247694445/watcher-2059021-1247694445 -o /tmp/evaluation-result-2059021-1247694445/solver-2059021-1247694445 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 202311879 HOME/instance-2059021-1247694445.xml

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

MD5SUM BENCH= 5c0298c4f51c80f1d84ee4e6bda51630
RANDOM SEED=202311879

node12.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.240
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.240
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:       1104832 kB
Buffers:         75920 kB
Cached:         738648 kB
SwapCached:        140 kB
Active:         218620 kB
Inactive:       644812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1104832 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2444 kB
Writeback:           0 kB
Mapped:          60140 kB
Slab:            73192 kB
Committed_AS:   530772 kB
PageTables:       1796 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= 66264 MiB
End job on node12 at 2009-07-16 00:17:35