Trace number 3290530

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
CryptoMiniSat Strange-Night-2-mtUNSAT 45.987 11.5261

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F17.cnf
MD5SUM4f20f237857124f0eb214df627f84b82
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.1971
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses69700
Sum of the clauses size326536
Maximum clause length45
Minimum clause length1
Number of clauses of size 132
Number of clauses of size 217506
Number of clauses of size 312802
Number of clauses of size 46698
Number of clauses of size 59775
Number of clauses of size over 522887

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290530-1304124426.cnf'
0.00/0.00	c -- header says num vars:           6664
0.00/0.00	c -- header says num clauses:       69700
0.03/0.03	c -- clauses added:            0 learnts,        69700 normals,            0 xors
0.03/0.03	c -- vars added       6664
0.03/0.03	c Parsing time:  0.02 s
0.03/0.03	c  N st     0         0      6664     52125     16248         0    322357         0   no data   no data
0.03/0.39	c asymm  cl-useful: 5/8238/51426 lits-rem:5 time: 0.36
0.03/0.56	c Flit:    27 Blit:      0 bXBeca:    0 bXProp:  101 Bins:      0 BRemL:      0 BRemN:      0 P:  6.9M T:  0.17
0.03/0.57	c Replacing      101 vars Replaced    33096 lits Time:     0.01 s 
1.60/0.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.60/0.60	c bin-w-bin subsume rem          583 bins  time:  0.00 s
1.60/0.61	c subs with bin:     1468  lits-rem:       268  v-fix:    0  time:  0.01 s
1.60/0.62	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   5821 time:  0.01 s
1.60/0.63	c Removed useless bin:      16  fixed:     0  props:   1.41M  time:  0.01 s
1.60/0.76	c lits-rem:         0  cl-subs:      673  v-elim:    598  v-fix:    0  time:  0.12 s
1.60/0.76	c Finding binary XORs  T:     0.00 s  found:       0
1.60/0.80	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.60/0.80	c calculated reachability. Time: 0.00
1.60/0.80	c Calc default polars -  time:   0.00 s pos:     198 undec:    1441 neg:    5025
1.60/0.80	c =========================================================================================
1.60/0.80	c types(t): F = full restart, N = normal restart
1.60/0.80	c types(t): S = simplification begin/end, E = solution found
1.60/0.80	c restart types(rt): st = static, dy = dynamic
1.60/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.60/0.80	c  B st     0         0      5223     49790     13312         0    308807         0   no data   no data
1.60/1.03	c  N dy    15      4085      5222     49790     13417      3935    308807    137880      7.32      8.13
1.60/1.28	c  N dy    37      8185      5222     49790     14148      7906    308807    252181      7.83      8.25
5.96/1.53	c  N dy    59     12225      5198     49790     14194      7660    308805    183514      7.96     10.19
7.17/1.81	c  N dy    88     16325      5196     49790     14413     11656    308805    309035      8.18      8.87
7.17/1.82	c Finding binary XORs  T:     0.00 s  found:       2
8.37/2.11	c  N dy   112     20401      5177     49159     14313      8698    304759    160339      8.28     11.40
9.55/2.41	c  N dy   133     24414      5173     49159     14360     12624    304758    301784      8.26      8.78
9.55/2.46	c  F st   138     25001      5173     49159     14501     13200    304758    319879      8.28   no data
9.55/2.46	c Replacing        2 vars Replaced       16 lits Time:     0.00 s 
11.15/2.88	c  N dy   144     30000      5167     49149     14469      9479    304652    148714      8.28   no data
11.15/2.88	c  S st   144     30000      5167     49149     14469      9479    304652    148714      8.28   no data
11.56/2.94	c  S st   144     30501      5167     49149     14489      9958    304652    159533      8.28   no data
11.56/2.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.55/3.40	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:    2 Bins: 134682 BRemL: 118833 BRemN:      0 P: 12.2M T:  0.45
13.55/3.40	c Replacing        2 vars Replaced      560 lits Time:     0.01 s 
13.55/3.41	c blocked clauses removed:        0 vars:      0 tried:        5161 T: 0.00 s
13.55/3.42	c bin-w-bin subsume rem          389 bins  time:  0.00 s
13.55/3.43	c subs with bin:      444  lits-rem:      1158  v-fix:    0  time:  0.01 s
13.55/3.45	c Subs w/ non-existent bins:     10 l-rem:     88 v-fix:     0 done:   5161 time:  0.02 s
13.55/3.45	c Removed useless bin:       8  fixed:     0  props:   0.55M  time:  0.00 s
13.55/3.49	c lits-rem:         0  cl-subs:     1082  v-elim:    210  v-fix:    0  time:  0.04 s
13.95/3.51	c subs with bin:      208  lits-rem:      1294  v-fix:    0  time:  0.02 s
13.95/3.54	c lits-rem:       221  cl-subs:      653  v-elim:      0  v-fix:    0  time:  0.02 s
15.54/3.94	c asymm  cl-useful: 8/8990/47716 lits-rem:8 time: 0.40
15.54/3.95	c calculated reachability. Time: 0.00
15.54/3.95	c  N dy   144     30501      4951     47716     27989      4921    298387     85721      8.28   no data
15.54/3.96	c Finding binary XORs  T:     0.01 s  found:       0
16.75/4.26	c  N dy   164     34665      4951     47716     28064      9037    298387    216543      8.27      8.73
17.57/4.46	c Finding binary XORs  T:     0.01 s  found:       0
18.34/4.67	c  N dy   185     39396      4934     47702    134525     13581    298139    586220      8.21      8.67
19.93/5.03	c  N dy   215     43426      4933     47702    134545      9812    298138    404924      8.30      8.87
20.74/5.23	c  S st   228     45751      4933     47702    134552     12104    298138    471906      8.32   no data
20.74/5.30	c  S st   228     46252      4933     47702    134553     12603    298138    482746      8.32   no data
21.14/5.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.33/5.68	c Flit:    10 Blit:      1 bXBeca:    0 bXProp:    1 Bins:   8097 BRemL: 110830 BRemN:      0 P: 12.2M T:  0.38
22.33/5.69	c Replacing        1 vars Replaced      541 lits Time:     0.01 s 
22.73/5.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.73/5.70	c bin-w-bin subsume rem          832 bins  time:  0.00 s
22.73/5.71	c subs with bin:      586  lits-rem:       243  v-fix:    0  time:  0.01 s
22.73/5.73	c Subs w/ non-existent bins:     28 l-rem:     67 v-fix:     0 done:   4920 time:  0.02 s
22.73/5.73	c Removed useless bin:       8  fixed:     0  props:   0.49M  time:  0.00 s
22.73/5.76	c lits-rem:         0  cl-subs:      213  v-elim:     47  v-fix:    0  time:  0.03 s
23.14/5.80	c subs with bin:      195  lits-rem:      1531  v-fix:    0  time:  0.03 s
23.14/5.83	c lits-rem:       498  cl-subs:      301  v-elim:      0  v-fix:    0  time:  0.02 s
23.14/5.84	c vivif2 --  cl tried    46906 cl shrink       82 lits rem         94 time: 0.02
23.14/5.85	c vivif2 --  cl tried     7717 cl shrink     1341 lits rem       4122 time: 0.01
24.74/6.27	c asymm  cl-useful: 23/10155/46906 lits-rem:23 time: 0.42
24.74/6.28	c calculated reachability. Time: 0.00
24.74/6.28	c  N dy   228     46252      4873     46906     28635      7715    292666    134066      8.32   no data
24.74/6.28	c Finding binary XORs  T:     0.00 s  found:       0
25.95/6.55	c  N dy   253     50335      4872     46906     43900     11737    292666    282426      8.30      8.89
26.73/6.77	c Finding binary XORs  T:     0.00 s  found:      22
27.13/6.89	c  N dy   273     54386      4811     46347     42068     15509    286926    388061      8.30      8.80
28.73/7.20	c  N dy   294     58457      4810     46347     44398     11702    286926    251619      8.29     10.01
29.93/7.51	c  N dy   321     62476      4807     46347     44543     15687    286926    370277      8.35      8.82
31.12/7.88	c  N dy   344     67047      4801     46347     44551     20211    286926    502301      8.35      8.83
31.92/8.07	c  S st   352     69380      4801     46347     44599     11851    286926    212916      8.32   no data
32.32/8.15	c  S st   352     69881      4801     46347     44602     12348    286926    225822      8.32   no data
32.32/8.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.92/8.52	c Flit:     7 Blit:      0 bXBeca:    0 bXProp:   20 Bins:  11136 BRemL:  20025 BRemN:     19 P: 12.1M T:  0.37
33.92/8.53	c Replacing       42 vars Replaced    14474 lits Time:     0.01 s 
33.92/8.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
33.92/8.55	c bin-w-bin subsume rem          358 bins  time:  0.00 s
33.92/8.56	c subs with bin:     1357  lits-rem:       584  v-fix:    0  time:  0.01 s
33.92/8.58	c Subs w/ non-existent bins:     31 l-rem:     24 v-fix:     0 done:   4729 time:  0.02 s
33.92/8.58	c Removed useless bin:      26  fixed:     0  props:   0.43M  time:  0.01 s
34.32/8.65	c lits-rem:         0  cl-subs:     2739  v-elim:    127  v-fix:    0  time:  0.06 s
34.32/8.67	c subs with bin:      210  lits-rem:      1034  v-fix:    0  time:  0.02 s
34.32/8.70	c lits-rem:       131  cl-subs:      321  v-elim:      0  v-fix:    0  time:  0.02 s
34.73/8.71	c vivif2 --  cl tried    40862 cl shrink       79 lits rem        477 time: 0.01
34.73/8.72	c vivif2 --  cl tried     8136 cl shrink      605 lits rem       1484 time: 0.01
35.51/8.97	c asymm  cl-useful: 20/13479/40862 lits-rem:37 time: 0.25
35.51/8.98	c calculated reachability. Time: 0.00
35.51/8.98	c  N dy   352     69881      4602     40854     30426      8133    254332    118932      8.32   no data
35.51/8.98	c Finding binary XORs  T:     0.01 s  found:       0
37.11/9.30	c  N dy   375     74387      4599     40854     35011     12587    254331    261894      8.32      9.04
37.52/9.45	c Finding binary XORs  T:     0.01 s  found:       3
38.72/9.72	c  N dy   403     79163      4551     40779     32948     16708    253423    381627      8.32      9.92
40.71/10.22	c  N dy   429     84307      4546     40779     35189     11329    253423    172956      8.33      8.93
41.91/10.51	c  F st   450     87500      4542     40779     35236     14467    253423    279436      8.35   no data
41.91/10.53	c Replacing        3 vars Replaced     3129 lits Time:     0.01 s 
42.71/10.77	c  N st   455     90798      4514     40271     33298     16309    250292    362716      8.35   no data
43.52/10.95	c Finding binary XORs  T:     0.00 s  found:       2
45.10/11.34	c  N dy   483     96591      4502     39758     32792     21902    247330    560580      8.39     12.72
45.90/11.51	c Following stats are for *FIRST FINISHED THREAD ONLY*
45.90/11.51	c num threads              : 4          
45.90/11.51	c restarts                 : 515        
45.90/11.51	c dynamic restarts         : 497        
45.90/11.51	c static restarts          : 18         
45.90/11.51	c full restarts            : 2          
45.90/11.51	c total simplify time      : 0.07       
45.90/11.51	c learnts DL2              : 0          
45.90/11.51	c learnts size 2           : 296751     
45.90/11.51	c learnts size 1           : 2392        (35.89     % of vars)
45.90/11.51	c filedLit time            : 1.17        (10.22     % time)
45.90/11.51	c v-elim SatELite          : 940         (14.11     % vars)
45.90/11.51	c SatELite time            : 0.31        (2.68      % time)
45.90/11.51	c v-elim xor               : 0           (0.00      % vars)
45.90/11.51	c xor elim time            : 0.01        (0.09      % time)
45.90/11.51	c num binary xor trees     : 124        
45.90/11.51	c binxor trees' crown      : 158         (1.27      leafs/tree)
45.90/11.51	c bin xor find time        : 0.04       
45.90/11.51	c OTF clause improved      : 1064        (0.01      clauses/conflict)
45.90/11.51	c OTF impr. size diff      : 1341        (1.26       lits/clause)
45.90/11.51	c OTF cl watch-shrink      : 66751       (0.63      clauses/conflict)
45.90/11.51	c OTF cl watch-sh-lit      : 231770      (3.47       lits/clause)
45.90/11.51	c tried to recurMin cls    : 43718       (41.55      % of conflicts)
45.90/11.51	c updated cache            : 0           (0.00       lits/tried recurMin)
45.90/11.51	c unit cls recevied        : 85          (3.55      % of units)
45.90/11.51	c unit cls sent            : 100         (4.18      % of units)
45.90/11.51	c bin cls recevied         : 134214     
45.90/11.51	c bin cls sent             : 24542      
45.90/11.51	c clauses over max glue    : 0           (0.00      % of all clauses)
45.90/11.51	c conflicts                : 105213      (9171.88   / sec)
45.90/11.51	c decisions                : 204952      (2.35      % random)
45.90/11.51	c bogo-props               : 564906319   (49245376.36 / sec)
45.90/11.51	c conflict literals        : 3138321     (32.21     % deleted)
45.90/11.51	c Memory used              : 365.31      MB
45.90/11.51	c single-thread CPU time   : 11.47       s
45.90/11.51	c all-threads sum CPU time : 45.86       s
45.90/11.51	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290530-1304124426/watcher-3290530-1304124426 -o /tmp/evaluation-result-3290530-1304124426/solver-3290530-1304124426 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290530-1304124426.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.37 7.93 7.96 3/174 27987
/proc/meminfo: memFree=24374260/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 602673306 52441088 352 33554432000 4194304 4627427 140737419434896 18446744073709551615 47093923264434 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 12803 352 303 106 0 7774 0
[pid=27987/tid=27989] ppid=27985 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 4 0 602673306 52441088 352 33554432000 4194304 4627427 140737419434896 18446744073709551615 216735178683 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 602673306 52441088 352 33554432000 4194304 4627427 140737419434896 18446744073709551615 47093923264432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 602673306 52441088 352 33554432000 4194304 4627427 140737419434896 18446744073709551615 216730225750 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0134591 s]
/proc/loadavg: 7.37 7.93 7.96 3/174 27987
/proc/meminfo: memFree=24374260/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=284152 CPUtime=0.03 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 3456 0 0 0 3 0 0 0 22 0 4 0 602673306 290971648 3275 33554432000 4194304 4627427 140737419434896 18446744073709551615 216735283743 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 71038 3321 340 106 0 66009 0
[pid=27987/tid=27989] ppid=27985 vsize=284152 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 803 0 0 0 0 0 0 0 18 0 4 0 602673306 290971648 3330 33554432000 4194304 4627427 140737419434896 18446744073709551615 216734875403 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=284344 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) S 27985 27987 27450 0 -1 4202560 840 0 0 0 0 0 0 0 18 0 4 0 602673306 291168256 3448 33554432000 4194304 4627427 140737419434896 18446744073709551615 216735283694 0 0 4096 2 18446604471124425472 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=284344 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) S 27985 27987 27450 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 4 0 602673306 291168256 3470 33554432000 4194304 4627427 140737419434896 18446744073709551615 216735283694 0 0 4096 2 18446604471124425472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 284152

[startup+0.128581 s]
/proc/loadavg: 7.37 7.93 7.96 3/174 27987
/proc/meminfo: memFree=24374260/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=291608 CPUtime=1.6 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 9433 0 0 0 158 2 0 0 22 0 4 0 602673306 298606592 8980 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 73182 10401 369 106 0 68153 0
[pid=27987/tid=27989] ppid=27985 vsize=293124 CPUtime=0.46 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 2940 0 0 0 46 0 0 0 18 0 4 0 602673306 300158976 11199 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=296096 CPUtime=0.56 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) D 27985 27987 27450 0 -1 4202560 3327 0 0 0 55 1 0 0 18 0 4 0 602673306 303202304 12304 33554432000 4194304 4627427 140737419434896 18446744073709551615 4415675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=296672 CPUtime=0.56 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 2614 0 0 0 56 0 0 0 18 0 4 0 602673306 303792128 12586 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 291608

[startup+0.724197 s]
/proc/loadavg: 7.37 7.93 7.96 3/174 27987
/proc/meminfo: memFree=24374260/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=310896 CPUtime=5.59 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 25858 0 0 0 554 5 0 0 18 0 4 0 602673306 318357504 19077 33554432000 4194304 4627427 140737419434896 18446744073709551615 4325816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 77724 19077 387 106 0 72695 0
[pid=27987/tid=27989] ppid=27985 vsize=310896 CPUtime=1.39 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 7316 0 0 0 138 1 0 0 18 0 4 0 602673306 318357504 19077 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=310896 CPUtime=1.39 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 7279 0 0 0 137 2 0 0 19 0 4 0 602673306 318357504 19077 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=310896 CPUtime=1.39 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 3634 0 0 0 139 0 0 0 19 0 4 0 602673306 318357504 19077 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 310896

[startup+1.48685 s]
/proc/loadavg: 7.37 7.93 7.96 3/174 27987
/proc/meminfo: memFree=24374260/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=310896 CPUtime=5.9 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 26031 0 0 0 585 5 0 0 19 0 4 0 602673306 318357504 19250 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 77724 19250 387 106 0 72695 0
[pid=27987/tid=27989] ppid=27985 vsize=310896 CPUtime=1.46 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 7359 0 0 0 145 1 0 0 19 0 4 0 602673306 318357504 19250 33554432000 4194304 4627427 140737419434896 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=310896 CPUtime=1.47 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 7313 0 0 0 145 2 0 0 19 0 4 0 602673306 318357504 19250 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=310896 CPUtime=1.47 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 3679 0 0 0 147 0 0 0 19 0 4 0 602673306 318357504 19250 33554432000 4194304 4627427 140737419434896 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 310896

[startup+1.50085 s]
/proc/loadavg: 7.37 7.93 7.96 3/174 27987
/proc/meminfo: memFree=24374260/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=310896 CPUtime=5.96 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 26057 0 0 0 591 5 0 0 19 0 4 0 602673306 318357504 19276 33554432000 4194304 4627427 140737419434896 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 77724 19276 387 106 0 72695 0
[pid=27987/tid=27989] ppid=27985 vsize=310896 CPUtime=1.48 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 7365 0 0 0 147 1 0 0 19 0 4 0 602673306 318357504 19276 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=310896 CPUtime=1.48 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 7319 0 0 0 146 2 0 0 19 0 4 0 602673306 318357504 19276 33554432000 4194304 4627427 140737419434896 18446744073709551615 4330954 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=310896 CPUtime=1.48 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 3684 0 0 0 148 0 0 0 19 0 4 0 602673306 318357504 19276 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 310896

[startup+3.10057 s]
/proc/loadavg: 7.37 7.93 7.96 9/184 28039
/proc/meminfo: memFree=24241036/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=290752 CPUtime=12.36 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 34160 0 0 0 1229 7 0 0 22 0 4 0 602673306 297730048 21893 33554432000 4194304 4627427 140737419434896 18446744073709551615 4537222 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 72688 21893 391 106 0 67659 0
[pid=27987/tid=27989] ppid=27985 vsize=290752 CPUtime=3.08 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 9392 0 0 0 306 2 0 0 22 0 4 0 602673306 297730048 21893 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=290752 CPUtime=3.07 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 9222 0 0 0 305 2 0 0 22 0 4 0 602673306 297730048 21893 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=290752 CPUtime=3.08 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 5739 0 0 0 308 0 0 0 22 0 4 0 602673306 297730048 21893 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 290752

[startup+6.30101 s]
/proc/loadavg: 7.42 7.93 7.96 9/184 28039
/proc/meminfo: memFree=23922084/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=287080 CPUtime=25.14 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 48564 0 0 0 2505 9 0 0 25 0 4 0 602673306 293969920 32666 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 71770 32666 391 106 0 66741 0
[pid=27987/tid=27989] ppid=27985 vsize=287080 CPUtime=6.28 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 12445 0 0 0 626 2 0 0 25 0 4 0 602673306 293969920 32666 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=287080 CPUtime=6.26 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 11659 0 0 0 623 3 0 0 25 0 4 0 602673306 293969920 32666 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=287080 CPUtime=6.28 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 11266 0 0 0 627 1 0 0 25 0 4 0 602673306 293969920 32666 33554432000 4194304 4627427 140737419434896 18446744073709551615 4321561 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287080

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

[startup+7.40083 s]
/proc/loadavg: 7.42 7.93 7.96 9/184 28040
/proc/meminfo: memFree=23919356/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=297952 CPUtime=29.53 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 51423 0 0 0 2944 9 0 0 25 0 4 0 602673306 305102848 35523 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 74488 35523 391 106 0 69459 0
[pid=27987/tid=27989] ppid=27985 vsize=297952 CPUtime=7.38 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 12683 0 0 0 736 2 0 0 25 0 4 0 602673306 305102848 35523 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=297952 CPUtime=7.36 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 12555 0 0 0 733 3 0 0 25 0 4 0 602673306 305102848 35523 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=297952 CPUtime=7.38 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 11974 0 0 0 737 1 0 0 25 0 4 0 602673306 305102848 35523 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 29.53
Current children cumulated vsize (KiB) 297952

[startup+9.00054 s]
/proc/loadavg: 7.42 7.93 7.96 9/184 28040
/proc/meminfo: memFree=23897184/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=308536 CPUtime=35.91 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 55020 0 0 0 3581 10 0 0 25 0 4 0 602673306 315940864 38071 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308127 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 77134 38071 391 106 0 72105 0
[pid=27987/tid=27989] ppid=27985 vsize=308536 CPUtime=8.97 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13955 0 0 0 895 2 0 0 25 0 4 0 602673306 315940864 38072 33554432000 4194304 4627427 140737419434896 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=308536 CPUtime=8.94 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13008 0 0 0 891 3 0 0 25 0 4 0 602673306 315940864 38072 33554432000 4194304 4627427 140737419434896 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=308536 CPUtime=8.98 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 12990 0 0 0 896 2 0 0 25 0 4 0 602673306 315940864 38072 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 35.91
Current children cumulated vsize (KiB) 308536

[startup+10.6003 s]
/proc/loadavg: 7.47 7.93 7.96 9/184 28040
/proc/meminfo: memFree=23891480/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=308536 CPUtime=42.31 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 57122 0 0 0 4220 11 0 0 25 0 4 0 602673306 315940864 39102 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 77134 39102 391 106 0 72105 0
[pid=27987/tid=27989] ppid=27985 vsize=308536 CPUtime=10.58 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 14898 0 0 0 1055 3 0 0 25 0 4 0 602673306 315940864 39102 33554432000 4194304 4627427 140737419434896 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=308536 CPUtime=10.54 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13193 0 0 0 1051 3 0 0 25 0 4 0 602673306 315940864 39102 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=308536 CPUtime=10.58 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13468 0 0 0 1056 2 0 0 25 0 4 0 602673306 315940864 39102 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 42.31
Current children cumulated vsize (KiB) 308536

[startup+11.0062 s]
/proc/loadavg: 7.47 7.93 7.96 9/184 28040
/proc/meminfo: memFree=23911408/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=374072 CPUtime=43.92 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 57791 0 0 0 4381 11 0 0 25 0 4 0 602673306 383049728 39771 33554432000 4194304 4627427 140737419434896 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 93518 39771 391 106 0 88489 0
[pid=27987/tid=27989] ppid=27985 vsize=374072 CPUtime=10.99 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 15508 0 0 0 1096 3 0 0 25 0 4 0 602673306 383049728 39771 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=374072 CPUtime=10.94 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13195 0 0 0 1091 3 0 0 25 0 4 0 602673306 383049728 39771 33554432000 4194304 4627427 140737419434896 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=374072 CPUtime=10.99 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13520 0 0 0 1097 2 0 0 25 0 4 0 602673306 383049728 39771 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 43.92
Current children cumulated vsize (KiB) 374072

[startup+11.4011 s]
/proc/loadavg: 7.47 7.93 7.96 9/184 28040
/proc/meminfo: memFree=23911408/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=374072 CPUtime=45.5 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 58361 0 0 0 4539 11 0 0 25 0 4 0 602673306 383049728 40341 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 93518 40342 391 106 0 88489 0
[pid=27987/tid=27989] ppid=27985 vsize=374072 CPUtime=11.38 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 15646 0 0 0 1135 3 0 0 25 0 4 0 602673306 383049728 40342 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=374072 CPUtime=11.33 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13617 0 0 0 1130 3 0 0 25 0 4 0 602673306 383049728 40342 33554432000 4194304 4627427 140737419434896 18446744073709551615 4501717 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=374072 CPUtime=11.38 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13524 0 0 0 1136 2 0 0 25 0 4 0 602673306 383049728 40342 33554432000 4194304 4627427 140737419434896 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 45.5
Current children cumulated vsize (KiB) 374072

[startup+11.5011 s]
/proc/loadavg: 7.47 7.93 7.96 9/184 28040
/proc/meminfo: memFree=23911408/32951124 swapFree=67102140/67111528
[pid=27987] ppid=27985 vsize=374072 CPUtime=45.9 cores=1,3,5,7
/proc/27987/stat : 27987 (strangenight2-m) R 27985 27987 27450 0 -1 4202496 58503 0 0 0 4579 11 0 0 25 0 4 0 602673306 383049728 40483 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27987/statm: 93518 40483 391 106 0 88489 0
[pid=27987/tid=27989] ppid=27985 vsize=374072 CPUtime=11.48 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 15673 0 0 0 1145 3 0 0 25 0 4 0 602673306 383049728 40483 33554432000 4194304 4627427 140737419434896 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27987/tid=27990] ppid=27985 vsize=374072 CPUtime=11.43 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13659 0 0 0 1140 3 0 0 25 0 4 0 602673306 383049728 40484 33554432000 4194304 4627427 140737419434896 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27987/tid=27992] ppid=27985 vsize=374072 CPUtime=11.48 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (strangenight2-m) R 27985 27987 27450 0 -1 4202560 13560 0 0 0 1146 2 0 0 25 0 4 0 602673306 383049728 40484 33554432000 4194304 4627427 140737419434896 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 45.9
Current children cumulated vsize (KiB) 374072

Child status: 20
Real time (s): 11.5261
CPU time (s): 45.987
CPU user time (s): 45.86
CPU system time (s): 0.12698
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 374072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.86
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58524
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= 4333
involuntary context switches= 286

runsolver used 0.018997 second user time and 0.045993 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-30 02:47:06
IDJOB=3290530
IDBENCH=83438
IDSOLVER=1586
FILE ID=node119/3290530-1304124426
RUNJOBID= node119-1304123222-27886
PBS_JOBID= 13170728
Free space on /tmp= 71808 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290530-1304124426/watcher-3290530-1304124426 -o /tmp/evaluation-result-3290530-1304124426/solver-3290530-1304124426 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3290530-1304124426.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4f20f237857124f0eb214df627f84b82
RANDOM SEED=1730463863

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24374812 kB
Buffers:       1916252 kB
Cached:        6038640 kB
SwapCached:       3688 kB
Active:         186696 kB
Inactive:      7827540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24374812 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:            7044 kB
Writeback:           0 kB
AnonPages:       58788 kB
Mapped:          14540 kB
Slab:           498712 kB
PageTables:       4300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71792 MiB
End job on node119 at 2011-04-30 02:47:18