Trace number 3282252

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-1-mt? (TO) 4800.26 1201.84

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3282252-1304032762.cnf'
0.00/0.00	c -- header says num vars:          92464
0.00/0.00	c -- header says num clauses:      276623
0.34/0.18	c -- clauses added:            0 learnts,       276623 normals,            0 xors
0.34/0.18	c -- vars added      92464
0.34/0.18	c Parsing time:  0.38 s
0.34/0.18	c  N st     0         0     92464     92207    184414         0    645449         0   no data   no data  --
0.34/0.54	c asymm  cl-useful: 0/15665/92198 lits-rem:0 time: 1.41
32.61/8.22	c Flit:    71 Blit:    123 bXBeca:    0 bXProp:  501 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 30.63
32.61/8.22	c Cleaning up after failed var search:     0.00 s 
32.61/8.25	c Replacing      501 vars Replaced     7176 lits Time:     0.13 s 
33.00/8.30	c bin-w-bin subsume rem            2 bins  time:  0.07 s
33.00/8.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
38.59/9.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  90196 time:  5.55 s
38.99/9.83	c Removed useless bin:     189  fixed:     0  props:  20.01M  time:  0.38 s
40.60/10.28	c lits-rem:         0  cl-subs:      572  v-elim:  30586  v-fix:    0  time:  1.73 s
40.97/10.30	c Finding binary XORs  T:     0.06 s  found:      71
40.97/10.32	c Replacing       71 vars Replaced     1015 lits Time:     0.07 s 
40.97/10.38	c Finding non-binary XORs:     0.20 s (found:    3248, avg size: 3.0)
40.97/10.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
41.38/10.40	c Calc default polars -  time:   0.04 s pos:    1056 undec:   36655 neg:   54753
41.38/10.40	c =========================================================================================
41.38/10.40	c types(t): F = full restart, N = normal restart
41.38/10.40	c types(t): S = simplification begin/end, E = solution found
41.38/10.40	c restart types(rt): st = static, dy = dynamic
41.38/10.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
41.38/10.40	c  B st     0         0     61102     90516    107622         0    613927         0   no data   no data  --
46.57/11.70	c  N dy    16      4054     61102     90516    107764      3859    613927    111241     10.72     16.49  --
52.17/13.15	c  N dy    38      8072     61102     90516    109069      7605    613927    202062     10.02     11.09  --
59.35/14.94	c  N dy    66     12578     61102     90516    109306     11777    613927    332484     10.64     12.21  --
66.56/16.70	c  N dy    88     16812     61102     90516    110147     15824    613927    423636     10.37     10.93  --
66.97/16.87	c Finding binary XORs  T:     0.07 s  found:     214
74.54/18.79	c  N dy   115     20817     61102     90516    111530     10174    613927     71693     11.45     12.63  --
81.32/20.48	c  N dy   138     24972     61102     90516    111687     14101    613927    173496     11.39     12.38  --
81.32/20.49	c  F st   139     25000     61102     90516    112211     14129    613927    175112     11.39   no data  --
81.72/20.52	c Replacing      214 vars Replaced     6789 lits Time:     0.10 s 
91.31/22.98	c  N dy   145     30000     60888     90348    111837     18888    613423    486082     11.39   no data  --
91.31/22.98	c  S st   145     30000     60888     90348    111837     18888    613423    486082     11.39   no data  --
92.51/23.30	c  S st   145     30501     60888     90348    111880     19346    613423    496167     11.39   no data  --
92.93/23.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
130.84/32.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  565 Bins:   1062 BRemL:      1 BRemN:      0 P: 200.0M T: 37.59
130.84/32.87	c Replacing      565 vars Replaced    18853 lits Time:     0.11 s 
131.24/32.96	c bin-w-bin subsume rem          757 bins  time:  0.06 s
131.64/33.08	c subs with bin:     2152  lits-rem:      1075  v-fix:    0  time:  0.48 s
132.04/33.18	c Subs w/ non-existent bins:     43 l-rem:   1715 v-fix:     0 done:   3951 time:  0.37 s
132.86/33.32	c Removed useless bin:     107  fixed:     0  props:  20.01M  time:  0.55 s
140.43/35.25	c lits-rem:      3987  cl-subs:    13583  v-elim:  36699  v-fix:    0  time:  7.63 s
141.65/35.57	c asymm  cl-useful: 2266/16523/83499 lits-rem:2470 time: 1.26
142.02/35.65	c calculated reachability. Time: 0.29
142.02/35.65	c  N dy   145     30501     23624     83496     39753      6665    508200     48799     11.39   no data  --
142.82/35.85	c Finding binary XORs  T:     0.82 s  found:      26
147.61/37.03	c  N dy   162     34584     23623     83496     40991     10571    508199    200543     11.31     12.04  --
152.40/38.26	c  N dy   183     38855     23622     83496     41142     14605    508199    394629     11.40     12.06  --
157.60/39.56	c  N dy   214     42856     23622     83496     41193     18465    508198    537566     11.92     18.77  --
160.79/40.30	c  S st   227     45751     23622     83496     41232     21274    508198    643794     12.25   no data  --
161.59/40.56	c  S st   227     46251     23622     83496     41365     21638    508198    648840     12.25   no data  --
161.59/40.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
161.59/40.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
187.15/46.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  423 Bins:   4194 BRemL:     37 BRemN:      1 P: 98.0M T: 25.51
187.55/47.03	c Replacing      451 vars Replaced    15678 lits Time:     0.16 s 
187.95/47.10	c bin-w-bin subsume rem           93 bins  time:  0.04 s
188.75/47.33	c subs with bin:     2078  lits-rem:      2909  v-fix:    0  time:  0.93 s
188.75/47.38	c Subs w/ non-existent bins:    364 l-rem:   2773 v-fix:     0 done:   1245 time:  0.16 s
189.15/47.41	c Removed useless bin:      56  fixed:     0  props:   2.56M  time:  0.13 s
195.14/48.97	c lits-rem:      2657  cl-subs:     3890  v-elim:    367  v-fix:    0  time:  6.20 s
195.54/49.05	c vivif2 --  cl tried    80540 cl shrink     6375 lits rem       6662 time: 0.33
195.94/49.12	c vivif2 --  cl tried    17459 cl shrink     4224 lits rem      35445 time: 0.28
197.54/49.51	c asymm  cl-useful: 28/3919/79674 lits-rem:76 time: 1.56
197.54/49.55	c calculated reachability. Time: 0.15
197.54/49.56	c  N dy   227     46251     22804     79650     45075     17361    493892    335883     12.25   no data  --
197.94/49.65	c Finding binary XORs  T:     0.38 s  found:       1
205.53/51.54	c  N dy   238     50637     22803     79650     45178     21601    493890    888638     12.04     12.82  --
211.12/52.92	c  N dy   260     54661     22802     79650     47113     25520    493889   1198986     12.14     27.72  --
216.33/54.25	c  N dy   280     58699     22802     79650     47315     15634    493887    363956     12.31     13.30  --
219.11/54.96	c Finding binary XORs  T:     0.38 s  found:     541
219.11/54.99	c Replacing      544 vars Replaced    14245 lits Time:     0.10 s 
222.70/55.86	c  N dy   306     62702     22258     78630     46254     18908    489965    737665     12.62     13.69  --
227.50/57.09	c  N dy   334     66829     22258     78630     46479     22891    489965    895894     13.08     14.41  --
231.09/57.95	c  S st   347     69376     22258     78630     46611     25357    489964   1042705     13.07     12.48  --
232.29/58.20	c  S st   347     69880     22258     78630     46681     25789    489964   1052622     13.07   no data  --
232.29/58.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
232.29/58.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.07
259.86/65.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   52 Bins:    795 BRemL:    224 BRemN:      0 P: 101.0M T: 27.67
260.27/65.21	c Replacing       52 vars Replaced     2728 lits Time:     0.08 s 
260.27/65.30	c bin-w-bin subsume rem          149 bins  time:  0.04 s
263.84/66.20	c subs with bin:     1466  lits-rem:      1709  v-fix:    0  time:  3.60 s
264.26/66.25	c Subs w/ non-existent bins:    252 l-rem:   1079 v-fix:     0 done:   7545 time:  0.22 s
264.26/66.28	c Removed useless bin:    1428  fixed:     0  props:   1.79M  time:  0.11 s
272.63/68.31	c lits-rem:      2498  cl-subs:     1475  v-elim:    160  v-fix:    0  time:  8.10 s
272.63/68.39	c vivif2 --  cl tried    77132 cl shrink       83 lits rem         84 time: 0.34
273.04/68.50	c vivif2 --  cl tried    24089 cl shrink     4578 lits rem      80078 time: 0.40
274.63/68.90	c asymm  cl-useful: 780/3099/77104 lits-rem:2340 time: 1.59
275.03/68.94	c calculated reachability. Time: 0.16
275.03/68.94	c  N dy   347     69880     22046     76324     46218     24082    482400    801714     13.07   no data  --
279.02/69.96	c Finding binary XORs  T:     0.42 s  found:     294
279.02/69.99	c Replacing      296 vars Replaced     6217 lits Time:     0.09 s 
284.21/71.28	c  N dy   362     74757     21748     75823     45478     28674    479282   1464357     13.01     13.76  --
290.20/72.74	c Finding binary XORs  T:     0.42 s  found:     239
290.20/72.79	c Replacing      239 vars Replaced     9661 lits Time:     0.19 s 
295.02/73.95	c  N dy   376     80076     21509     75327     50446     33658    477381   2377685     12.93     13.62  --
303.39/76.00	c  N dy   390     85203     21507     75327     50817     21669    477380    945999     12.78     13.54  --
305.78/76.60	c  F st   395     87500     21507     75327     50991     23730    477376    991957     12.65   no data  --
305.78/76.63	c Replacing        1 vars Replaced       25 lits Time:     0.07 s 
308.98/77.41	c  N st   400     90797     21506     75324     51303     26857    477352   1143670     12.65   no data  --
315.38/79.03	c  N dy   428     96638     21504     75324     51667     32576    477350   1497453     12.76     15.08  --
320.17/80.24	c Finding binary XORs  T:     0.41 s  found:     516
320.17/80.28	c Replacing      517 vars Replaced    19190 lits Time:     0.18 s 
322.96/80.92	c  N dy   469    103226     20986     74214     50891     38180    473235   1789950     13.02     13.71  --
324.56/81.36	c  S st   478    104823     20986     74214     50915     20580    473235    314698     13.02   no data  --
325.36/81.58	c  S st   478    105327     20986     74214     50956     21040    473235    325582     13.02   no data  --
325.36/81.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
325.77/81.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.07
355.72/89.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   88 Bins:   1830 BRemL:   2203 BRemN:      4 P: 99.6M T: 30.04
355.72/89.17	c Replacing       88 vars Replaced     3417 lits Time:     0.07 s 
356.12/89.21	c bin-w-bin subsume rem          293 bins  time:  0.04 s
356.53/89.36	c subs with bin:     1527  lits-rem:       910  v-fix:    0  time:  0.59 s
356.93/89.46	c Subs w/ non-existent bins:    545 l-rem:   1147 v-fix:     0 done:  15120 time:  0.37 s
356.93/89.48	c Removed useless bin:      78  fixed:     0  props:   1.36M  time:  0.09 s
361.71/90.67	c lits-rem:      1494  cl-subs:      817  v-elim:    322  v-fix:    0  time:  4.73 s
362.10/90.76	c vivif2 --  cl tried    72366 cl shrink       76 lits rem         77 time: 0.35
362.50/90.80	c vivif2 --  cl tried    19871 cl shrink     1236 lits rem       5554 time: 0.19
364.10/91.23	c asymm  cl-useful: 192/3533/72358 lits-rem:576 time: 1.69
364.10/91.27	c calculated reachability. Time: 0.16
364.10/91.28	c  N dy   478    105327     20576     72166     49666     19859    467570    286413     13.02   no data  --
368.50/92.33	c Finding binary XORs  T:     0.45 s  found:     536
368.50/92.36	c Replacing      536 vars Replaced    15103 lits Time:     0.11 s 
375.69/94.17	c  N dy   498    113390     20040     71094     50642     27155    463192   1258416     12.87     13.94  --
388.07/97.29	c  N dy   530    120726     20040     71094     50774     34370    463192   2393918     12.86     13.75  --
404.05/101.26	c  N dy   573    128527     20037     71094     50839     42053    463186   3651256     12.91     17.22  --
412.04/103.28	c  N dy   606    137478     20036     71094     53202     29944    463182    726743     12.91     13.66  --
412.84/103.40	c Finding binary XORs  T:     0.43 s  found:     193
424.02/106.29	c  N dy   668    147269     20036     71089     53344     39437    463141   1330920     13.20     14.00  --
438.80/109.95	c  N dy   688    156666     20036     71089     54280     25977    463134    694294     13.11     19.06  --
440.43/110.34	c  S st   698    157990     20036     71089     54286     27280    463134    750296     13.14   no data  --
441.20/110.56	c  S st   698    158492     20036     71089     54318     27746    463134    774361     13.14   no data  --
441.20/110.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
441.60/110.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
472.75/118.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  302 Bins:    905 BRemL:   1167 BRemN:      4 P: 107.7M T: 31.49
473.15/118.52	c Replacing      498 vars Replaced    18218 lits Time:     0.12 s 
473.15/118.59	c bin-w-bin subsume rem          271 bins  time:  0.04 s
475.95/119.27	c subs with bin:      930  lits-rem:      1081  v-fix:    0  time:  2.72 s
476.35/119.31	c Subs w/ non-existent bins:     14 l-rem:   1207 v-fix:     0 done:   2199 time:  0.15 s
476.35/119.33	c Removed useless bin:      45  fixed:     0  props:   1.03M  time:  0.08 s
483.15/121.07	c lits-rem:      4315  cl-subs:     1926  v-elim:    170  v-fix:    0  time:  6.95 s
483.55/121.16	c vivif2 --  cl tried    69311 cl shrink       31 lits rem         49 time: 0.38
483.96/121.24	c vivif2 --  cl tried    25177 cl shrink     2150 lits rem      31796 time: 0.30
485.54/121.65	c asymm  cl-useful: 223/2909/69303 lits-rem:669 time: 1.64
485.54/121.70	c calculated reachability. Time: 0.16
485.94/121.70	c  N dy   698    158492     19368     69080     52142     25168    456828    522026     13.14   no data  --
486.34/121.82	c Finding binary XORs  T:     0.47 s  found:     127
503.12/126.08	c  N dy   725    168626     19363     69080     53108     35178    456828   2205807     13.04     14.00  --
521.89/130.72	c  N dy   791    179461     19361     69080     53246     45860    456825   3591605     13.36     16.87  --
522.68/130.97	c Finding binary XORs  T:     0.46 s  found:     435
523.08/131.07	c Replacing      565 vars Replaced    41695 lits Time:     0.40 s 
537.09/134.52	c  N dy   844    191009     18795     68157     52263     32561    452698    979052     13.52     14.28  --
555.45/139.11	c  N dy   916    203711     18791     68157     52397     45104    452692   2274768     13.77     14.95  --
574.63/143.93	c  N dy   982    216830     18790     68157     52684     33135    452685   1386613     13.96     14.73  --
581.81/145.72	c Finding binary XORs  T:     0.46 s  found:     270
581.81/145.77	c Replacing      271 vars Replaced    12531 lits Time:     0.19 s 
594.99/149.04	c  N dy  1025    230707     18518     67557     53487     46341    450390   2859554     14.00     14.82  --
605.78/151.72	c  S st  1064    237740     18518     67557     53678     27214    450387    465352     14.18     13.93  --
606.58/151.95	c Finding binary XORs  T:     0.46 s  found:     189
606.58/151.98	c Replacing      191 vars Replaced     6838 lits Time:     0.09 s 
606.99/152.07	c  S st  1064    238241     18326     67137     53315     27362    448883    499868     14.18   no data  --
606.99/152.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
607.40/152.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
641.34/160.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   1192 BRemL:   1278 BRemN:      0 P: 103.8M T: 34.18
641.34/160.68	c Replacing        4 vars Replaced      104 lits Time:     0.07 s 
641.74/160.73	c bin-w-bin subsume rem          348 bins  time:  0.04 s
642.93/161.07	c subs with bin:      594  lits-rem:      1363  v-fix:    0  time:  1.33 s
643.33/161.13	c Subs w/ non-existent bins:     54 l-rem:    434 v-fix:     0 done:  10090 time:  0.25 s
643.33/161.15	c Removed useless bin:      21  fixed:     0  props:   0.94M  time:  0.07 s
653.72/163.70	c lits-rem:      1629  cl-subs:      900  v-elim:    105  v-fix:    0  time: 10.17 s
653.72/163.79	c vivif2 --  cl tried    66730 cl shrink       27 lits rem         41 time: 0.39
654.12/163.86	c vivif2 --  cl tried    26313 cl shrink     1607 lits rem      10099 time: 0.26
655.73/164.24	c asymm  cl-useful: 82/1641/66724 lits-rem:246 time: 1.53
655.73/164.29	c calculated reachability. Time: 0.15
655.73/164.29	c  N dy  1064    238241     18217     66642     52581     26307    447535    441918     14.18   no data  --
656.51/164.40	c Finding binary XORs  T:     0.46 s  found:      55
678.88/170.02	c  N dy  1115    253458     18216     66642     53210     41340    447531   2888268     14.05     15.07  --
715.23/179.13	c  N dy  1185    272621     18211     66642     53352     33005    447530    674420     14.02     14.82  --
715.63/179.26	c Finding binary XORs  T:     0.46 s  found:     271
716.04/179.30	c Replacing      330 vars Replaced    16265 lits Time:     0.13 s 
749.18/187.66	c  N dy  1262    290077     17881     66076     53546     49619    444918   4252793     14.05     15.08  --
752.40/188.44	c Finding binary XORs  T:     0.45 s  found:     100
781.55/195.73	c  F st  1349    306251     17881     66076     55049     38531    444916   2096899     14.16   no data  --
781.55/195.78	c Replacing      100 vars Replaced     6789 lits Time:     0.20 s 
789.54/197.74	c  N st  1354    309553     17781     65884     54841     41571    444188   2705169     14.16   no data  --
826.70/207.05	c  N dy  1442    329627     17776     65884     55158     33262    444180    754261     14.18     15.06  --
833.47/208.73	c Finding binary XORs  T:     0.45 s  found:     121
852.25/213.41	c  N dy  1553    349787     17775     65870     55149     52848    443957   1930665     14.36     15.19  --
863.43/216.27	c  S st  1608    357361     17775     65870     55204     60314    443955   2511206     14.56     10.82  --
864.63/216.55	c  S st  1608    357861     17775     65870     55216     60799    443955   2563988     14.56   no data  --
864.63/216.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      3 locsubst:     0 time:   0.08
864.63/216.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
900.99/225.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   31 Bins:    519 BRemL:    249 BRemN:      0 P: 120.4M T: 36.29
901.41/225.75	c Replacing      155 vars Replaced    13912 lits Time:     0.27 s 
902.19/225.91	c bin-w-bin subsume rem          327 bins  time:  0.04 s
908.18/227.44	c subs with bin:      107  lits-rem:      1652  v-fix:    0  time:  6.12 s
908.18/227.47	c Subs w/ non-existent bins:      1 l-rem:   2005 v-fix:     0 done:    133 time:  0.12 s
908.18/227.49	c Removed useless bin:      25  fixed:     0  props:   0.83M  time:  0.07 s
929.35/232.79	c lits-rem:       418  cl-subs:     5427  v-elim:     26  v-fix:    0  time: 21.14 s
929.74/232.89	c vivif2 --  cl tried    65509 cl shrink       29 lits rem         41 time: 0.40
931.35/233.20	c vivif2 --  cl tried    55067 cl shrink    13011 lits rem     159587 time: 1.22
932.56/233.58	c asymm  cl-useful: 24/1392/65505 lits-rem:72 time: 1.52
932.94/233.62	c calculated reachability. Time: 0.15
932.94/233.62	c  N dy  1608    357861     17591     65481     54805     55031    442419   1823160     14.56   no data  --
937.73/234.89	c Finding binary XORs  T:     0.47 s  found:      60
972.11/243.41	c  N dy  1643    377903     17586     65462     56290     46253    442047   3082392     14.35     24.91  --
1014.43/254.01	c  N dy  1747    397960     17575     65462     56505     65974    442047   7195794     14.42     16.81  --
1041.20/260.71	c Finding binary XORs  T:     0.47 s  found:      52
1058.38/265.03	c  N dy  1832    417989     17574     65397     56472     55805    441364   6139676     14.45     21.80  --
1101.11/275.77	c  N dy  1959    438082     17569     65397     56685     44726    441361   1643328     14.69     16.71  --
1132.67/283.66	c  N dy  2106    458084     17567     65397     56824     64516    441361   3886192     15.04     16.09  --
1139.47/285.32	c Finding binary XORs  T:     0.47 s  found:      38
1161.43/290.83	c  N dy  2219    478464     17567     65367     56785     53365    441192   1706021     15.21     17.39  --
1192.99/298.78	c  N dy  2364    499827     17566     65367     56942     74489    441190   3392271     15.50     16.38  --
1222.17/306.10	c  N dy  2506    520078     17566     65367     57073     62814    441189   2256394     15.85     17.65  --
1240.52/310.69	c Finding binary XORs  T:     0.47 s  found:      28
1241.33/310.84	c Replacing      179 vars Replaced    60601 lits Time:     0.57 s 
1250.12/313.09	c  S st  2640    536792     17389     65103     56818     78970    440085   3665593     16.18   no data  --
1251.71/313.41	c  S st  2640    537294     17389     65103     56821     79468    440085   3733791     16.18   no data  --
1251.71/313.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     18 locsubst:     0 time:   0.10
1251.71/313.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
1289.26/322.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bins:   1333 BRemL:    760 BRemN:      0 P: 142.7M T: 37.30
1289.26/322.85	c Replacing       11 vars Replaced     4936 lits Time:     0.16 s 
1290.06/323.06	c bin-w-bin subsume rem          335 bins  time:  0.04 s
1296.45/324.69	c subs with bin:      185  lits-rem:     13222  v-fix:    0  time:  6.50 s
1296.87/324.73	c Subs w/ non-existent bins:      4 l-rem:   1779 v-fix:     0 done:   1551 time:  0.13 s
1296.87/324.75	c Removed useless bin:      25  fixed:     0  props:   0.81M  time:  0.07 s
1331.20/333.36	c lits-rem:        84  cl-subs:     4770  v-elim:     40  v-fix:    0  time: 34.41 s
1331.60/333.47	c vivif2 --  cl tried    64952 cl shrink       87 lits rem        150 time: 0.43
1333.60/333.98	c vivif2 --  cl tried    74737 cl shrink    21228 lits rem     349232 time: 2.01
1335.60/334.41	c asymm  cl-useful: 17/1263/64930 lits-rem:51 time: 1.73
1335.60/334.46	c calculated reachability. Time: 0.16
1335.60/334.46	c  N dy  2640    537294     17320     64913     56830     74674    438457   2919804     16.18   no data  --
1357.57/339.97	c Finding binary XORs  T:     0.48 s  found:      20
1383.94/346.54	c  N dy  2671    557773     17319     64913     57114     60539    438457   5566120     16.03     16.91  --
1443.06/361.31	c  N dy  2765    577841     17318     64913     57154     80419    438457  12635510     16.03     24.24  --
1486.21/372.14	c Finding binary XORs  T:     0.69 s  found:      18
1518.15/380.19	c  N dy  2862    599502     17314     64870     58367     66306    438039   5139359     16.04     17.14  --
1580.47/395.77	c Finding binary XORs  T:     0.49 s  found:      16
1583.26/396.43	c  N dy  2992    619629     17309     64843     63753     83888    437800   9405776     16.14     19.43  --
1598.04/400.13	c Finding binary XORs  T:     0.49 s  found:      14
1620.01/405.68	c  N dy  3135    639706     17307     64842     66565     69665    437785   4043678     16.39     29.21  --
1664.75/416.87	c  N dy  3279    659748     17305     64842     66660     89477    437785   7893999     16.72     30.55  --
1702.70/426.39	c  N dy  3385    679904     17305     64842     66750     72887    437784   4459416     16.91     18.12  --
1743.85/436.62	c  N dy  3541    700090     17303     64842     66874     92831    437783   7514916     17.36     18.44  --
1781.79/446.13	c  N dy  3691    720313     17301     64842     66928     75547    437783   3993001     17.68     18.74  --
1799.76/450.64	c Finding binary XORs  T:     0.49 s  found:      22
1822.94/456.41	c  N dy  3838    740381     17297     64823     66982     95103    437675   6885143     18.04     37.06  --
1861.29/466.03	c  N dy  3991    760481     17296     64823     67123     76555    437674   3678117     18.41     38.71  --
1902.03/476.20	c  N dy  4126    780529     17295     64823     67205     96370    437673   6416930     18.82     70.86  --
1940.38/485.88	c  N dy  4279    800558     17293     64823     67331     76395    437673   2966419     19.15     31.17  --
1950.36/488.37	c  S st  4314    805941     17293     64823     67343     81751    437673   3563647     19.20     14.67  --
1951.58/488.68	c  S st  4314    806442     17293     64823     67348     82245    437673   3594835     19.20   no data  --
1951.98/488.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     25 locsubst:     0 time:   0.10
1951.98/488.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
1991.13/498.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:   3077 BRemL:   2535 BRemN:      0 P: 150.5M T: 39.23
1991.90/498.70	c Replacing      117 vars Replaced    29557 lits Time:     0.58 s 
1992.70/498.90	c bin-w-bin subsume rem          442 bins  time:  0.05 s
1999.50/500.64	c subs with bin:      184  lits-rem:      6447  v-fix:    0  time:  6.97 s
1999.50/500.67	c Subs w/ non-existent bins:      1 l-rem:   1977 v-fix:     0 done:    316 time:  0.13 s
1999.50/500.69	c Removed useless bin:      29  fixed:     0  props:   0.79M  time:  0.06 s
2024.27/506.88	c lits-rem:        50  cl-subs:     2844  v-elim:     33  v-fix:    0  time: 24.67 s
2025.07/507.00	c vivif2 --  cl tried    64521 cl shrink       54 lits rem        104 time: 0.47
2026.68/507.49	c vivif2 --  cl tried    78898 cl shrink    18360 lits rem     350259 time: 1.98
2028.66/507.92	c asymm  cl-useful: 7/1093/64511 lits-rem:21 time: 1.72
2028.66/507.97	c calculated reachability. Time: 0.16
2028.66/507.97	c  N dy  4314    806442     17120     64504     66960     78791    436022   3047685     19.20   no data  --
2029.46/508.10	c Finding binary XORs  T:     0.52 s  found:       5
2080.59/520.99	c  N dy  4355    826464     17119     64504     67168     98676    436022   8818726     19.11     24.58  --
2135.71/534.73	c  N dy  4415    847738     17118     64504     67257     76896    436022   5524621     19.04     20.44  --
2198.43/550.47	c  N dy  4503    867994     17117     64504     67344     96998    436022  12599494     19.01     20.21  --
2235.57/559.75	c Finding binary XORs  T:     0.52 s  found:      16
2251.96/563.82	c  N dy  4581    889118     17115     64472     67272     74830    435769   3869685     18.96     20.76  --
2305.48/577.22	c  N dy  4685    909145     17113     64472     67339     94624    435769   8887195     18.99     51.04  --
2359.01/590.63	c  N dy  4795    929280     17111     64472     67444     71340    435769   2222061     19.02     20.17  --
2407.34/602.70	c  N dy  4892    949297     17110     64472     67538     91152    435769   6201240     19.04     42.41  --
2462.87/616.64	c  N dy  5003    969369     17108     64472     67631    110969    435769   9561497     19.09     21.79  --
2506.00/627.45	c  N dy  5094    989612     17107     64472     67698     87085    435769   4430327     19.09     20.28  --
2566.74/642.68	c Finding binary XORs  T:     0.52 s  found:      55
2568.32/643.05	c  N dy  5200   1009806     17105     64422     73387    106658    435432   7784634     19.13     20.30  --
2627.04/657.75	c  N dy  5300   1030012     17105     64422     73440     81930    435432   3260619     19.15     20.41  --
2683.36/671.84	c  N dy  5393   1050164     17102     64422     73495    101772    435431   5950387     19.16     20.18  --
2720.93/681.28	c Finding binary XORs  T:     0.52 s  found:      16
2727.71/682.97	c  N dy  5537   1070192     17101     64417     88469     74496    435394   1908785     19.33     24.40  --
2732.10/684.04	c  F st  5544   1071875     17101     64417     88469     76167    435394   2147717     19.33     17.15  --
2732.50/684.12	c Replacing       95 vars Replaced    21444 lits Time:     0.32 s 
2768.44/693.10	c  N dy  5620   1091806     17006     64279     88277     95778    434826   4518466     19.39     20.41  --
2792.41/699.18	c Finding binary XORs  T:     0.52 s  found:      10
2808.81/703.29	c  N dy  5762   1111990     17006     64279     89667    115761    434826   6863919     19.56     21.26  --
2845.94/712.56	c  N dy  5902   1132342     17002     64279     89723     89596    434826   3312909     19.69     20.80  --
2885.49/722.45	c  N dy  6050   1152354     16999     64279     89785    109358    434826   5654169     19.86     31.37  --
2927.82/733.04	c  N dy  6210   1172435     16996     64279     89858     82127    434825   2126336     20.08     33.24  --
2960.99/741.32	c  N dy  6342   1192454     16996     64279     89908    101980    434825   4294787     20.18     25.26  --
2994.54/749.74	c  S st  6480   1209665     16995     64279     89946    119051    434825   6441728     20.37   no data  --
2995.74/750.08	c  S st  6480   1210165     16995     64279     89947    119549    434825   6543524     20.37   no data  --
2996.14/750.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     33 locsubst:     0 time:   0.13
2996.14/750.14	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.08
3036.08/760.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:    639 BRemL:   4373 BRemN:     21 P: 177.2M T: 39.89
3036.90/760.40	c Replacing       34 vars Replaced    44001 lits Time:     1.03 s 
3038.47/760.75	c bin-w-bin subsume rem         1051 bins  time:  0.06 s
3045.26/762.45	c subs with bin:      184  lits-rem:      3546  v-fix:    0  time:  6.78 s
3045.26/762.48	c Subs w/ non-existent bins:     10 l-rem:   1382 v-fix:     0 done:    369 time:  0.13 s
3045.68/762.51	c Removed useless bin:     110  fixed:     0  props:   0.77M  time:  0.08 s
3272.95/819.46	c lits-rem:     10305  cl-subs:     3533  v-elim:     46  v-fix:    0  time: 227.22 s
3273.35/819.58	c vivif2 --  cl tried    64110 cl shrink      121 lits rem        183 time: 0.49
3277.75/820.61	c vivif2 --  cl tried   115296 cl shrink    33961 lits rem     711833 time: 4.11
3279.34/821.07	c asymm  cl-useful: 9/970/64092 lits-rem:27 time: 1.80
3279.74/821.12	c calculated reachability. Time: 0.16
3279.74/821.12	c  N dy  6480   1210165     16882     64083     84230    115201    432285   5476587     20.37   no data  --
3280.14/821.25	c Finding binary XORs  T:     0.55 s  found:       9
3334.86/834.99	c  N dy  6531   1230257     16879     64083     84610     85015    432285   2922203     20.31     21.55  --
3390.39/848.80	c  N dy  6588   1250353     16879     64083     84676    104897    432284   8584570     20.26     21.35  --
3443.92/862.21	c  N dy  6657   1270426     16875     64083     84727    124780    432283  13847104     20.24     21.38  --
3495.04/875.02	c  N dy  6768   1290887     16873     64083     84779     94819    432283   4760508     20.33     21.53  --
3544.98/887.57	c  N dy  6849   1310921     16873     64083     84827    114760    432283  11299427     20.35     21.89  --
3560.96/891.52	c Finding binary XORs  T:     0.54 s  found:      19
3608.89/903.56	c  N dy  6957   1331783     16873     64041     84676    135239    432006  18395437     20.45     21.85  --
3654.43/914.98	c  N dy  7046   1351849     16873     64041     84733    103429    432006   7026897     20.46     21.72  --
3709.96/928.88	c  N dy  7156   1371925     16873     64041     84781    123366    432006  13584022     20.54     21.75  --
3762.68/942.01	c  N dy  7270   1392136     16873     64041     84827     90838    432006   2831365     20.65     22.10  --
3772.68/944.56	c Finding binary XORs  T:     0.54 s  found:      17
3811.02/954.10	c  N dy  7363   1412718     16873     64041     86405    111287    432005   9282589     20.71     21.88  --
3862.97/967.18	c  N dy  7492   1432757     16872     64041     86465    131141    432004  14192338     20.84     26.89  --
3915.28/980.20	c  N dy  7603   1452853     16872     64041     86505     97395    432004   4395381     20.92     52.55  --
3973.60/994.83	c  N dy  7681   1472960     16870     64041     86541    117272    432004   9498495     20.93     22.33  --
4034.34/1010.07	c  N dy  7800   1493040     16870     64041     86571    137202    432004  14869432     21.04     93.66  --
4095.44/1025.32	c  N dy  7906   1513929     16868     64041     86609    103461    432004   5069626     21.15     22.32  --
4151.77/1039.45	c  N dy  7988   1534130     16868     64041     86633    123519    432004  10915296     21.20     22.38  --
4214.08/1055.01	c  N dy  8104   1554361     16867     64041     86660    143588    432004  15533294     21.31     22.70  --
4220.87/1056.76	c Finding binary XORs  T:     0.56 s  found:      13
4267.23/1068.38	c  N dy  8187   1574444     16857     64035     88053    107690    431964   6306261     21.34     29.45  --
4322.34/1082.16	c  N dy  8292   1594594     16851     64035     88095    127692    431964  10283303     21.41     22.63  --
4380.25/1096.62	c  N dy  8378   1614660     16851     64035     88152    147622    431964  15493130     21.45     43.50  --
4436.57/1110.80	c  N dy  8422   1635230     16850     64035     88176    111074    431964   6125480     21.41     22.88  --
4483.71/1122.52	c  N dy  8506   1655237     16850     64035     88197    130959    431964  10235194     21.45     22.72  --
4546.02/1138.19	c  N dy  8601   1675993     16850     64035     88239    151508    431964  15314242     21.51     22.81  --
4597.18/1150.95	c  N dy  8688   1696767     16850     64035     88334    114427    431964   6782205     21.56     22.82  --
4633.51/1160.02	c  S st  8750   1710166     16850     64035     88352    127723    431964   9775307     21.57     18.62  --
4635.11/1160.40	c  S st  8750   1710670     16850     64035     88354    128224    431964   9835932     21.57   no data  --
4635.11/1160.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     25 locsubst:     0 time:   0.16
4635.11/1160.46	c Cache  BProp: 0 Set: 0 BXProp: 3 T: 0.09
4681.04/1171.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:   1795 BRemL:    111 BRemN:      0 P: 185.0M T: 45.73
4682.65/1172.37	c Replacing       90 vars Replaced    74762 lits Time:     1.78 s 
4685.06/1172.93	c bin-w-bin subsume rem         1759 bins  time:  0.06 s
4691.83/1174.66	c subs with bin:       64  lits-rem:       292  v-fix:    0  time:  6.90 s
4691.83/1174.69	c Subs w/ non-existent bins:      1 l-rem:    771 v-fix:     0 done:    101 time:  0.12 s
4692.23/1174.71	c Removed useless bin:      32  fixed:     0  props:   0.78M  time:  0.07 s

Verifier Data 

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

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-3282252-1304032762/watcher-3282252-1304032762 -o /tmp/evaluation-result-3282252-1304032762/solver-3282252-1304032762 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3282252-1304032762.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: 3.80 5.93 7.09 4/176 12388
/proc/meminfo: memFree=17963388/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 452 0 0 0 0 0 0 0 19 0 4 0 514878862 119574528 377 33554432000 4194304 4650419 140733345782720 18446744073709551615 4463936 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 29193 377 318 112 0 24158 0
[pid=12388/tid=12391] ppid=12384 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 4 0 514878862 119574528 377 33554432000 4194304 4650419 140733345782720 18446744073709551615 47915478794757 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 4 0 514878862 119574528 377 33554432000 4194304 4650419 140733345782720 18446744073709551615 47915478794755 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 4 0 514878862 119574528 377 33554432000 4194304 4650419 140733345782720 18446744073709551615 4212736 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.07447 s]
/proc/loadavg: 3.80 5.93 7.09 4/176 12388
/proc/meminfo: memFree=17963388/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=386760 CPUtime=0.23 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) D 12384 12388 11833 0 -1 4202496 18309 0 0 0 14 9 0 0 18 0 4 0 514878862 396042240 14213 33554432000 4194304 4650419 140733345782720 18446744073709551615 4317229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 96177 14332 344 112 0 91142 0
[pid=12388/tid=12391] ppid=12384 vsize=384708 CPUtime=0.05 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 4489 0 0 0 4 1 0 0 18 0 4 0 514878862 393940992 14586 33554432000 4194304 4650419 140733345782720 18446744073709551615 4306185 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=384708 CPUtime=0.05 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 4363 0 0 0 3 2 0 0 18 0 4 0 514878862 393940992 14657 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634183890 0 0 4096 2 18446604471122299008 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=384708 CPUtime=0.05 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) S 12384 12388 11833 0 -1 4202560 4763 0 0 0 2 3 0 0 18 0 4 0 514878862 393940992 14893 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634620398 0 0 4096 2 18446604471122299008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 386760

[startup+0.111265 s]
/proc/loadavg: 3.80 5.93 7.09 4/176 12388
/proc/meminfo: memFree=17963388/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=393888 CPUtime=0.34 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 25127 0 0 0 22 12 0 0 17 0 4 0 514878862 403341312 20879 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 98472 21041 344 112 0 93437 0
[pid=12388/tid=12391] ppid=12384 vsize=393888 CPUtime=0.08 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 6070 0 0 0 6 2 0 0 17 0 4 0 514878862 403341312 21254 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=393888 CPUtime=0.08 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 6052 0 0 0 5 3 0 0 18 0 4 0 514878862 403341312 21387 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=393888 CPUtime=0.08 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) S 12384 12388 11833 0 -1 4202560 6330 0 0 0 4 4 0 0 18 0 4 0 514878862 403341312 21452 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634620398 0 0 4096 2 18446604471122299008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 393888

[startup+0.54502 s]
/proc/loadavg: 3.80 5.93 7.09 4/176 12388
/proc/meminfo: memFree=17963388/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=445660 CPUtime=2.02 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 47057 0 0 0 181 21 0 0 18 0 4 0 514878862 456355840 38520 33554432000 4194304 4650419 140733345782720 18446744073709551615 4516467 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 111415 38534 370 112 0 106380 0
[pid=12388/tid=12391] ppid=12384 vsize=445660 CPUtime=0.49 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 10992 0 0 0 45 4 0 0 18 0 4 0 514878862 456355840 38539 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369394 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=445660 CPUtime=0.5 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 11000 0 0 0 45 5 0 0 18 0 4 0 514878862 456355840 38545 33554432000 4194304 4650419 140733345782720 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=445660 CPUtime=0.5 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 11993 0 0 0 44 6 0 0 18 0 4 0 514878862 456355840 38551 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 445660

[startup+0.701128 s]
/proc/loadavg: 3.80 5.93 7.09 4/176 12388
/proc/meminfo: memFree=17963388/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=443368 CPUtime=2.64 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 49828 0 0 0 243 21 0 0 18 0 4 0 514878862 454008832 39664 33554432000 4194304 4650419 140733345782720 18446744073709551615 4370337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 110842 39664 373 112 0 105807 0
[pid=12388/tid=12391] ppid=12384 vsize=443368 CPUtime=0.65 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12078 0 0 0 61 4 0 0 18 0 4 0 514878862 454008832 39664 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=443368 CPUtime=0.65 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12320 0 0 0 60 5 0 0 18 0 4 0 514878862 454008832 39664 33554432000 4194304 4650419 140733345782720 18446744073709551615 4245055 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=443368 CPUtime=0.66 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12000 0 0 0 60 6 0 0 18 0 4 0 514878862 454008832 39664 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 443368

[startup+1.50099 s]
/proc/loadavg: 3.80 5.93 7.09 9/184 12397
/proc/meminfo: memFree=17642644/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=443368 CPUtime=5.84 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 49894 0 0 0 563 21 0 0 19 0 4 0 514878862 454008832 39730 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369877 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 110842 39730 373 112 0 105807 0
[pid=12388/tid=12391] ppid=12384 vsize=443368 CPUtime=1.45 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12078 0 0 0 141 4 0 0 19 0 4 0 514878862 454008832 39730 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369106 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=443368 CPUtime=1.45 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12320 0 0 0 140 5 0 0 19 0 4 0 514878862 454008832 39730 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369281 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=443368 CPUtime=1.45 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12066 0 0 0 139 6 0 0 19 0 4 0 514878862 454008832 39730 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 443368

[startup+3.10071 s]
/proc/loadavg: 4.21 5.98 7.10 10/184 12397
/proc/meminfo: memFree=17636940/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=447700 CPUtime=12.23 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 51106 0 0 0 1202 21 0 0 24 0 4 0 514878862 458444800 40942 33554432000 4194304 4650419 140733345782720 18446744073709551615 4370095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 111925 40942 374 112 0 106890 0
[pid=12388/tid=12391] ppid=12384 vsize=447700 CPUtime=3.05 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12078 0 0 0 301 4 0 0 23 0 4 0 514878862 458444800 40942 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369381 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=447700 CPUtime=3.05 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12320 0 0 0 300 5 0 0 23 0 4 0 514878862 458444800 40942 33554432000 4194304 4650419 140733345782720 18446744073709551615 4371306 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=447700 CPUtime=3.04 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 13278 0 0 0 298 6 0 0 24 0 4 0 514878862 458444800 40942 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 447700

[startup+6.30114 s]
/proc/loadavg: 4.21 5.98 7.10 9/184 12397
/proc/meminfo: memFree=17626280/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=447700 CPUtime=25.01 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 51326 0 0 0 2480 21 0 0 25 0 4 0 514878862 458444800 41162 33554432000 4194304 4650419 140733345782720 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 111925 41162 374 112 0 106890 0
[pid=12388/tid=12391] ppid=12384 vsize=447700 CPUtime=6.25 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12078 0 0 0 621 4 0 0 25 0 4 0 514878862 458444800 41162 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369877 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=447700 CPUtime=6.25 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 12320 0 0 0 620 5 0 0 25 0 4 0 514878862 458444800 41162 33554432000 4194304 4650419 140733345782720 18446744073709551615 4244776 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=447700 CPUtime=6.22 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 13498 0 0 0 616 6 0 0 25 0 4 0 514878862 458444800 41162 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 447700

[startup+12.701 s]
/proc/loadavg: 4.79 6.05 7.11 9/184 12397
/proc/meminfo: memFree=17430644/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=490556 CPUtime=50.57 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 89226 0 0 0 5026 31 0 0 22 0 4 0 514878862 502329344 75581 33554432000 4194304 4650419 140733345782720 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 122639 75581 395 112 0 117604 0
[pid=12388/tid=12391] ppid=12384 vsize=490556 CPUtime=12.65 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 24266 0 0 0 1258 7 0 0 25 0 4 0 514878862 502329344 75581 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=490556 CPUtime=12.65 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 24475 0 0 0 1257 8 0 0 22 0 4 0 514878862 502329344 75581 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=490556 CPUtime=12.59 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 15466 0 0 0 1252 7 0 0 25 0 4 0 514878862 502329344 75581 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 490556

[startup+25.5008 s]
/proc/loadavg: 5.29 6.11 7.12 10/184 12397
/proc/meminfo: memFree=17228992/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=634376 CPUtime=101.72 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 144450 0 0 0 10130 42 0 0 25 0 4 0 514878862 649601024 85567 33554432000 4194304 4650419 140733345782720 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 158594 85567 395 112 0 153559 0
[pid=12388/tid=12391] ppid=12384 vsize=634376 CPUtime=25.45 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 43547 0 0 0 2536 9 0 0 25 0 4 0 514878862 649601024 85569 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364461 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=634376 CPUtime=25.45 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 30392 0 0 0 2536 9 0 0 25 0 4 0 514878862 649601024 85569 33554432000 4194304 4650419 140733345782720 18446744073709551615 4329696 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=634376 CPUtime=25.32 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 18608 0 0 0 2524 8 0 0 25 0 4 0 514878862 649601024 85571 33554432000 4194304 4650419 140733345782720 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 634376

[startup+51.1003 s]
/proc/loadavg: 6.21 6.26 7.14 10/184 12398
/proc/meminfo: memFree=14777480/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=1901460 CPUtime=203.93 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 434592 0 0 0 20284 109 0 0 25 0 4 0 514878862 1947095040 364681 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 475365 364681 395 112 0 470330 0
[pid=12388/tid=12391] ppid=12384 vsize=1901460 CPUtime=51.04 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 111871 0 0 0 5080 24 0 0 25 0 4 0 514878862 1947095040 364681 33554432000 4194304 4650419 140733345782720 18446744073709551615 4371657 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=1901460 CPUtime=51.04 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 91156 0 0 0 5080 24 0 0 25 0 4 0 514878862 1947095040 364681 33554432000 4194304 4650419 140733345782720 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=1901460 CPUtime=50.77 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 120443 0 0 0 5046 31 0 0 25 0 4 0 514878862 1947095040 364681 33554432000 4194304 4650419 140733345782720 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 1901460

[startup+102.3 s]
/proc/loadavg: 7.33 6.56 7.19 10/184 12399
/proc/meminfo: memFree=13240108/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=2165036 CPUtime=408.44 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 611465 0 0 0 40694 150 0 0 25 0 4 0 514878862 2216996864 436544 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12388/statm: 541259 436544 395 112 0 536224 0
[pid=12388/tid=12391] ppid=12384 vsize=2165036 CPUtime=102.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 134444 0 0 0 10194 29 0 0 25 0 4 0 514878862 2216996864 436544 33554432000 4194304 4650419 140733345782720 18446744073709551615 4333862 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=2165036 CPUtime=102.24 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 117930 0 0 0 10194 30 0 0 25 0 4 0 514878862 2216996864 436544 33554432000 4194304 4650419 140733345782720 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=2165036 CPUtime=101.69 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 224619 0 0 0 10116 53 0 0 25 0 4 0 514878862 2216996864 436545 33554432000 4194304 4650419 140733345782720 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 2165036

[startup+162.301 s]

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

Current children cumulated CPU time (s) 2565.52
Current children cumulated vsize (KiB) 3141340

[startup+702.301 s]
/proc/loadavg: 8.11 7.86 7.59 10/184 12415
/proc/meminfo: memFree=10543372/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3272988 CPUtime=2805.19 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 1697941 0 0 0 280046 473 0 0 25 0 4 0 514878862 3351539712 643736 33554432000 4194304 4650419 140733345782720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 818247 643736 395 112 0 813212 0
[pid=12388/tid=12391] ppid=12384 vsize=3272988 CPUtime=702.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 331452 0 0 0 70121 102 0 0 25 0 4 0 514878862 3351539712 643736 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3272988 CPUtime=702.25 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 374355 0 0 0 70132 93 0 0 25 0 4 0 514878862 3351539712 643736 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364859 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3272988 CPUtime=698.56 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 641527 0 0 0 69698 158 0 0 25 0 4 0 514878862 3351539712 643736 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.19
Current children cumulated vsize (KiB) 3272988

[startup+762.301 s]
/proc/loadavg: 8.17 7.91 7.62 10/184 12417
/proc/meminfo: memFree=10246000/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3273504 CPUtime=3044.86 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 1783293 0 0 0 303980 506 0 0 25 0 4 0 514878862 3352068096 643891 33554432000 4194304 4650419 140733345782720 18446744073709551615 4436155 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 818376 643891 395 112 0 813341 0
[pid=12388/tid=12391] ppid=12384 vsize=3273504 CPUtime=762.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 362740 0 0 0 76108 115 0 0 25 0 4 0 514878862 3352068096 643891 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3273504 CPUtime=762.26 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 384900 0 0 0 76128 98 0 0 25 0 4 0 514878862 3352068096 643891 33554432000 4194304 4650419 140733345782720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3273504 CPUtime=758.56 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 667262 0 0 0 75687 169 0 0 25 0 4 0 514878862 3352068096 643891 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.86
Current children cumulated vsize (KiB) 3273504

[startup+822.301 s]
/proc/loadavg: 8.18 7.96 7.65 10/184 12418
/proc/meminfo: memFree=10117244/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3339920 CPUtime=3284.54 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 1844284 0 0 0 327918 536 0 0 25 0 4 0 514878862 3420078080 656375 33554432000 4194304 4650419 140733345782720 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 834980 656375 395 112 0 829945 0
[pid=12388/tid=12391] ppid=12384 vsize=3339920 CPUtime=822.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 380153 0 0 0 82100 123 0 0 25 0 4 0 514878862 3420078080 656375 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3339920 CPUtime=822.25 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 399016 0 0 0 82119 106 0 0 25 0 4 0 514878862 3420078080 656375 33554432000 4194304 4650419 140733345782720 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3339920 CPUtime=818.55 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 692126 0 0 0 81675 180 0 0 25 0 4 0 514878862 3420078080 656375 33554432000 4194304 4650419 140733345782720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.54
Current children cumulated vsize (KiB) 3339920

[startup+882.301 s]
/proc/loadavg: 8.10 7.97 7.68 9/184 12420
/proc/meminfo: memFree=10035236/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3318656 CPUtime=3524.21 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 1932671 0 0 0 351854 567 0 0 25 0 4 0 514878862 3398303744 668150 33554432000 4194304 4650419 140733345782720 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 829664 668150 395 112 0 824629 0
[pid=12388/tid=12391] ppid=12384 vsize=3318656 CPUtime=882.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 404882 0 0 0 88090 133 0 0 25 0 4 0 514878862 3398303744 668150 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3318656 CPUtime=882.25 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 415144 0 0 0 88113 112 0 0 25 0 4 0 514878862 3398303744 668150 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3318656 CPUtime=878.56 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 713537 0 0 0 87668 188 0 0 25 0 4 0 514878862 3398303744 668150 33554432000 4194304 4650419 140733345782720 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.21
Current children cumulated vsize (KiB) 3318656

[startup+942.3 s]
/proc/loadavg: 8.07 7.99 7.70 10/184 12422
/proc/meminfo: memFree=10016964/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3183840 CPUtime=3763.88 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 2018830 0 0 0 375791 597 0 0 25 0 4 0 514878862 3260252160 649036 33554432000 4194304 4650419 140733345782720 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 795960 649036 395 112 0 790925 0
[pid=12388/tid=12391] ppid=12384 vsize=3183840 CPUtime=942.22 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 429023 0 0 0 94082 140 0 0 25 0 4 0 514878862 3260252160 649036 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3183840 CPUtime=942.25 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 428531 0 0 0 94108 117 0 0 25 0 4 0 514878862 3260252160 649036 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3183840 CPUtime=938.56 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 730672 0 0 0 93661 195 0 0 25 0 4 0 514878862 3260252160 649036 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.88
Current children cumulated vsize (KiB) 3183840

[startup+1002.3 s]
/proc/loadavg: 8.02 7.99 7.72 9/184 12423
/proc/meminfo: memFree=9881260/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3487496 CPUtime=4003.58 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 2093916 0 0 0 399730 628 0 0 25 0 4 0 514878862 3571195904 680127 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 871874 680127 395 112 0 866839 0
[pid=12388/tid=12391] ppid=12384 vsize=3487496 CPUtime=1002.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 440340 0 0 0 100080 143 0 0 25 0 4 0 514878862 3571195904 680127 33554432000 4194304 4650419 140733345782720 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3487496 CPUtime=1002.26 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 444887 0 0 0 100102 124 0 0 25 0 4 0 514878862 3571195904 680127 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364838 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3487496 CPUtime=998.56 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 750544 0 0 0 99653 203 0 0 25 0 4 0 514878862 3571195904 680127 33554432000 4194304 4650419 140733345782720 18446744073709551615 216634173863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.58
Current children cumulated vsize (KiB) 3487496

[startup+1062.3 s]
/proc/loadavg: 8.04 8.00 7.74 10/184 12425
/proc/meminfo: memFree=9608196/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3447536 CPUtime=4243.23 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 2148339 0 0 0 423665 658 0 0 25 0 4 0 514878862 3530276864 676772 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 861884 676772 395 112 0 856849 0
[pid=12388/tid=12391] ppid=12384 vsize=3447536 CPUtime=1062.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 441044 0 0 0 106079 144 0 0 25 0 4 0 514878862 3530276864 676772 33554432000 4194304 4650419 140733345782720 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3447536 CPUtime=1062.26 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 464332 0 0 0 106092 134 0 0 25 0 4 0 514878862 3530276864 676772 33554432000 4194304 4650419 140733345782720 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3447536 CPUtime=1058.57 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 759123 0 0 0 105649 208 0 0 25 0 4 0 514878862 3530276864 676772 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.23
Current children cumulated vsize (KiB) 3447536

[startup+1122.31 s]
/proc/loadavg: 8.18 8.05 7.77 10/184 12426
/proc/meminfo: memFree=9537220/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3425524 CPUtime=4482.94 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 2217632 0 0 0 447603 691 0 0 25 0 4 0 514878862 3507736576 678588 33554432000 4194304 4650419 140733345782720 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 856381 678588 395 112 0 851346 0
[pid=12388/tid=12391] ppid=12384 vsize=3425524 CPUtime=1122.24 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 442161 0 0 0 112080 144 0 0 25 0 4 0 514878862 3507736576 678589 33554432000 4194304 4650419 140733345782720 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3425524 CPUtime=1122.26 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 482277 0 0 0 112084 142 0 0 25 0 4 0 514878862 3507736576 678589 33554432000 4194304 4650419 140733345782720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3425524 CPUtime=1118.57 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 785447 0 0 0 111638 219 0 0 25 0 4 0 514878862 3507736576 678589 33554432000 4194304 4650419 140733345782720 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 3425524

[startup+1182.3 s]
/proc/loadavg: 8.20 8.07 7.79 10/184 12428
/proc/meminfo: memFree=9372272/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3577452 CPUtime=4722.59 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 2296601 0 0 0 471537 722 0 0 25 0 4 0 514878862 3663310848 700519 33554432000 4194304 4650419 140733345782720 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 894363 700519 395 112 0 889328 0
[pid=12388/tid=12391] ppid=12384 vsize=3577452 CPUtime=1182.23 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 442161 0 0 0 118079 144 0 0 25 0 4 0 514878862 3663310848 700519 33554432000 4194304 4650419 140733345782720 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3577452 CPUtime=1182.26 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 501907 0 0 0 118075 151 0 0 25 0 4 0 514878862 3663310848 700519 33554432000 4194304 4650419 140733345782720 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3577452 CPUtime=1178.56 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 806633 0 0 0 117626 230 0 0 25 0 4 0 514878862 3663310848 700519 33554432000 4194304 4650419 140733345782720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.59
Current children cumulated vsize (KiB) 3577452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.06 7.79 6/183 12430
/proc/meminfo: memFree=11296488/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=3577452 CPUtime=4800.1 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4202496 2372351 0 0 0 479274 736 0 0 25 0 4 0 514878862 3663310848 709267 33554432000 4194304 4650419 140733345782720 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 894363 709267 397 112 0 889328 0
[pid=12388/tid=12391] ppid=12384 vsize=3577452 CPUtime=1201.64 cores=1,3,5,7
/proc/12388/task/12391/stat : 12391 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 442161 0 0 0 120020 144 0 0 25 0 4 0 514878862 3663310848 709267 33554432000 4194304 4650419 140733345782720 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12388/tid=12392] ppid=12384 vsize=3577452 CPUtime=1201.67 cores=1,3,5,7
/proc/12388/task/12392/stat : 12392 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 506092 0 0 0 120013 154 0 0 25 0 4 0 514878862 3663310848 709267 33554432000 4194304 4650419 140733345782720 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12388/tid=12393] ppid=12384 vsize=3577452 CPUtime=1197.97 cores=1,3,5,7
/proc/12388/task/12393/stat : 12393 (strangenight1-m) R 12384 12388 11833 0 -1 4202560 811180 0 0 0 119564 233 0 0 25 0 4 0 514878862 3663310848 709267 33554432000 4194304 4650419 140733345782720 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 3577452

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

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

[startup+1201.81 s]
/proc/loadavg: 8.14 8.06 7.79 6/183 12430
/proc/meminfo: memFree=11296488/32951124 swapFree=67111528/67111528
[pid=12388] ppid=12384 vsize=0 CPUtime=4800.23 cores=1,3,5,7
/proc/12388/stat : 12388 (strangenight1-m) R 12384 12388 11833 0 -1 4203524 2372352 0 0 0 479277 746 0 0 25 0 1 0 514878862 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12388/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.84
CPU time (s): 4800.26
CPU user time (s): 4792.77
CPU system time (s): 7.49086
CPU usage (%): 399.409
Max. virtual memory (cumulated for all children) (KiB): 3577452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.77
system time used= 7.49086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2372352
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= 14276
involuntary context switches= 35845

runsolver used 1.86272 second user time and 4.70528 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 01:19:22
IDJOB=3282252
IDBENCH=70797
IDSOLVER=1588
FILE ID=node103/3282252-1304032762
RUNJOBID= node103-1304032762-12370
PBS_JOBID= 13170349
Free space on /tmp= 71508 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282252-1304032762/watcher-3282252-1304032762 -o /tmp/evaluation-result-3282252-1304032762/solver-3282252-1304032762 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3282252-1304032762.cnf

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=204663691

node103.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.858
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.71
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.858
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.858
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.858
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.77
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.858
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.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17963576 kB
Buffers:       2144140 kB
Cached:       12197632 kB
SwapCached:          0 kB
Active:        5521336 kB
Inactive:      8883836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17963576 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           21872 kB
Writeback:           0 kB
AnonPages:       63156 kB
Mapped:          14484 kB
Slab:           517916 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184084 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= 71508 MiB
End job on node103 at 2011-04-29 01:39:26