Trace number 2059493

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.19 1805.24

General information on the benchmark

Namecsp/BH-4-13/
normalized-BlackHole-4-13-e-0_ext.xml
MD5SUM308da8d6f22ce7d5aad3f96e3b4e6901
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.178971
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.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.20	c Seed is 1916984177
0.18/0.20	c Constructing HOME/instance-2059493-1247695127.xml  with 71842 constraints
0.18/0.28	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-2059493-1247695127/watcher-2059493-1247695127 -o /tmp/evaluation-result-2059493-1247695127/solver-2059493-1247695127 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1916984177 HOME/instance-2059493-1247695127.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: 1.99 1.88 1.20 4/73 12905
/proc/meminfo: memFree=1342672/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=5356 CPUtime=0
/proc/12905/stat : 12905 (pcssolve) R 12903 12905 12726 0 -1 4194304 290 0 0 0 0 0 0 0 20 0 1 0 56577723 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 224264776351 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/12905/statm: 1339 241 200 169 0 50 0
[pid=12906] ppid=12905 vsize=0 CPUtime=0
/proc/12906/stat : 12906 (fgrep) Z 12905 12905 12726 0 -1 4194316 155 0 0 0 0 0 0 0 20 0 1 0 56577724 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/12906/statm: 0 0 0 0 0 0 0

[startup+0.0655469 s]
/proc/loadavg: 1.99 1.88 1.20 4/73 12905
/proc/meminfo: memFree=1342672/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=8720 CPUtime=0.04
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 1920 657 0 0 4 0 0 0 18 0 1 0 56577723 8929280 1453 996147200 134512640 135215973 4294956304 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 2180 1454 387 171 0 1105 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8720

[startup+0.102551 s]
/proc/loadavg: 1.99 1.88 1.20 4/73 12905
/proc/meminfo: memFree=1342672/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=12004 CPUtime=0.09
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 2844 657 0 0 8 1 0 0 18 0 1 0 56577723 12292096 2248 996147200 134512640 135215973 4294956304 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 3001 2250 387 171 0 1926 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12004

[startup+0.302589 s]
/proc/loadavg: 1.99 1.88 1.20 4/73 12905
/proc/meminfo: memFree=1342672/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=28396 CPUtime=0.28
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 7366 657 0 0 25 3 0 0 19 0 1 0 56577723 29077504 5902 996147200 134512640 135215973 4294956304 18446744073709551615 134592420 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 7099 5902 400 171 0 6024 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28396

[startup+0.702661 s]
/proc/loadavg: 1.99 1.88 1.20 4/73 12905
/proc/meminfo: memFree=1342672/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=29356 CPUtime=0.68
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 7581 657 0 0 65 3 0 0 23 0 1 0 56577723 30060544 6117 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 7339 6117 400 171 0 6264 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29356

[startup+1.50181 s]
/proc/loadavg: 1.99 1.88 1.20 3/74 12910
/proc/meminfo: memFree=1319048/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=30008 CPUtime=1.47
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 7743 657 0 0 144 3 0 0 25 0 1 0 56577723 30728192 6279 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 7502 6279 402 171 0 6427 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30008

[startup+3.10111 s]
/proc/loadavg: 1.99 1.89 1.21 3/74 12910
/proc/meminfo: memFree=1318728/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=30008 CPUtime=3.07
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 7758 657 0 0 304 3 0 0 25 0 1 0 56577723 30728192 6294 996147200 134512640 135215973 4294956304 18446744073709551615 134640977 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 7502 6294 402 171 0 6427 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 30008

[startup+6.3017 s]
/proc/loadavg: 1.99 1.89 1.21 3/74 12910
/proc/meminfo: memFree=1318152/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=30796 CPUtime=6.26
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 7940 657 0 0 622 4 0 0 25 0 1 0 56577723 31535104 6476 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 7699 6476 402 171 0 6624 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 30796

[startup+12.7019 s]
/proc/loadavg: 1.99 1.89 1.21 3/74 12910
/proc/meminfo: memFree=1314312/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=33984 CPUtime=12.63
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 8768 657 0 0 1259 4 0 0 25 0 1 0 56577723 34799616 7304 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 8496 7304 402 171 0 7421 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 33984

[startup+25.5013 s]
/proc/loadavg: 1.99 1.89 1.22 3/74 12910
/proc/meminfo: memFree=1307592/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=39980 CPUtime=25.38
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 10328 657 0 0 2532 6 0 0 25 0 1 0 56577723 40939520 8864 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 9995 8864 402 171 0 8920 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 39980

[startup+51.103 s]
/proc/loadavg: 1.99 1.90 1.24 3/74 12910
/proc/meminfo: memFree=1276552/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=58456 CPUtime=50.87
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 15179 657 0 0 5077 10 0 0 25 0 1 0 56577723 59858944 13617 996147200 134512640 135215973 4294956304 18446744073709551615 134584634 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 14614 13617 402 171 0 13539 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 58456

[startup+102.307 s]
/proc/loadavg: 1.99 1.91 1.28 3/74 12910
/proc/meminfo: memFree=1248904/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=84444 CPUtime=101.86
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 22054 657 0 0 10168 18 0 0 25 0 1 0 56577723 86470656 20106 996147200 134512640 135215973 4294956304 18446744073709551615 134597308 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 21111 20106 402 171 0 20036 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 84444

[startup+162.302 s]
/proc/loadavg: 1.99 1.93 1.32 3/74 12916
/proc/meminfo: memFree=1216072/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=119044 CPUtime=161.59
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 31153 657 0 0 16132 27 0 0 25 0 1 0 56577723 121901056 28051 996147200 134512640 135215973 4294956304 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 29761 28051 402 171 0 28686 0
Current children cumulated CPU time (s) 161.59
Current children cumulated vsize (KiB) 119044

[startup+222.302 s]
/proc/loadavg: 1.99 1.94 1.37 3/74 12916
/proc/meminfo: memFree=1177800/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=154908 CPUtime=221.35
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 40376 657 0 0 22097 38 0 0 25 0 1 0 56577723 158625792 37274 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 38727 37274 402 171 0 37652 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 154908

[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.40 3/74 12916
/proc/meminfo: memFree=1147336/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=184020 CPUtime=281.1
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 47854 657 0 0 28065 45 0 0 25 0 1 0 56577723 188436480 44752 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 46005 44752 402 171 0 44930 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 184020

[startup+342.302 s]
/proc/loadavg: 1.99 1.95 1.44 3/74 12916
/proc/meminfo: memFree=1115528/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=214672 CPUtime=340.86
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 55949 657 0 0 34033 53 0 0 25 0 1 0 56577723 219824128 52334 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 53668 52334 402 171 0 52593 0
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (KiB) 214672

[startup+402.301 s]
/proc/loadavg: 1.99 1.96 1.47 3/74 12916
/proc/meminfo: memFree=1083208/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=244568 CPUtime=400.61
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 63892 657 0 0 40000 61 0 0 25 0 1 0 56577723 250437632 60277 996147200 134512640 135215973 4294956304 18446744073709551615 4158960587 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 61142 60277 402 171 0 60067 0
Current children cumulated CPU time (s) 400.61
Current children cumulated vsize (KiB) 244568

[startup+462.301 s]
/proc/loadavg: 1.99 1.96 1.50 3/74 12916
/proc/meminfo: memFree=1042248/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=291208 CPUtime=460.36
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 76042 657 0 0 45965 71 0 0 25 0 1 0 56577723 298196992 70121 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 72802 70121 402 171 0 71727 0
Current children cumulated CPU time (s) 460.36
Current children cumulated vsize (KiB) 291208

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.53 3/74 12916
/proc/meminfo: memFree=1010312/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=321076 CPUtime=520.11
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 83729 657 0 0 51931 80 0 0 25 0 1 0 56577723 328781824 77808 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 80269 77808 402 171 0 79194 0
Current children cumulated CPU time (s) 520.11
Current children cumulated vsize (KiB) 321076

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.55 3/74 12916
/proc/meminfo: memFree=979080/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=349540 CPUtime=579.87
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 91036 657 0 0 57899 88 0 0 25 0 1 0 56577723 357928960 85115 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 87385 85115 402 171 0 86310 0
Current children cumulated CPU time (s) 579.87
Current children cumulated vsize (KiB) 349540

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.58 3/74 12916
/proc/meminfo: memFree=944584/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=380876 CPUtime=639.61
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 99081 657 0 0 63865 96 0 0 25 0 1 0 56577723 390017024 93160 996147200 134512640 135215973 4294956304 18446744073709551615 134590096 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 95219 93160 402 171 0 94144 0
Current children cumulated CPU time (s) 639.61

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

[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.66 3/74 12916
/proc/meminfo: memFree=814856/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=502236 CPUtime=878.63
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 130482 657 0 0 87733 130 0 0 25 0 1 0 56577723 514289664 123536 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 125559 123536 402 171 0 124484 0
Current children cumulated CPU time (s) 878.63
Current children cumulated vsize (KiB) 502236

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.68 3/74 12916
/proc/meminfo: memFree=786440/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=528052 CPUtime=938.38
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 137090 657 0 0 93702 136 0 0 25 0 1 0 56577723 540725248 130144 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 132013 130144 402 171 0 130938 0
Current children cumulated CPU time (s) 938.38
Current children cumulated vsize (KiB) 528052

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.70 3/74 12949
/proc/meminfo: memFree=861632/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=550964 CPUtime=998.1
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 142917 657 0 0 99669 141 0 0 25 0 1 0 56577723 564187136 135971 996147200 134512640 135215973 4294956304 18446744073709551615 134687020 0 0 4096 0 0 0 0 17 1 0 0
/proc/12905/statm: 137741 135971 402 171 0 136666 0
Current children cumulated CPU time (s) 998.1
Current children cumulated vsize (KiB) 550964

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/74 12981
/proc/meminfo: memFree=836744/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=575284 CPUtime=1057.72
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 149130 657 0 0 105625 147 0 0 25 0 1 0 56577723 589090816 142184 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12905/statm: 143821 142184 402 171 0 142746 0
Current children cumulated CPU time (s) 1057.72
Current children cumulated vsize (KiB) 575284

[startup+1122.3 s]
/proc/loadavg: 2.04 1.99 1.74 3/74 13013
/proc/meminfo: memFree=792968/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=601540 CPUtime=1117.55
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 156137 657 0 0 111602 153 0 0 25 0 1 0 56577723 615976960 149191 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 150385 149191 402 171 0 149310 0
Current children cumulated CPU time (s) 1117.55
Current children cumulated vsize (KiB) 601540

[startup+1182.3 s]
/proc/loadavg: 2.01 1.99 1.75 3/74 13013
/proc/meminfo: memFree=754248/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=653332 CPUtime=1177.53
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 169539 657 0 0 117590 163 0 0 25 0 1 0 56577723 669011968 158496 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 163333 158496 402 171 0 162258 0
Current children cumulated CPU time (s) 1177.53
Current children cumulated vsize (KiB) 653332

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/74 13013
/proc/meminfo: memFree=725448/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=685408 CPUtime=1237.5
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 178042 657 0 0 123580 170 0 0 25 0 1 0 56577723 701857792 164950 996147200 134512640 135215973 4294956304 18446744073709551615 134533366 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 171352 164950 402 171 0 170277 0
Current children cumulated CPU time (s) 1237.5
Current children cumulated vsize (KiB) 685408

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/74 13013
/proc/meminfo: memFree=700936/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=706836 CPUtime=1297.47
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 183828 657 0 0 129572 175 0 0 25 0 1 0 56577723 723800064 170736 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 176709 170736 402 171 0 175634 0
Current children cumulated CPU time (s) 1297.47
Current children cumulated vsize (KiB) 706836

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/74 13013
/proc/meminfo: memFree=676488/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=728124 CPUtime=1357.43
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 189554 657 0 0 135563 180 0 0 25 0 1 0 56577723 745598976 176462 996147200 134512640 135215973 4294956304 18446744073709551615 135010083 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 182031 176462 402 171 0 180956 0
Current children cumulated CPU time (s) 1357.43
Current children cumulated vsize (KiB) 728124

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.79 3/74 13013
/proc/meminfo: memFree=649992/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=749604 CPUtime=1417.41
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 195335 657 0 0 141555 186 0 0 25 0 1 0 56577723 767594496 182243 996147200 134512640 135215973 4294956304 18446744073709551615 135020248 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 187401 182243 402 171 0 186326 0
Current children cumulated CPU time (s) 1417.41
Current children cumulated vsize (KiB) 749604

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/74 13013
/proc/meminfo: memFree=624968/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=772732 CPUtime=1477.38
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 201391 657 0 0 147545 193 0 0 25 0 1 0 56577723 791277568 188299 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 193183 188299 402 171 0 192108 0
Current children cumulated CPU time (s) 1477.38
Current children cumulated vsize (KiB) 772732

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/74 13013
/proc/meminfo: memFree=594248/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=800840 CPUtime=1537.34
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 208543 657 0 0 153534 200 0 0 25 0 1 0 56577723 820060160 195451 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 200210 195451 402 171 0 199135 0
Current children cumulated CPU time (s) 1537.34
Current children cumulated vsize (KiB) 800840

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/74 13013
/proc/meminfo: memFree=563528/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=829312 CPUtime=1597.32
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 215824 657 0 0 159524 208 0 0 25 0 1 0 56577723 849215488 202732 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 207328 202732 402 171 0 206253 0
Current children cumulated CPU time (s) 1597.32
Current children cumulated vsize (KiB) 829312

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/74 13013
/proc/meminfo: memFree=533768/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=856272 CPUtime=1657.3
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 222705 657 0 0 165515 215 0 0 25 0 1 0 56577723 876822528 209613 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 214068 209613 402 171 0 212993 0
Current children cumulated CPU time (s) 1657.3
Current children cumulated vsize (KiB) 856272

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/74 13013
/proc/meminfo: memFree=502216/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=882336 CPUtime=1717.26
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 229343 657 0 0 171505 221 0 0 25 0 1 0 56577723 903512064 216251 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 220584 216251 402 171 0 219509 0
Current children cumulated CPU time (s) 1717.26
Current children cumulated vsize (KiB) 882336

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/74 13013
/proc/meminfo: memFree=473096/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=909752 CPUtime=1777.24
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 236345 657 0 0 177495 229 0 0 25 0 1 0 56577723 931586048 223253 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 227438 223253 402 171 0 226363 0
Current children cumulated CPU time (s) 1777.24
Current children cumulated vsize (KiB) 909752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.11 s]
/proc/loadavg: 2.00 1.99 1.84 3/74 13013
/proc/meminfo: memFree=462344/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=919824 CPUtime=1800.04
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4194304 238907 657 0 0 179772 232 0 0 25 0 1 0 56577723 941899776 225815 996147200 134512640 135215973 4294956304 18446744073709551615 4158960249 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 229956 225815 402 171 0 228881 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 919824

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

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

[startup+1805.21 s]
/proc/loadavg: 2.00 1.99 1.84 3/74 13013
/proc/meminfo: memFree=462344/2055920 swapFree=4192812/4192956
[pid=12905] ppid=12903 vsize=0 CPUtime=1800.13
/proc/12905/stat : 12905 (pcs.big) R 12903 12905 12726 0 -1 4195332 238907 657 0 0 179772 241 0 0 25 0 1 0 56577723 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/12905/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.24
CPU time (s): 1800.19
CPU user time (s): 1797.73
CPU system time (s): 2.46163
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 919824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.73
system time used= 2.46162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239564
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= 18
involuntary context switches= 18164

runsolver used 2.00569 second user time and 4.5733 second system time

The end

Launcher Data 

Begin job on node82 at 2009-07-15 23:58:48
IDJOB=2059493
IDBENCH=53587
IDSOLVER=733
FILE ID=node82/2059493-1247695127
PBS_JOBID= 9521152
Free space on /tmp= 66316 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-e-0_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059493-1247695127/watcher-2059493-1247695127 -o /tmp/evaluation-result-2059493-1247695127/solver-2059493-1247695127 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1916984177 HOME/instance-2059493-1247695127.xml

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

MD5SUM BENCH= 308da8d6f22ce7d5aad3f96e3b4e6901
RANDOM SEED=1916984177

node82.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.265
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.265
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:       1343160 kB
Buffers:         72632 kB
Cached:         486464 kB
SwapCached:          0 kB
Active:         242656 kB
Inactive:       400128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1343160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2024 kB
Writeback:           0 kB
Mapped:          95052 kB
Slab:            55248 kB
Committed_AS:   595256 kB
PageTables:       1904 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66308 MiB
End job on node82 at 2009-07-16 00:28:55