Trace number 2059537

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.63

General information on the benchmark

Namecsp/BH-4-13/
normalized-BlackHole-4-13-e-1_ext.xml
MD5SUMd211ae6c6c79ecd682df2e7c9710a9e2
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.169973
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.03	c has big domains
0.00/0.03	c big-domain mode
0.01/0.39	c Seed is 398945805
0.01/0.39	c Constructing HOME/instance-2059537-1247695152.xml  with 71842 constraints
0.21/0.66	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-2059537-1247695152/watcher-2059537-1247695152 -o /tmp/evaluation-result-2059537-1247695152/solver-2059537-1247695152 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 398945805 HOME/instance-2059537-1247695152.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.12 2.00 1.27 4/70 10384
/proc/meminfo: memFree=1292192/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=5356 CPUtime=0
/proc/10384/stat : 10384 (pcssolve) S 10382 10384 10130 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 56580390 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10384/statm: 1339 242 201 169 0 50 0
[pid=10385] ppid=10384 vsize=5356 CPUtime=0
/proc/10385/stat : 10385 (pcssolve) R 10384 10384 10130 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 56580390 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 270187162919 0 0 4096 0 0 0 0 17 0 0 0
/proc/10385/statm: 1339 243 202 169 0 50 0
[pid=10386] ppid=10384 vsize=5356 CPUtime=0
/proc/10386/stat : 10386 (pcssolve) D 10384 10384 10130 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 56580390 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 270187162919 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/10386/statm: 1339 244 203 169 0 50 0

[startup+0.0103089 s]
/proc/loadavg: 2.12 2.00 1.27 4/70 10384
/proc/meminfo: memFree=1292192/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=5356 CPUtime=0
/proc/10384/stat : 10384 (pcssolve) S 10382 10384 10130 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 56580390 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10384/statm: 1339 242 201 169 0 50 0
[pid=10385] ppid=10384 vsize=5356 CPUtime=0
/proc/10385/stat : 10385 (pcssolve) D 10384 10384 10130 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 56580390 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 270187162919 0 0 4096 0 18446744071563608069 0 0 17 0 0 0
/proc/10385/statm: 1339 243 202 169 0 50 0
[pid=10386] ppid=10384 vsize=5356 CPUtime=0
/proc/10386/stat : 10386 (pcssolve) D 10384 10384 10130 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 56580390 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 270187162919 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/10386/statm: 1339 244 203 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16068

[startup+0.101324 s]
/proc/loadavg: 2.12 2.00 1.27 4/70 10384
/proc/meminfo: memFree=1292192/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=2936 CPUtime=0.01
/proc/10384/stat : 10384 (pcs.big) D 10382 10384 10130 0 -1 4194304 393 653 3 4 0 1 0 0 18 0 1 0 56580390 3006464 42 996147200 134512640 135215973 4294956304 18446744073709551615 9921316 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/10384/statm: 734 42 32 171 0 10 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2936

[startup+0.301345 s]
/proc/loadavg: 2.12 2.00 1.27 4/70 10384
/proc/meminfo: memFree=1292192/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=4356 CPUtime=0.01
/proc/10384/stat : 10384 (pcs.big) D 10382 10384 10130 0 -1 4194304 549 653 11 4 0 1 0 0 18 0 1 0 56580390 4460544 191 996147200 134512640 135215973 4294956304 18446744073709551615 10126848 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/10384/statm: 1089 191 159 171 0 14 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4356

[startup+0.701396 s]
/proc/loadavg: 2.12 2.00 1.27 4/70 10384
/proc/meminfo: memFree=1292192/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=28536 CPUtime=0.31
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 7370 653 19 4 27 4 0 0 20 0 1 0 56580390 29220864 5925 996147200 134512640 135215973 4294956304 18446744073709551615 135012747 0 0 4096 0 0 0 0 17 0 0 0
/proc/10384/statm: 7134 5925 400 171 0 6059 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 28536

[startup+1.50249 s]
/proc/loadavg: 2.12 2.00 1.27 3/71 10389
/proc/meminfo: memFree=1253968/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=29832 CPUtime=1.11
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 7740 653 19 4 107 4 0 0 25 0 1 0 56580390 30547968 6280 996147200 134512640 135215973 4294956304 18446744073709551615 134600016 0 0 4096 0 0 0 0 17 0 0 0
/proc/10384/statm: 7458 6280 400 171 0 6383 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 29832

[startup+3.10167 s]
/proc/loadavg: 2.12 2.00 1.27 3/71 10389
/proc/meminfo: memFree=1240848/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=30048 CPUtime=2.7
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 7811 653 19 4 266 4 0 0 25 0 1 0 56580390 30769152 6337 996147200 134512640 135215973 4294956304 18446744073709551615 134600213 0 0 4096 0 0 0 0 17 0 0 0
/proc/10384/statm: 7512 6337 402 171 0 6437 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 30048

[startup+6.30103 s]
/proc/loadavg: 2.11 2.00 1.28 3/71 10389
/proc/meminfo: memFree=1203728/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=30044 CPUtime=5.89
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 7813 653 19 4 585 4 0 0 25 0 1 0 56580390 30765056 6338 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/10384/statm: 7511 6338 402 171 0 6436 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 30044

[startup+12.7018 s]
/proc/loadavg: 2.10 2.00 1.28 3/71 10389
/proc/meminfo: memFree=1127504/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=32796 CPUtime=12.26
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 8512 653 19 4 1222 4 0 0 25 0 1 0 56580390 33583104 7037 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/10384/statm: 8199 7037 402 171 0 7124 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 32796

[startup+25.5012 s]
/proc/loadavg: 2.08 2.00 1.29 3/71 10389
/proc/meminfo: memFree=970392/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=42312 CPUtime=25.01
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 10998 653 19 4 2495 6 0 0 25 0 1 0 56580390 43327488 9490 996147200 134512640 135215973 4294956304 18446744073709551615 134533031 0 0 4096 0 0 0 0 17 0 0 0
/proc/10384/statm: 10578 9490 402 171 0 9503 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 42312

[startup+51.1011 s]
/proc/loadavg: 2.05 2.00 1.31 3/74 10418
/proc/meminfo: memFree=1824576/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=52368 CPUtime=50.48
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 13588 653 19 4 5039 9 0 0 25 0 1 0 56580390 53624832 12015 996147200 134512640 135215973 4294956304 18446744073709551615 134586963 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 13092 12015 402 171 0 12017 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 52368

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.34 3/74 10418
/proc/meminfo: memFree=1796352/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=66192 CPUtime=101.49
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 17294 653 19 4 10136 13 0 0 25 0 1 0 56580390 67780608 15592 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 16548 15592 402 171 0 15473 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 66192

[startup+162.302 s]
/proc/loadavg: 2.04 2.01 1.38 3/74 10424
/proc/meminfo: memFree=1764224/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=93556 CPUtime=161.24
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 24617 653 19 4 16104 20 0 0 25 0 1 0 56580390 95801344 22145 996147200 134512640 135215973 4294956304 18446744073709551615 134648272 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 23389 22145 402 171 0 22314 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (KiB) 93556

[startup+222.302 s]
/proc/loadavg: 2.01 2.01 1.42 3/74 10424
/proc/meminfo: memFree=1721536/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=133500 CPUtime=221
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 34891 653 19 4 22071 29 0 0 25 0 1 0 56580390 136704000 31265 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 33375 31265 402 171 0 32300 0
Current children cumulated CPU time (s) 221
Current children cumulated vsize (KiB) 133500

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.45 3/74 10424
/proc/meminfo: memFree=1687424/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=157884 CPUtime=280.78
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 41166 653 19 4 28044 34 0 0 25 0 1 0 56580390 161673216 37540 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 39471 37540 402 171 0 38396 0
Current children cumulated CPU time (s) 280.78
Current children cumulated vsize (KiB) 157884

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.48 3/74 10424
/proc/meminfo: memFree=1658944/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=183532 CPUtime=340.54
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 47754 653 19 4 34015 39 0 0 25 0 1 0 56580390 187936768 44128 996147200 134512640 135215973 4294956304 18446744073709551615 135018633 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 45883 44128 402 171 0 44808 0
Current children cumulated CPU time (s) 340.54
Current children cumulated vsize (KiB) 183532

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.51 3/74 10424
/proc/meminfo: memFree=1630272/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=208912 CPUtime=400.3
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 54334 653 19 4 39984 46 0 0 25 0 1 0 56580390 213925888 50708 996147200 134512640 135215973 4294956304 18446744073709551615 134599863 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 52228 50708 402 171 0 51153 0
Current children cumulated CPU time (s) 400.3
Current children cumulated vsize (KiB) 208912

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.54 3/74 10424
/proc/meminfo: memFree=1601728/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=231704 CPUtime=460.07
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 60514 653 19 4 45954 53 0 0 25 0 1 0 56580390 237264896 56888 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 57926 56888 402 171 0 56851 0
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (KiB) 231704

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.57 3/74 10424
/proc/meminfo: memFree=1567360/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=262024 CPUtime=519.84
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 68397 653 19 4 51924 60 0 0 25 0 1 0 56580390 268312576 64771 996147200 134512640 135215973 4294956304 18446744073709551615 4158960143 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 65506 64771 402 171 0 64431 0
Current children cumulated CPU time (s) 519.84
Current children cumulated vsize (KiB) 262024

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 1.59 3/74 10424
/proc/meminfo: memFree=1529920/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=303156 CPUtime=579.6
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 79118 653 19 4 57892 68 0 0 25 0 1 0 56580390 310431744 73186 996147200 134512640 135215973 4294956304 18446744073709551615 134533002 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 75789 73186 402 171 0 74714 0
Current children cumulated CPU time (s) 579.6

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 1.69 3/74 10424
/proc/meminfo: memFree=1386944/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=429996 CPUtime=878.43
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 112151 653 19 4 87743 100 0 0 25 0 1 0 56580390 440315904 105194 996147200 134512640 135215973 4294956304 18446744073709551615 4158960244 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 107499 105194 402 171 0 106424 0
Current children cumulated CPU time (s) 878.43
Current children cumulated vsize (KiB) 429996

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 1.71 3/74 10424
/proc/meminfo: memFree=1351680/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=450788 CPUtime=938.19
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 117709 653 19 4 93713 106 0 0 25 0 1 0 56580390 461606912 110752 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 112697 110752 402 171 0 111622 0
Current children cumulated CPU time (s) 938.19
Current children cumulated vsize (KiB) 450788

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/74 10424
/proc/meminfo: memFree=1329984/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=477796 CPUtime=997.96
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 124834 653 19 4 99684 112 0 0 25 0 1 0 56580390 489263104 115828 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 119449 115828 402 171 0 118374 0
Current children cumulated CPU time (s) 997.96
Current children cumulated vsize (KiB) 477796

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/74 10424
/proc/meminfo: memFree=1307712/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=497684 CPUtime=1057.73
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 130163 653 19 4 105656 117 0 0 25 0 1 0 56580390 509628416 121157 996147200 134512640 135215973 4294956304 18446744073709551615 134583616 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 124421 121157 402 171 0 123346 0
Current children cumulated CPU time (s) 1057.73
Current children cumulated vsize (KiB) 497684

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/74 10424
/proc/meminfo: memFree=1284544/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=518136 CPUtime=1117.5
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 135627 653 19 4 111628 122 0 0 25 0 1 0 56580390 530571264 126621 996147200 134512640 135215973 4294956304 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 129534 126621 402 171 0 128459 0
Current children cumulated CPU time (s) 1117.5
Current children cumulated vsize (KiB) 518136

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/74 10424
/proc/meminfo: memFree=1261440/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=538800 CPUtime=1177.26
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 141171 653 19 4 117599 127 0 0 25 0 1 0 56580390 551731200 132165 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 134700 132165 402 171 0 133625 0
Current children cumulated CPU time (s) 1177.26
Current children cumulated vsize (KiB) 538800

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/74 10424
/proc/meminfo: memFree=1234944/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=563152 CPUtime=1237.03
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 147493 653 19 4 123569 134 0 0 25 0 1 0 56580390 576667648 138487 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 140788 138487 402 171 0 139713 0
Current children cumulated CPU time (s) 1237.03
Current children cumulated vsize (KiB) 563152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/74 10424
/proc/meminfo: memFree=1207168/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=588684 CPUtime=1296.8
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 154081 653 19 4 129539 141 0 0 25 0 1 0 56580390 602812416 145075 996147200 134512640 135215973 4294956304 18446744073709551615 134584655 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 147171 145075 402 171 0 146096 0
Current children cumulated CPU time (s) 1296.8
Current children cumulated vsize (KiB) 588684

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/74 10424
/proc/meminfo: memFree=1179968/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=614176 CPUtime=1356.55
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 160655 653 19 4 135507 148 0 0 25 0 1 0 56580390 628916224 151649 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 153544 151649 402 171 0 152469 0
Current children cumulated CPU time (s) 1356.55
Current children cumulated vsize (KiB) 614176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.81 3/74 10424
/proc/meminfo: memFree=1141376/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=666076 CPUtime=1416.32
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 173809 653 19 4 141475 157 0 0 25 0 1 0 56580390 682061824 160706 996147200 134512640 135215973 4294956304 18446744073709551615 134591012 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 166519 160706 402 171 0 165444 0
Current children cumulated CPU time (s) 1416.32
Current children cumulated vsize (KiB) 666076

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/74 10424
/proc/meminfo: memFree=1115392/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=688764 CPUtime=1476.08
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 179823 653 19 4 147444 164 0 0 25 0 1 0 56580390 705294336 166720 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 172191 166720 402 171 0 171116 0
Current children cumulated CPU time (s) 1476.08
Current children cumulated vsize (KiB) 688764

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 10424
/proc/meminfo: memFree=1089920/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=710268 CPUtime=1535.85
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 185616 653 19 4 153413 172 0 0 25 0 1 0 56580390 727314432 172513 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 177567 172513 402 171 0 176492 0
Current children cumulated CPU time (s) 1535.85
Current children cumulated vsize (KiB) 710268

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 10424
/proc/meminfo: memFree=1066112/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=730572 CPUtime=1595.62
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 191111 653 19 4 159384 178 0 0 25 0 1 0 56580390 748105728 178008 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 182643 178008 402 171 0 181568 0
Current children cumulated CPU time (s) 1595.62
Current children cumulated vsize (KiB) 730572

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 10424
/proc/meminfo: memFree=1038976/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=754416 CPUtime=1655.39
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 197356 653 19 4 165355 184 0 0 25 0 1 0 56580390 772521984 184253 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 188604 184253 402 171 0 187529 0
Current children cumulated CPU time (s) 1655.39
Current children cumulated vsize (KiB) 754416

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 10424
/proc/meminfo: memFree=1019136/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=772108 CPUtime=1715.15
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 201859 653 19 4 171326 189 0 0 25 0 1 0 56580390 790638592 188756 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 193027 188756 402 171 0 191952 0
Current children cumulated CPU time (s) 1715.15
Current children cumulated vsize (KiB) 772108

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 10424
/proc/meminfo: memFree=999040/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=789620 CPUtime=1774.92
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 206308 653 19 4 177298 194 0 0 25 0 1 0 56580390 808570880 193205 996147200 134512640 135215973 4294956304 18446744073709551615 134687060 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 197405 193205 402 171 0 196330 0
Current children cumulated CPU time (s) 1774.92
Current children cumulated vsize (KiB) 789620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.5 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 10424
/proc/meminfo: memFree=990848/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=796692 CPUtime=1800.02
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4194304 208130 653 19 4 179807 195 0 0 25 0 1 0 56580390 815812608 195027 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 199173 195027 402 171 0 198098 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 796692

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

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

[startup+1807.61 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 10424
/proc/meminfo: memFree=990848/2055920 swapFree=4192812/4192956
[pid=10384] ppid=10382 vsize=0 CPUtime=1800.12
/proc/10384/stat : 10384 (pcs.big) R 10382 10384 10130 0 -1 4195332 208130 653 19 4 179807 205 0 0 25 0 1 0 56580390 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10384/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.63
CPU time (s): 1800.17
CPU user time (s): 1798.08
CPU system time (s): 2.08468
CPU usage (%): 99.587
Max. virtual memory (cumulated for all children) (KiB): 796692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.08
system time used= 2.08468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208783
page faults= 23
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76
involuntary context switches= 21539

runsolver used 2.02869 second user time and 4.55931 second system time

The end

Launcher Data 

Begin job on node88 at 2009-07-15 23:59:12
IDJOB=2059537
IDBENCH=53591
IDSOLVER=733
FILE ID=node88/2059537-1247695152
PBS_JOBID= 9521143
Free space on /tmp= 65976 MiB

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

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

MD5SUM BENCH= d211ae6c6c79ecd682df2e7c9710a9e2
RANDOM SEED=398945805

node88.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.222
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.222
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:       1294016 kB
Buffers:         13844 kB
Cached:         184172 kB
SwapCached:          0 kB
Active:         529004 kB
Inactive:       168588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1294016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2112 kB
Writeback:           0 kB
Mapped:         509804 kB
Slab:            48420 kB
Committed_AS:  1225020 kB
PageTables:       3120 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= 66072 MiB
End job on node88 at 2009-07-16 00:29:22