Trace number 2059527

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.15 1811.2

General information on the benchmark

Namecsp/BH-4-13/
normalized-BlackHole-4-13-m-2_ext.xml
MD5SUMa7b2d88fca63e18bbc1a826209f183ae
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.166974
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4217
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4217
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.04	c has big domains
0.00/0.04	c big-domain mode
0.00/0.06	c Seed is 1344770657
0.00/0.06	c Constructing HOME/instance-2059527-1247695142.xml  with 71842 constraints
0.24/0.33	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-2059527-1247695142/watcher-2059527-1247695142 -o /tmp/evaluation-result-2059527-1247695142/solver-2059527-1247695142 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1344770657 HOME/instance-2059527-1247695142.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.04 2.00 1.29 3/73 14531
/proc/meminfo: memFree=1307720/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=5356 CPUtime=0
/proc/14531/stat : 14531 (pcssolve) R 14529 14531 14057 0 -1 4194304 260 0 0 0 0 0 0 0 19 0 1 0 56578818 5484544 228 996147200 4194304 4889804 548682068800 18446744073709551615 4417408 0 0 4100 65536 0 0 0 17 0 0 0
/proc/14531/statm: 1339 228 190 169 0 50 0

[startup+0.078521 s]
/proc/loadavg: 2.04 2.00 1.29 3/73 14531
/proc/meminfo: memFree=1307720/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=5548 CPUtime=0.01
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 1047 657 0 0 1 0 0 0 17 0 1 0 56578818 5681152 678 996147200 134512640 135215973 4294956304 18446744073709551615 134598254 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 1387 678 387 171 0 312 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5548

[startup+0.101529 s]
/proc/loadavg: 2.04 2.00 1.29 3/73 14531
/proc/meminfo: memFree=1307720/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=7792 CPUtime=0.03
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 1676 657 0 0 3 0 0 0 17 0 1 0 56578818 7979008 1209 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 1948 1209 387 171 0 873 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7792

[startup+0.301576 s]
/proc/loadavg: 2.04 2.00 1.29 3/73 14531
/proc/meminfo: memFree=1307720/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=29132 CPUtime=0.24
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 6958 657 0 0 21 3 0 0 18 0 1 0 56578818 29831168 6072 996147200 134512640 135215973 4294956304 18446744073709551615 6145367 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 7283 6072 387 171 0 6208 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 29132

[startup+0.70165 s]
/proc/loadavg: 2.04 2.00 1.29 3/73 14531
/proc/meminfo: memFree=1307720/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=29484 CPUtime=0.63
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 7622 657 0 0 60 3 0 0 22 0 1 0 56578818 30191616 6158 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 7371 6158 400 171 0 6296 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 29484

[startup+1.50181 s]
/proc/loadavg: 2.04 2.00 1.30 3/74 14536
/proc/meminfo: memFree=1283968/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=29972 CPUtime=1.43
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 7751 657 0 0 140 3 0 0 25 0 1 0 56578818 30691328 6275 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 7493 6275 400 171 0 6418 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 29972

[startup+3.10113 s]
/proc/loadavg: 2.04 2.00 1.30 3/74 14536
/proc/meminfo: memFree=1283648/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=29972 CPUtime=3.02
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 7763 657 0 0 298 4 0 0 25 0 1 0 56578818 30691328 6287 996147200 134512640 135215973 4294956304 18446744073709551615 4158960169 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 7493 6287 402 171 0 6418 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 29972

[startup+6.30178 s]
/proc/loadavg: 2.03 2.00 1.30 3/74 14536
/proc/meminfo: memFree=1283200/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=30512 CPUtime=6.19
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 7922 657 0 0 615 4 0 0 25 0 1 0 56578818 31244288 6446 996147200 134512640 135215973 4294956304 18446744073709551615 134585345 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 7628 6446 402 171 0 6553 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 30512

[startup+12.7011 s]
/proc/loadavg: 2.03 2.00 1.30 3/74 14536
/proc/meminfo: memFree=1281664/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=31836 CPUtime=12.54
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 8247 657 0 0 1250 4 0 0 25 0 1 0 56578818 32600064 6771 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 7959 6771 402 171 0 6884 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 31836

[startup+25.5017 s]
/proc/loadavg: 2.02 2.00 1.31 3/74 14536
/proc/meminfo: memFree=1276480/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=36800 CPUtime=25.25
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 9571 657 0 0 2520 5 0 0 25 0 1 0 56578818 37683200 8062 996147200 134512640 135215973 4294956304 18446744073709551615 135013228 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 9200 8062 402 171 0 8125 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 36800

[startup+51.1019 s]
/proc/loadavg: 2.08 2.02 1.34 3/74 14536
/proc/meminfo: memFree=1266048/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=46968 CPUtime=50.65
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 12175 657 0 0 5057 8 0 0 25 0 1 0 56578818 48095232 10666 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 11742 10666 402 171 0 10667 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 46968

[startup+102.306 s]
/proc/loadavg: 2.10 2.03 1.37 3/74 14536
/proc/meminfo: memFree=1234240/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=76636 CPUtime=101.46
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 19849 657 0 0 10129 17 0 0 25 0 1 0 56578818 78475264 18275 996147200 134512640 135215973 4294956304 18446744073709551615 134591092 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 19159 18275 402 171 0 18084 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 76636

[startup+162.301 s]
/proc/loadavg: 2.10 2.04 1.42 3/74 14542
/proc/meminfo: memFree=1203456/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=110896 CPUtime=160.97
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 28812 657 0 0 16072 25 0 0 25 0 1 0 56578818 113557504 25698 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 27724 25698 402 171 0 26649 0
Current children cumulated CPU time (s) 160.97
Current children cumulated vsize (KiB) 110896

[startup+222.302 s]
/proc/loadavg: 2.09 2.04 1.46 3/74 14542
/proc/meminfo: memFree=1173248/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=138692 CPUtime=220.51
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 36077 657 0 0 22018 33 0 0 25 0 1 0 56578818 142020608 32963 996147200 134512640 135215973 4294956304 18446744073709551615 134590109 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 34673 32963 402 171 0 33598 0
Current children cumulated CPU time (s) 220.51
Current children cumulated vsize (KiB) 138692

[startup+282.302 s]
/proc/loadavg: 2.08 2.05 1.49 3/74 14542
/proc/meminfo: memFree=1145088/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=165212 CPUtime=280.06
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 42883 657 0 0 27966 40 0 0 25 0 1 0 56578818 169177088 39769 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 41303 39769 402 171 0 40228 0
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (KiB) 165212

[startup+342.301 s]
/proc/loadavg: 2.08 2.05 1.53 3/74 14542
/proc/meminfo: memFree=1111168/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=197024 CPUtime=339.6
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 51079 657 0 0 33913 47 0 0 25 0 1 0 56578818 201752576 47965 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 49256 47965 402 171 0 48181 0
Current children cumulated CPU time (s) 339.6
Current children cumulated vsize (KiB) 197024

[startup+402.301 s]
/proc/loadavg: 2.07 2.05 1.56 3/74 14542
/proc/meminfo: memFree=1076352/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=230224 CPUtime=399.14
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 59608 657 0 0 39857 57 0 0 25 0 1 0 56578818 235749376 56494 996147200 134512640 135215973 4294956304 18446744073709551615 134686945 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 57556 56494 402 171 0 56481 0
Current children cumulated CPU time (s) 399.14
Current children cumulated vsize (KiB) 230224

[startup+462.302 s]
/proc/loadavg: 2.11 2.07 1.59 3/74 14542
/proc/meminfo: memFree=1062272/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=243780 CPUtime=458.68
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 63229 657 0 0 45807 61 0 0 25 0 1 0 56578818 249630720 59602 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 60945 59602 402 171 0 59870 0
Current children cumulated CPU time (s) 458.68
Current children cumulated vsize (KiB) 243780

[startup+522.302 s]
/proc/loadavg: 2.04 2.06 1.62 3/74 14542
/proc/meminfo: memFree=1049216/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=254764 CPUtime=518.22
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 66028 657 0 0 51758 64 0 0 25 0 1 0 56578818 260878336 62401 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 63691 62401 402 171 0 62616 0
Current children cumulated CPU time (s) 518.22
Current children cumulated vsize (KiB) 254764

[startup+582.302 s]
/proc/loadavg: 2.01 2.04 1.64 3/74 14542
/proc/meminfo: memFree=1035200/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=265748 CPUtime=577.76
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 68989 657 0 0 57709 67 0 0 25 0 1 0 56578818 272125952 65362 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 66437 65362 402 171 0 65362 0
Current children cumulated CPU time (s) 577.76
Current children cumulated vsize (KiB) 265748

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 1.66 3/74 14542
/proc/meminfo: memFree=1021696/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=276188 CPUtime=637.3
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 71806 657 0 0 63661 69 0 0 25 0 1 0 56578818 282816512 68179 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 69047 68179 402 171 0 67972 0
Current children cumulated CPU time (s) 637.3
Current children cumulated vsize (KiB) 276188

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 1.73 3/74 14542
/proc/meminfo: memFree=963904/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=334884 CPUtime=875.46
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 87557 657 0 0 87464 82 0 0 25 0 1 0 56578818 342921216 80599 996147200 134512640 135215973 4294956304 18446744073709551615 134686987 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 83721 80599 402 171 0 82646 0
Current children cumulated CPU time (s) 875.46
Current children cumulated vsize (KiB) 334884

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.74 3/74 14542
/proc/meminfo: memFree=951552/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=344576 CPUtime=935
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 90185 657 0 0 93415 85 0 0 25 0 1 0 56578818 352845824 83227 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 86144 83227 402 171 0 85069 0
Current children cumulated CPU time (s) 935
Current children cumulated vsize (KiB) 344576

[startup+1002.3 s]
/proc/loadavg: 1.96 1.98 1.74 3/74 14607
/proc/meminfo: memFree=1040704/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=354396 CPUtime=994.62
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 92829 657 0 0 99374 88 0 0 25 0 1 0 56578818 362901504 85871 996147200 134512640 135215973 4294956304 18446744073709551615 134584443 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 88599 85871 402 171 0 87524 0
Current children cumulated CPU time (s) 994.62
Current children cumulated vsize (KiB) 354396

[startup+1062.3 s]
/proc/loadavg: 2.04 2.00 1.76 3/74 14639
/proc/meminfo: memFree=1015232/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=364200 CPUtime=1054.25
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 95494 657 0 0 105334 91 0 0 25 0 1 0 56578818 372940800 88536 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 91050 88536 402 171 0 89975 0
Current children cumulated CPU time (s) 1054.25
Current children cumulated vsize (KiB) 364200

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.77 3/74 14639
/proc/meminfo: memFree=1002176/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=382336 CPUtime=1114
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 100215 657 0 0 111306 94 0 0 25 0 1 0 56578818 391512064 91208 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 95584 91208 402 171 0 94509 0
Current children cumulated CPU time (s) 1114
Current children cumulated vsize (KiB) 382336

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/74 14639
/proc/meminfo: memFree=990464/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=391876 CPUtime=1173.76
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 102760 657 0 0 117280 96 0 0 25 0 1 0 56578818 401281024 93753 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 97969 93753 402 171 0 96894 0
Current children cumulated CPU time (s) 1173.76
Current children cumulated vsize (KiB) 391876

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/74 14639
/proc/meminfo: memFree=978304/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=401040 CPUtime=1233.52
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 105240 657 0 0 123253 99 0 0 25 0 1 0 56578818 410664960 96233 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 100260 96233 402 171 0 99185 0
Current children cumulated CPU time (s) 1233.52
Current children cumulated vsize (KiB) 401040

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/74 14639
/proc/meminfo: memFree=961984/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=414756 CPUtime=1293.28
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 108854 657 0 0 129225 103 0 0 25 0 1 0 56578818 424710144 99847 996147200 134512640 135215973 4294956304 18446744073709551615 135018584 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 103689 99847 402 171 0 102614 0
Current children cumulated CPU time (s) 1293.28
Current children cumulated vsize (KiB) 414756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/74 14639
/proc/meminfo: memFree=930560/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=442528 CPUtime=1353.04
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 115954 657 0 0 135195 109 0 0 25 0 1 0 56578818 453148672 106947 996147200 134512640 135215973 4294956304 18446744073709551615 134586657 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 110632 106947 402 171 0 109557 0
Current children cumulated CPU time (s) 1353.04
Current children cumulated vsize (KiB) 442528

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 14639
/proc/meminfo: memFree=899520/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=471372 CPUtime=1412.8
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 123362 657 0 0 141163 117 0 0 25 0 1 0 56578818 482684928 114355 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 117843 114355 402 171 0 116768 0
Current children cumulated CPU time (s) 1412.8
Current children cumulated vsize (KiB) 471372

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 14639
/proc/meminfo: memFree=870912/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=498280 CPUtime=1472.55
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 130227 657 0 0 147130 125 0 0 25 0 1 0 56578818 510238720 121220 996147200 134512640 135215973 4294956304 18446744073709551615 134591129 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 124570 121220 402 171 0 123495 0
Current children cumulated CPU time (s) 1472.55
Current children cumulated vsize (KiB) 498280

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 14639
/proc/meminfo: memFree=841216/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=525280 CPUtime=1532.31
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 137131 657 0 0 153099 132 0 0 25 0 1 0 56578818 537886720 128124 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 131320 128124 402 171 0 130245 0
Current children cumulated CPU time (s) 1532.31
Current children cumulated vsize (KiB) 525280

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 14639
/proc/meminfo: memFree=812544/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=551676 CPUtime=1592.07
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 143882 657 0 0 159068 139 0 0 25 0 1 0 56578818 564916224 134875 996147200 134512640 135215973 4294956304 18446744073709551615 134588066 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 137919 134875 402 171 0 136844 0
Current children cumulated CPU time (s) 1592.07
Current children cumulated vsize (KiB) 551676

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 14639
/proc/meminfo: memFree=779584/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=578808 CPUtime=1651.83
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 150840 657 0 0 165036 147 0 0 25 0 1 0 56578818 592699392 141833 996147200 134512640 135215973 4294956304 18446744073709551615 134584619 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 144702 141833 402 171 0 143627 0
Current children cumulated CPU time (s) 1651.83
Current children cumulated vsize (KiB) 578808

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 14639
/proc/meminfo: memFree=749184/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=607500 CPUtime=1711.59
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 158228 657 0 0 171004 155 0 0 25 0 1 0 56578818 622080000 149221 996147200 134512640 135215973 4294956304 18446744073709551615 135026975 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 151875 149221 402 171 0 150800 0
Current children cumulated CPU time (s) 1711.59
Current children cumulated vsize (KiB) 607500

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 14639
/proc/meminfo: memFree=719296/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=634332 CPUtime=1771.35
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 165144 657 0 0 176972 163 0 0 25 0 1 0 56578818 649555968 156137 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 158583 156137 402 171 0 157508 0
Current children cumulated CPU time (s) 1771.35
Current children cumulated vsize (KiB) 634332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.1 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 14639
/proc/meminfo: memFree=705728/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=646620 CPUtime=1800.04
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 168285 657 0 0 179838 166 0 0 25 0 1 0 56578818 662138880 159278 996147200 134512640 135215973 4294956304 18446744073709551615 134686996 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 161655 159278 402 171 0 160580 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 646620

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

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

[startup+1811.1 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 14639
/proc/meminfo: memFree=705728/2055920 swapFree=4192812/4192956
[pid=14531] ppid=14529 vsize=646620 CPUtime=1800.04
/proc/14531/stat : 14531 (pcs.big) R 14529 14531 14057 0 -1 4194304 168285 657 0 0 179838 166 0 0 25 0 1 0 56578818 662138880 159278 996147200 134512640 135215973 4294956304 18446744073709551615 134686996 0 0 4096 0 0 0 0 17 1 0 0
/proc/14531/statm: 161655 159278 402 171 0 160580 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 646620

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.2
CPU time (s): 1800.15
CPU user time (s): 1798.38
CPU system time (s): 1.76273
CPU usage (%): 99.3895
Max. virtual memory (cumulated for all children) (KiB): 646620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 1.76273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168942
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= 24
involuntary context switches= 32047

runsolver used 1.84372 second user time and 4.76028 second system time

The end

Launcher Data 

Begin job on node80 at 2009-07-15 23:59:02
IDJOB=2059527
IDBENCH=53590
IDSOLVER=734
FILE ID=node80/2059527-1247695142
PBS_JOBID= 9521157
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-m-2_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059527-1247695142/watcher-2059527-1247695142 -o /tmp/evaluation-result-2059527-1247695142/solver-2059527-1247695142 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1344770657 HOME/instance-2059527-1247695142.xml

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

MD5SUM BENCH= a7b2d88fca63e18bbc1a826209f183ae
RANDOM SEED=1344770657

node80.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.285
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.285
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1308712 kB
Buffers:         70388 kB
Cached:         501356 kB
SwapCached:          0 kB
Active:         176060 kB
Inactive:       491344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1308712 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2012 kB
Writeback:           0 kB
Mapped:         107032 kB
Slab:            65016 kB
Committed_AS:   616760 kB
PageTables:       1936 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= 66312 MiB
End job on node80 at 2009-07-16 00:29:15