Trace number 3367094

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-mt (fixed)UNSAT 2435.49 610.414

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-18.cnf
MD5SUM47bea79e2bf12e18e409c2c4bd6fac03
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark671.532
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses186934
Sum of the clauses size1289969
Maximum clause length55
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 220093
Number of clauses of size 316000
Number of clauses of size 45706
Number of clauses of size 56282
Number of clauses of size over 5138847

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367094-1305414989.cnf'
0.00/0.01	c -- header says num vars:           7794
0.00/0.01	c -- header says num clauses:      186934
0.39/0.11	c -- clauses added:            0 learnts,       186934 normals,            0 xors
0.39/0.11	c -- vars added       7794
0.39/0.11	c Parsing time:  0.07 s
0.39/0.11	c  N st     0         0      7794    166829     19877         0   1284511         0   no data   no data
0.77/0.27	c asymm  cl-useful: 0/2271/166721 lits-rem:0 time: 0.18
2.77/0.70	c Flit:    10 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 18.2M T:  0.42
2.77/0.74	c Replacing       72 vars Replaced   120192 lits Time:     0.04 s 
3.17/0.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.81	c bin-w-bin subsume rem          138 bins  time:  0.00 s
3.17/0.84	c subs with bin:       56  lits-rem:         4  v-fix:    0  time:  0.00 s
3.17/0.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6293 time:  0.01 s
3.17/0.84	c Removed useless bin:       0  fixed:     0  props:   1.39M  time:  0.01 s
28.29/7.15	c lits-rem:         0  cl-subs:       21  v-elim:    736  v-fix:    0  time:  6.30 s
28.29/7.15	c Finding binary XORs  T:     0.01 s  found:       0
29.88/7.58	c Finding non-binary XORs:     0.41 s (found:       0, avg size: nan)
29.88/7.58	c calculated reachability. Time: 0.00
29.88/7.59	c Calc default polars -  time:   0.01 s pos:     294 undec:     938 neg:    6562
29.88/7.59	c =========================================================================================
29.88/7.59	c types(t): F = full restart, N = normal restart
29.88/7.59	c types(t): S = simplification begin/end, E = solution found
29.88/7.59	c restart types(rt): st = static, dy = dynamic
29.88/7.59	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
29.88/7.59	c  B st     0         0      6856    167594     17333         0   1299072         0   no data   no data
30.71/7.80	c  N dy    16      4177      6856    167594     17430      4028   1299071    160448     10.93     11.56
32.28/8.11	c  N dy    25      8250      6856    167594     17676      7963   1299069    309050      8.95     11.42
33.48/8.46	c  N dy    42     12303      6852    167594     17771     11891   1299069    443365      8.77      9.45
35.51/8.98	c  N dy    58     16312      6848    167594     18266     15805   1299066    570449      8.59      9.06
37.06/9.37	c Finding binary XORs  T:     0.01 s  found:       0
38.67/9.72	c  N dy    74     21830      6848    167588     18556     11460   1298918    279665      8.38      8.84
39.90/10.07	c  F st    95     25000      6848    167588     18845     14555   1298918    385996      8.41      8.61
40.65/10.23	c  N st    98     26189      6848    167588     18861     15722   1298918    422554      8.41   no data
42.26/10.67	c  S st   101     30001      6848    167588     18905     19457   1298918    562710      8.41   no data
43.46/10.91	c  S st   101     30501      6848    167588     18936     19924   1298918    574931      8.41   no data
43.46/10.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.85/12.06	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:    0 Bins: 231160 BRemL: 212278 BRemN:      0 P: 29.3M T:  1.13
47.85/12.11	c blocked clauses removed:        0 vars:      0 tried:        6845 T: 0.00 s
48.26/12.11	c bin-w-bin subsume rem           21 bins  time:  0.00 s
48.26/12.13	c subs with bin:       93  lits-rem:       870  v-fix:    0  time:  0.02 s
48.26/12.14	c Subs w/ non-existent bins:      1 l-rem:     37 v-fix:     0 done:   2906 time:  0.02 s
48.26/12.15	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.01 s
70.62/17.72	c lits-rem:         0  cl-subs:      907  v-elim:    118  v-fix:    0  time:  5.56 s
70.62/17.78	c subs with bin:       68  lits-rem:      1757  v-fix:    0  time:  0.05 s
78.16/19.65	c lits-rem:       111  cl-subs:      687  v-elim:      0  v-fix:    0  time:  1.85 s
78.98/19.85	c asymm  cl-useful: 0/3071/166803 lits-rem:0 time: 0.19
78.98/19.86	c calculated reachability. Time: 0.00
78.98/19.86	c  N dy   101     30501      6727    166803     36741     10050   1293497    229944      8.41   no data
78.98/19.87	c Finding binary XORs  T:     0.01 s  found:       0
80.96/20.34	c Finding binary XORs  T:     0.01 s  found:       0
80.96/20.38	c  N dy   121     34524      6724    166802    265461     13616   1293395    815984      8.45      9.07
82.95/20.88	c  N dy   130     38936      6724    166802    267296     17984   1293395    977404      8.27      8.71
85.34/21.48	c  N dy   145     43092      6724    166802    267298     11722   1293394    682938      8.20      8.67
86.54/21.79	c  S st   156     45751      6722    166802    267506     14342   1293394    772341      8.16      5.91
87.34/21.94	c  S st   156     46251      6722    166802    267506     14841   1293394    790491      8.16   no data
87.34/21.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.94/22.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    219 BRemL: 228621 BRemN:      0 P: 27.5M T:  0.87
90.94/22.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.94/22.86	c bin-w-bin subsume rem         1510 bins  time:  0.00 s
90.94/22.88	c subs with bin:       51  lits-rem:       738  v-fix:    0  time:  0.01 s
90.94/22.89	c Subs w/ non-existent bins:      1 l-rem:     35 v-fix:     0 done:   3311 time:  0.02 s
91.34/22.90	c Removed useless bin:       0  fixed:     0  props:   0.67M  time:  0.01 s
101.70/25.50	c lits-rem:         0  cl-subs:      910  v-elim:     12  v-fix:    0  time:  2.59 s
101.70/25.58	c subs with bin:      124  lits-rem:       272  v-fix:    0  time:  0.07 s
109.71/27.51	c lits-rem:       348  cl-subs:      345  v-elim:      0  v-fix:    0  time:  1.91 s
109.71/27.57	c vivif2 --  cl tried   165853 cl shrink       25 lits rem         25 time: 0.05
109.71/27.58	c vivif2 --  cl tried    13406 cl shrink      551 lits rem       1626 time: 0.01
110.87/27.86	c asymm  cl-useful: 24/3640/165853 lits-rem:27 time: 0.28
110.87/27.87	c calculated reachability. Time: 0.00
110.87/27.87	c  N dy   156     46251      6710    165853     36905     13406   1284101    287120      8.16   no data
112.08/28.19	c Finding binary XORs  T:     0.01 s  found:       0
113.68/28.55	c  N dy   178     50306      6709    165853     37033     17424   1284054    450108      8.17      8.78
116.46/29.20	c  N dy   205     54521      6706    165853     37035     21611   1284053    590294      8.22      8.91
118.48/29.77	c  N dy   232     58585      6706    165853     37715     25624   1284053    797003      8.32     11.50
120.85/30.39	c  N dy   258     62936      6705    165853     37715     29960   1284053    961982      8.36      8.81
122.87/30.89	c  N dy   292     66957      6705    165853     37717     18351   1284053    380474      8.48      8.97
124.04/31.17	c  S st   307     69376      6705    165853     37718     20757   1284053    465054      8.51      8.35
124.84/31.32	c  S st   307     69878      6705    165853     37718     21258   1284053    485267      8.51   no data
124.84/31.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
127.68/32.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    584 BRemL:    745 BRemN:      0 P: 27.3M T:  0.73
128.03/32.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
128.03/32.10	c bin-w-bin subsume rem            5 bins  time:  0.00 s
128.03/32.12	c subs with bin:       18  lits-rem:        36  v-fix:    0  time:  0.01 s
128.03/32.13	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   1849 time:  0.02 s
128.03/32.14	c Removed useless bin:       0  fixed:     0  props:   0.64M  time:  0.01 s
132.07/33.11	c lits-rem:         0  cl-subs:       33  v-elim:      4  v-fix:    0  time:  0.97 s
133.22/33.40	c subs with bin:      108  lits-rem:       702  v-fix:    0  time:  0.27 s
134.02/33.64	c lits-rem:       259  cl-subs:      447  v-elim:      0  v-fix:    0  time:  0.21 s
134.02/33.69	c vivif2 --  cl tried   165796 cl shrink        0 lits rem          0 time: 0.05
134.42/33.71	c vivif2 --  cl tried    20259 cl shrink     1255 lits rem       7809 time: 0.02
135.22/34.00	c asymm  cl-useful: 12/499/165796 lits-rem:24 time: 0.28
135.62/34.01	c calculated reachability. Time: 0.00
135.62/34.01	c  N dy   307     69878      6701    165796     37277     20259   1283234    454427      8.51   no data
135.62/34.01	c Finding binary XORs  T:     0.01 s  found:       0
139.21/34.91	c  N dy   314     74376      6697    165796     37438     24734   1283234    833721      8.41      8.88
142.80/35.89	c  N dy   342     79155      6696    165796     37443     29470   1283234    998219      8.40      8.85
147.19/36.97	c  N dy   373     84223      6695    165796     37453     34497   1283234   1182638      8.44     13.20
150.38/37.72	c  F st   395     87501      6695    165796     37460     37754   1283234   1292413      8.47      7.21
152.77/38.34	c  N st   400     90799      6694    165790     36886     21736   1283128    508245      8.47   no data
156.76/39.33	c  N dy   428     96770      6694    165790     36892     27648   1283128    712323      8.50      9.02
161.95/40.60	c  N dy   464    102992      6693    165790     36893     33823   1283128    924109      8.53      9.04
163.54/41.00	c  S st   475    104817      6693    165790     36894     35627   1283128    987379      8.54   no data
164.34/41.23	c  S st   475    105323      6693    165790     36903     36133   1283128   1012055      8.54   no data
164.34/41.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.93/42.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    333 BRemL:    458 BRemN:      0 P: 29.7M T:  0.92
168.33/42.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
168.33/42.21	c bin-w-bin subsume rem            9 bins  time:  0.00 s
168.33/42.23	c subs with bin:       78  lits-rem:       734  v-fix:    0  time:  0.02 s
168.33/42.24	c Subs w/ non-existent bins:      8 l-rem:      1 v-fix:     0 done:   2407 time:  0.02 s
168.33/42.25	c Removed useless bin:       1  fixed:     0  props:   0.65M  time:  0.01 s
168.73/42.33	c lits-rem:         0  cl-subs:      879  v-elim:     25  v-fix:    0  time:  0.08 s
170.33/42.72	c subs with bin:      257  lits-rem:      1711  v-fix:    0  time:  0.37 s
172.72/43.31	c lits-rem:       887  cl-subs:     1143  v-elim:      0  v-fix:    0  time:  0.56 s
172.72/43.37	c vivif2 --  cl tried   164831 cl shrink        4 lits rem          4 time: 0.05
173.12/43.40	c vivif2 --  cl tried    29308 cl shrink     2942 lits rem      17058 time: 0.04
173.92/43.69	c asymm  cl-useful: 3/475/164831 lits-rem:6 time: 0.28
174.32/43.70	c calculated reachability. Time: 0.00
174.32/43.70	c  N dy   475    105323      6668    164831     36663     29308   1274831    728196      8.54   no data
174.32/43.71	c Finding binary XORs  T:     0.01 s  found:       0
180.69/45.32	c  N dy   500    112353      6668    164831     36670     36258   1274831   1040271      8.51      8.99
186.28/46.71	c  N dy   531    119848      6667    164831     37005     25207   1274831    551082      8.48      8.95
192.67/48.33	c  N dy   557    127922      6666    164831     37017     33158   1274831   1005342      8.44      9.07
199.86/50.17	c  N dy   587    136172      6664    164831     37043     41271   1274831   1351786      8.40      8.84
207.04/51.94	c  N dy   641    144880      6663    164831     37057     28349   1274831    610040      8.43      8.94
207.84/52.13	c Finding binary XORs  T:     0.01 s  found:       0
214.22/53.72	c  N dy   689    154217      6662    164827     36860     36582   1274746   1057041      8.45      8.90
217.41/54.57	c  S st   712    157984      6662    164827     36865     40321   1274746   1188762      8.47   no data
218.21/54.79	c  S st   712    158487      6662    164827     36865     40824   1274746   1208046      8.47   no data
218.61/54.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
222.20/55.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    223 BRemL:    325 BRemN:      0 P: 30.7M T:  0.96
222.60/55.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.60/55.81	c bin-w-bin subsume rem           11 bins  time:  0.00 s
222.60/55.82	c subs with bin:       31  lits-rem:        64  v-fix:    0  time:  0.01 s
222.60/55.84	c Subs w/ non-existent bins:      4 l-rem:      3 v-fix:     0 done:    869 time:  0.01 s
222.60/55.84	c Removed useless bin:       1  fixed:     0  props:   0.63M  time:  0.01 s
222.60/55.89	c lits-rem:         0  cl-subs:       18  v-elim:     13  v-fix:    0  time:  0.04 s
226.19/56.75	c subs with bin:      122  lits-rem:       849  v-fix:    0  time:  0.83 s
228.63/57.39	c lits-rem:       864  cl-subs:      983  v-elim:      0  v-fix:    0  time:  0.61 s
228.98/57.44	c vivif2 --  cl tried   164746 cl shrink        0 lits rem          0 time: 0.05
228.98/57.50	c vivif2 --  cl tried    34799 cl shrink     3981 lits rem      20501 time: 0.05
230.58/57.81	c asymm  cl-useful: 23/488/164746 lits-rem:45 time: 0.31
230.58/57.82	c calculated reachability. Time: 0.00
230.58/57.82	c  N dy   712    158487      6649    164746     36647     34798   1274153    934520      8.47   no data
240.56/60.39	c  N dy   763    168665      6648    164746     36763     24181   1274153    425216      8.45      8.91
250.15/62.79	c  N dy   808    179592      6648    164746     36771     35019   1274153    925216      8.43      8.89
258.11/64.73	c Finding binary XORs  T:     0.01 s  found:       0
262.49/65.89	c  N dy   854    191398      6648    164745     36713     46653   1274144   1369130      8.41      8.86
273.67/68.65	c  N dy   918    203847      6648    164745     36806     35300   1274144    746210      8.42      8.88
287.23/72.07	c  N dy   981    216993      6648    164745     36864     48326   1274144   1242514      8.42      8.87
301.20/75.52	c  N dy  1051    231225      6648    164745     36873     36707   1274144    803872      8.43      8.88
307.98/77.25	c  S st  1093    237731      6647    164745     36876     43175   1274144   1081232      8.45   no data
309.18/77.50	c  S st  1093    238237      6647    164745     36876     43679   1274144   1100567      8.45   no data
309.18/77.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
312.77/78.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     55 BRemL:    207 BRemN:      0 P: 31.0M T:  0.94
312.77/78.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
312.77/78.49	c bin-w-bin subsume rem            2 bins  time:  0.00 s
313.17/78.51	c subs with bin:       27  lits-rem:        12  v-fix:    0  time:  0.01 s
313.17/78.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4074 time:  0.02 s
313.17/78.53	c Removed useless bin:       0  fixed:     0  props:   0.61M  time:  0.01 s
313.17/78.58	c lits-rem:         0  cl-subs:       27  v-elim:      3  v-fix:    0  time:  0.04 s
315.57/79.14	c subs with bin:      183  lits-rem:       686  v-fix:    0  time:  0.52 s
321.15/80.56	c lits-rem:      1085  cl-subs:     1086  v-elim:      0  v-fix:    0  time:  1.40 s
321.55/80.62	c vivif2 --  cl tried   164696 cl shrink        1 lits rem          1 time: 0.05
321.55/80.68	c vivif2 --  cl tried    41820 cl shrink     4841 lits rem      36766 time: 0.06
322.75/80.99	c asymm  cl-useful: 19/457/164696 lits-rem:40 time: 0.31
323.15/81.00	c calculated reachability. Time: 0.00
323.15/81.00	c  N dy  1093    238237      6644    164696     36684     41819   1273783   1026169      8.45   no data
341.51/85.66	c  N dy  1173    253567      6644    164696     36700     30088   1273783    459510      8.47      8.92
357.46/89.63	c  N dy  1249    270019      6644    164696     36706     46382   1273783   1084963      8.46      8.92
375.82/94.26	c  N dy  1343    287300      6643    164696     36719     35199   1273783    615926      8.48     11.65
396.16/99.31	c  N dy  1455    305721      6643    164696     36726     53504   1273783   1355209      8.52      9.76
396.56/99.47	c  F st  1460    306251      6643    164696     36726     54030   1273783   1377248      8.52   no data
400.55/100.41	c Finding binary XORs  T:     0.01 s  found:       0
415.32/104.10	c  N dy  1542    325307      6642    164695     36689     43292   1273728    896741      8.54     11.26
438.06/109.84	c  N dy  1634    345361      6642    164695     36705     32534   1273728    426947      8.55     10.03
449.63/112.72	c  S st  1710    357355      6641    164695     36717     44444   1273727    875722      8.57      8.00
450.43/112.99	c  S st  1710    357859      6641    164695     36717     44947   1273727    890120      8.57   no data
450.83/113.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.42/113.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     80 BRemL:     80 BRemN:      0 P: 30.8M T:  0.96
454.82/114.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
454.82/114.01	c bin-w-bin subsume rem            1 bins  time:  0.00 s
454.82/114.02	c subs with bin:       25  lits-rem:        17  v-fix:    0  time:  0.01 s
454.82/114.04	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:   3131 time:  0.02 s
454.82/114.04	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.01 s
454.82/114.09	c lits-rem:         0  cl-subs:       25  v-elim:      4  v-fix:    0  time:  0.04 s
456.02/114.40	c subs with bin:      547  lits-rem:       607  v-fix:    0  time:  0.28 s
459.20/115.16	c lits-rem:       929  cl-subs:     1138  v-elim:      0  v-fix:    0  time:  0.73 s
459.60/115.21	c vivif2 --  cl tried   164639 cl shrink        0 lits rem          0 time: 0.05
459.60/115.27	c vivif2 --  cl tried    42409 cl shrink     4042 lits rem      17892 time: 0.05
460.82/115.59	c asymm  cl-useful: 16/423/164639 lits-rem:20 time: 0.32
460.82/115.60	c calculated reachability. Time: 0.00
460.82/115.60	c  N dy  1710    357859      6637    164639     36655     42407   1273342    824667      8.57   no data
489.13/122.63	c  N dy  1811    378433      6636    164639     36781     31575   1273342    376692      8.58      9.03
501.10/125.61	c Finding binary XORs  T:     0.01 s  found:       0
511.07/128.16	c  N dy  1902    398909      6635    164637     36692     51552   1273324   1267068      8.57      9.13
535.02/134.11	c  N dy  1988    419178      6634    164637     36707     39332   1273324    625029      8.57      9.06
558.15/139.90	c  N dy  2079    439233      6633    164637     36728     59224   1273324   1494249      8.57      9.19
581.30/145.79	c  N dy  2205    459325      6631    164637     36742     45695   1273324    945920      8.60      9.11
607.63/152.30	c  N dy  2320    479662      6630    164637     36751     65895   1273323   1825688      8.62      9.08
631.19/158.29	c  N dy  2435    499711      6630    164637     36761     51155   1273323   1165060      8.64     11.51
659.50/165.36	c  N dy  2564    519806      6630    164637     36781     71098   1273323   2043554      8.68      9.44
679.46/170.35	c  S st  2663    536789      6630    164637     36793     52232   1273323   1178412      8.69   no data
680.69/170.64	c  S st  2663    537291      6630    164637     36796     52732   1273323   1198656      8.69   no data
680.69/170.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
684.66/171.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    521 BRemL:    676 BRemN:      0 P: 31.8M T:  0.97
684.66/171.66	c Replacing        1 vars Replaced     1880 lits Time:     0.03 s 
684.66/171.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
684.66/171.70	c bin-w-bin subsume rem           11 bins  time:  0.00 s
685.08/171.71	c subs with bin:       62  lits-rem:       766  v-fix:    0  time:  0.02 s
685.08/171.73	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   2703 time:  0.02 s
685.08/171.74	c Removed useless bin:       2  fixed:     0  props:   0.59M  time:  0.01 s
687.03/172.27	c lits-rem:         0  cl-subs:      800  v-elim:     33  v-fix:    0  time:  0.53 s
688.64/172.62	c subs with bin:      558  lits-rem:      3052  v-fix:    0  time:  0.32 s
691.83/173.48	c lits-rem:      1086  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.84 s
692.23/173.54	c vivif2 --  cl tried   163815 cl shrink       13 lits rem         13 time: 0.05
692.23/173.59	c vivif2 --  cl tried    41400 cl shrink     3830 lits rem      21776 time: 0.05
693.86/173.91	c asymm  cl-useful: 9/353/163815 lits-rem:11 time: 0.32
693.86/173.92	c calculated reachability. Time: 0.00
693.86/173.92	c  N dy  2663    537291      6596    163815     36234     41398   1266072    799393      8.69   no data
693.86/173.93	c Finding binary XORs  T:     0.01 s  found:       0
718.96/180.24	c  N dy  2746    557508      6595    163815     36614     61397   1266072   1599906      8.68      9.25
728.97/182.76	c Finding binary XORs  T:     0.01 s  found:       0
741.72/185.91	c  N dy  2852    577769      6594    163814     36655     49401   1266063   1074719      8.69      9.24
769.23/192.81	c  N dy  2956    597965      6591    163814     36676     69446   1266063   1887938      8.69      9.36
792.37/198.69	c  N dy  3094    618080      6590    163814     36685     54202   1266063   1153611      8.72      9.40
821.90/206.08	c  N dy  3178    638247      6589    163814     36699     74186   1266063   1905767      8.72      9.20
846.65/212.25	c  N dy  3275    658410      6589    163814     36709     56747   1266063   1227901      8.72      9.24
877.78/220.10	c  N dy  3380    678616      6589    163814     36722     76769   1266063   1982644      8.73      9.27
902.91/226.39	c  N dy  3496    698715      6589    163814     36728     57706   1266062   1250162      8.75      9.22
921.26/230.96	c Finding binary XORs  T:     0.01 s  found:       0
935.26/234.43	c  N dy  3629    718757      6589    163809     37097     76051   1265967   2033267      8.77      9.93
962.35/241.24	c  N dy  3768    738882      6588    163809     37101     56446   1265967   1186039      8.80      9.41
993.08/249.00	c  N dy  3875    758966      6588    163809     37130     76408   1265967   1981532      8.80     10.56
1021.41/256.07	c  N dy  3990    779084      6586    163809     37141     55235   1265966   1056759      8.82      9.30
1052.13/263.79	c  N dy  4098    799175      6586    163809     37151     75211   1265966   1865321      8.82      9.31
1064.10/266.71	c  S st  4139    805936      6586    163809     37152     81928   1265966   2134092      8.83      7.07
1065.70/267.12	c  S st  4139    806437      6586    163809     37154     82427   1265966   2153148      8.83   no data
1065.70/267.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1070.09/268.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    333 BRemL:    725 BRemN:      0 P: 34.9M T:  1.10
1070.09/268.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1070.09/268.28	c bin-w-bin subsume rem           19 bins  time:  0.00 s
1070.49/268.30	c subs with bin:       94  lits-rem:        73  v-fix:    0  time:  0.02 s
1070.49/268.32	c Subs w/ non-existent bins:      3 l-rem:     13 v-fix:     0 done:   2303 time:  0.02 s
1070.49/268.32	c Removed useless bin:       1  fixed:     0  props:   0.55M  time:  0.01 s
1070.49/268.38	c lits-rem:         0  cl-subs:       83  v-elim:     34  v-fix:    0  time:  0.05 s
1073.28/269.02	c subs with bin:      646  lits-rem:      3027  v-fix:    0  time:  0.58 s
1084.07/271.74	c lits-rem:      3006  cl-subs:     2553  v-elim:      0  v-fix:    0  time:  2.69 s
1084.07/271.79	c vivif2 --  cl tried   163702 cl shrink       28 lits rem         28 time: 0.05
1084.49/271.90	c vivif2 --  cl tried    64979 cl shrink     9721 lits rem      36486 time: 0.10
1086.04/272.23	c asymm  cl-useful: 19/301/163702 lits-rem:29 time: 0.34
1086.04/272.25	c calculated reachability. Time: 0.00
1086.04/272.25	c  N dy  4139    806437      6552    163702     36102     64965   1265322   1446215      8.83   no data
1086.04/272.25	c Finding binary XORs  T:     0.01 s  found:       0
1112.78/278.95	c  N dy  4219    826466      6552    163702     36277     51203   1265322   1051584      8.82      9.36
1127.97/282.74	c Finding binary XORs  T:     0.01 s  found:       0
1142.30/286.34	c  N dy  4317    846467      6552    163702     36416     71098   1265322   1878229      8.82      9.35
1171.44/293.70	c  N dy  4412    866553      6551    163702     36431     50170   1265322    857067      8.82     11.57
1200.16/300.86	c  N dy  4499    886697      6551    163702     36444     70163   1265322   1643916      8.82      9.34
1232.49/308.93	c  N dy  4591    906705      6549    163702     36469     46754   1265322    628244      8.82     10.01
1258.43/315.40	c  N dy  4686    926742      6549    163702     36484     66652   1265322   1377680      8.82     10.11
1292.73/324.01	c  N dy  4800    947099      6549    163702     36494     86899   1265322   2189273      8.83      9.30
1319.87/330.84	c  N dy  4871    967371      6547    163702     36520     62020   1265322   1185342      8.82      9.40
1351.39/338.80	c  N dy  4996    987437      6547    163702     36530     81973   1265322   1963013      8.83     11.94
1383.31/346.70	c  N dy  5096   1007484      6547    163702     36541     55548   1265322    900109      8.83      9.49
1413.67/354.35	c  N dy  5210   1027534      6547    163702     36557     75469   1265322   1687745      8.84      9.36
1451.14/363.74	c  N dy  5306   1047561      6547    163702     36582     47917   1265322    567977      8.84     12.11
1477.47/370.35	c  N dy  5420   1067854      6547    163702     36599     68082   1265322   1368745      8.85      9.67
1483.90/371.95	c  F st  5443   1071875      6546    163702     36602     72073   1265322   1518030      8.85   no data
1515.38/379.89	c  N dy  5502   1090028      6546    163697     36195     88657   1265233   2248300      8.85      9.37
1515.78/379.90	c Finding binary XORs  T:     0.01 s  found:       0
1548.10/388.02	c  N dy  5585   1110099      6546    163697     36436     60661   1265233   1056587      8.85     10.61
1578.83/395.77	c  N dy  5685   1130192      6545    163697     36456     80588   1265233   1863378      8.85      9.33
1617.13/405.34	c  N dy  5798   1150221      6544    163697     36470     51686   1265233    667192      8.86     11.89
1646.65/412.70	c  N dy  5911   1170283      6544    163697     36476     71612   1265233   1445189      8.86     10.35
1682.96/421.85	c  N dy  6035   1190331      6544    163697     36483     91512   1265233   2237825      8.87      9.46
1717.28/430.44	c  S st  6159   1209655      6542    163697     36506     60804   1265233    995237      8.88      8.98
1718.87/430.81	c  S st  6159   1210156      6542    163697     36506     61305   1265233   1009140      8.88   no data
1718.87/430.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1722.86/431.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    446 BRemL:    578 BRemN:      0 P: 34.2M T:  1.04
1723.26/431.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1723.26/431.91	c bin-w-bin subsume rem           18 bins  time:  0.00 s
1723.26/431.92	c subs with bin:       72  lits-rem:        66  v-fix:    0  time:  0.02 s
1723.26/431.94	c Subs w/ non-existent bins:      2 l-rem:      2 v-fix:     0 done:   5235 time:  0.02 s
1723.26/431.95	c Removed useless bin:       1  fixed:     0  props:   0.55M  time:  0.01 s
1723.66/432.02	c lits-rem:         0  cl-subs:       73  v-elim:     20  v-fix:    0  time:  0.08 s
1724.46/432.30	c subs with bin:      602  lits-rem:      1710  v-fix:    0  time:  0.24 s
1728.05/433.10	c lits-rem:      1269  cl-subs:     1287  v-elim:      0  v-fix:    0  time:  0.78 s
1728.05/433.16	c vivif2 --  cl tried   163573 cl shrink       20 lits rem         20 time: 0.05
1728.45/433.21	c vivif2 --  cl tried    54020 cl shrink     3936 lits rem      11735 time: 0.05
1729.69/433.55	c asymm  cl-useful: 42/320/163573 lits-rem:54 time: 0.34
1729.69/433.56	c calculated reachability. Time: 0.00
1729.69/433.56	c  N dy  6159   1210156      6522    163573     36003     54014   1264187    848772      8.88   no data
1729.69/433.57	c Finding binary XORs  T:     0.01 s  found:       0
1763.57/442.09	c  N dy  6266   1230637      6521    163573     36336     74344   1264187   1745269      8.89      9.36
1768.35/443.30	c Finding binary XORs  T:     0.01 s  found:       0
1801.87/451.67	c  N dy  6361   1250772      6519    163572     36166     92639   1264178   2540210      8.88      9.43
1835.03/459.96	c  N dy  6469   1271059      6518    163572     36181     64326   1264178   1220127      8.89      9.45
1870.14/468.72	c  N dy  6555   1291485      6518    163572     36199     84575   1264178   1979494      8.88      9.53
1910.80/478.90	c  N dy  6667   1311491      6518    163572     36216     53432   1264178    691447      8.89      9.57
1942.32/486.82	c  N dy  6785   1331496      6518    163572     36725     73280   1264178   1497181      8.90     14.28
1943.12/487.02	c Finding binary XORs  T:     0.01 s  found:       1
1980.23/496.31	c  N dy  6877   1351509      6517    163569     36645     92102   1264147   2297916      8.90      9.42
2018.14/505.87	c  N dy  6983   1371643      6516    163569     36669     59782   1264147    910705      8.90      9.40
2050.85/514.08	c  N dy  7069   1391706      6516    163569     36683     79661   1264146   1656239      8.90     11.61
2091.95/524.38	c  N dy  7191   1411907      6515    163569     36712     99712   1264146   2460610      8.90      9.43
2128.68/533.57	c  N dy  7298   1431988      6513    163569     36738     65712   1264145   1091332      8.91      9.43
2165.76/542.88	c  N dy  7397   1452072      6511    163569     36764     85605   1264145   1860960      8.91     10.22
2211.26/554.21	c  N dy  7508   1472498      6505    163569     36791    105848   1264145   2630566      8.91      9.39
2247.61/563.36	c  N dy  7592   1492571      6505    163569     36800     71117   1264145   1268511      8.91      9.97
2286.27/573.11	c  N dy  7682   1512628      6505    163569     36819     90973   1264145   2088440      8.91      9.41
2331.36/584.40	c  N dy  7757   1532672      6502    163569     36843    110777   1264145   2906001      8.91     15.35
2352.53/589.62	c Finding binary XORs  T:     0.01 s  found:       1
2368.07/593.53	c  N dy  7818   1552798      6500    163552     36235     71939   1263974   1331473      8.90      9.49
2410.76/604.20	c  N dy  7864   1572836      6497    163552     36293     91678   1263974   2011745      8.88      9.47
2435.10/610.39	c Following stats are for *FIRST FINISHED THREAD ONLY*
2435.10/610.39	c num threads              : 4          
2435.10/610.39	c restarts                 : 7471       
2435.10/610.39	c dynamic restarts         : 7441       
2435.10/610.39	c static restarts          : 30         
2435.10/610.39	c full restarts            : 4          
2435.10/610.39	c total simplify time      : 0.48       
2435.10/610.39	c learnts DL2              : 0          
2435.10/610.39	c learnts size 2           : 490078     
2435.10/610.39	c learnts size 1           : 1653        (21.21     % of vars)
2435.10/610.39	c filedLit time            : 7.37        (1.21      % time)
2435.10/610.39	c v-elim SatELite          : 999         (12.82     % vars)
2435.10/610.39	c SatELite time            : 26.59       (4.36      % time)
2435.10/610.39	c v-elim xor               : 0           (0.00      % vars)
2435.10/610.39	c xor elim time            : 0.09        (0.01      % time)
2435.10/610.39	c num binary xor trees     : 75         
2435.10/610.39	c binxor trees' crown      : 75          (1.00      leafs/tree)
2435.10/610.39	c bin xor find time        : 0.16       
2435.10/610.39	c OTF clause improved      : 12291       (0.01      clauses/conflict)
2435.10/610.39	c OTF impr. size diff      : 15145       (1.23       lits/clause)
2435.10/610.39	c OTF cl watch-shrink      : 1132071     (0.70      clauses/conflict)
2435.10/610.39	c OTF cl watch-sh-lit      : 5801662     (5.12       lits/clause)
2435.10/610.39	c tried to recurMin cls    : 587503      (36.40      % of conflicts)
2435.10/610.39	c updated cache            : 15589       (0.03       lits/tried recurMin)
2435.10/610.39	c unit cls recevied        : 69          (4.17      % of units)
2435.10/610.39	c unit cls sent            : 34          (2.06      % of units)
2435.10/610.39	c bin cls recevied         : 237346     
2435.10/610.39	c bin cls sent             : 2821       
2435.10/610.39	c clauses over max glue    : 0           (0.00      % of all clauses)
2435.10/610.39	c conflicts                : 1614090     (2645.22   / sec)
2435.10/610.39	c decisions                : 2370061     (0.59      % random)
2435.10/610.39	c bogo-props               : 46146546796 (75626367.72 / sec)
2435.10/610.39	c conflict literals        : 65793732    (44.04     % deleted)
2435.10/610.39	c Memory used              : 710.70      MB
2435.10/610.39	c single-thread CPU time   : 610.19      s
2435.10/610.39	c all-threads sum CPU time : 2433.94     s
2435.10/610.39	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: 961)

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-3367094-1305414989/watcher-3367094-1305414989 -o /tmp/evaluation-result-3367094-1305414989/solver-3367094-1305414989 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367094-1305414989.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.69 7.96 7.82 5/320 15561
/proc/meminfo: memFree=27560676/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 4 0 653097760 52396032 347 33554432000 4194304 4580107 140733289593104 18446744073709551615 47293793044402 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 12792 347 299 95 0 7774 0
[pid=15561/tid=15562] ppid=15559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653097760 52396032 347 33554432000 4194304 4580107 140733289593104 18446744073709551615 47293793044402 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653097760 52396032 347 33554432000 4194304 4580107 140733289593104 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653097760 52396032 347 33554432000 4194304 4580107 140733289593104 18446744073709551615 47293793044392 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.105034 s]
/proc/loadavg: 7.69 7.96 7.82 5/320 15561
/proc/meminfo: memFree=27560676/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=300804 CPUtime=0.39 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 16678 0 0 0 35 4 0 0 25 0 4 0 653097760 308023296 16313 33554432000 4194304 4580107 140733289593104 18446744073709551615 4501085 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 75201 16313 359 95 0 70183 0
[pid=15561/tid=15562] ppid=15559 vsize=300804 CPUtime=0.09 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4058 0 0 0 9 0 0 0 25 0 4 0 653097760 308023296 16314 33554432000 4194304 4580107 140733289593104 18446744073709551615 4501090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=300804 CPUtime=0.07 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4046 0 0 0 7 0 0 0 25 0 4 0 653097760 308023296 16314 33554432000 4194304 4580107 140733289593104 18446744073709551615 4501087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=300804 CPUtime=0.09 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4106 0 0 0 9 0 0 0 25 0 4 0 653097760 308023296 16314 33554432000 4194304 4580107 140733289593104 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 300804

[startup+0.20101 s]
/proc/loadavg: 7.69 7.96 7.82 5/320 15561
/proc/meminfo: memFree=27560676/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=301204 CPUtime=0.77 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 17205 0 0 0 73 4 0 0 25 0 4 0 653097760 308432896 16840 33554432000 4194304 4580107 140733289593104 18446744073709551615 4292922 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 75301 16840 359 95 0 70283 0
[pid=15561/tid=15562] ppid=15559 vsize=301204 CPUtime=0.18 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4162 0 0 0 18 0 0 0 25 0 4 0 653097760 308432896 16840 33554432000 4194304 4580107 140733289593104 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=301204 CPUtime=0.17 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4152 0 0 0 17 0 0 0 25 0 4 0 653097760 308432896 16840 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=301204 CPUtime=0.18 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4318 0 0 0 18 0 0 0 25 0 4 0 653097760 308432896 16840 33554432000 4194304 4580107 140733289593104 18446744073709551615 4321357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 301204

[startup+0.300998 s]
/proc/loadavg: 7.69 7.96 7.82 5/320 15561
/proc/meminfo: memFree=27560676/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=302752 CPUtime=1.17 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 18528 0 0 0 113 4 0 0 25 0 4 0 653097760 310018048 18163 33554432000 4194304 4580107 140733289593104 18446744073709551615 4234948 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 75688 18163 360 95 0 70670 0
[pid=15561/tid=15562] ppid=15559 vsize=302752 CPUtime=0.28 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4558 0 0 0 28 0 0 0 25 0 4 0 653097760 310018048 18163 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=302752 CPUtime=0.27 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4545 0 0 0 27 0 0 0 25 0 4 0 653097760 310018048 18163 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=302752 CPUtime=0.28 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4456 0 0 0 28 0 0 0 25 0 4 0 653097760 310018048 18163 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 302752

[startup+0.700923 s]
/proc/loadavg: 7.69 7.96 7.82 5/320 15561
/proc/meminfo: memFree=27560676/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=341148 CPUtime=2.77 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 22829 0 0 0 271 6 0 0 25 0 4 0 653097760 349335552 22464 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 85287 22464 361 95 0 80269 0
[pid=15561/tid=15562] ppid=15559 vsize=341148 CPUtime=0.69 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 5854 0 0 0 68 1 0 0 25 0 4 0 653097760 349335552 22464 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=341148 CPUtime=0.67 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 5824 0 0 0 66 1 0 0 25 0 4 0 653097760 349335552 22464 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=341148 CPUtime=0.69 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 4898 0 0 0 68 1 0 0 25 0 4 0 653097760 349335552 22464 33554432000 4194304 4580107 140733289593104 18446744073709551615 4318721 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 341148

[startup+1.50078 s]
/proc/loadavg: 7.69 7.96 7.82 9/324 15565
/proc/meminfo: memFree=27353812/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=407076 CPUtime=5.95 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 50454 0 0 0 584 11 0 0 18 0 4 0 653097760 416845824 49968 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 101769 49968 374 95 0 96751 0
[pid=15561/tid=15562] ppid=15559 vsize=407076 CPUtime=1.48 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 14903 0 0 0 145 3 0 0 18 0 4 0 653097760 416845824 49968 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=407076 CPUtime=1.46 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 14860 0 0 0 143 3 0 0 18 0 4 0 653097760 416845824 49968 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=407076 CPUtime=1.49 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 5395 0 0 0 148 1 0 0 25 0 4 0 653097760 416845824 49968 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 407076

[startup+3.1005 s]
/proc/loadavg: 7.80 7.97 7.83 9/324 15565
/proc/meminfo: memFree=27347008/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=407076 CPUtime=12.34 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 51119 0 0 0 1222 12 0 0 21 0 4 0 653097760 416845824 50633 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 101769 50633 375 95 0 96751 0
[pid=15561/tid=15562] ppid=15559 vsize=407076 CPUtime=3.08 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 14903 0 0 0 305 3 0 0 21 0 4 0 653097760 416845824 50633 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=407076 CPUtime=3.05 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 14860 0 0 0 302 3 0 0 21 0 4 0 653097760 416845824 50633 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=407076 CPUtime=3.09 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 6060 0 0 0 307 2 0 0 25 0 4 0 653097760 416845824 50633 33554432000 4194304 4580107 140733289593104 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 407076

[startup+6.30093 s]
/proc/loadavg: 7.80 7.97 7.83 9/324 15565
/proc/meminfo: memFree=27319480/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=390732 CPUtime=25.1 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 57158 0 0 0 2496 14 0 0 25 0 4 0 653097760 400109568 52999 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 97683 52999 376 95 0 92665 0
[pid=15561/tid=15562] ppid=15559 vsize=390732 CPUtime=6.28 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 15704 0 0 0 625 3 0 0 25 0 4 0 653097760 400109568 52999 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=390732 CPUtime=6.22 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 15691 0 0 0 618 4 0 0 25 0 4 0 653097760 400109568 52999 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=390732 CPUtime=6.29 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 9636 0 0 0 626 3 0 0 25 0 4 0 653097760 400109568 52999 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 390732

[startup+12.7008 s]
/proc/loadavg: 7.83 7.97 7.83 9/324 15565
/proc/meminfo: memFree=27244300/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=529492 CPUtime=50.63 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 90347 0 0 0 5042 21 0 0 25 0 4 0 653097760 542199808 73932 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 132373 73932 380 95 0 127355 0
[pid=15561/tid=15562] ppid=15559 vsize=529492 CPUtime=12.68 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 21527 0 0 0 1264 4 0 0 25 0 4 0 653097760 542199808 73932 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=529492 CPUtime=12.55 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 21595 0 0 0 1250 5 0 0 25 0 4 0 653097760 542199808 73932 33554432000 4194304 4580107 140733289593104 18446744073709551615 268272354233 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=529492 CPUtime=12.68 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 25654 0 0 0 1262 6 0 0 25 0 4 0 653097760 542199808 73932 33554432000 4194304 4580107 140733289593104 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 529492

[startup+25.5005 s]
/proc/loadavg: 8.01 8.01 7.84 9/324 15566
/proc/meminfo: memFree=27188364/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=475856 CPUtime=101.7 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 127002 0 0 0 10141 29 0 0 25 0 4 0 653097760 487276544 77867 33554432000 4194304 4580107 140733289593104 18446744073709551615 4507797 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 118964 77867 380 95 0 113946 0
[pid=15561/tid=15562] ppid=15559 vsize=475856 CPUtime=25.48 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 27491 0 0 0 2543 5 0 0 25 0 4 0 653097760 487276544 77867 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=475856 CPUtime=25.22 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 32721 0 0 0 2514 8 0 0 25 0 4 0 653097760 487276544 77867 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=475856 CPUtime=25.48 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 35851 0 0 0 2540 8 0 0 25 0 4 0 653097760 487276544 77867 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 475856

[startup+51.101 s]
/proc/loadavg: 8.00 8.01 7.85 9/324 15566
/proc/meminfo: memFree=26996616/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=608692 CPUtime=203.84 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 182006 0 0 0 20344 40 0 0 25 0 4 0 653097760 623300608 105560 33554432000 4194304 4580107 140733289593104 18446744073709551615 4322970 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 152173 105560 380 95 0 147155 0
[pid=15561/tid=15562] ppid=15559 vsize=608692 CPUtime=51.09 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 37931 0 0 0 5102 7 0 0 25 0 4 0 653097760 623300608 105560 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=608692 CPUtime=50.56 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 48046 0 0 0 5045 11 0 0 25 0 4 0 653097760 623300608 105560 33554432000 4194304 4580107 140733289593104 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=608692 CPUtime=51.08 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 49127 0 0 0 5096 12 0 0 25 0 4 0 653097760 623300608 105560 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 608692

[startup+102.301 s]
/proc/loadavg: 8.00 8.00 7.85 9/324 15598
/proc/meminfo: memFree=27405204/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=616804 CPUtime=408.15 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 239143 0 0 0 40757 58 0 0 25 0 4 0 653097760 631607296 104074 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 154201 104074 380 95 0 149183 0
[pid=15561/tid=15562] ppid=15559 vsize=616804 CPUtime=102.3 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 46873 0 0 0 10220 10 0 0 25 0 4 0 653097760 631607296 104074 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=616804 CPUtime=101.26 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 62463 0 0 0 10110 16 0 0 25 0 4 0 653097760 631607296 104074 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=616804 CPUtime=102.3 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 67800 0 0 0 10212 18 0 0 25 0 4 0 653097760 631607296 104074 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 616804

[startup+162.301 s]

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

/proc/15561/statm: 180844 130754 380 95 0 175826 0
[pid=15561/tid=15562] ppid=15559 vsize=723376 CPUtime=342.29 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 66916 0 0 0 34213 16 0 0 25 0 4 0 653097760 740737024 130754 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=723376 CPUtime=338.86 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 117614 0 0 0 33853 33 0 0 25 0 4 0 653097760 740737024 130754 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=723376 CPUtime=342.29 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 125515 0 0 0 34191 38 0 0 25 0 4 0 653097760 740737024 130754 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1365.75
Current children cumulated vsize (KiB) 723376

[startup+402.301 s]
/proc/loadavg: 8.14 8.07 7.92 9/324 15606
/proc/meminfo: memFree=26998912/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=706344 CPUtime=1605.16 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 442971 0 0 0 160392 124 0 0 25 0 4 0 653097760 723296256 132491 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 176586 132491 380 95 0 171568 0
[pid=15561/tid=15562] ppid=15559 vsize=706344 CPUtime=402.29 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 70808 0 0 0 40211 18 0 0 25 0 4 0 653097760 723296256 132491 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=706344 CPUtime=398.26 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 126500 0 0 0 39790 36 0 0 25 0 4 0 653097760 723296256 132491 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=706344 CPUtime=402.29 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 140255 0 0 0 40186 43 0 0 25 0 4 0 653097760 723296256 132491 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1605.16
Current children cumulated vsize (KiB) 706344

[startup+462.301 s]
/proc/loadavg: 8.09 8.07 7.92 9/324 15607
/proc/meminfo: memFree=26952496/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=687580 CPUtime=1844.56 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 468888 0 0 0 184323 133 0 0 25 0 4 0 653097760 704081920 130249 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 171895 130249 381 95 0 166877 0
[pid=15561/tid=15562] ppid=15559 vsize=687580 CPUtime=462.3 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 75325 0 0 0 46211 19 0 0 25 0 4 0 653097760 704081920 130249 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=687580 CPUtime=457.65 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 135034 0 0 0 45726 39 0 0 25 0 4 0 653097760 704081920 130249 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=687580 CPUtime=462.29 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 147795 0 0 0 46184 45 0 0 25 0 4 0 653097760 704081920 130249 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1844.56
Current children cumulated vsize (KiB) 687580

[startup+522.3 s]
/proc/loadavg: 8.17 8.10 7.94 9/324 15609
/proc/meminfo: memFree=26888240/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=726932 CPUtime=2083.98 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 495557 0 0 0 208256 142 0 0 25 0 4 0 653097760 744378368 145832 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181733 145832 381 95 0 176715 0
[pid=15561/tid=15562] ppid=15559 vsize=726932 CPUtime=522.3 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79906 0 0 0 52210 20 0 0 25 0 4 0 653097760 744378368 145832 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=726932 CPUtime=517.06 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 146867 0 0 0 51663 43 0 0 25 0 4 0 653097760 744378368 145832 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=726932 CPUtime=522.29 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 153906 0 0 0 52181 48 0 0 25 0 4 0 653097760 744378368 145832 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2083.98
Current children cumulated vsize (KiB) 726932

[startup+582.301 s]
/proc/loadavg: 8.12 8.09 7.94 9/324 15611
/proc/meminfo: memFree=26845924/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=727488 CPUtime=2323.37 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 516400 0 0 0 232187 150 0 0 25 0 4 0 653097760 744947712 152248 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181872 152248 381 95 0 176854 0
[pid=15561/tid=15562] ppid=15559 vsize=727488 CPUtime=582.3 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79906 0 0 0 58210 20 0 0 25 0 4 0 653097760 744947712 152248 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=727488 CPUtime=576.46 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 152456 0 0 0 57601 45 0 0 25 0 4 0 653097760 744947712 152248 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=727488 CPUtime=582.29 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 159281 0 0 0 58179 50 0 0 25 0 4 0 653097760 744947712 152248 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2323.37
Current children cumulated vsize (KiB) 727488

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

[startup+588.8 s]
/proc/loadavg: 8.18 8.11 7.95 9/324 15611
/proc/meminfo: memFree=26839352/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=727672 CPUtime=2349.31 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 520364 0 0 0 234779 152 0 0 25 0 4 0 653097760 745136128 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181918 151322 381 95 0 176900 0
[pid=15561/tid=15562] ppid=15559 vsize=727672 CPUtime=588.8 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79906 0 0 0 58860 20 0 0 25 0 4 0 653097760 745136128 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=727672 CPUtime=582.89 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 152967 0 0 0 58244 45 0 0 25 0 4 0 653097760 745136128 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=727672 CPUtime=588.8 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 159747 0 0 0 58829 51 0 0 25 0 4 0 653097760 745136128 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2349.31
Current children cumulated vsize (KiB) 727672

[startup+601.601 s]
/proc/loadavg: 8.15 8.10 7.95 9/324 15611
/proc/meminfo: memFree=26811948/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=727672 CPUtime=2400.39 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 522062 0 0 0 239887 152 0 0 25 0 4 0 653097760 745136128 153020 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181918 153020 381 95 0 176900 0
[pid=15561/tid=15562] ppid=15559 vsize=727672 CPUtime=601.6 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79911 0 0 0 60140 20 0 0 25 0 4 0 653097760 745136128 153020 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=727672 CPUtime=595.57 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 152995 0 0 0 59512 45 0 0 25 0 4 0 653097760 745136128 153020 33554432000 4194304 4580107 140733289593104 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=727672 CPUtime=601.6 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 160406 0 0 0 60109 51 0 0 25 0 4 0 653097760 745136128 153020 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2400.39
Current children cumulated vsize (KiB) 727672

[startup+604.801 s]
/proc/loadavg: 8.14 8.10 7.95 9/324 15611
/proc/meminfo: memFree=26822364/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=727748 CPUtime=2413.16 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 524938 0 0 0 241163 153 0 0 25 0 4 0 653097760 745213952 150777 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181937 150777 381 95 0 176919 0
[pid=15561/tid=15562] ppid=15559 vsize=727748 CPUtime=604.8 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79911 0 0 0 60460 20 0 0 25 0 4 0 653097760 745213952 150777 33554432000 4194304 4580107 140733289593104 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=727748 CPUtime=598.74 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 153001 0 0 0 59829 45 0 0 25 0 4 0 653097760 745213952 150777 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=727748 CPUtime=604.8 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 163058 0 0 0 60429 51 0 0 25 0 4 0 653097760 745213952 150777 33554432000 4194304 4580107 140733289593104 18446744073709551615 4237305 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2413.16
Current children cumulated vsize (KiB) 727748

[startup+608.001 s]
/proc/loadavg: 8.13 8.10 7.95 9/324 15611
/proc/meminfo: memFree=26834144/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=727748 CPUtime=2425.93 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 525217 0 0 0 242440 153 0 0 25 0 4 0 653097760 745213952 151056 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181937 151056 381 95 0 176919 0
[pid=15561/tid=15562] ppid=15559 vsize=727748 CPUtime=608 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79911 0 0 0 60780 20 0 0 25 0 4 0 653097760 745213952 151056 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=727748 CPUtime=601.91 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 153006 0 0 0 60146 45 0 0 25 0 4 0 653097760 745213952 151056 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=727748 CPUtime=608 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 163068 0 0 0 60749 51 0 0 25 0 4 0 653097760 745213952 151056 33554432000 4194304 4580107 140733289593104 18446744073709551615 4416463 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2425.93
Current children cumulated vsize (KiB) 727748

[startup+609.601 s]
/proc/loadavg: 8.13 8.10 7.95 9/324 15611
/proc/meminfo: memFree=26850388/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=727748 CPUtime=2432.3 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 525483 0 0 0 243077 153 0 0 25 0 4 0 653097760 745213952 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181937 151322 381 95 0 176919 0
[pid=15561/tid=15562] ppid=15559 vsize=727748 CPUtime=609.6 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79911 0 0 0 60940 20 0 0 25 0 4 0 653097760 745213952 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=727748 CPUtime=603.48 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 153008 0 0 0 60303 45 0 0 25 0 4 0 653097760 745213952 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=727748 CPUtime=609.6 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 163231 0 0 0 60909 51 0 0 25 0 4 0 653097760 745213952 151322 33554432000 4194304 4580107 140733289593104 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2432.3
Current children cumulated vsize (KiB) 727748

[startup+610.001 s]
/proc/loadavg: 8.13 8.10 7.95 9/324 15611
/proc/meminfo: memFree=26850388/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=727748 CPUtime=2433.9 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4202496 525550 0 0 0 243237 153 0 0 25 0 4 0 653097760 745213952 151389 33554432000 4194304 4580107 140733289593104 18446744073709551615 4318305 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 181937 151389 381 95 0 176919 0
[pid=15561/tid=15562] ppid=15559 vsize=727748 CPUtime=610 cores=1,3,5,7
/proc/15561/task/15562/stat : 15562 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 79911 0 0 0 60980 20 0 0 25 0 4 0 653097760 745213952 151389 33554432000 4194304 4580107 140733289593104 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15561/tid=15563] ppid=15559 vsize=727748 CPUtime=603.88 cores=1,3,5,7
/proc/15561/task/15563/stat : 15563 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 153009 0 0 0 60343 45 0 0 25 0 4 0 653097760 745213952 151389 33554432000 4194304 4580107 140733289593104 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15561/tid=15564] ppid=15559 vsize=727748 CPUtime=610 cores=1,3,5,7
/proc/15561/task/15564/stat : 15564 (strangenight2-m) R 15559 15561 15323 0 -1 4202560 163271 0 0 0 60949 51 0 0 25 0 4 0 653097760 745213952 151389 33554432000 4194304 4580107 140733289593104 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2433.9
Current children cumulated vsize (KiB) 727748

[startup+610.401 s]
/proc/loadavg: 8.13 8.10 7.95 9/324 15611
/proc/meminfo: memFree=26850388/32950928 swapFree=60199044/67111528
[pid=15561] ppid=15559 vsize=0 CPUtime=2435.47 cores=1,3,5,7
/proc/15561/stat : 15561 (strangenight2-m) R 15559 15561 15323 0 -1 4203524 525613 0 0 0 243393 154 0 0 25 0 1 0 653097760 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15561/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2435.47
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 610.414
CPU time (s): 2435.49
CPU user time (s): 2433.94
CPU system time (s): 1.55676
CPU usage (%): 398.99
Max. virtual memory (cumulated for all children) (KiB): 805876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2433.94
system time used= 1.55676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525613
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= 4878
involuntary context switches= 16265

runsolver used 1.77473 second user time and 4.36234 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-15 01:16:30
IDJOB=3367094
IDBENCH=83446
IDSOLVER=1844
FILE ID=node122/3367094-1305414989
RUNJOBID= node122-1305413763-15342
PBS_JOBID= 13324540
Free space on /tmp= 73416 MiB

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

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

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=998734001

node122.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.820
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.64
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.820
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.75
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.820
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.75
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.820
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.820
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.75
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.820
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.75
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.820
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.75
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27560948 kB
Buffers:        278716 kB
Cached:        3370852 kB
SwapCached:      50104 kB
Active:        1325140 kB
Inactive:      3855348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27560948 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           28680 kB
Writeback:           0 kB
AnonPages:     1491736 kB
Mapped:          14416 kB
Slab:           113768 kB
PageTables:      32968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 53105256 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= 73420 MiB
End job on node122 at 2011-05-15 01:26:40