Trace number 2059482

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.17 1807.86

General information on the benchmark

Namecsp/BH-4-13/
normalized-BlackHole-4-13-m-0_ext.xml
MD5SUM21dd036e5a9331eebc43fa8d5cad385e
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.171973
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.00/0.01	c Seed is 1916984177
0.00/0.01	c Constructing HOME/instance-2059482-1247695124.xml  with 71842 constraints
0.18/0.29	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2059482-1247695124/watcher-2059482-1247695124 -o /tmp/evaluation-result-2059482-1247695124/solver-2059482-1247695124 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1916984177 HOME/instance-2059482-1247695124.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 1.92 1.25 4/73 11046
/proc/meminfo: memFree=890712/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=5356 CPUtime=0
/proc/11046/stat : 11046 (pcssolve) S 11044 11046 10931 0 -1 4194304 305 155 0 0 0 0 0 0 19 0 1 0 56577779 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11046/statm: 1339 242 201 169 0 50 0
[pid=11048] ppid=11046 vsize=5356 CPUtime=0
/proc/11048/stat : 11048 (pcssolve) R 11046 11046 10931 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 56577779 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 1 0 0
/proc/11048/statm: 1339 244 203 169 0 50 0

[startup+0.0213081 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11046
/proc/meminfo: memFree=890712/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=4624 CPUtime=0
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 823 657 0 0 0 0 0 0 21 0 1 0 56577779 4734976 454 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 1156 454 384 171 0 81 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4624

[startup+0.101323 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11046
/proc/meminfo: memFree=890712/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=11868 CPUtime=0.08
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 2781 657 0 0 7 1 0 0 21 0 1 0 56577779 12152832 2185 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 2967 2186 387 171 0 1892 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11868

[startup+0.30136 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11046
/proc/meminfo: memFree=890712/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=28392 CPUtime=0.28
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 7365 657 0 0 25 3 0 0 22 0 1 0 56577779 29073408 5901 996147200 134512640 135215973 4294956304 18446744073709551615 134585623 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 7098 5901 400 171 0 6023 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28392

[startup+0.701432 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11046
/proc/meminfo: memFree=890712/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=29360 CPUtime=0.68
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 7596 657 0 0 64 4 0 0 25 0 1 0 56577779 30064640 6132 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 7340 6132 400 171 0 6265 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29360

[startup+1.50158 s]
/proc/loadavg: 2.00 1.92 1.25 3/74 11051
/proc/meminfo: memFree=867208/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=30024 CPUtime=1.48
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 7746 657 0 0 144 4 0 0 25 0 1 0 56577779 30744576 6282 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 7506 6282 402 171 0 6431 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30024

[startup+3.10186 s]
/proc/loadavg: 2.00 1.92 1.25 3/74 11051
/proc/meminfo: memFree=866568/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=30156 CPUtime=3.08
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 7795 657 0 0 304 4 0 0 25 0 1 0 56577779 30879744 6331 996147200 134512640 135215973 4294956304 18446744073709551615 135018640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 7539 6331 402 171 0 6464 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30156

[startup+6.30143 s]
/proc/loadavg: 2.00 1.92 1.25 3/74 11051
/proc/meminfo: memFree=896968/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=30552 CPUtime=6.26
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 7885 657 0 0 622 4 0 0 25 0 1 0 56577779 31285248 6421 996147200 134512640 135215973 4294956304 18446744073709551615 134583994 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 7638 6421 402 171 0 6563 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 30552

[startup+12.7026 s]
/proc/loadavg: 2.00 1.92 1.26 3/74 11082
/proc/meminfo: memFree=1097016/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=33580 CPUtime=12.62
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 8674 657 0 0 1257 5 0 0 25 0 1 0 56577779 34385920 7210 996147200 134512640 135215973 4294956304 18446744073709551615 134600099 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 8395 7210 402 171 0 7320 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 33580

[startup+25.5019 s]
/proc/loadavg: 2.00 1.92 1.27 3/74 11082
/proc/meminfo: memFree=1082696/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=40744 CPUtime=25.36
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 10524 657 0 0 2529 7 0 0 25 0 1 0 56577779 41721856 9027 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 10186 9027 402 171 0 9111 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 40744

[startup+51.1015 s]
/proc/loadavg: 2.00 1.93 1.29 3/74 11082
/proc/meminfo: memFree=1051464/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=55752 CPUtime=50.86
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 14458 657 0 0 5074 12 0 0 25 0 1 0 56577779 57090048 12961 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 13938 12961 402 171 0 12863 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 55752

[startup+102.307 s]
/proc/loadavg: 2.00 1.94 1.32 3/74 11082
/proc/meminfo: memFree=977864/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=102328 CPUtime=101.85
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 26569 657 0 0 10165 20 0 0 25 0 1 0 56577779 104783872 23724 996147200 134512640 135215973 4294956304 18446744073709551615 134682177 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 25582 23724 402 171 0 24507 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 102328

[startup+162.302 s]
/proc/loadavg: 2.05 1.96 1.37 3/74 11088
/proc/meminfo: memFree=919816/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=127424 CPUtime=161.6
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 33101 657 0 0 16133 27 0 0 25 0 1 0 56577779 130482176 30256 996147200 134512640 135215973 4294956304 18446744073709551615 134687067 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 31856 30256 402 171 0 30781 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 127424

[startup+222.301 s]
/proc/loadavg: 2.07 1.98 1.41 3/74 11088
/proc/meminfo: memFree=856520/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=151744 CPUtime=221.35
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 39566 657 0 0 22102 33 0 0 25 0 1 0 56577779 155385856 36464 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 37936 36464 402 171 0 36861 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 151744

[startup+282.301 s]
/proc/loadavg: 2.07 2.00 1.45 3/74 11088
/proc/meminfo: memFree=796296/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=181364 CPUtime=281.11
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 47179 657 0 0 28070 41 0 0 25 0 1 0 56577779 185716736 44077 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 45341 44077 402 171 0 44266 0
Current children cumulated CPU time (s) 281.11
Current children cumulated vsize (KiB) 181364

[startup+342.302 s]
/proc/loadavg: 2.14 2.03 1.49 3/74 11088
/proc/meminfo: memFree=732680/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=212456 CPUtime=340.86
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 55193 657 0 0 34037 49 0 0 25 0 1 0 56577779 217554944 52091 996147200 134512640 135215973 4294956304 18446744073709551615 134590990 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 53114 52091 402 171 0 52039 0
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (KiB) 212456

[startup+402.302 s]
/proc/loadavg: 2.22 2.08 1.54 3/74 11088
/proc/meminfo: memFree=672648/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=241820 CPUtime=400.62
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 62733 657 0 0 40006 56 0 0 25 0 1 0 56577779 247623680 59118 996147200 134512640 135215973 4294956304 18446744073709551615 135018640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 60455 59118 402 171 0 59380 0
Current children cumulated CPU time (s) 400.62
Current children cumulated vsize (KiB) 241820

[startup+462.302 s]
/proc/loadavg: 2.08 2.06 1.56 3/74 11088
/proc/meminfo: memFree=598216/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=282400 CPUtime=460.36
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 73434 657 0 0 45971 65 0 0 25 0 1 0 56577779 289177600 67513 996147200 134512640 135215973 4294956304 18446744073709551615 134591081 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 70600 67513 402 171 0 69525 0
Current children cumulated CPU time (s) 460.36
Current children cumulated vsize (KiB) 282400

[startup+522.302 s]
/proc/loadavg: 2.03 2.05 1.59 3/74 11088
/proc/meminfo: memFree=540168/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=307620 CPUtime=520.12
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 80227 657 0 0 51941 71 0 0 25 0 1 0 56577779 315002880 74306 996147200 134512640 135215973 4294956304 18446744073709551615 134602006 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 76905 74306 402 171 0 75830 0
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (KiB) 307620

[startup+582.302 s]
/proc/loadavg: 2.01 2.04 1.61 3/74 11088
/proc/meminfo: memFree=481864/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=337496 CPUtime=579.87
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 88172 657 0 0 57911 76 0 0 25 0 1 0 56577779 345595904 81226 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 84374 81226 402 171 0 83299 0
Current children cumulated CPU time (s) 579.87
Current children cumulated vsize (KiB) 337496

[startup+642.302 s]
/proc/loadavg: 2.00 2.03 1.63 3/74 11088
/proc/meminfo: memFree=413512/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=370652 CPUtime=639.62
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 96820 657 0 0 63877 85 0 0 25 0 1 0 56577779 379547648 89874 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 92663 89874 402 171 0 91588 0
Current children cumulated CPU time (s) 639.62

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 1.71 3/74 11088
/proc/meminfo: memFree=141832/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=514364 CPUtime=878.63
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 133775 657 0 0 87743 120 0 0 25 0 1 0 56577779 526708736 126829 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 128591 126829 402 171 0 127516 0
Current children cumulated CPU time (s) 878.63
Current children cumulated vsize (KiB) 514364

[startup+942.303 s]
/proc/loadavg: 2.00 2.00 1.72 3/74 11088
/proc/meminfo: memFree=88264/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=541420 CPUtime=938.39
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 140708 657 0 0 93712 127 0 0 25 0 1 0 56577779 554414080 133762 996147200 134512640 135215973 4294956304 18446744073709551615 134581569 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 135355 133762 402 171 0 134280 0
Current children cumulated CPU time (s) 938.39
Current children cumulated vsize (KiB) 541420

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/74 11088
/proc/meminfo: memFree=40968/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=563908 CPUtime=998.15
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 146452 657 0 0 99682 133 0 0 25 0 1 0 56577779 577441792 139506 996147200 134512640 135215973 4294956304 18446744073709551615 134591055 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 140977 139506 402 171 0 139902 0
Current children cumulated CPU time (s) 998.15
Current children cumulated vsize (KiB) 563908

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/74 11088
/proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=587160 CPUtime=1057.9
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 152405 657 0 0 105649 141 0 0 25 0 1 0 56577779 601251840 145459 996147200 134512640 135215973 4294956304 18446744073709551615 7218685 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 146790 145459 402 171 0 145715 0
Current children cumulated CPU time (s) 1057.9
Current children cumulated vsize (KiB) 587160

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/74 11088
/proc/meminfo: memFree=16008/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=608836 CPUtime=1117.63
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 157928 657 0 0 111617 146 0 0 25 0 1 0 56577779 623448064 150982 996147200 134512640 135215973 4294956304 18446744073709551615 134583718 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 152209 150982 402 171 0 151134 0
Current children cumulated CPU time (s) 1117.63
Current children cumulated vsize (KiB) 608836

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/74 11088
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=628912 CPUtime=1177.38
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 163041 657 0 0 117587 151 0 0 25 0 1 0 56577779 644005888 156095 996147200 134512640 135215973 4294956304 18446744073709551615 134648469 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 157228 156095 402 171 0 156153 0
Current children cumulated CPU time (s) 1177.38
Current children cumulated vsize (KiB) 628912

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/74 11088
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=675428 CPUtime=1237.12
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 174909 657 0 0 123553 159 0 0 25 0 1 0 56577779 691638272 163866 996147200 134512640 135215973 4294956304 18446744073709551615 135011077 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 168857 163866 402 171 0 167782 0
Current children cumulated CPU time (s) 1237.12
Current children cumulated vsize (KiB) 675428

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/74 11088
/proc/meminfo: memFree=16264/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=692612 CPUtime=1296.88
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 179558 657 0 0 129523 165 0 0 25 0 1 0 56577779 709234688 168515 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 173153 168515 402 171 0 172078 0
Current children cumulated CPU time (s) 1296.88
Current children cumulated vsize (KiB) 692612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/74 11088
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=717316 CPUtime=1356.62
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 186048 657 0 0 135491 171 0 0 25 0 1 0 56577779 734531584 172956 996147200 134512640 135215973 4294956304 18446744073709551615 7221514 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 179329 172956 402 171 0 178254 0
Current children cumulated CPU time (s) 1356.62
Current children cumulated vsize (KiB) 717316

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.82 3/74 11088
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=734028 CPUtime=1416.37
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 190572 657 0 0 141459 178 0 0 25 0 1 0 56577779 751644672 177480 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 183507 177480 402 171 0 182432 0
Current children cumulated CPU time (s) 1416.37
Current children cumulated vsize (KiB) 734028

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/74 11088
/proc/meminfo: memFree=15240/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=750364 CPUtime=1476.11
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 194967 657 0 0 147428 183 0 0 25 0 1 0 56577779 768372736 181875 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 187591 181875 402 171 0 186516 0
Current children cumulated CPU time (s) 1476.11
Current children cumulated vsize (KiB) 750364

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 11088
/proc/meminfo: memFree=15112/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=768536 CPUtime=1535.84
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 199876 657 0 0 153396 188 0 0 25 0 1 0 56577779 786980864 186784 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 192134 186784 402 171 0 191059 0
Current children cumulated CPU time (s) 1535.84
Current children cumulated vsize (KiB) 768536

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 11088
/proc/meminfo: memFree=16136/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=787760 CPUtime=1595.59
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 205047 657 0 0 159365 194 0 0 25 0 1 0 56577779 806666240 191955 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 196940 191955 402 171 0 195865 0
Current children cumulated CPU time (s) 1595.59
Current children cumulated vsize (KiB) 787760

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 11088
/proc/meminfo: memFree=16008/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=810284 CPUtime=1655.33
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 210873 657 0 0 165332 201 0 0 25 0 1 0 56577779 829730816 197781 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 202571 197781 402 171 0 201496 0
Current children cumulated CPU time (s) 1655.33
Current children cumulated vsize (KiB) 810284

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 11088
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=832716 CPUtime=1715.04
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 216559 657 0 0 171299 205 0 0 25 0 1 0 56577779 852701184 203467 996147200 134512640 135215973 4294956304 18446744073709551615 134583231 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 208179 203467 402 171 0 207104 0
Current children cumulated CPU time (s) 1715.04
Current children cumulated vsize (KiB) 832716

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 11088
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=855100 CPUtime=1774.72
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 222258 657 0 0 177263 209 0 0 25 0 1 0 56577779 875622400 209166 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 213775 209166 402 171 0 212700 0
Current children cumulated CPU time (s) 1774.72
Current children cumulated vsize (KiB) 855100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.7 s]
/proc/loadavg: 2.00 2.00 1.86 3/75 11089
/proc/meminfo: memFree=411264/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=864272 CPUtime=1800
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4194304 224560 657 0 0 179789 211 0 0 25 0 1 0 56577779 885014528 211468 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 216068 211468 402 171 0 214993 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 864272

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

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

[startup+1807.81 s]
/proc/loadavg: 2.00 2.00 1.86 3/75 11089
/proc/meminfo: memFree=411264/2055920 swapFree=4192812/4192956
[pid=11046] ppid=11044 vsize=0 CPUtime=1800.1
/proc/11046/stat : 11046 (pcs.big) R 11044 11046 10931 0 -1 4195332 224560 657 0 0 179789 221 0 0 25 0 1 0 56577779 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/11046/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.86
CPU time (s): 1800.17
CPU user time (s): 1797.9
CPU system time (s): 2.26766
CPU usage (%): 99.5748
Max. virtual memory (cumulated for all children) (KiB): 864272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.9
system time used= 2.26765
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225217
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= 20
involuntary context switches= 24963

runsolver used 1.89271 second user time and 4.69329 second system time

The end

Launcher Data 

Begin job on node84 at 2009-07-15 23:58:44
IDJOB=2059482
IDBENCH=53586
IDSOLVER=733
FILE ID=node84/2059482-1247695124
PBS_JOBID= 9521150
Free space on /tmp= 66180 MiB

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

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

MD5SUM BENCH= 21dd036e5a9331eebc43fa8d5cad385e
RANDOM SEED=1916984177

node84.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.259
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.259
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:        891192 kB
Buffers:         71704 kB
Cached:         744704 kB
SwapCached:          0 kB
Active:         484408 kB
Inactive:       608432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        891192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2024 kB
Writeback:           0 kB
Mapped:         285656 kB
Slab:            56676 kB
Committed_AS:   790612 kB
PageTables:       2396 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= 66180 MiB
End job on node84 at 2009-07-16 00:28:54