Trace number 2087126

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.07 1802.33

General information on the benchmark

Namecsp/dag-half/
normalized-half-n25-d5-e56-r7-1.xml
MD5SUMe314bdf1882217984545160cbeb01d02
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.7645
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Maximum constraint arity7
Maximum domain size5
Number of constraints which are defined in extension56
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.18/0.37	c small-domain mode
0.18/0.37	c Seed is 875721204
0.18/0.37	c Constructing HOME/instance-2087126-1247727398.xml  with 56 constraints
10.76/10.93	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-2087126-1247727398/watcher-2087126-1247727398 -o /tmp/evaluation-result-2087126-1247727398/solver-2087126-1247727398 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 875721204 HOME/instance-2087126-1247727398.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 16990
/proc/meminfo: memFree=689504/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=5356 CPUtime=0
/proc/16990/stat : 16990 (pcssolve) R 16988 16990 16710 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59806948 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 269757246111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16990/statm: 1339 241 200 169 0 50 0
[pid=16991] ppid=16990 vsize=5356 CPUtime=0
/proc/16991/stat : 16991 (pcssolve) R 16990 16990 16710 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59806948 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 269757246111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16991/statm: 1339 241 200 169 0 50 0

[startup+0.104094 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16990
/proc/meminfo: memFree=689504/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=5356 CPUtime=0
/proc/16990/stat : 16990 (pcssolve) S 16988 16990 16710 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59806948 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16990/statm: 1339 242 201 169 0 50 0
[pid=16991] ppid=16990 vsize=4708 CPUtime=0.08
/proc/16991/stat : 16991 (fgrep) R 16990 16990 16710 0 -1 4194304 650 0 0 0 6 2 0 0 22 0 1 0 59806948 4820992 390 996147200 4194304 4274172 548682068976 18446744073709551615 269757126174 0 0 4096 0 0 0 0 17 1 0 0
/proc/16991/statm: 1177 390 88 19 0 301 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10064

[startup+0.20116 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16990
/proc/meminfo: memFree=689504/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=5356 CPUtime=0.09
/proc/16990/stat : 16990 (pcssolve) S 16988 16990 16710 0 -1 4194304 339 819 0 0 0 0 7 2 16 0 1 0 59806948 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16990/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356

[startup+0.301123 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16990
/proc/meminfo: memFree=689504/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=5356 CPUtime=0.18
/proc/16990/stat : 16990 (pcssolve) S 16988 16990 16710 0 -1 4194304 367 1652 0 0 0 0 14 4 16 0 1 0 59806948 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16990/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356

[startup+0.70117 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16990
/proc/meminfo: memFree=689504/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=8996 CPUtime=0.66
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 2218 2327 0 0 32 0 28 6 19 0 1 0 59806948 9211904 1361 996147200 134512640 135095119 4294956304 18446744073709551615 12344915 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 2249 1361 375 142 0 1203 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 8996

[startup+1.50128 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=682008/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=18952 CPUtime=1.46
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 4501 2327 0 0 110 2 28 6 25 0 1 0 59806948 19406848 2683 996147200 134512640 135095119 4294956304 18446744073709551615 134929698 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 4738 2683 375 142 0 3692 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 18952

[startup+3.10149 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=674712/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=36720 CPUtime=3.03
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 8747 2327 0 0 266 3 28 6 25 0 1 0 59806948 37601280 5189 996147200 134512640 135095119 4294956304 18446744073709551615 12312301 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 9180 5189 375 142 0 8134 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 36720

[startup+6.30291 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=652056/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=73236 CPUtime=6.2
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 19194 2327 0 0 576 10 28 6 25 0 1 0 59806948 74993664 10546 996147200 134512640 135095119 4294956304 18446744073709551615 134914406 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 18309 10546 375 142 0 17263 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 73236

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=614104/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=74404 CPUtime=12.54
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 35363 2327 0 0 1202 18 28 6 25 0 1 0 59806948 76189696 17941 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 18601 17941 390 142 0 17555 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 74404

[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=592408/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=74536 CPUtime=25.22
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 35394 2327 0 0 2470 18 28 6 25 0 1 0 59806948 76324864 17972 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 18634 17972 390 142 0 17588 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 74536

[startup+51.1018 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=588568/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=74796 CPUtime=50.6
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 35497 2327 0 0 5008 18 28 6 25 0 1 0 59806948 76591104 18042 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 18699 18042 390 142 0 17653 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 74796

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=570264/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=75964 CPUtime=101.36
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 35896 2327 0 0 10084 18 28 6 25 0 1 0 59806948 77787136 18278 996147200 134512640 135095119 4294956304 18446744073709551615 134909756 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 18991 18278 390 142 0 17945 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 75964

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=552920/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=77256 CPUtime=160.85
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 36346 2327 0 0 16032 19 28 6 25 0 1 0 59806948 79110144 18599 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16990/statm: 19314 18599 390 142 0 18268 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 77256

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17029
/proc/meminfo: memFree=1311000/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=80108 CPUtime=220.7
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 37189 2327 0 0 22016 20 28 6 25 0 1 0 59806948 82030592 19056 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 20027 19056 390 142 0 18981 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 80108

[startup+282.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/73 17035
/proc/meminfo: memFree=1302608/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=81156 CPUtime=280.68
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 37589 2327 0 0 28012 22 28 6 25 0 1 0 59806948 83103744 19456 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 20289 19456 390 142 0 19243 0
Current children cumulated CPU time (s) 280.68
Current children cumulated vsize (KiB) 81156

[startup+342.301 s]
/proc/loadavg: 2.21 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1283408/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=84812 CPUtime=340.64
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 38633 2327 0 0 34008 22 28 6 25 0 1 0 59806948 86847488 20243 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 21203 20243 390 142 0 20157 0
Current children cumulated CPU time (s) 340.64
Current children cumulated vsize (KiB) 84812

[startup+402.301 s]
/proc/loadavg: 2.14 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1256208/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=86860 CPUtime=400.62
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 39272 2327 0 0 40005 23 28 6 25 0 1 0 59806948 88944640 20369 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 21715 20369 390 142 0 20669 0
Current children cumulated CPU time (s) 400.62
Current children cumulated vsize (KiB) 86860

[startup+462.301 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1234512/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=87640 CPUtime=460.6
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 39593 2327 0 0 46002 24 28 6 25 0 1 0 59806948 89743360 20690 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 21910 20690 390 142 0 20864 0
Current children cumulated CPU time (s) 460.6
Current children cumulated vsize (KiB) 87640

[startup+522.302 s]
/proc/loadavg: 2.09 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1211536/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=88692 CPUtime=520.57
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 39997 2327 0 0 51999 24 28 6 25 0 1 0 59806948 90820608 21094 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 22173 21094 390 142 0 21127 0
Current children cumulated CPU time (s) 520.57
Current children cumulated vsize (KiB) 88692

[startup+582.302 s]
/proc/loadavg: 2.08 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1186136/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=89744 CPUtime=580.54
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 40410 2327 0 0 57996 24 28 6 25 0 1 0 59806948 91897856 21507 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 22436 21507 390 142 0 21390 0
Current children cumulated CPU time (s) 580.54
Current children cumulated vsize (KiB) 89744

[startup+642.302 s]
/proc/loadavg: 2.08 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1157720/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=96660 CPUtime=640.52

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 17035
/proc/meminfo: memFree=1127320/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=100756 CPUtime=820.44
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 43688 2327 0 0 81983 27 28 6 25 0 1 0 59806948 103174144 23247 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 25189 23247 390 142 0 24143 0
Current children cumulated CPU time (s) 820.44
Current children cumulated vsize (KiB) 100756

[startup+882.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 17035
/proc/meminfo: memFree=1095064/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=101800 CPUtime=880.42
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 44075 2327 0 0 87981 27 28 6 25 0 1 0 59806948 104243200 23634 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 25450 23634 390 142 0 24404 0
Current children cumulated CPU time (s) 880.42
Current children cumulated vsize (KiB) 101800

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 17035
/proc/meminfo: memFree=1074136/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=103104 CPUtime=940.38
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 44540 2327 0 0 93976 28 28 6 25 0 1 0 59806948 105578496 24099 996147200 134512640 135095119 4294956304 18446744073709551615 134576336 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 25776 24099 390 142 0 24730 0
Current children cumulated CPU time (s) 940.38
Current children cumulated vsize (KiB) 103104

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17035
/proc/meminfo: memFree=1049496/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=104284 CPUtime=1000.36
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 44986 2327 0 0 99973 29 28 6 25 0 1 0 59806948 106786816 24545 996147200 134512640 135095119 4294956304 18446744073709551615 134578928 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 26071 24545 390 142 0 25025 0
Current children cumulated CPU time (s) 1000.36
Current children cumulated vsize (KiB) 104284

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17035
/proc/meminfo: memFree=1029080/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=105336 CPUtime=1060.34
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 45402 2327 0 0 105970 30 28 6 25 0 1 0 59806948 107864064 24961 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 26334 24961 390 142 0 25288 0
Current children cumulated CPU time (s) 1060.34
Current children cumulated vsize (KiB) 105336

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=1014232/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=106512 CPUtime=1120.3
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 45827 2327 0 0 111966 30 28 6 25 0 1 0 59806948 109068288 25386 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 26628 25386 390 142 0 25582 0
Current children cumulated CPU time (s) 1120.3
Current children cumulated vsize (KiB) 106512

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=974360/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=107692 CPUtime=1180.28
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 46268 2327 0 0 117963 31 28 6 25 0 1 0 59806948 110276608 25827 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 26923 25827 390 142 0 25877 0
Current children cumulated CPU time (s) 1180.28
Current children cumulated vsize (KiB) 107692

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=936408/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=120624 CPUtime=1240.26
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 49609 2327 0 0 123959 33 28 6 25 0 1 0 59806948 123518976 28143 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 30156 28143 390 142 0 29110 0
Current children cumulated CPU time (s) 1240.26
Current children cumulated vsize (KiB) 120624

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=910488/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=120624 CPUtime=1300.23
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 49749 2327 0 0 129956 33 28 6 25 0 1 0 59806948 123518976 28283 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 30156 28283 390 142 0 29110 0
Current children cumulated CPU time (s) 1300.23
Current children cumulated vsize (KiB) 120624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=872664/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=120624 CPUtime=1360.2
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 49887 2327 0 0 135953 33 28 6 25 0 1 0 59806948 123518976 28421 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 30156 28421 390 142 0 29110 0
Current children cumulated CPU time (s) 1360.2
Current children cumulated vsize (KiB) 120624

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=847256/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=120624 CPUtime=1420.18
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 50032 2327 0 0 141951 33 28 6 25 0 1 0 59806948 123518976 28566 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 30156 28566 390 142 0 29110 0
Current children cumulated CPU time (s) 1420.18
Current children cumulated vsize (KiB) 120624

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=823896/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=128816 CPUtime=1480.15
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 52216 2327 0 0 147947 34 28 6 25 0 1 0 59806948 131907584 28701 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 32204 28701 390 142 0 31158 0
Current children cumulated CPU time (s) 1480.15
Current children cumulated vsize (KiB) 128816

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=798872/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=128816 CPUtime=1540.14
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 52340 2327 0 0 153945 35 28 6 25 0 1 0 59806948 131907584 28825 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 32204 28825 390 142 0 31158 0
Current children cumulated CPU time (s) 1540.14
Current children cumulated vsize (KiB) 128816

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=774616/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=128816 CPUtime=1600.11
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 52472 2327 0 0 159942 35 28 6 25 0 1 0 59806948 131907584 28957 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 32204 28957 390 142 0 31158 0
Current children cumulated CPU time (s) 1600.11
Current children cumulated vsize (KiB) 128816

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=754008/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=129732 CPUtime=1660.08
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 52819 2327 0 0 165938 36 28 6 25 0 1 0 59806948 132845568 29304 996147200 134512640 135095119 4294956304 18446744073709551615 134912005 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 32433 29304 390 142 0 31387 0
Current children cumulated CPU time (s) 1660.08
Current children cumulated vsize (KiB) 129732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=731352/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=130784 CPUtime=1720.06
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 53204 2327 0 0 171935 37 28 6 25 0 1 0 59806948 133922816 29689 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 32696 29689 390 142 0 31650 0
Current children cumulated CPU time (s) 1720.06
Current children cumulated vsize (KiB) 130784

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=714840/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=131832 CPUtime=1780.03
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 53603 2327 0 0 177931 38 28 6 25 0 1 0 59806948 134995968 30088 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 32958 30088 390 142 0 31912 0
Current children cumulated CPU time (s) 1780.03
Current children cumulated vsize (KiB) 131832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=708056/2055920 swapFree=4192812/4192956
[pid=16990] ppid=16988 vsize=132220 CPUtime=1800.03
/proc/16990/stat : 16990 (pcs.small) R 16988 16990 16710 0 -1 4194304 53739 2327 0 0 179931 38 28 6 25 0 1 0 59806948 135393280 30224 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16990/statm: 33055 30224 390 142 0 32009 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 132220

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): 1802.33
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.469928
CPU usage (%): 99.8747
Max. virtual memory (cumulated for all children) (KiB): 132220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.469928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56066
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= 26
involuntary context switches= 9081

runsolver used 2.6176 second user time and 5.50216 second system time

The end

Launcher Data 

Begin job on node13 at 2009-07-16 08:56:40
IDJOB=2087126
IDBENCH=58694
IDSOLVER=734
FILE ID=node13/2087126-1247727398
PBS_JOBID= 9521501
Free space on /tmp= 66280 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087126-1247727398/watcher-2087126-1247727398 -o /tmp/evaluation-result-2087126-1247727398/solver-2087126-1247727398 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 875721204 HOME/instance-2087126-1247727398.xml

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

MD5SUM BENCH= e314bdf1882217984545160cbeb01d02
RANDOM SEED=875721204

node13.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.241
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.241
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:        689984 kB
Buffers:         85532 kB
Cached:         399444 kB
SwapCached:          0 kB
Active:         999696 kB
Inactive:       281976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        689984 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           32392 kB
Writeback:           0 kB
Mapped:         808200 kB
Slab:            68088 kB
Committed_AS:  1293144 kB
PageTables:       3436 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= 66272 MiB
End job on node13 at 2009-07-16 09:26:45