Trace number 3290852

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 2006.33 502.301

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark505.23
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

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-3290852-1304124689.cnf'
0.00/0.00	c -- header says num vars:           6664
0.00/0.00	c -- header says num clauses:       89966
0.06/0.09	c -- clauses added:            0 learnts,        89966 normals,            0 xors
0.06/0.09	c -- vars added       6664
0.06/0.09	c Parsing time:  0.03 s
0.06/0.09	c  N st     0         0      6664     73004     16962         0    425665         0   no data   no data
1.57/0.45	c asymm  cl-useful: 0/7956/73004 lits-rem:0 time: 0.41
2.37/0.62	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   68 Bins:      0 BRemL:      0 BRemN:      0 P:  9.5M T:  0.17
2.37/0.63	c Replacing       68 vars Replaced    42354 lits Time:     0.01 s 
2.37/0.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.37/0.66	c bin-w-bin subsume rem           28 bins  time:  0.00 s
2.37/0.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.37/0.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6592 time:  0.01 s
2.37/0.68	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
3.56/0.91	c lits-rem:         0  cl-subs:        4  v-elim:    672  v-fix:    0  time:  0.22 s
3.56/0.91	c Finding binary XORs  T:     0.00 s  found:       0
3.56/0.98	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
3.56/0.98	c calculated reachability. Time: 0.00
3.56/0.98	c Calc default polars -  time:   0.00 s pos:     272 undec:     744 neg:    5648
3.56/0.98	c =========================================================================================
3.56/0.98	c types(t): F = full restart, N = normal restart
3.56/0.98	c types(t): S = simplification begin/end, E = solution found
3.56/0.98	c restart types(rt): st = static, dy = dynamic
3.56/0.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.56/0.98	c  B st     0         0      5920     73880     14834         0    439069         0   no data   no data
4.37/1.15	c  N dy    20      4097      5920     73880     14948      3929    439069    120548      8.26      8.87
5.15/1.37	c  N dy    45      8162      5920     73880     15081      7854    439069    237689      8.23      9.66
6.35/1.65	c  N dy    73     12229      5917     73880     15486     11828    439069    371182      8.54      9.08
7.55/1.97	c  N dy    94     16374      5916     73880     15572     15865    439068    497893      8.58      9.05
9.14/2.30	c Finding binary XORs  T:     0.00 s  found:       0
9.14/2.39	c  N dy   116     20445      5915     73877     16169     10117    438951    190751      8.59      9.13
10.74/2.73	c  N dy   133     24632      5915     73877     16211     14236    438951    318250      8.59      9.08
10.74/2.77	c  F st   135     25000      5915     73877     16418     14603    438951    332880      8.59   no data
12.76/3.21	c  N dy   141     30002      5915     73877     16463     19526    438951    524206      8.59   no data
12.76/3.21	c  S st   141     30002      5915     73877     16463     19526    438951    524206      8.59   no data
13.16/3.33	c  S st   141     30506      5915     73877     16483     20009    438951    536613      8.59   no data
13.16/3.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.74/3.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins: 125014 BRemL: 116342 BRemN:      0 P: 13.7M T:  0.41
14.74/3.75	c Replacing        1 vars Replaced      572 lits Time:     0.01 s 
14.74/3.76	c blocked clauses removed:        0 vars:      0 tried:        5914 T: 0.00 s
14.74/3.76	c bin-w-bin subsume rem          102 bins  time:  0.00 s
14.74/3.77	c subs with bin:       45  lits-rem:       171  v-fix:    0  time:  0.01 s
14.74/3.79	c Subs w/ non-existent bins:      0 l-rem:     81 v-fix:     0 done:   5914 time:  0.02 s
14.74/3.79	c Removed useless bin:       0  fixed:     0  props:   0.65M  time:  0.01 s
15.14/3.85	c lits-rem:         0  cl-subs:      298  v-elim:     48  v-fix:    0  time:  0.06 s
15.54/3.97	c subs with bin:      187  lits-rem:      5346  v-fix:    0  time:  0.10 s
16.34/4.18	c lits-rem:      1420  cl-subs:      807  v-elim:      0  v-fix:    0  time:  0.20 s
17.15/4.39	c asymm  cl-useful: 0/2476/73608 lits-rem:0 time: 0.21
17.15/4.39	c calculated reachability. Time: 0.00
17.15/4.39	c  N dy   141     30506      5866     73608     24398     14675    437929    355711      8.59   no data
17.15/4.40	c Finding binary XORs  T:     0.00 s  found:       0
19.13/4.85	c  N dy   169     34662      5864     73608     24481     18805    437929    508395      8.80      9.55
20.73/5.24	c Finding binary XORs  T:     0.01 s  found:       0
21.13/5.38	c  N dy   201     38748      5864     73607    134705     22857    437876    869065      8.94     10.01
23.13/5.89	c  N dy   230     42938      5864     73607    134709     13983    437876    468692      9.04      9.57
24.33/6.19	c  S st   244     45759      5863     73607    135806     16791    437876    570540      9.03   no data
24.73/6.29	c  S st   244     46261      5863     73607    135806     17292    437876    587844      9.03   no data
25.12/6.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
26.34/6.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    707 BRemL: 111454 BRemN:      0 P: 12.6M T:  0.34
26.34/6.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.34/6.66	c bin-w-bin subsume rem           59 bins  time:  0.00 s
26.34/6.67	c subs with bin:       31  lits-rem:       122  v-fix:    0  time:  0.01 s
26.34/6.68	c Subs w/ non-existent bins:      0 l-rem:     14 v-fix:     0 done:   5863 time:  0.01 s
26.34/6.69	c Removed useless bin:       0  fixed:     0  props:   0.59M  time:  0.00 s
26.71/6.72	c lits-rem:         0  cl-subs:      323  v-elim:     17  v-fix:    0  time:  0.03 s
27.11/6.80	c subs with bin:       24  lits-rem:       390  v-fix:    0  time:  0.07 s
27.11/6.87	c lits-rem:       195  cl-subs:      291  v-elim:      0  v-fix:    0  time:  0.06 s
27.11/6.89	c vivif2 --  cl tried    73303 cl shrink        0 lits rem          0 time: 0.02
27.51/6.90	c vivif2 --  cl tried    14263 cl shrink      473 lits rem       1728 time: 0.01
27.91/7.09	c asymm  cl-useful: 0/3298/73303 lits-rem:0 time: 0.19
27.91/7.09	c calculated reachability. Time: 0.00
27.91/7.09	c  N dy   244     46261      5846     73303     24888     14262    435758    272967      9.03   no data
29.52/7.48	c Finding binary XORs  T:     0.00 s  found:       0
29.92/7.52	c  N dy   270     50339      5844     73302     25922     18256    435705    443656      9.05     10.19
32.71/8.27	c  N dy   289     56901      5844     73302     25925     24775    435705    671422      8.97      9.48
34.72/8.75	c  N dy   315     61026      5843     73302     25977     28867    435705    851056      8.98      9.51
37.11/9.39	c  N dy   329     65076      5843     73302     25990     16827    435705    292243      8.98      9.60
39.12/9.84	c  N dy   353     69298      5843     73302     25990     21024    435705    431711      8.97     12.33
39.12/9.85	c  S st   354     69391      5843     73302     25990     21116    435705    434770      8.98   no data
39.52/9.95	c  S st   354     69891      5843     73302     25993     21612    435705    448583      8.98   no data
39.52/9.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.70/10.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    178 BRemL:    176 BRemN:      0 P: 12.9M T:  0.31
40.70/10.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.70/10.29	c bin-w-bin subsume rem          800 bins  time:  0.00 s
40.70/10.29	c subs with bin:       35  lits-rem:       135  v-fix:    0  time:  0.01 s
41.10/10.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5843 time:  0.01 s
41.10/10.31	c Removed useless bin:       0  fixed:     0  props:   0.55M  time:  0.01 s
41.10/10.35	c lits-rem:         0  cl-subs:      455  v-elim:      1  v-fix:    0  time:  0.04 s
41.90/10.52	c subs with bin:       35  lits-rem:       190  v-fix:    0  time:  0.15 s
42.30/10.67	c lits-rem:       412  cl-subs:      584  v-elim:      0  v-fix:    0  time:  0.14 s
42.30/10.68	c vivif2 --  cl tried    72814 cl shrink        0 lits rem          0 time: 0.02
42.70/10.70	c vivif2 --  cl tried    20689 cl shrink      858 lits rem       4031 time: 0.02
43.10/10.89	c asymm  cl-useful: 0/2796/72814 lits-rem:0 time: 0.19
43.10/10.90	c calculated reachability. Time: 0.00
43.10/10.90	c  N dy   354     69891      5842     72814     25175     20689    432493    423074      8.98   no data
46.27/11.64	c  N dy   367     74942      5841     72814     25176     25700    432493    698704      8.90      9.37
48.67/12.24	c  N dy   396     79752      5841     72814     25379     30476    432493    905807      8.90     11.29
51.47/12.95	c  N dy   428     84908      5841     72814     25384     35589    432493   1128823      8.91      9.41
52.69/13.24	c  F st   443     87500      5841     72814     25384     38148    432493   1222825      8.92      6.52
53.46/13.46	c Finding binary XORs  T:     0.00 s  found:       0
53.86/13.59	c  N st   448     90801      5841     72814     25658     22143    432449    445801      8.92   no data
57.08/14.35	c  N dy   468     96793      5841     72814     25668     28096    432449    657141      8.91      9.43
60.65/15.26	c  N dy   510    103008      5841     72814     25677     34280    432449    878535      8.95      9.46
61.85/15.58	c  S st   520    104836      5841     72814     25677     36098    432449    947279      8.96      8.51
62.65/15.73	c  S st   520    105337      5841     72814     25677     36599    432449    963506      8.96   no data
62.65/15.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.25/16.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    171 BRemL:     74 BRemN:      0 P: 15.0M T:  0.38
64.25/16.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
64.25/16.13	c bin-w-bin subsume rem            7 bins  time:  0.00 s
64.25/16.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.25/16.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5841 time:  0.01 s
64.25/16.15	c Removed useless bin:       0  fixed:     0  props:   0.53M  time:  0.01 s
64.25/16.19	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.04 s
66.63/16.78	c subs with bin:       65  lits-rem:       422  v-fix:    0  time:  0.55 s
69.04/17.37	c lits-rem:      1318  cl-subs:      868  v-elim:      0  v-fix:    0  time:  0.59 s
69.04/17.39	c vivif2 --  cl tried    72816 cl shrink        0 lits rem          0 time: 0.02
69.44/17.43	c vivif2 --  cl tried    35594 cl shrink     2746 lits rem      13728 time: 0.04
70.26/17.65	c asymm  cl-useful: 0/2562/72816 lits-rem:0 time: 0.22
70.26/17.66	c calculated reachability. Time: 0.00
70.26/17.66	c  N dy   520    105337      5840     72816     25757     35594    432477    928158      8.96   no data
75.02/18.87	c  N dy   550    112076      5840     72816     26064     42300    432477   1235517      8.96     10.91
76.63/19.28	c Finding binary XORs  T:     0.00 s  found:       0
79.42/19.93	c  N dy   565    119411      5839     72816     26342     28047    432477    750790      8.89      9.40
84.22/21.13	c  N dy   606    127063      5839     72816     26358     35652    432477   1023934      8.90     12.67
89.41/22.42	c  N dy   648    135332      5839     72816     26365     43828    432477   1344484      8.90      9.40
95.00/23.83	c  N dy   699    143971      5838     72816     26383     29253    432477    561602      8.93      9.46
101.01/25.32	c  N dy   749    153241      5838     72816     26393     38469    432477    896262      8.96      9.51
104.19/26.19	c  S st   781    158006      5838     72816     26403     43199    432477   1077201      8.99   no data
105.01/26.35	c  S st   781    158510      5838     72816     26403     43703    432477   1091940      8.99   no data
105.01/26.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.58/26.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    326 BRemL:    285 BRemN:      0 P: 15.6M T:  0.41
106.58/26.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
106.58/26.79	c bin-w-bin subsume rem            2 bins  time:  0.00 s
106.58/26.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.98/26.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5838 time:  0.01 s
106.98/26.81	c Removed useless bin:       0  fixed:     0  props:   0.51M  time:  0.01 s
106.98/26.86	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.04 s
109.80/27.57	c subs with bin:      280  lits-rem:      1599  v-fix:    0  time:  0.67 s
113.38/28.43	c lits-rem:      1982  cl-subs:      976  v-elim:      0  v-fix:    0  time:  0.85 s
113.38/28.45	c vivif2 --  cl tried    72818 cl shrink        0 lits rem          0 time: 0.02
113.38/28.50	c vivif2 --  cl tried    42332 cl shrink     3889 lits rem      18675 time: 0.05
114.58/28.73	c asymm  cl-useful: 0/2530/72818 lits-rem:0 time: 0.24
114.58/28.74	c calculated reachability. Time: 0.00
114.58/28.74	c  N dy   781    158510      5837     72818     26395     42332    432417   1047942      8.99   no data
114.58/28.75	c Finding binary XORs  T:     0.00 s  found:       0
122.17/30.70	c  N dy   836    168647      5837     72818     26537     27972    432417    483982      8.99     11.02
129.36/32.43	c  N dy   901    179579      5837     72818     26918     38867    432417    964995      9.02      9.53
131.78/33.08	c Finding binary XORs  T:     0.01 s  found:       0
138.95/34.89	c  N dy   963    191580      5836     72818     26941     50799    432417   1508390      9.03      9.52
148.13/37.12	c  N dy  1031    204706      5836     72818     26966     38199    432417    916029      9.04      9.52
148.13/37.14	c Finding binary XORs  T:     0.00 s  found:       0
159.31/39.91	c  N dy  1093    217957      5835     72816     27782     50840    432397   1474781      9.05      9.55
169.30/42.46	c  N dy  1174    231894      5833     72816     27810     38204    432397    853844      9.08     17.29
173.70/43.58	c  S st  1207    237765      5833     72816     27818     44048    432397   1103040      9.08   no data
174.49/43.78	c  S st  1207    238269      5833     72816     27818     44552    432397   1121572      9.08   no data
174.49/43.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.49/44.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    605 BRemL:   1091 BRemN:      0 P: 16.3M T:  0.43
176.49/44.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
176.49/44.23	c bin-w-bin subsume rem           19 bins  time:  0.00 s
176.49/44.24	c subs with bin:       57  lits-rem:       142  v-fix:    0  time:  0.01 s
176.49/44.26	c Subs w/ non-existent bins:      1 l-rem:     19 v-fix:     0 done:   5833 time:  0.01 s
176.49/44.26	c Removed useless bin:       0  fixed:     0  props:   0.50M  time:  0.01 s
176.89/44.31	c lits-rem:         0  cl-subs:      328  v-elim:     19  v-fix:    0  time:  0.04 s
179.29/44.90	c subs with bin:      501  lits-rem:      3769  v-fix:    0  time:  0.57 s
181.68/45.50	c lits-rem:      1755  cl-subs:      841  v-elim:      0  v-fix:    0  time:  0.59 s
181.68/45.52	c vivif2 --  cl tried    72476 cl shrink        5 lits rem          7 time: 0.02
181.68/45.56	c vivif2 --  cl tried    35591 cl shrink     3436 lits rem      17766 time: 0.04
182.48/45.79	c asymm  cl-useful: 1/3221/72476 lits-rem:2 time: 0.22
182.48/45.80	c calculated reachability. Time: 0.00
182.48/45.80	c  N dy  1207    238269      5814     72476     26910     35590    430050    805262      9.08   no data
182.88/45.80	c Finding binary XORs  T:     0.00 s  found:       0
194.86/48.81	c  N dy  1276    254180      5812     72476     27148     27503    430050    422747      9.06      9.55
196.06/49.18	c Finding binary XORs  T:     0.00 s  found:       0
206.46/51.75	c  N dy  1384    270469      5811     72474     27349     43220    429988   1041409      9.13     12.70
220.03/55.14	c  N dy  1487    287785      5811     72474     27362     33883    429988    625000      9.17     10.13
235.61/59.06	c  F st  1602    306251      5811     72474     27390     52227    429988   1336180      9.22      9.94
235.61/59.08	c  N st  1602    306251      5811     72474     27390     52227    429988   1336180      9.22      9.94
251.18/62.90	c  N dy  1689    325799      5811     72474     27414     42915    429988    916031      9.25     14.41
271.15/67.91	c  N dy  1820    346141      5811     72474     27442     32906    429988    474097      9.30      9.81
279.94/70.12	c  S st  1894    357403      5811     72474     27454     44103    429988    928569      9.34   no data
280.76/70.32	c  S st  1894    357905      5811     72474     27454     44605    429988    946285      9.34   no data
280.76/70.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.35/70.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    499 BRemL:    643 BRemN:      0 P: 16.4M T:  0.43
282.35/70.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.35/70.77	c bin-w-bin subsume rem           24 bins  time:  0.00 s
282.35/70.78	c subs with bin:        4  lits-rem:        23  v-fix:    0  time:  0.01 s
282.75/70.80	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   5811 time:  0.01 s
282.75/70.80	c Removed useless bin:       0  fixed:     0  props:   0.50M  time:  0.00 s
282.75/70.84	c lits-rem:         0  cl-subs:       11  v-elim:      4  v-fix:    0  time:  0.04 s
284.75/71.34	c subs with bin:      340  lits-rem:      2313  v-fix:    0  time:  0.47 s
287.14/71.92	c lits-rem:      1145  cl-subs:      964  v-elim:      0  v-fix:    0  time:  0.57 s
287.14/71.93	c vivif2 --  cl tried    72456 cl shrink        0 lits rem          0 time: 0.02
287.14/71.98	c vivif2 --  cl tried    40262 cl shrink     3604 lits rem      14866 time: 0.04
288.34/72.22	c asymm  cl-useful: 49/2334/72456 lits-rem:98 time: 0.25
288.34/72.23	c calculated reachability. Time: 0.00
288.34/72.23	c  N dy  1894    357905      5807     72456     27206     40262    429709    817626      9.34   no data
288.34/72.24	c Finding binary XORs  T:     0.00 s  found:       0
308.30/77.22	c  N dy  1982    378379      5807     72456     27433     30615    429709    389355      9.32     10.01
309.91/77.60	c Finding binary XORs  T:     0.00 s  found:       0
325.48/81.50	c  N dy  2071    399256      5807     72456     27995     51328    429709   1189645      9.30     10.05
339.06/84.92	c Finding binary XORs  T:     0.00 s  found:       0
343.05/85.97	c  N dy  2145    419298      5807     72456     28029     39381    429709    695066      9.28     10.89
361.84/90.61	c  N dy  2251    439361      5807     72456     28046     59309    429709   1510085      9.28     12.03
381.01/95.40	c  N dy  2335    459798      5807     72456     28068     46268    429709    869786      9.27      9.78
400.98/100.49	c  N dy  2430    479887      5807     72456     28093     66176    429709   1654345      9.27      9.84
418.96/104.96	c  N dy  2531    500003      5807     72456     28121     51581    429709   1097433      9.27      9.76
440.52/110.34	c  N dy  2614    520013      5807     72456     28153     35846    429709    405425      9.26     11.91
454.50/113.83	c  S st  2709    536859      5807     72456     28171     52550    429709   1091728      9.27   no data
455.30/114.03	c  S st  2709    537362      5807     72456     28171     53053    429709   1107464      9.27   no data
455.30/114.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.30/114.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    801 BRemL:    810 BRemN:      0 P: 17.2M T:  0.47
457.30/114.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
457.30/114.52	c bin-w-bin subsume rem           28 bins  time:  0.00 s
457.30/114.53	c subs with bin:       61  lits-rem:         4  v-fix:    0  time:  0.01 s
457.30/114.55	c Subs w/ non-existent bins:     61 l-rem:      0 v-fix:     0 done:   5807 time:  0.01 s
457.30/114.55	c Removed useless bin:       0  fixed:     0  props:   0.50M  time:  0.01 s
457.70/114.60	c lits-rem:         0  cl-subs:      164  v-elim:      2  v-fix:    0  time:  0.04 s
460.50/115.37	c subs with bin:      767  lits-rem:      3140  v-fix:    0  time:  0.74 s
464.90/116.41	c lits-rem:      2030  cl-subs:     1590  v-elim:      0  v-fix:    0  time:  1.03 s
464.90/116.42	c vivif2 --  cl tried    72170 cl shrink        0 lits rem          0 time: 0.02
464.90/116.49	c vivif2 --  cl tried    48612 cl shrink     5741 lits rem      26996 time: 0.06
466.09/116.75	c asymm  cl-useful: 52/2485/72170 lits-rem:52 time: 0.26
466.09/116.75	c calculated reachability. Time: 0.00
466.09/116.75	c  N dy  2709    537362      5805     72170     28067     48612    428171    986333      9.27   no data
466.09/116.76	c Finding binary XORs  T:     0.01 s  found:       0
488.05/122.27	c  N dy  2802    557771      5803     72170     28455     68771    428171   1778356      9.27      9.77
490.06/122.72	c Finding binary XORs  T:     0.00 s  found:       1
506.03/126.78	c  N dy  2913    577779      5803     72168     28346     52672    428151   1094390      9.28     12.14
526.40/131.85	c  N dy  2998    597960      5802     72168     28374     72596    428151   1951342      9.28      9.80
543.59/136.11	c  N dy  3094    618025      5801     72168     28392     55575    428151   1178695      9.29     10.32
566.37/141.83	c  N dy  3178    638048      5799     72168     28437     75331    428151   1930037      9.28     14.09
584.35/146.39	c  N dy  3301    658056      5799     72168     28455     57017    428151   1162697      9.30     10.49
607.50/152.18	c Finding binary XORs  T:     0.00 s  found:       0
609.10/152.52	c  N dy  3427    678143      5798     72164     29438     73717    428069   1914816      9.32     12.10
628.66/157.46	c  N dy  3561    698258      5798     72164     29452     55827    428069   1116666      9.35      9.90
652.63/163.41	c  N dy  3694    718266      5798     72164     29466     75683    428069   1944833      9.39     10.54
673.80/168.74	c  N dy  3834    738462      5797     72164     29476     55981    428069   1116706      9.42     10.09
697.77/174.72	c  N dy  3949    758557      5796     72164     29500     75874    428069   1893971      9.43     11.54
719.34/180.19	c  N dy  4091    778579      5796     72164     29517     54560    428069   1006081      9.47     13.98
744.10/186.34	c  N dy  4236    798677      5796     72164     29533     74488    428069   1835051      9.51     11.08
754.90/189.08	c  S st  4284    806043      5796     72164     29542     81779    428069   2125901      9.52      9.44
756.09/189.38	c  S st  4284    806544      5796     72164     29542     82280    428069   2143052      9.52   no data
756.09/189.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
758.49/189.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    662 BRemL:   1311 BRemN:      0 P: 21.2M T:  0.60
758.89/190.01	c Replacing        1 vars Replaced      597 lits Time:     0.03 s 
758.89/190.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
758.89/190.03	c bin-w-bin subsume rem           34 bins  time:  0.00 s
758.89/190.04	c subs with bin:      289  lits-rem:       176  v-fix:    0  time:  0.01 s
758.89/190.05	c Subs w/ non-existent bins:      6 l-rem:      2 v-fix:     0 done:   5795 time:  0.01 s
758.89/190.06	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.00 s
759.29/190.12	c lits-rem:         0  cl-subs:      384  v-elim:     29  v-fix:    0  time:  0.06 s
761.68/190.77	c subs with bin:      720  lits-rem:      3147  v-fix:    0  time:  0.62 s
766.47/191.98	c lits-rem:      3591  cl-subs:     2273  v-elim:      0  v-fix:    0  time:  1.19 s
766.47/191.99	c vivif2 --  cl tried    71528 cl shrink        2 lits rem          2 time: 0.02
766.87/192.06	c vivif2 --  cl tried    51710 cl shrink     5716 lits rem      21429 time: 0.06
768.07/192.34	c asymm  cl-useful: 12/2478/71528 lits-rem:12 time: 0.28
768.07/192.34	c calculated reachability. Time: 0.00
768.07/192.34	c  N dy  4284    806544      5766     71528     28355     51708    424447    994972      9.52   no data
768.07/192.35	c Finding binary XORs  T:     0.00 s  found:       0
783.64/196.24	c  N dy  4361    826657      5765     71528     28854     43037    424447    816986      9.51     10.09
787.64/197.21	c Finding binary XORs  T:     0.00 s  found:       0
802.43/200.91	c  N dy  4428    847025      5764     71527     28855     63115    424438   1602059      9.49     10.03
820.40/205.45	c  N dy  4492    867062      5763     71527     28895     46404    424438    903478      9.48     11.49
839.57/210.25	c  N dy  4600    887101      5763     71527     28907     66273    424438   1661809      9.48     10.07
863.14/216.19	c  N dy  4693    907327      5763     71527     28930     45229    424438    636347      9.48     10.01
882.73/221.01	c  N dy  4780    927447      5763     71527     28941     65145    424438   1397007      9.48     10.04
908.68/227.50	c  N dy  4869    947545      5763     71527     28967     85059    424438   2159849      9.47     12.27
928.25/232.46	c  N dy  4960    967596      5763     71527     29000     61063    424438   1150378      9.47     10.25
953.82/238.86	c  N dy  5048    988859      5761     71527     29027     82005    424438   1923728      9.47     10.14
963.80/241.37	c Finding binary XORs  T:     0.00 s  found:       1
977.79/244.84	c  N dy  5135   1008916      5759     71523     28731     53273    424352    898880      9.47     18.44
1001.37/250.74	c  N dy  5235   1029460      5758     71523     28761     73604    424352   1646896      9.47      9.98
1029.31/257.75	c  N dy  5319   1049870      5758     71523     28798     48250    424352    619291      9.47      9.98
1050.48/263.06	c  N dy  5408   1070151      5757     71523     28826     68250    424352   1338599      9.47     10.00
1052.48/263.54	c  F st  5413   1071876      5757     71523     28829     69950    424352   1396636      9.47      6.07
1052.48/263.56	c Replacing        1 vars Replaced      585 lits Time:     0.01 s 
1076.84/269.66	c  N dy  5493   1090271      5753     71520     28693     87651    424281   2079714      9.47     10.20
1101.62/275.87	c  N dy  5633   1110284      5753     71520     28716     60270    424281   1026347      9.49     11.89
1126.78/282.12	c  N dy  5740   1130470      5750     71520     28732     80268    424281   1775603      9.50     10.08
1147.15/287.27	c Finding binary XORs  T:     0.00 s  found:       0
1157.94/289.99	c  N dy  5867   1150887      5750     71514     29827     50082    424221    642516      9.51     10.07
1180.31/295.54	c  N dy  5995   1171031      5750     71514     29851     70028    424221   1383299      9.52     10.07
1204.68/301.62	c Finding binary XORs  T:     0.01 s  found:       0
1210.67/303.11	c  N dy  6130   1191303      5749     71513     30382     89792    424210   2128114      9.54     10.71
1236.23/309.50	c  S st  6240   1209818      5749     71513     30408     58868    424210    890140      9.55     10.01
1237.03/309.71	c  S st  6240   1210320      5749     71513     30408     59369    424210    906274      9.55   no data
1237.03/309.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1239.05/310.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    483 BRemL:   1853 BRemN:      0 P: 18.6M T:  0.49
1239.05/310.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1239.05/310.23	c bin-w-bin subsume rem           56 bins  time:  0.00 s
1239.05/310.24	c subs with bin:      435  lits-rem:       214  v-fix:    0  time:  0.01 s
1239.05/310.25	c Subs w/ non-existent bins:    241 l-rem:     15 v-fix:     0 done:   5749 time:  0.01 s
1239.05/310.26	c Removed useless bin:       1  fixed:     0  props:   0.47M  time:  0.01 s
1239.42/310.32	c lits-rem:         0  cl-subs:      378  v-elim:     35  v-fix:    0  time:  0.06 s
1240.22/310.58	c subs with bin:     1033  lits-rem:      5365  v-fix:    0  time:  0.25 s
1242.22/311.08	c lits-rem:      2619  cl-subs:     2199  v-elim:      0  v-fix:    0  time:  0.50 s
1242.62/311.10	c vivif2 --  cl tried    70512 cl shrink       14 lits rem         16 time: 0.02
1242.62/311.14	c vivif2 --  cl tried    44129 cl shrink     3679 lits rem       9785 time: 0.04
1243.81/311.42	c asymm  cl-useful: 6/2608/70512 lits-rem:6 time: 0.28
1243.81/311.43	c calculated reachability. Time: 0.00
1243.81/311.43	c  N dy  6240   1210320      5714     70512     28357     44127    418418    594836      9.55   no data
1243.81/311.44	c Finding binary XORs  T:     0.00 s  found:       0
1263.80/316.48	c  N dy  6317   1231798      5713     70512     28502     65330    418418   1336374      9.54     10.15
1290.56/323.11	c  N dy  6405   1251810      5711     70512     28535     85102    418418   2042590      9.54     10.19
1313.35/328.84	c  N dy  6501   1273033      5709     70512     28556     61283    418418   1095243      9.53     10.05
1324.91/331.71	c Finding binary XORs  T:     0.01 s  found:       0
1338.89/335.20	c  N dy  6597   1293703      5708     70507     28254     79218    418367   1767465      9.53     10.08
1368.85/342.75	c  N dy  6695   1314105      5708     70507     28269     51528    418367    665132      9.54     10.06
1376.04/344.52	c Finding binary XORs  T:     0.01 s  found:       0
1390.42/348.16	c  N dy  6804   1334151      5708     70506     28838     70891    418358   1320852      9.54     12.56
1419.20/355.34	c  N dy  6926   1354239      5707     70506     28864     90739    418358   2029447      9.55     11.43
1447.15/362.32	c  N dy  7047   1374469      5707     70506     28888     59888    418358    895166      9.56     10.15
1471.93/368.50	c  N dy  7156   1394746      5704     70506     28915     79899    418358   1594173      9.56     10.18
1502.69/376.22	c  N dy  7267   1414782      5703     70506     28942     99692    418358   2285478      9.57     14.36
1529.05/382.88	c  N dy  7371   1434793      5703     70506     28963     66332    418358   1069766      9.57     10.76
1556.20/389.66	c  N dy  7474   1454818      5702     70506     28980     86092    418358   1757299      9.58     12.80
1591.74/398.50	c  N dy  7595   1475070      5701     70506     29007    106067    418358   2431652      9.59     10.12
1601.73/401.04	c Finding binary XORs  T:     0.00 s  found:       1
1617.71/405.04	c  N dy  7701   1495309      5699     70500     28803     68773    418256   1113447      9.59     10.10
1646.87/412.38	c  N dy  7810   1515464      5698     70500     28831     88648    418256   1771582      9.59     10.11
1683.22/421.47	c  N dy  7940   1535539      5698     70500     28867    108432    418256   2431624      9.60     11.48
1707.59/427.57	c  N dy  8050   1555710      5695     70500     28891     73680    418256   1232118      9.61     10.21
1736.75/434.86	c  N dy  8164   1575838      5694     70500     28919     93470    418256   1902891      9.62     10.19
1755.92/439.65	c Finding binary XORs  T:     0.00 s  found:       0
1773.50/444.06	c  N dy  8262   1595867      5691     70493     30667     56030    418178    614415      9.62     11.11
1797.09/449.91	c  N dy  8349   1615930      5689     70493     30703     75682    418178   1235226      9.62     11.90
1829.42/458.02	c  N dy  8460   1636478      5683     70493     30748     95878    418178   1865916      9.63     10.36
1868.17/467.78	c  N dy  8579   1656686      5681     70493     30788     58504    418178    641646      9.63     10.20
1878.55/470.35	c Finding binary XORs  T:     0.01 s  found:       0
1892.93/473.91	c  N dy  8670   1677359      5675     70475     29616     73839    417975   1202797      9.63     10.44
1903.32/476.57	c Finding binary XORs  T:     0.00 s  found:       0
1924.51/481.87	c  N dy  8776   1697450      5666     70471     30860     91529    417933   1763961      9.64     10.93
1948.46/487.85	c  S st  8830   1710322      5661     70471     30886    104025    417933   2104377      9.64   no data
1949.66/488.19	c  S st  8830   1710822      5661     70471     30886    104524    417933   2120946      9.64   no data
1950.06/488.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1952.45/488.88	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:    984 BRemL:   2666 BRemN:      0 P: 24.7M T:  0.69
1952.85/488.92	c Replacing        1 vars Replaced      695 lits Time:     0.04 s 
1952.85/488.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1952.85/488.94	c bin-w-bin subsume rem           76 bins  time:  0.00 s
1952.85/488.96	c subs with bin:     2537  lits-rem:       331  v-fix:    0  time:  0.02 s
1952.85/488.97	c Subs w/ non-existent bins:    445 l-rem:     30 v-fix:     0 done:   5659 time:  0.01 s
1952.85/488.98	c Removed useless bin:       1  fixed:     0  props:   0.44M  time:  0.01 s
1953.25/489.04	c lits-rem:         0  cl-subs:      401  v-elim:     78  v-fix:    0  time:  0.06 s
1956.04/489.70	c subs with bin:     4272  lits-rem:     11212  v-fix:    0  time:  0.62 s
1962.83/491.47	c lits-rem:     10481  cl-subs:     7728  v-elim:      0  v-fix:    0  time:  1.76 s
1962.83/491.49	c vivif2 --  cl tried    67141 cl shrink       76 lits rem         84 time: 0.02
1963.23/491.56	c vivif2 --  cl tried    55190 cl shrink     9853 lits rem      22237 time: 0.07
1964.43/491.88	c asymm  cl-useful: 13/1369/67141 lits-rem:13 time: 0.31
1964.43/491.88	c calculated reachability. Time: 0.00
1964.43/491.88	c  N dy  8830   1710822      5581     67141     26910     55185    399623    820528      9.64   no data
1964.43/491.89	c Finding binary XORs  T:     0.01 s  found:       0
1986.39/497.37	c Finding binary XORs  T:     0.00 s  found:       0
1988.40/497.88	c  N dy  8860   1732703      5567     67128     27030     38488    399446    433343      9.62     10.15
2005.97/502.28	c  E dy  8876   1752913      5437     66610     25639     31240    394160    363050      9.59      5.10
2005.97/502.28	c Following stats are for *FIRST FINISHED THREAD ONLY*
2005.97/502.28	c num threads              : 4          
2005.97/502.28	c restarts                 : 8876       
2005.97/502.28	c dynamic restarts         : 8846       
2005.97/502.28	c static restarts          : 30         
2005.97/502.28	c full restarts            : 4          
2005.97/502.28	c total simplify time      : 0.55       
2005.97/502.28	c learnts DL2              : 0          
2005.97/502.28	c learnts size 2           : 277407     
2005.97/502.28	c learnts size 1           : 531         (7.97      % of vars)
2005.97/502.28	c filedLit time            : 5.14        (1.02      % time)
2005.97/502.28	c v-elim SatELite          : 907         (13.61     % vars)
2005.97/502.28	c SatELite time            : 7.92        (1.58      % time)
2005.97/502.28	c v-elim xor               : 0           (0.00      % vars)
2005.97/502.28	c xor elim time            : 0.08        (0.02      % time)
2005.97/502.28	c num binary xor trees     : 72         
2005.97/502.28	c binxor trees' crown      : 72          (1.00      leafs/tree)
2005.97/502.28	c bin xor find time        : 0.16       
2005.97/502.28	c OTF clause improved      : 18995       (0.01      clauses/conflict)
2005.97/502.28	c OTF impr. size diff      : 23529       (1.24       lits/clause)
2005.97/502.28	c OTF cl watch-shrink      : 1304999     (0.74      clauses/conflict)
2005.97/502.28	c OTF cl watch-sh-lit      : 7388335     (5.66       lits/clause)
2005.97/502.28	c tried to recurMin cls    : 561114      (32.01      % of conflicts)
2005.97/502.28	c updated cache            : 11982       (0.02       lits/tried recurMin)
2005.97/502.28	c unit cls recevied        : 83          (15.63     % of units)
2005.97/502.28	c unit cls sent            : 82          (15.44     % of units)
2005.97/502.28	c bin cls recevied         : 128293     
2005.97/502.28	c bin cls sent             : 131386     
2005.97/502.28	c clauses over max glue    : 0           (0.00      % of all clauses)
2005.97/502.28	c conflicts                : 1752913     (3491.59   / sec)
2005.97/502.28	c decisions                : 2472170     (0.43      % random)
2005.97/502.28	c bogo-props               : 45117860209 (89869291.32 / sec)
2005.97/502.28	c conflict literals        : 64951028    (46.28     % deleted)
2005.97/502.28	c Memory used              : 555.46      MB
2005.97/502.28	c single-thread CPU time   : 502.04      s
2005.97/502.28	c all-threads sum CPU time : 2004.89     s
2005.97/502.28	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-3290852-1304124689/watcher-3290852-1304124689 -o /tmp/evaluation-result-3290852-1304124689/solver-3290852-1304124689 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290852-1304124689.cnf 

running on 4 cores: 0,2,4,6

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.07 7.85 7.94 7/180 19577
/proc/meminfo: memFree=30858508/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 524067588 52441088 347 33554432000 4194304 4627427 140734201583264 18446744073709551615 47400393410476 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 12803 347 299 106 0 7774 0
[pid=19577/tid=19578] ppid=19575 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524067588 52441088 347 33554432000 4194304 4627427 140734201583264 18446744073709551615 47400393410480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524067588 52441088 347 33554432000 4194304 4627427 140734201583264 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524067588 52441088 347 33554432000 4194304 4627427 140734201583264 18446744073709551615 251826037814 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.021692 s]
/proc/loadavg: 7.07 7.85 7.94 7/180 19577
/proc/meminfo: memFree=30858508/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=288732 CPUtime=0.06 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 5624 0 0 0 6 0 0 0 23 0 4 0 524067588 295661568 5144 33554432000 4194304 4627427 140734201583264 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 72183 5165 339 106 0 67154 0
[pid=19577/tid=19578] ppid=19575 vsize=288732 CPUtime=0.01 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 1170 0 0 0 1 0 0 0 23 0 4 0 524067588 295661568 5177 33554432000 4194304 4627427 140734201583264 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=288732 CPUtime=0.01 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 1347 0 0 0 1 0 0 0 24 0 4 0 524067588 295661568 5187 33554432000 4194304 4627427 140734201583264 18446744073709551615 4350993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=288732 CPUtime=0.01 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 1375 0 0 0 1 0 0 0 18 0 4 0 524067588 295661568 5190 33554432000 4194304 4627427 140734201583264 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 288732

[startup+0.100679 s]
/proc/loadavg: 7.07 7.85 7.94 7/180 19577
/proc/meminfo: memFree=30858508/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=295180 CPUtime=0.37 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 10291 0 0 0 36 1 0 0 23 0 4 0 524067588 302264320 9806 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 73795 9806 366 106 0 68766 0
[pid=19577/tid=19578] ppid=19575 vsize=295180 CPUtime=0.09 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 2386 0 0 0 9 0 0 0 23 0 4 0 524067588 302264320 9806 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=295180 CPUtime=0.08 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 2512 0 0 0 8 0 0 0 24 0 4 0 524067588 302264320 9806 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=295180 CPUtime=0.08 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 2415 0 0 0 8 0 0 0 18 0 4 0 524067588 302264320 9807 33554432000 4194304 4627427 140734201583264 18446744073709551615 4333536 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 295180

[startup+0.300648 s]
/proc/loadavg: 7.07 7.85 7.94 7/180 19577
/proc/meminfo: memFree=30858508/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=295980 CPUtime=1.17 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 11178 0 0 0 116 1 0 0 23 0 4 0 524067588 303083520 10693 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 73995 10693 367 106 0 68966 0
[pid=19577/tid=19578] ppid=19575 vsize=295980 CPUtime=0.29 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 2610 0 0 0 29 0 0 0 23 0 4 0 524067588 303083520 10693 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=295980 CPUtime=0.28 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 2733 0 0 0 28 0 0 0 25 0 4 0 524067588 303083520 10693 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=295980 CPUtime=0.28 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 2636 0 0 0 28 0 0 0 18 0 4 0 524067588 303083520 10694 33554432000 4194304 4627427 140734201583264 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 295980

[startup+0.700581 s]
/proc/loadavg: 7.07 7.85 7.94 7/180 19577
/proc/meminfo: memFree=30858508/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=324424 CPUtime=2.76 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 23926 0 0 0 272 4 0 0 18 0 4 0 524067588 332210176 23127 33554432000 4194304 4627427 140734201583264 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 81106 23129 381 106 0 76077 0
[pid=19577/tid=19578] ppid=19575 vsize=324424 CPUtime=0.68 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 6506 0 0 0 67 1 0 0 18 0 4 0 524067588 332210176 23130 33554432000 4194304 4627427 140734201583264 18446744073709551615 4432646 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=324424 CPUtime=0.68 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 6547 0 0 0 67 1 0 0 25 0 4 0 524067588 332210176 23131 33554432000 4194304 4627427 140734201583264 18446744073709551615 4431855 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=324424 CPUtime=0.68 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 3063 0 0 0 68 0 0 0 18 0 4 0 524067588 332210176 23135 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 324424

[startup+1.50044 s]
/proc/loadavg: 7.07 7.85 7.94 10/184 19581
/proc/meminfo: memFree=30739284/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=323716 CPUtime=5.95 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 29885 0 0 0 589 6 0 0 18 0 4 0 524067588 331485184 23434 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 80929 23434 387 106 0 75900 0
[pid=19577/tid=19578] ppid=19575 vsize=323716 CPUtime=1.49 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 8317 0 0 0 147 2 0 0 19 0 4 0 524067588 331485184 23434 33554432000 4194304 4627427 140734201583264 18446744073709551615 4305908 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=323716 CPUtime=1.47 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 8419 0 0 0 146 1 0 0 25 0 4 0 524067588 331485184 23435 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=323716 CPUtime=1.48 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 4505 0 0 0 148 0 0 0 20 0 4 0 524067588 331485184 23435 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 323716

[startup+3.10118 s]
/proc/loadavg: 7.15 7.85 7.94 9/184 19581
/proc/meminfo: memFree=30729116/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=334884 CPUtime=12.34 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 35976 0 0 0 1228 6 0 0 22 0 4 0 524067588 342921216 25343 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 83721 25343 388 106 0 78692 0
[pid=19577/tid=19578] ppid=19575 vsize=334884 CPUtime=3.09 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 10113 0 0 0 307 2 0 0 22 0 4 0 524067588 342921216 25343 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=334884 CPUtime=3.06 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 10359 0 0 0 305 1 0 0 25 0 4 0 524067588 342921216 25343 33554432000 4194304 4627427 140734201583264 18446744073709551615 4322179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=334884 CPUtime=3.08 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 5294 0 0 0 308 0 0 0 25 0 4 0 524067588 342921216 25343 33554432000 4194304 4627427 140734201583264 18446744073709551615 4330026 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 334884

[startup+6.30064 s]
/proc/loadavg: 7.15 7.85 7.94 9/184 19581
/proc/meminfo: memFree=30636624/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=349988 CPUtime=25.12 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 62727 0 0 0 2501 11 0 0 25 0 4 0 524067588 358387712 43185 33554432000 4194304 4627427 140734201583264 18446744073709551615 4472412 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 87497 43186 391 106 0 82468 0
[pid=19577/tid=19578] ppid=19575 vsize=349988 CPUtime=6.29 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 17643 0 0 0 626 3 0 0 25 0 4 0 524067588 358387712 43187 33554432000 4194304 4627427 140734201583264 18446744073709551615 4537222 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=349988 CPUtime=6.25 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 15679 0 0 0 622 3 0 0 25 0 4 0 524067588 358387712 43187 33554432000 4194304 4627427 140734201583264 18446744073709551615 4321779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=349988 CPUtime=6.28 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 14258 0 0 0 626 2 0 0 25 0 4 0 524067588 358387712 43188 33554432000 4194304 4627427 140734201583264 18446744073709551615 4321435 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 349988

[startup+12.7006 s]
/proc/loadavg: 7.44 7.89 7.95 9/184 19641
/proc/meminfo: memFree=30383336/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=341676 CPUtime=50.67 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 80225 0 0 0 5051 16 0 0 25 0 4 0 524067588 349876224 51051 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 85419 51051 396 106 0 80390 0
[pid=19577/tid=19578] ppid=19575 vsize=341676 CPUtime=12.68 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 22386 0 0 0 1265 3 0 0 25 0 4 0 524067588 349876224 51051 33554432000 4194304 4627427 140734201583264 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=341676 CPUtime=12.61 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 20981 0 0 0 1256 5 0 0 25 0 4 0 524067588 349876224 51051 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=341676 CPUtime=12.66 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 18355 0 0 0 1262 4 0 0 25 0 4 0 524067588 349876224 51051 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 341676

[startup+25.5004 s]
/proc/loadavg: 7.52 7.89 7.95 9/184 19641
/proc/meminfo: memFree=28514476/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=376772 CPUtime=101.79 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 108297 0 0 0 10157 22 0 0 25 0 4 0 524067588 385814528 62685 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 94193 62685 391 106 0 89164 0
[pid=19577/tid=19578] ppid=19575 vsize=376772 CPUtime=25.48 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 26687 0 0 0 2544 4 0 0 25 0 4 0 524067588 385814528 62685 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=376772 CPUtime=25.33 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 27193 0 0 0 2527 6 0 0 25 0 4 0 524067588 385814528 62686 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=376772 CPUtime=25.46 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 27032 0 0 0 2540 6 0 0 25 0 4 0 524067588 385814528 62687 33554432000 4194304 4627427 140734201583264 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 376772

[startup+51.1011 s]
/proc/loadavg: 7.68 7.90 7.95 9/184 19642
/proc/meminfo: memFree=28330840/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=389396 CPUtime=204.05 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 138377 0 0 0 20374 31 0 0 25 0 4 0 524067588 398741504 69119 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 97349 69119 391 106 0 92320 0
[pid=19577/tid=19578] ppid=19575 vsize=389396 CPUtime=51.08 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 34375 0 0 0 5101 7 0 0 25 0 4 0 524067588 398741504 69119 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=389396 CPUtime=50.8 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 33967 0 0 0 5072 8 0 0 25 0 4 0 524067588 398741504 69119 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=389396 CPUtime=51.06 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 34803 0 0 0 5097 9 0 0 25 0 4 0 524067588 398741504 69119 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 389396

[startup+102.307 s]
/proc/loadavg: 7.87 7.92 7.95 9/184 19643
/proc/meminfo: memFree=27882200/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=509100 CPUtime=408.59 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 177579 0 0 0 40816 43 0 0 25 0 4 0 524067588 521318400 72792 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 127275 72792 391 106 0 122246 0
[pid=19577/tid=19578] ppid=19575 vsize=509100 CPUtime=102.29 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 45806 0 0 0 10219 10 0 0 25 0 4 0 524067588 521318400 72792 33554432000 4194304 4627427 140734201583264 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=509100 CPUtime=101.72 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 46788 0 0 0 10160 12 0 0 25 0 4 0 524067588 521318400 72792 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=509100 CPUtime=102.26 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 46924 0 0 0 10214 12 0 0 25 0 4 0 524067588 521318400 72792 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 509100

[startup+162.3 s]

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

/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 73544 0 0 0 22208 19 0 0 25 0 4 0 524067588 456790016 78906 33554432000 4194304 4627427 140734201583264 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=446084 CPUtime=221.06 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 72987 0 0 0 22084 22 0 0 25 0 4 0 524067588 456790016 78906 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=446084 CPUtime=222.25 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 74266 0 0 0 22202 23 0 0 25 0 4 0 524067588 456790016 78906 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.91
Current children cumulated vsize (KiB) 446084

[startup+282.3 s]
/proc/loadavg: 8.18 8.00 7.97 9/184 19648
/proc/meminfo: memFree=27880856/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=449456 CPUtime=1127.58 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 316953 0 0 0 112662 96 0 0 25 0 4 0 524067588 460242944 73647 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309228 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 112364 73647 391 106 0 107335 0
[pid=19577/tid=19578] ppid=19575 vsize=449456 CPUtime=282.28 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 86064 0 0 0 28203 25 0 0 25 0 4 0 524067588 460242944 73647 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=449456 CPUtime=280.74 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 82703 0 0 0 28048 26 0 0 25 0 4 0 524067588 460242944 73647 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=449456 CPUtime=282.25 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 87053 0 0 0 28197 28 0 0 25 0 4 0 524067588 460242944 73647 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1127.58
Current children cumulated vsize (KiB) 449456

[startup+342.3 s]
/proc/loadavg: 8.17 8.03 7.98 9/184 19650
/proc/meminfo: memFree=27818912/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=551304 CPUtime=1367.25 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 359860 0 0 0 136612 113 0 0 25 0 4 0 524067588 564535296 88682 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 137826 88682 391 106 0 132797 0
[pid=19577/tid=19578] ppid=19575 vsize=551304 CPUtime=342.28 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 100148 0 0 0 34198 30 0 0 25 0 4 0 524067588 564535296 88682 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=551304 CPUtime=340.41 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 94296 0 0 0 34010 31 0 0 25 0 4 0 524067588 564535296 88682 33554432000 4194304 4627427 140734201583264 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=551304 CPUtime=342.25 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 95293 0 0 0 34194 31 0 0 25 0 4 0 524067588 564535296 88682 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1367.25
Current children cumulated vsize (KiB) 551304

[startup+402.3 s]
/proc/loadavg: 8.18 8.05 7.99 9/184 19651
/proc/meminfo: memFree=27817908/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=580084 CPUtime=1606.92 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 393257 0 0 0 160567 125 0 0 25 0 4 0 524067588 594006016 89019 33554432000 4194304 4627427 140734201583264 18446744073709551615 4333154 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 145021 89019 391 106 0 139992 0
[pid=19577/tid=19578] ppid=19575 vsize=580084 CPUtime=402.28 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 110490 0 0 0 40194 34 0 0 25 0 4 0 524067588 594006016 89019 33554432000 4194304 4627427 140734201583264 18446744073709551615 4322476 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=580084 CPUtime=400.09 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 101937 0 0 0 39975 34 0 0 25 0 4 0 524067588 594006016 89019 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=580084 CPUtime=402.25 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 105434 0 0 0 40190 35 0 0 25 0 4 0 524067588 594006016 89019 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1606.92
Current children cumulated vsize (KiB) 580084

[startup+462.301 s]
/proc/loadavg: 8.12 8.06 7.99 9/184 19653
/proc/meminfo: memFree=27804580/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=569900 CPUtime=1846.6 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 418307 0 0 0 184526 134 0 0 25 0 4 0 524067588 583577600 87067 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 142475 87067 391 106 0 137446 0
[pid=19577/tid=19578] ppid=19575 vsize=569900 CPUtime=462.27 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 118257 0 0 0 46191 36 0 0 25 0 4 0 524067588 583577600 87067 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=569900 CPUtime=459.76 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 108218 0 0 0 45940 36 0 0 25 0 4 0 524067588 583577600 87067 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=569900 CPUtime=462.25 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 115291 0 0 0 46187 38 0 0 25 0 4 0 524067588 583577600 87067 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1846.6
Current children cumulated vsize (KiB) 569900

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

[startup+486.301 s]
/proc/loadavg: 8.08 8.05 7.99 9/184 19653
/proc/meminfo: memFree=27669696/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=569940 CPUtime=1942.46 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 427947 0 0 0 194107 139 0 0 25 0 4 0 524067588 583618560 93311 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 142485 93311 391 106 0 137456 0
[pid=19577/tid=19578] ppid=19575 vsize=569940 CPUtime=486.28 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 121004 0 0 0 48590 38 0 0 25 0 4 0 524067588 583618560 93311 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=569940 CPUtime=483.62 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 111523 0 0 0 48324 38 0 0 25 0 4 0 524067588 583618560 93311 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=569940 CPUtime=486.25 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 118812 0 0 0 48586 39 0 0 25 0 4 0 524067588 583618560 93311 33554432000 4194304 4627427 140734201583264 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1942.46
Current children cumulated vsize (KiB) 569940

[startup+492.701 s]
/proc/loadavg: 8.07 8.05 7.99 9/184 19654
/proc/meminfo: memFree=27659144/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=570096 CPUtime=1968.04 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 430601 0 0 0 196665 139 0 0 25 0 4 0 524067588 583778304 95965 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 142524 95965 391 106 0 137495 0
[pid=19577/tid=19578] ppid=19575 vsize=570096 CPUtime=492.68 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 122722 0 0 0 49230 38 0 0 25 0 4 0 524067588 583778304 95965 33554432000 4194304 4627427 140734201583264 18446744073709551615 4333068 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=570096 CPUtime=490 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 111960 0 0 0 48961 39 0 0 25 0 4 0 524067588 583778304 95965 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=570096 CPUtime=492.65 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 119271 0 0 0 49226 39 0 0 25 0 4 0 524067588 583778304 95965 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1968.04
Current children cumulated vsize (KiB) 570096

[startup+499.101 s]
/proc/loadavg: 8.06 8.05 7.99 9/184 19654
/proc/meminfo: memFree=27669668/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=568784 CPUtime=1993.6 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 434763 0 0 0 199219 141 0 0 25 0 4 0 524067588 582434816 93378 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 142196 93378 391 106 0 137167 0
[pid=19577/tid=19578] ppid=19575 vsize=568784 CPUtime=499.08 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 123367 0 0 0 49869 39 0 0 25 0 4 0 524067588 582434816 93378 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=568784 CPUtime=496.36 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 112129 0 0 0 49597 39 0 0 25 0 4 0 524067588 582434816 93378 33554432000 4194304 4627427 140734201583264 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=568784 CPUtime=499.05 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 121034 0 0 0 49865 40 0 0 25 0 4 0 524067588 582434816 93378 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1993.6
Current children cumulated vsize (KiB) 568784

[startup+500.701 s]
/proc/loadavg: 8.06 8.05 7.99 9/184 19654
/proc/meminfo: memFree=27667188/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=568784 CPUtime=1999.98 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 435218 0 0 0 199857 141 0 0 25 0 4 0 524067588 582434816 93833 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 142196 93833 391 106 0 137167 0
[pid=19577/tid=19578] ppid=19575 vsize=568784 CPUtime=500.68 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 123499 0 0 0 50029 39 0 0 25 0 4 0 524067588 582434816 93833 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=568784 CPUtime=497.95 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 112129 0 0 0 49756 39 0 0 25 0 4 0 524067588 582434816 93833 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=568784 CPUtime=500.65 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 121161 0 0 0 50025 40 0 0 25 0 4 0 524067588 582434816 93833 33554432000 4194304 4627427 140734201583264 18446744073709551615 4321457 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1999.98
Current children cumulated vsize (KiB) 568784

[startup+501.501 s]
/proc/loadavg: 8.06 8.05 7.99 9/184 19654
/proc/meminfo: memFree=27666072/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=568784 CPUtime=2003.19 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 435411 0 0 0 200178 141 0 0 25 0 4 0 524067588 582434816 94026 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 142196 94026 391 106 0 137167 0
[pid=19577/tid=19578] ppid=19575 vsize=568784 CPUtime=501.48 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 123554 0 0 0 50109 39 0 0 25 0 4 0 524067588 582434816 94026 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=568784 CPUtime=498.75 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 112129 0 0 0 49836 39 0 0 25 0 4 0 524067588 582434816 94026 33554432000 4194304 4627427 140734201583264 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=568784 CPUtime=501.46 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 121220 0 0 0 50106 40 0 0 25 0 4 0 524067588 582434816 94026 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2003.19
Current children cumulated vsize (KiB) 568784

[startup+501.9 s]
/proc/loadavg: 8.06 8.05 7.99 9/184 19654
/proc/meminfo: memFree=27666072/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=568784 CPUtime=2004.77 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) R 19575 19577 19209 0 -1 4202496 435491 0 0 0 200336 141 0 0 25 0 4 0 524067588 582434816 94106 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 142196 94106 391 106 0 137167 0
[pid=19577/tid=19578] ppid=19575 vsize=568784 CPUtime=501.88 cores=0,2,4,6
/proc/19577/task/19578/stat : 19578 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 123576 0 0 0 50149 39 0 0 25 0 4 0 524067588 582434816 94106 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=568784 CPUtime=499.15 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 112129 0 0 0 49876 39 0 0 25 0 4 0 524067588 582434816 94106 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19577/tid=19580] ppid=19575 vsize=568784 CPUtime=501.85 cores=0,2,4,6
/proc/19577/task/19580/stat : 19580 (strangenight2-m) R 19575 19577 19209 0 -1 4202560 121250 0 0 0 50145 40 0 0 25 0 4 0 524067588 582434816 94106 33554432000 4194304 4627427 140734201583264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2004.77
Current children cumulated vsize (KiB) 568784

[startup+502.301 s]
/proc/loadavg: 8.06 8.05 7.99 9/184 19654
/proc/meminfo: memFree=27666072/32950928 swapFree=67111448/67111528
[pid=19577] ppid=19575 vsize=0 CPUtime=2006.32 cores=0,2,4,6
/proc/19577/stat : 19577 (strangenight2-m) Z 19575 19577 19209 0 -1 4202524 435585 0 0 0 200489 143 0 0 25 0 2 0 524067588 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19577/statm: 0 0 0 0 0 0 0
[pid=19577/tid=19579] ppid=19575 vsize=0 CPUtime=499.55 cores=0,2,4,6
/proc/19577/task/19579/stat : 19579 (strangenight2-m) R 19575 19577 19209 0 -1 4203588 112129 0 0 0 49914 41 0 0 25 0 2 0 524067588 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2006.32
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 502.301
CPU time (s): 2006.33
CPU user time (s): 2004.89
CPU system time (s): 1.43878
CPU usage (%): 399.427
Max. virtual memory (cumulated for all children) (KiB): 613648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2004.89
system time used= 1.43878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435585
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= 2570
involuntary context switches= 14787

runsolver used 0.811876 second user time and 1.9457 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 02:51:29
IDJOB=3290852
IDBENCH=83451
IDSOLVER=1586
FILE ID=node126/3290852-1304124689
RUNJOBID= node126-1304124689-19554
PBS_JOBID= 13170739
Free space on /tmp= 71592 MiB

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

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=1851187088

node126.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.783
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.56
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.783
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.783
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30858788 kB
Buffers:        269544 kB
Cached:        1426496 kB
SwapCached:         76 kB
Active:         166392 kB
Inactive:      1615264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30858788 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           14116 kB
Writeback:           0 kB
AnonPages:       85416 kB
Mapped:          14884 kB
Slab:           247416 kB
PageTables:       4696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   285216 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= 71488 MiB
End job on node126 at 2011-04-30 02:59:51