Trace number 3369672

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 (fixed)? (TO) 4800.52 1203.59

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
MD5SUMb967fca11e85ef5b614d3452b1c4b2ad
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 variables257030
Number of clauses769313
Sum of the clauses size1795061
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2512874
Number of clauses of size 3256437
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369672-1305394204.cnf'
0.00/0.01	c -- header says num vars:         257030
0.00/0.01	c -- header says num clauses:      769313
1.36/0.77	c -- clauses added:            0 learnts,       769313 normals,            0 xors
1.36/0.77	c -- vars added     257030
1.36/0.77	c Parsing time:  1.08 s
1.36/0.77	c  N st     0         0    257030    256437    512874         0   1795059         0   no data   no data  --
1.36/0.89	c asymm  cl-useful: 0/72582/254022 lits-rem:0 time: 1.51
37.99/9.65	c Flit:   220 Blit:   9020 bXBeca:    0 bXProp: 21158 Bins:      0 BRemL:      0 BRemN:      0 P: 124.8M T: 34.79
37.99/9.69	c Cleaning up after failed var search:     0.16 s 
38.42/9.79	c Replacing    21158 vars Replaced   377481 lits Time:     0.38 s 
39.15/9.93	c bin-w-bin subsume rem         1232 bins  time:  0.16 s
39.55/10.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.40 s
40.34/10.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130234 time:  0.92 s
40.74/10.40	c Removed useless bin:     333  fixed:     0  props:  20.00M  time:  0.49 s
43.92/11.18	c lits-rem:         0  cl-subs:       56  v-elim:  74685  v-fix:    0  time:  3.00 s
44.30/11.24	c Finding binary XORs  T:     0.21 s  found:       0
45.10/11.44	c Finding non-binary XORs:     0.55 s (found:   13087, avg size: 3.0)
45.10/11.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   6048 locsubst:     0 time:   0.27
45.10/11.49	c Calc default polars -  time:   0.11 s pos:   15514 undec:  145584 neg:   95932
45.10/11.49	c =========================================================================================
45.10/11.49	c types(t): F = full restart, N = normal restart
45.10/11.49	c types(t): S = simplification begin/end, E = solution found
45.10/11.49	c restart types(rt): st = static, dy = dynamic
45.10/11.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
45.10/11.49	c  B st     0         0    143323    236940    233415         0   1210205         0   no data   no data  --
58.67/14.80	c  N dy     9      4049    143323    236940    233436      4000   1210203    128722     13.73     15.01  --
72.63/18.34	c  N dy    27      9114    143323    236940    233492      9028   1210203    285985     13.46     14.20  --
84.19/21.26	c  N dy    55     13171    143323    236940    233514     13070   1210203    416988     13.79     15.31  --
94.98/23.92	c  N dy    71     17462    143323    236940    233515     17296   1210203    535537     13.80     14.53  --
105.73/26.69	c  N dy    97     21505    143323    236940    233521     11407   1210203    222300     13.92     16.36  --
114.10/28.79	c  F st   116     25000    143323    236940    233532     14870   1210203    323677     13.95     12.70  --
116.50/29.39	c  N st   118     25627    143323    236940    233533     15488   1210203    344763     13.95   no data  --
128.06/32.23	c  N dy   122     30000    143323    236940    233535     19822   1210203    503872     13.95   no data  --
128.06/32.23	c  S st   122     30000    143323    236940    233535     19822   1210203    503872     13.95   no data  --
129.67/32.69	c  S st   122     30501    143323    236940    233683     20173   1210203    505975     13.95   no data  --
130.08/32.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   3352 locsubst:     0 time:   0.21
177.11/44.52	c Flit:  1803 Blit:     61 bXBeca:    0 bXProp: 11162 Bins: 123319 BRemL:  25984 BRemN:     83 P: 73.1M T: 46.89
177.11/44.55	c Cleaning up after failed var search:     0.12 s 
177.51/44.65	c Replacing    11162 vars Replaced   307228 lits Time:     0.35 s 
177.91/44.79	c bin-w-bin subsume rem        22115 bins  time:  0.18 s
178.75/44.94	c subs with bin:     5231  lits-rem:      5737  v-fix:    0  time:  0.59 s
179.10/45.06	c Subs w/ non-existent bins:     25 l-rem:   6689 v-fix:     0 done:   7211 time:  0.46 s
179.48/45.14	c Removed useless bin:    1458  fixed:     0  props:  15.22M  time:  0.32 s
190.66/47.98	c lits-rem:     19018  cl-subs:    40669  v-elim:  42446  v-fix:    0  time: 11.29 s
192.63/48.43	c asymm  cl-useful: 5470/26623/243472 lits-rem:6222 time: 1.77
192.63/48.45	c  N dy   122     30501     84494    243218    190028      1358   1147236    102323     13.95   no data  --
192.63/48.50	c Finding binary XORs  T:     0.17 s  found:     264
203.41/51.12	c  N dy   139     37253     84494    243218    190028      8033   1147236    274131     13.65     14.42  --
208.99/52.60	c  N dy   167     41325     84488    243218    190198     12066   1147236    367218     13.75     14.74  --
215.75/54.29	c Finding binary XORs  T:     0.18 s  found:       4
216.15/54.40	c  N dy   196     45445     84488    243176    224551     16167   1147097    538920     13.84     14.78  --
216.95/54.54	c  S st   199     45752     84488    243176    224551     16474   1147097    547198     13.86     13.99  --
218.19/54.89	c  S st   199     46253     84487    243176    224660     16837   1147089    549056     13.86   no data  --
218.54/54.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1416 locsubst:     0 time:   0.21
243.67/61.27	c Flit:  1794 Blit:     12 bXBeca:    0 bXProp: 2833 Bins:  44234 BRemL:  35007 BRemN:   5201 P: 46.3M T: 25.16
243.67/61.31	c Cleaning up after failed var search:     0.13 s 
244.08/61.39	c Replacing     3101 vars Replaced    96463 lits Time:     0.30 s 
244.86/61.53	c bin-w-bin subsume rem        25001 bins  time:  0.16 s
245.66/61.71	c subs with bin:    19997  lits-rem:     33178  v-fix:    0  time:  0.70 s
246.06/61.81	c Subs w/ non-existent bins:    531 l-rem:   4438 v-fix:     0 done:  10538 time:  0.41 s
246.06/61.89	c Removed useless bin:    6000  fixed:     0  props:   4.18M  time:  0.30 s
252.44/63.45	c lits-rem:      2573  cl-subs:     4438  v-elim:   1847  v-fix:    0  time:  6.22 s
254.83/64.00	c asymm  cl-useful: 0/10876/209305 lits-rem:0 time: 2.19
254.83/64.03	c  N dy   199     46253     76305    209305    190029     16281   1000700    475067     13.86   no data  --
254.83/64.07	c Finding binary XORs  T:     0.18 s  found:      12
260.82/65.56	c  N dy   225     50442     76168    209305    207642     20438   1000700    610285     13.94     14.68  --
266.44/66.96	c  N dy   249     54477     76168    209305    207642     24415   1000700    702332     14.04     18.24  --
266.79/67.09	c Finding binary XORs  T:     0.18 s  found:     200
272.39/68.47	c  N dy   281     58557     76151    208603    220947     28452    998298    828132     14.17     15.54  --
279.17/70.20	c  N dy   305     62645     76151    208603    220947     17419    998298    461220     14.23     15.14  --
281.56/70.73	c Finding binary XORs  T:     0.17 s  found:      13
285.54/71.77	c  N dy   342     66806     76151    208515    220917     21538    998008    564465     14.36     15.14  --
289.14/72.60	c  S st   366     69379     76149    208515    220960     24083    998008    624284     14.43   no data  --
290.73/73.01	c  S st   366     69882     76146    208515    221037     24480    998007    626308     14.43   no data  --
290.73/73.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    904 locsubst:     2 time:   0.20
313.06/78.64	c Flit:   662 Blit:     43 bXBeca:    0 bXProp:  828 Bins:  14602 BRemL:  30331 BRemN:   1808 P: 49.8M T: 22.22
313.06/78.64	c Cleaning up after failed var search:     0.00 s 
313.46/78.73	c Replacing     1054 vars Replaced    33857 lits Time:     0.34 s 
313.87/78.86	c bin-w-bin subsume rem        19639 bins  time:  0.15 s
314.28/78.98	c subs with bin:     3011  lits-rem:      3311  v-fix:    0  time:  0.45 s
314.71/79.09	c Subs w/ non-existent bins:    679 l-rem:   5146 v-fix:     0 done:  25927 time:  0.44 s
315.05/79.16	c Removed useless bin:    1460  fixed:     0  props:   5.90M  time:  0.28 s
320.64/80.58	c lits-rem:       730  cl-subs:     1495  v-elim:   1197  v-fix:    0  time:  5.67 s
322.65/81.11	c asymm  cl-useful: 1174/15764/202681 lits-rem:3522 time: 2.09
323.05/81.13	c  N dy   366     69882     72264    201507    173550     23834    957948    529990     14.43   no data  --
326.62/82.08	c Finding binary XORs  T:     0.18 s  found:      14
330.62/83.07	c  N dy   399     74530     72023    201507    179650     28405    957948    650506     14.54     15.36  --
337.79/84.87	c  N dy   441     79338     72022    201507    179650     33164    957948    773177     14.69     20.30  --
340.60/85.53	c Finding binary XORs  T:     0.16 s  found:     826
340.60/85.59	c Replacing      840 vars Replaced    18226 lits Time:     0.23 s 
345.77/86.83	c  N dy   477     84676     70837    198579    181502     20038    945539    389506     14.79     15.72  --
349.38/87.77	c  F st   498     87500     70837    198579    181521     22833    945539    457332     14.84     14.94  --
354.54/89.05	c  N st   503     90799     70837    198579    181521     26084    945539    534934     14.84   no data  --
362.54/91.06	c  N dy   539     96953     70837    198579    181536     32156    945539    689696     14.95     15.95  --
370.51/93.02	c  N dy   579    103173     70837    198579    181536     38240    945539    831100     15.04     17.53  --
372.90/93.60	c  S st   595    104824     70837    198579    181536     39860    945539    872453     15.08     15.64  --
374.50/94.03	c  S st   595    105324     70837    198579    181594     40311    945539    876137     15.08   no data  --
374.50/94.08	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:    384 locsubst:    14 time:   0.19
400.02/100.42	c Flit:   328 Blit:     77 bXBeca:    0 bXProp:  652 Bins:  13784 BRemL:  16077 BRemN:    971 P: 70.5M T: 25.28
400.02/100.42	c Cleaning up after failed var search:     0.00 s 
400.42/100.51	c Replacing      658 vars Replaced    16517 lits Time:     0.33 s 
400.82/100.65	c bin-w-bin subsume rem         5603 bins  time:  0.13 s
401.22/100.78	c subs with bin:     2886  lits-rem:      3277  v-fix:    0  time:  0.52 s
402.03/100.91	c Subs w/ non-existent bins:    154 l-rem:   5869 v-fix:     0 done:  36391 time:  0.52 s
402.03/100.98	c Removed useless bin:     682  fixed:     0  props:   5.05M  time:  0.28 s
413.99/103.97	c lits-rem:      2452  cl-subs:     3912  v-elim:    969  v-fix:    0  time: 11.91 s
415.97/104.44	c asymm  cl-useful: 403/15003/193846 lits-rem:1209 time: 1.85
415.97/104.46	c  N dy   595    105324     68413    193443    166607     37489    920813    790557     15.08   no data  --
416.37/104.50	c Finding binary XORs  T:     0.16 s  found:      41
425.95/106.97	c  N dy   633    112136     68413    193443    173495     23792    920813    438210     15.14     16.20  --
435.92/109.40	c Finding binary XORs  T:     0.17 s  found:     272
435.92/109.43	c  N dy   693    119385     68288    192927    173867     30956    918730    623390     15.27     16.29  --
447.89/112.41	c  N dy   729    127268     68288    192927    173867     38673    918730    817712     15.29     16.24  --
460.65/115.62	c  N dy   781    135579     68288    192927    173870     24836    918730    438553     15.35     16.17  --
471.83/118.50	c  N dy   840    144284     68288    192927    173894     33407    918730    643084     15.43     17.47  --
494.17/124.09	c  N dy   859    157988     68288    192927    173894     23572    918730    383030     15.27     12.84  --
494.17/124.09	c  S st   859    157988     68288    192927    173894     23572    918730    383030     15.27     12.84  --
494.60/124.17	c Finding binary XORs  T:     0.18 s  found:    1313
494.95/124.23	c Replacing     1626 vars Replaced    34838 lits Time:     0.24 s 
496.55/124.60	c  S st   859    158489     65860    188384    174144     24021    900466    389054     15.27   no data  --
496.55/124.65	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:    128 locsubst:    12 time:   0.18
518.89/130.29	c Flit:   108 Blit:     12 bXBeca:    0 bXProp:  831 Bins:   6823 BRemL:  12029 BRemN:   1299 P: 50.7M T: 22.49
518.89/130.29	c Cleaning up after failed var search:     0.00 s 
519.29/130.38	c Replacing      836 vars Replaced    21518 lits Time:     0.31 s 
519.69/130.49	c bin-w-bin subsume rem         5655 bins  time:  0.12 s
520.10/130.58	c subs with bin:     4089  lits-rem:      2071  v-fix:    0  time:  0.37 s
520.93/130.71	c Subs w/ non-existent bins:    223 l-rem:   7688 v-fix:     0 done:  21336 time:  0.48 s
520.93/130.77	c Removed useless bin:    1116  fixed:     0  props:   4.67M  time:  0.25 s
525.66/131.97	c lits-rem:      3976  cl-subs:     3038  v-elim:   1049  v-fix:    0  time:  4.78 s
526.06/132.09	c vivif2 --  cl tried   181360 cl shrink     4146 lits rem       4225 time: 0.46
526.46/132.13	c vivif2 --  cl tried    23753 cl shrink     3199 lits rem       7417 time: 0.17
528.47/132.64	c asymm  cl-useful: 278/9287/180337 lits-rem:834 time: 2.05
528.47/132.69	c calculated reachability. Time: 0.13
528.87/132.70	c  N dy   859    158489     63722    180059    157007     23752    862541    343877     15.27   no data  --
528.87/132.79	c Finding binary XORs  T:     0.36 s  found:      30
552.79/138.75	c  N dy   870    174441     63709    180059    157075     39553    862541    725478     15.09     15.90  --
556.78/139.73	c Finding binary XORs  T:     0.36 s  found:     364
624.20/156.65	c  N dy   881    220702     63592    179474    161404     35170    860421    588879     14.57     15.39  --
624.60/156.78	c Finding binary XORs  T:     0.36 s  found:     345
625.00/156.83	c Replacing      739 vars Replaced    17198 lits Time:     0.22 s 
654.52/164.23	c  N dy   894    237733     62725    178447    162451     52045    855934   1006299     14.42     11.02  --
654.52/164.23	c  S st   894    237733     62725    178447    162451     52045    855934   1006299     14.42     11.02  --
656.11/164.68	c  S st   894    238233     62725    178447    162487     52501    855934   1008867     14.42   no data  --
656.52/164.72	c x-sub:     5 x-cut:      0 vfix:      0 v-elim:    128 locsubst:     4 time:   0.17
656.52/164.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
677.66/170.08	c Flit:    37 Blit:      4 bXBeca:    0 bXProp:  161 Bins:   2041 BRemL:   4066 BRemN:    860 P: 57.7M T: 21.30
678.06/170.17	c Replacing      163 vars Replaced     4335 lits Time:     0.32 s 
678.47/170.30	c bin-w-bin subsume rem         3373 bins  time:  0.12 s
679.24/170.44	c subs with bin:     1634  lits-rem:       571  v-fix:    0  time:  0.58 s
679.64/170.55	c Subs w/ non-existent bins:     49 l-rem:   1805 v-fix:     0 done:  19527 time:  0.42 s
680.04/170.61	c Removed useless bin:     623  fixed:     0  props:   4.49M  time:  0.25 s
688.82/172.86	c lits-rem:      1094  cl-subs:     2575  v-elim:    441  v-fix:    0  time:  8.95 s
689.22/172.97	c vivif2 --  cl tried   176408 cl shrink      939 lits rem        981 time: 0.44
690.02/173.13	c vivif2 --  cl tried    50767 cl shrink    12025 lits rem      31670 time: 0.66
692.06/173.63	c asymm  cl-useful: 662/9382/176036 lits-rem:1986 time: 1.96
692.06/173.67	c calculated reachability. Time: 0.12
692.06/173.68	c  N dy   894    238233     61946    175374    154224     50767    842990    929371     14.42   no data  --
692.41/173.76	c Finding binary XORs  T:     0.35 s  found:       8
721.53/181.06	c  N dy   909    256430     61943    175374    154309     42219    842990    727821     14.33     15.13  --
760.23/190.79	c  N dy   920    279164     61942    175374    154319     37057    842990    590339     14.15     14.98  --
794.53/199.30	c  N dy   926    300720     61941    175374    154321     29685    842990    377739     14.01     14.89  --
802.91/201.42	c  F st   931    306251     61940    175374    154321     35178    842990    507488     13.98     14.09  --
802.91/201.50	c Replacing        8 vars Replaced      149 lits Time:     0.20 s 
834.82/209.46	c  N dy   939    324121     61931    175358    154182     52835    842864    930400     13.88     14.65  --
835.22/209.59	c Finding binary XORs  T:     0.36 s  found:    1097
835.62/209.64	c Replacing     1097 vars Replaced    23881 lits Time:     0.22 s 
874.32/219.38	c  N dy   946    346578     60250    172763    157285     45395    831785    767392     13.77     14.51  --
893.07/224.00	c  S st   952    357350     60249    172763    157293     56062    831785   1024502     13.70      9.18  --
894.66/224.44	c  S st   952    357852     60249    172763    157342     56529    831784   1026958     13.70   no data  --
894.66/224.49	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
895.06/224.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
914.60/229.46	c Flit:    52 Blit:      5 bXBeca:    0 bXProp:  259 Bins:   2803 BRemL:   4201 BRemN:    793 P: 52.7M T: 19.79
915.00/229.55	c Replacing      259 vars Replaced     6388 lits Time:     0.33 s 
915.41/229.69	c bin-w-bin subsume rem         4635 bins  time:  0.12 s
916.19/229.84	c subs with bin:     1275  lits-rem:       418  v-fix:    0  time:  0.60 s
916.60/229.94	c Subs w/ non-existent bins:     22 l-rem:   3336 v-fix:     0 done:   7650 time:  0.40 s
917.00/230.00	c Removed useless bin:     447  fixed:     0  props:   4.26M  time:  0.26 s
927.37/232.69	c lits-rem:      1636  cl-subs:     3250  v-elim:    817  v-fix:    0  time: 10.72 s
928.17/232.83	c vivif2 --  cl tried   171136 cl shrink     2105 lits rem       2193 time: 0.56
929.01/233.03	c vivif2 --  cl tried    54558 cl shrink    12645 lits rem      35816 time: 0.76
930.96/233.59	c asymm  cl-useful: 323/7676/170463 lits-rem:969 time: 2.24
931.36/233.64	c calculated reachability. Time: 0.14
931.36/233.65	c  N dy   952    357852     59111    170140    147541     54558    818748    938156     13.70   no data  --
931.76/233.74	c Finding binary XORs  T:     0.39 s  found:       4
968.85/243.01	c  N dy   970    377918     59064    170140    149057     43789    818748    686963     13.64     14.38  --
995.17/249.68	c Finding binary XORs  T:     0.34 s  found:     116
1006.36/252.47	c  N dy   998    398059     59062    169947    148910     31930    817976    376453     13.59     14.41  --
1040.66/261.00	c  N dy  1011    418648     59062    169947    148913     52336    817976    874250     13.52     14.27  --
1052.62/264.02	c Finding binary XORs  T:     0.34 s  found:     197
1082.59/271.57	c  N dy  1030    439629     58979    169632    150663     40522    816671    577942     13.43     14.28  --
1129.62/283.36	c  N dy  1071    466521     58978    169632    150664     67174    816671   1201695     13.36     14.13  --
1183.09/296.76	c  N dy  1081    495261     58978    169632    150665     61915    816671   1067304     13.24     13.96  --
1221.37/306.33	c  N dy  1117    516634     58978    169632    150665     48426    816671    705396     13.18     13.88  --
1260.06/316.02	c  N dy  1159    536650     58978    169632    150665     68302    816671   1189184     13.15     13.89  --
1260.06/316.07	c  S st  1160    536778     58978    169632    150665     68430    816671   1192221     13.15     12.68  --
1262.07/316.58	c  S st  1160    537281     58976    169632    150694     68894    816669   1194693     13.15   no data  --
1262.50/316.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
1262.50/316.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
1282.40/321.65	c Flit:    47 Blit:      3 bXBeca:    0 bXProp:  212 Bins:   2345 BRemL:   2448 BRemN:    443 P: 54.9M T: 19.99
1282.80/321.74	c Replacing      529 vars Replaced    11917 lits Time:     0.33 s 
1283.20/321.88	c bin-w-bin subsume rem         1713 bins  time:  0.11 s
1284.01/322.04	c subs with bin:     1086  lits-rem:       382  v-fix:    0  time:  0.63 s
1284.45/322.14	c Subs w/ non-existent bins:     50 l-rem:   3756 v-fix:     0 done:  12149 time:  0.39 s
1284.80/322.20	c Removed useless bin:     493  fixed:     0  props:   4.06M  time:  0.24 s
1295.17/324.80	c lits-rem:      1911  cl-subs:     2193  v-elim:    250  v-fix:    0  time: 10.37 s
1295.57/324.91	c vivif2 --  cl tried   168058 cl shrink      717 lits rem        768 time: 0.44
1296.37/325.14	c vivif2 --  cl tried    67143 cl shrink    15803 lits rem      38244 time: 0.95
1296.77/325.20	c asymm  cl-useful: 18/552/167745 lits-rem:54 time: 0.23
1296.77/325.25	c calculated reachability. Time: 0.12
1296.77/325.25	c  N dy  1160    537281     58145    167727    146040     67142    806336   1115766     13.15   no data  --
1297.18/325.34	c Finding binary XORs  T:     0.33 s  found:       2
1334.66/334.79	c  N dy  1209    557465     58142    167727    146125     51572    806336    772141     13.14     13.84  --
1375.35/344.99	c  N dy  1253    578988     58141    167727    146135     72905    806336   1275453     13.12     13.84  --
1416.08/355.18	c  N dy  1303    600677     58141    167727    146135     57726    806336    895019     13.09     13.86  --
1452.73/364.37	c  N dy  1324    620777     58141    167727    146135     39988    806336    459810     13.03     14.16  --
1487.04/372.98	c  N dy  1374    640856     58141    167727    146135     59877    806336    926764     13.01     14.17  --
1547.29/388.07	c  N dy  1393    672524     58141    167727    146135     52513    806336    716807     12.92     13.94  --
1589.96/398.73	c  N dy  1421    696242     58141    167727    146135     76059    806336   1277524     12.88     13.58  --
1614.30/404.84	c Finding binary XORs  T:     0.34 s  found:     123
1630.67/408.95	c  N dy  1444    717719     58098    167547    147633     57704    805544    850348     12.84     13.56  --
1671.74/419.21	c  N dy  1516    737869     58098    167547    147633     77663    805544   1310226     12.83     13.64  --
1687.30/423.10	c Finding binary XORs  T:     0.35 s  found:     251
1712.03/429.31	c  N dy  1550    757959     57980    167040    150016     56952    803708    820642     12.80     15.11  --
1766.28/442.97	c  N dy  1639    778779     57980    167040    150025     77630    803708   1322439     12.80     13.52  --
1809.75/453.89	c  N dy  1707    798946     57980    167040    150026     56043    803708    771137     12.79     13.51  --
1823.72/457.32	c  S st  1724    805922     57980    167040    150026     62957    803708    938378     12.79     11.99  --
1825.70/457.80	c  S st  1724    806423     57980    167040    150051     63424    803708    941193     12.79   no data  --
1825.70/457.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1825.70/457.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
1844.45/462.51	c Flit:    36 Blit:      2 bXBeca:    0 bXProp:  181 Bins:   1568 BRemL:   2876 BRemN:    329 P: 46.6M T: 18.53
1844.85/462.60	c Replacing      557 vars Replaced    12141 lits Time:     0.32 s 
1845.25/462.73	c bin-w-bin subsume rem         1438 bins  time:  0.11 s
1845.66/462.86	c subs with bin:     1072  lits-rem:       371  v-fix:    0  time:  0.51 s
1846.09/462.92	c Subs w/ non-existent bins:     19 l-rem:   2617 v-fix:     0 done:   1182 time:  0.26 s
1846.09/462.98	c Removed useless bin:     324  fixed:     0  props:   3.89M  time:  0.23 s
1854.44/465.05	c lits-rem:      2053  cl-subs:     1622  v-elim:    286  v-fix:    0  time:  8.26 s
1854.87/465.16	c vivif2 --  cl tried   165761 cl shrink      670 lits rem        685 time: 0.43
1855.63/465.33	c vivif2 --  cl tried    62172 cl shrink     9773 lits rem      23266 time: 0.67
1857.22/465.79	c asymm  cl-useful: 199/4874/165494 lits-rem:199 time: 1.86
1857.62/465.84	c calculated reachability. Time: 0.11
1857.62/465.84	c  N dy  1724    806423     57094    165494    144472     62172    795610    886568     12.79   no data  --
1858.02/465.93	c Finding binary XORs  T:     0.34 s  found:       1
1902.30/477.05	c  N dy  1741    827636     57090    165494    144475     83111    795610   1377511     12.75     13.44  --
1943.78/487.42	c  N dy  1792    848276     57088    165494    144561     61032    795610    872425     12.73     13.51  --
1986.09/498.07	c  N dy  1892    868308     57085    165494    144561     80912    795610   1351256     12.73     16.74  --
2026.75/508.23	c  N dy  1947    888484     57085    165494    144562     57281    795610    762789     12.72     13.49  --
2065.51/517.94	c  N dy  1993    908559     57084    165494    144562     77165    795610   1235511     12.71     14.71  --
2110.13/529.17	c  N dy  2059    928723     57084    165494    144562     52567    795610    630001     12.70     13.40  --
2121.70/532.02	c Finding binary XORs  T:     0.34 s  found:     102
2165.18/542.91	c  N dy  2147    955603     57041    165310    145158     79235    794835   1283490     12.69     13.41  --
2213.86/555.18	c  N dy  2198    979281     57041    165310    145161     57100    794835    717445     12.67     13.34  --
2254.93/565.46	c  N dy  2277   1000932     57041    165310    145161     78582    794835   1248401     12.67     13.42  --
2299.22/576.59	c  N dy  2375   1021025     57041    165310    145161     51934    794835    577036     12.68     14.80  --
2375.82/595.76	c  N dy  2425   1057315     57041    165310    145161     87745    794835   1409217     12.61     13.28  --
2405.73/603.27	c  F st  2471   1071875     57041    165310    145162     54682    794835    626624     12.60     12.75  --
2406.13/603.32	c Replacing      103 vars Replaced     2277 lits Time:     0.20 s 
2418.09/606.34	c  N dy  2478   1077443     56938    165260    144916     60217    794491    770537     12.60     13.41  --
2460.00/616.91	c  N dy  2545   1097596     56938    165260    144921     80206    794491   1241526     12.60     13.30  --
2509.04/629.15	c  N dy  2609   1118336     56938    165260    144921     52196    794491    554390     12.59     13.33  --
2559.71/641.89	c  N dy  2692   1143678     56938    165260    144922     77320    794491   1155769     12.58     13.34  --
2606.38/653.55	c  N dy  2766   1163696     56938    165260    144922     97138    794491   1618155     12.57     14.17  --
2645.87/663.44	c  N dy  2843   1183703     56938    165260    144922     67453    794491    910211     12.57     13.30  --
2659.83/666.94	c Finding binary XORs  T:     0.33 s  found:     125
2692.98/675.21	c  N dy  2940   1203798     56885    165093    145742     87402    793668   1412985     12.58     13.92  --
2706.14/678.52	c  S st  2947   1209634     56885    165093    145742     93133    793668   1536090     12.57     11.58  --
2708.09/679.07	c  S st  2947   1210134     56885    165093    145760     93608    793668   1539561     12.57   no data  --
2708.49/679.12	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
2708.49/679.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
2726.44/683.64	c Flit:    19 Blit:      1 bXBeca:    0 bXProp:   64 Bins:    991 BRemL:   1184 BRemN:    206 P: 51.1M T: 17.99
2726.84/683.73	c Replacing      189 vars Replaced     4279 lits Time:     0.34 s 
2727.24/683.88	c bin-w-bin subsume rem          874 bins  time:  0.10 s
2728.09/684.07	c subs with bin:      585  lits-rem:       209  v-fix:    0  time:  0.72 s
2728.44/684.17	c Subs w/ non-existent bins:     18 l-rem:   2792 v-fix:     0 done:  10944 time:  0.42 s
2728.84/684.23	c Removed useless bin:     221  fixed:     0  props:   3.68M  time:  0.22 s
2745.64/688.42	c lits-rem:      1363  cl-subs:     2089  v-elim:    168  v-fix:    0  time: 16.73 s
2745.99/688.53	c vivif2 --  cl tried   164495 cl shrink      406 lits rem        410 time: 0.44
2747.19/688.86	c vivif2 --  cl tried    91673 cl shrink    21480 lits rem      56240 time: 1.32
2749.19/689.32	c asymm  cl-useful: 133/4187/164335 lits-rem:137 time: 1.84
2749.19/689.37	c calculated reachability. Time: 0.11
2749.19/689.37	c  N dy  2947   1210134     56503    164334    143319     91673    789715   1446323     12.57   no data  --
2760.35/692.19	c Finding binary XORs  T:     0.34 s  found:     244
2792.66/700.25	c  N dy  3002   1230531     56363    163791    146019     61352    787473    732230     12.56     13.34  --
2835.35/710.97	c  N dy  3066   1251363     56363    163791    146025     82014    787473   1229114     12.55     13.25  --
2881.24/722.47	c  N dy  3125   1271899     56363    163791    146028    102376    787473   1704462     12.54     13.23  --
2919.92/732.15	c  N dy  3210   1292000     56363    163791    146028     70771    787473    945631     12.54     13.25  --
2963.00/742.98	c  N dy  3280   1312361     56362    163791    146032     91002    787473   1439252     12.54     13.42  --
3011.68/755.17	c  N dy  3370   1333586     56362    163791    146033     59518    787473    678003     12.54     13.21  --
3051.16/765.10	c  N dy  3439   1353968     56361    163791    146034     79707    787473   1157504     12.53     13.21  --
3095.84/776.30	c  N dy  3510   1374022     56360    163791    146035     99563    787473   1634391     12.53     15.27  --
3138.53/786.97	c  N dy  3582   1394496     56359    163791    146036     66316    787473    800183     12.53     13.22  --
3180.40/797.47	c  N dy  3649   1414516     56359    163791    146036     86154    787473   1297094     12.52     15.65  --
3227.48/809.27	c  N dy  3696   1435368     56359    163791    146037    106771    787473   1753529     12.51     13.32  --
3268.96/819.64	c  N dy  3731   1455376     56359    163791    146037     72090    787473    967826     12.49     16.75  --
3312.44/830.58	c  N dy  3801   1475440     56359    163791    146037     91977    787473   1457042     12.49     13.25  --
3359.96/842.46	c  N dy  3877   1495592     56359    163791    146037     56463    787473    550992     12.49     13.17  --
3399.80/852.43	c  N dy  3948   1515686     56359    163791    146038     76363    787473   1008834     12.48     13.16  --
3448.47/864.64	c  N dy  4020   1536719     56358    163791    146038     97230    787473   1523361     12.48     13.20  --
3494.75/876.22	c  N dy  4062   1558165     56358    163791    146038     61880    787473    646179     12.46     13.13  --
3534.64/886.25	c  N dy  4132   1578256     56358    163791    146038     81820    787473   1118968     12.46     13.21  --
3580.91/897.86	c  N dy  4199   1598303     56358    163791    146039    101664    787473   1612601     12.46     13.20  --
3627.20/909.48	c  N dy  4282   1618555     56358    163791    146040     64312    787473    710011     12.46     13.13  --
3668.27/919.79	c  N dy  4355   1638648     56358    163791    146040     84257    787473   1199352     12.45     15.19  --
3718.14/932.24	c  N dy  4421   1659976     56357    163791    146040    105381    787473   1682840     12.45     13.12  --
3770.38/945.39	c  N dy  4474   1680003     56357    163791    146040     66753    787473    756390     12.44     13.10  --
3822.65/958.42	c  N dy  4539   1704000     56357    163791    146040     90503    787473   1331829     12.43     13.09  --
3837.41/962.12	c  S st  4562   1710135     56357    163791    146040     96568    787473   1476012     12.43      9.86  --
3839.39/962.65	c  S st  4562   1710636     56357    163791    146061     97040    787473   1478752     12.43   no data  --
3839.39/962.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
3839.79/962.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
3857.75/967.29	c Flit:    75 Blit:      0 bXBeca:    0 bXProp:  205 Bins:   1860 BRemL:   2075 BRemN:    222 P: 50.6M T: 18.27
3858.15/967.38	c Replacing      449 vars Replaced    10190 lits Time:     0.35 s 
3858.95/967.53	c bin-w-bin subsume rem         1199 bins  time:  0.10 s
3859.35/967.70	c subs with bin:      475  lits-rem:       209  v-fix:    0  time:  0.67 s
3859.76/967.78	c Subs w/ non-existent bins:      5 l-rem:   3111 v-fix:     0 done:   1868 time:  0.30 s
3860.19/967.83	c Removed useless bin:     239  fixed:     0  props:   3.44M  time:  0.22 s
3874.50/971.42	c lits-rem:      1655  cl-subs:     2454  v-elim:    269  v-fix:    0  time: 14.33 s
3874.90/971.53	c vivif2 --  cl tried   163167 cl shrink      599 lits rem        614 time: 0.43
3876.10/971.86	c vivif2 --  cl tried    94895 cl shrink    17545 lits rem      46872 time: 1.30
3878.09/972.33	c asymm  cl-useful: 64/12101/162936 lits-rem:76 time: 1.87
3878.09/972.37	c calculated reachability. Time: 0.11
3878.09/972.38	c  N dy  4562   1710636     55557    162932    142057     94895    781696   1389678     12.43   no data  --
3878.49/972.46	c Finding binary XORs  T:     0.34 s  found:       0
3926.75/984.51	c  N dy  4637   1731345     55484    162932    143674    115287    781695   1887055     12.43     13.12  --
3927.15/984.63	c Finding binary XORs  T:     0.33 s  found:     113
3972.64/996.05	c  N dy  4748   1751394     55417    162648    144555     75816    780534    979381     12.44     14.14  --
3979.41/997.75	c Finding binary XORs  T:     0.34 s  found:     220
4019.70/1007.85	c  N dy  4886   1771469     55415    162396    144229     95754    779473   1475145     12.45     15.49  --
4069.17/1020.27	c  N dy  4996   1791957     55412    162396    144229    116103    779473   1988568     12.46     13.16  --
4114.69/1031.66	c  N dy  5118   1811983     55412    162396    144229     75583    779473    963349     12.47     15.66  --
4162.13/1043.59	c  N dy  5217   1831992     55412    162396    144230     95400    779473   1474695     12.47     13.43  --
4212.78/1056.28	c  N dy  5286   1853467     55411    162396    144231    116716    779473   2018388     12.47     13.15  --
4258.26/1067.63	c  N dy  5379   1873567     55411    162396    144233     75209    779473    905795     12.47     14.15  --
4321.69/1083.51	c  N dy  5489   1902086     55411    162396    144233    103425    779473   1567396     12.47     13.13  --
4374.34/1096.74	c  N dy  5606   1922394     55411    162396    144236    123597    779473   2074753     12.48     13.23  --
4418.22/1107.70	c  N dy  5657   1942478     55411    162396    144236     80994    779473   1022714     12.47     14.89  --
4467.29/1120.06	c  N dy  5786   1962564     55410    162396    144236    100949    779473   1537586     12.48     13.23  --
4517.97/1132.78	c  N dy  5896   1982623     55409    162396    144236    120858    779473   2049515     12.48     15.03  --
4565.83/1144.79	c  N dy  6016   2002679     55409    162396    144236     77312    779473    935493     12.49     13.16  --
4615.69/1157.22	c  N dy  6114   2024284     55409    162396    144236     98738    779473   1472371     12.49     13.15  --
4667.16/1170.17	c  N dy  6246   2044327     55409    162396    144237    118621    779473   1971317     12.50     13.40  --
4717.41/1182.70	c  N dy  6339   2064416     55409    162396    144238     74065    779473    823617     12.51     13.29  --
4761.29/1193.77	c  N dy  6447   2084426     55409    162396    144239     93946    779473   1328796     12.51     14.13  --

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: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.58 7.01 6.96 5/352 2136
/proc/meminfo: memFree=23014184/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 651023123 52465664 353 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634571761 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 12809 353 303 112 0 7774 0
[pid=2136/tid=2137] ppid=2134 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651023123 52465664 353 33554432000 4194304 4650419 140733923589296 18446744073709551615 47469210732460 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651023123 52465664 353 33554432000 4194304 4650419 140733923589296 18446744073709551615 47469210732460 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651023123 52465664 353 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0911749 s]
/proc/loadavg: 7.58 7.01 6.96 5/352 2136
/proc/meminfo: memFree=23014184/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=385976 CPUtime=0.29 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 22298 0 0 0 21 8 0 0 17 0 4 0 651023123 395239424 18034 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 96494 18034 344 112 0 91459 0
[pid=2136/tid=2137] ppid=2134 vsize=385976 CPUtime=0.07 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 5693 0 0 0 5 2 0 0 18 0 4 0 651023123 395239424 18034 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634573226 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=386696 CPUtime=0.07 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 5629 0 0 0 6 1 0 0 17 0 4 0 651023123 395976704 18037 33554432000 4194304 4650419 140733923589296 18446744073709551615 4545898 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=386696 CPUtime=0.06 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) D 2134 2136 1623 0 -1 4202560 5310 0 0 0 4 2 0 0 17 0 4 0 651023123 395976704 18037 33554432000 4194304 4650419 140733923589296 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 385976

[startup+0.102766 s]
/proc/loadavg: 7.58 7.01 6.96 5/352 2136
/proc/meminfo: memFree=23014184/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=392276 CPUtime=0.33 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 24100 0 0 0 23 10 0 0 17 0 4 0 651023123 401690624 19787 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 98069 20136 344 112 0 93034 0
[pid=2136/tid=2137] ppid=2134 vsize=392276 CPUtime=0.07 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 6297 0 0 0 5 2 0 0 18 0 4 0 651023123 401690624 20237 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=392276 CPUtime=0.08 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 6223 0 0 0 6 2 0 0 18 0 4 0 651023123 401690624 20413 33554432000 4194304 4650419 140733923589296 18446744073709551615 4545872 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=392276 CPUtime=0.07 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) S 2134 2136 1623 0 -1 4202560 5975 0 0 0 5 2 0 0 17 0 4 0 651023123 401690624 20558 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634620398 0 0 4096 2 18446604461208009792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 392276

[startup+0.303597 s]
/proc/loadavg: 7.58 7.01 6.96 5/352 2136
/proc/meminfo: memFree=23014184/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=491680 CPUtime=1.01 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 76603 0 0 0 67 34 0 0 17 0 4 0 651023123 503480320 59318 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 122920 59899 344 112 0 117885 0
[pid=2136/tid=2137] ppid=2134 vsize=491680 CPUtime=0.24 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) D 2134 2136 1623 0 -1 4202560 20280 0 0 0 16 8 0 0 17 0 4 0 651023123 503480320 59899 33554432000 4194304 4650419 140733923589296 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=491680 CPUtime=0.24 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 20170 0 0 0 16 8 0 0 17 0 4 0 651023123 503480320 59899 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634573226 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=491680 CPUtime=0.25 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) D 2134 2136 1623 0 -1 4202560 18917 0 0 0 16 9 0 0 17 0 4 0 651023123 503480320 59899 33554432000 4194304 4650419 140733923589296 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 491680

[startup+1.53138 s]
/proc/loadavg: 7.58 7.01 6.96 5/352 2136
/proc/meminfo: memFree=23014184/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=638508 CPUtime=5.79 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 123911 0 0 0 519 60 0 0 19 0 4 0 651023123 653832192 101414 33554432000 4194304 4650419 140733923589296 18446744073709551615 4370264 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 159627 101414 373 112 0 154592 0
[pid=2136/tid=2137] ppid=2134 vsize=638508 CPUtime=1.44 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32717 0 0 0 131 13 0 0 19 0 4 0 651023123 653832192 101414 33554432000 4194304 4650419 140733923589296 18446744073709551615 4369255 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=638508 CPUtime=1.44 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32813 0 0 0 128 16 0 0 19 0 4 0 651023123 653832192 101414 33554432000 4194304 4650419 140733923589296 18446744073709551615 4243879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=638508 CPUtime=1.44 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 29015 0 0 0 129 15 0 0 19 0 4 0 651023123 653832192 101414 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 638508

[startup+1.60037 s]
/proc/loadavg: 7.58 7.01 6.96 5/352 2136
/proc/meminfo: memFree=23014184/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=638508 CPUtime=6.07 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 123915 0 0 0 547 60 0 0 19 0 4 0 651023123 653832192 101418 33554432000 4194304 4650419 140733923589296 18446744073709551615 4244377 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 159627 101418 373 112 0 154592 0
[pid=2136/tid=2137] ppid=2134 vsize=638508 CPUtime=1.51 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32717 0 0 0 138 13 0 0 19 0 4 0 651023123 653832192 101418 33554432000 4194304 4650419 140733923589296 18446744073709551615 4245504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=638508 CPUtime=1.51 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32813 0 0 0 135 16 0 0 19 0 4 0 651023123 653832192 101418 33554432000 4194304 4650419 140733923589296 18446744073709551615 4245488 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=638508 CPUtime=1.5 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 29019 0 0 0 135 15 0 0 19 0 4 0 651023123 653832192 101418 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 638508

[startup+3.11313 s]
/proc/loadavg: 7.58 7.01 6.96 9/356 2140
/proc/meminfo: memFree=22599208/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=638508 CPUtime=12.09 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 124085 0 0 0 1149 60 0 0 22 0 4 0 651023123 653832192 101588 33554432000 4194304 4650419 140733923589296 18446744073709551615 4369342 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 159627 101588 373 112 0 154592 0
[pid=2136/tid=2137] ppid=2134 vsize=638508 CPUtime=3.02 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32733 0 0 0 289 13 0 0 22 0 4 0 651023123 653832192 101588 33554432000 4194304 4650419 140733923589296 18446744073709551615 4369373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=638508 CPUtime=3.03 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32884 0 0 0 287 16 0 0 22 0 4 0 651023123 653832192 101588 33554432000 4194304 4650419 140733923589296 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=638508 CPUtime=2.99 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 29092 0 0 0 284 15 0 0 22 0 4 0 651023123 653832192 101588 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364962 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 638508

[startup+6.30055 s]
/proc/loadavg: 7.62 7.02 6.96 9/356 2141
/proc/meminfo: memFree=22638368/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=650560 CPUtime=24.82 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 128053 0 0 0 2421 61 0 0 25 0 4 0 651023123 666173440 105556 33554432000 4194304 4650419 140733923589296 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 162640 105556 374 112 0 157605 0
[pid=2136/tid=2137] ppid=2134 vsize=650560 CPUtime=6.22 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32886 0 0 0 609 13 0 0 25 0 4 0 651023123 666173440 105556 33554432000 4194304 4650419 140733923589296 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=650560 CPUtime=6.22 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 33131 0 0 0 606 16 0 0 25 0 4 0 651023123 666173440 105556 33554432000 4194304 4650419 140733923589296 18446744073709551615 4370270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=650560 CPUtime=6.16 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 32473 0 0 0 600 16 0 0 25 0 4 0 651023123 666173440 105556 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 650560

[startup+12.7004 s]
/proc/loadavg: 7.65 7.04 6.97 9/356 2141
/proc/meminfo: memFree=22358580/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=1024840 CPUtime=50.29 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 202544 0 0 0 4948 81 0 0 20 0 4 0 651023123 1049436160 170245 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 256210 170245 393 112 0 251175 0
[pid=2136/tid=2137] ppid=2134 vsize=1024840 CPUtime=12.59 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 58381 0 0 0 1240 19 0 0 20 0 4 0 651023123 1049436160 170245 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1024840 CPUtime=12.59 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 55138 0 0 0 1237 22 0 0 20 0 4 0 651023123 1049436160 170245 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363314 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1024840 CPUtime=12.48 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 33065 0 0 0 1232 16 0 0 24 0 4 0 651023123 1049436160 170245 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 1024840

[startup+25.5012 s]
/proc/loadavg: 7.79 7.10 6.99 9/356 2141
/proc/meminfo: memFree=22379056/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=1026672 CPUtime=101.34 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 250014 0 0 0 10046 88 0 0 25 0 4 0 651023123 1051312128 169692 33554432000 4194304 4650419 140733923589296 18446744073709551615 4480662 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 256668 169692 395 112 0 251633 0
[pid=2136/tid=2137] ppid=2134 vsize=1026672 CPUtime=25.4 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 60665 0 0 0 2520 20 0 0 25 0 4 0 651023123 1051312128 169692 33554432000 4194304 4650419 140733923589296 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1026672 CPUtime=25.39 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 58381 0 0 0 2516 23 0 0 25 0 4 0 651023123 1051312128 169692 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363734 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1026672 CPUtime=25.14 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 73334 0 0 0 2493 21 0 0 25 0 4 0 651023123 1051312128 169692 33554432000 4194304 4650419 140733923589296 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 1026672

[startup+51.1007 s]
/proc/loadavg: 7.94 7.19 7.02 9/356 2142
/proc/meminfo: memFree=21774008/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=1053756 CPUtime=203.41 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 310463 0 0 0 20235 106 0 0 25 0 4 0 651023123 1079046144 209678 33554432000 4194304 4650419 140733923589296 18446744073709551615 4229472 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 263439 209679 395 112 0 258404 0
[pid=2136/tid=2137] ppid=2134 vsize=1053756 CPUtime=50.92 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 74298 0 0 0 5068 24 0 0 25 0 4 0 651023123 1079046144 209679 33554432000 4194304 4650419 140733923589296 18446744073709551615 4436180 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1053756 CPUtime=50.97 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 68446 0 0 0 5071 26 0 0 25 0 4 0 651023123 1079046144 209679 33554432000 4194304 4650419 140733923589296 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1053756 CPUtime=50.51 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 87329 0 0 0 5027 24 0 0 25 0 4 0 651023123 1079046144 209679 33554432000 4194304 4650419 140733923589296 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.41
Current children cumulated vsize (KiB) 1053756

[startup+102.301 s]
/proc/loadavg: 8.08 7.34 7.08 9/356 2233
/proc/meminfo: memFree=25001616/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=1343184 CPUtime=407.6 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 436592 0 0 0 40625 135 0 0 25 0 4 0 651023123 1375420416 263836 33554432000 4194304 4650419 140733923589296 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 335796 263836 395 112 0 330761 0
[pid=2136/tid=2137] ppid=2134 vsize=1343184 CPUtime=101.55 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 99923 0 0 0 10124 31 0 0 25 0 4 0 651023123 1375420416 263836 33554432000 4194304 4650419 140733923589296 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1343184 CPUtime=102.17 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 116136 0 0 0 10181 36 0 0 25 0 4 0 651023123 1375420416 263836 33554432000 4194304 4650419 140733923589296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1343184 CPUtime=101.7 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 124240 0 0 0 10138 32 0 0 25 0 4 0 651023123 1375420416 263836 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.6
Current children cumulated vsize (KiB) 1343184

[startup+162.301 s]

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

[pid=2136] ppid=2134 vsize=1969784 CPUtime=2561.69 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 704952 0 0 0 255946 223 0 0 25 0 4 0 651023123 2017058816 390970 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 492446 390970 397 112 0 487411 0
[pid=2136/tid=2137] ppid=2134 vsize=1969784 CPUtime=635.62 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 147656 0 0 0 63514 48 0 0 25 0 4 0 651023123 2017058816 390970 33554432000 4194304 4650419 140733923589296 18446744073709551615 4328437 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1969784 CPUtime=642.17 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 192818 0 0 0 64155 62 0 0 25 0 4 0 651023123 2017058816 390970 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1969784 CPUtime=641.71 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 216815 0 0 0 64111 60 0 0 25 0 4 0 651023123 2017058816 390970 33554432000 4194304 4650419 140733923589296 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.69
Current children cumulated vsize (KiB) 1969784

[startup+702.3 s]
/proc/loadavg: 8.07 8.00 7.56 9/356 2320
/proc/meminfo: memFree=23176660/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2035320 CPUtime=2801.05 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 714529 0 0 0 279876 229 0 0 25 0 4 0 651023123 2084167680 387908 33554432000 4194304 4650419 140733923589296 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 508830 387908 397 112 0 503795 0
[pid=2136/tid=2137] ppid=2134 vsize=2035320 CPUtime=694.97 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 148316 0 0 0 69449 48 0 0 25 0 4 0 651023123 2084167680 387908 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2035320 CPUtime=702.18 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 195749 0 0 0 70154 64 0 0 25 0 4 0 651023123 2084167680 387908 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2035320 CPUtime=701.72 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 221329 0 0 0 70109 63 0 0 25 0 4 0 651023123 2084167680 387908 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.05
Current children cumulated vsize (KiB) 2035320

[startup+762.301 s]
/proc/loadavg: 8.14 8.03 7.59 9/356 2322
/proc/meminfo: memFree=23100984/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2035320 CPUtime=3040.39 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 725209 0 0 0 303806 233 0 0 25 0 4 0 651023123 2084167680 395260 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 508830 395260 397 112 0 503795 0
[pid=2136/tid=2137] ppid=2134 vsize=2035320 CPUtime=754.3 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 148526 0 0 0 75382 48 0 0 25 0 4 0 651023123 2084167680 395260 33554432000 4194304 4650419 140733923589296 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2035320 CPUtime=762.17 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 202809 0 0 0 76151 66 0 0 25 0 4 0 651023123 2084167680 395260 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2035320 CPUtime=761.72 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 224697 0 0 0 76108 64 0 0 25 0 4 0 651023123 2084167680 395260 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.39
Current children cumulated vsize (KiB) 2035320

[startup+822.3 s]
/proc/loadavg: 8.15 8.05 7.63 9/356 2323
/proc/meminfo: memFree=23094500/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2035320 CPUtime=3279.73 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 741354 0 0 0 327735 238 0 0 25 0 4 0 651023123 2084167680 397882 33554432000 4194304 4650419 140733923589296 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 508830 397882 397 112 0 503795 0
[pid=2136/tid=2137] ppid=2134 vsize=2035320 CPUtime=813.64 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 148530 0 0 0 81316 48 0 0 25 0 4 0 651023123 2084167680 397882 33554432000 4194304 4650419 140733923589296 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2035320 CPUtime=822.18 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 206893 0 0 0 82150 68 0 0 25 0 4 0 651023123 2084167680 397882 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2035320 CPUtime=821.73 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 231290 0 0 0 82106 67 0 0 25 0 4 0 651023123 2084167680 397882 33554432000 4194304 4650419 140733923589296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.73
Current children cumulated vsize (KiB) 2035320

[startup+882.301 s]
/proc/loadavg: 8.15 8.07 7.66 9/356 2325
/proc/meminfo: memFree=23054420/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2035320 CPUtime=3519.08 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 752696 0 0 0 351664 244 0 0 25 0 4 0 651023123 2084167680 392715 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 508830 392715 397 112 0 503795 0
[pid=2136/tid=2137] ppid=2134 vsize=2035320 CPUtime=872.98 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 148695 0 0 0 87250 48 0 0 25 0 4 0 651023123 2084167680 392715 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2035320 CPUtime=882.18 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 210442 0 0 0 88148 70 0 0 25 0 4 0 651023123 2084167680 392715 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2035320 CPUtime=881.73 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 237993 0 0 0 88103 70 0 0 25 0 4 0 651023123 2084167680 392715 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.08
Current children cumulated vsize (KiB) 2035320

[startup+942.301 s]
/proc/loadavg: 8.22 8.10 7.69 9/356 2327
/proc/meminfo: memFree=23064552/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2035320 CPUtime=3758.43 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 765817 0 0 0 375594 249 0 0 25 0 4 0 651023123 2084167680 395003 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 508830 395003 397 112 0 503795 0
[pid=2136/tid=2137] ppid=2134 vsize=2035320 CPUtime=932.33 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 148697 0 0 0 93185 48 0 0 25 0 4 0 651023123 2084167680 395003 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2035320 CPUtime=942.18 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 214654 0 0 0 94146 72 0 0 25 0 4 0 651023123 2084167680 395003 33554432000 4194304 4650419 140733923589296 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2035320 CPUtime=941.73 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 244771 0 0 0 94100 73 0 0 25 0 4 0 651023123 2084167680 395003 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.43
Current children cumulated vsize (KiB) 2035320

[startup+1002.3 s]
/proc/loadavg: 8.21 8.11 7.72 9/356 2328
/proc/meminfo: memFree=22978460/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2035320 CPUtime=3997.76 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 782675 0 0 0 399520 256 0 0 25 0 4 0 651023123 2084167680 404786 33554432000 4194304 4650419 140733923589296 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 508830 404786 397 112 0 503795 0
[pid=2136/tid=2137] ppid=2134 vsize=2035320 CPUtime=991.67 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 151237 0 0 0 99118 49 0 0 25 0 4 0 651023123 2084167680 404786 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2035320 CPUtime=1002.18 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 219061 0 0 0 100144 74 0 0 25 0 4 0 651023123 2084167680 404786 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2035320 CPUtime=1001.73 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 250030 0 0 0 100098 75 0 0 25 0 4 0 651023123 2084167680 404786 33554432000 4194304 4650419 140733923589296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.76
Current children cumulated vsize (KiB) 2035320

[startup+1062.3 s]
/proc/loadavg: 8.12 8.10 7.74 9/356 2330
/proc/meminfo: memFree=22882084/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2166392 CPUtime=4237.14 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 804571 0 0 0 423447 267 0 0 25 0 4 0 651023123 2218385408 423072 33554432000 4194304 4650419 140733923589296 18446744073709551615 4334352 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 541598 423072 397 112 0 536563 0
[pid=2136/tid=2137] ppid=2134 vsize=2166392 CPUtime=1051.02 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 155815 0 0 0 105051 51 0 0 25 0 4 0 651023123 2218385408 423072 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364993 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2166392 CPUtime=1062.19 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 224794 0 0 0 106143 76 0 0 25 0 4 0 651023123 2218385408 423072 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363697 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2166392 CPUtime=1061.74 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 256772 0 0 0 106096 78 0 0 25 0 4 0 651023123 2218385408 423072 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.14
Current children cumulated vsize (KiB) 2166392

[startup+1122.3 s]
/proc/loadavg: 8.13 8.11 7.76 9/356 2331
/proc/meminfo: memFree=22824240/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2231928 CPUtime=4476.47 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 817856 0 0 0 447373 274 0 0 25 0 4 0 651023123 2285494272 432743 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364859 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 557982 432743 397 112 0 552947 0
[pid=2136/tid=2137] ppid=2134 vsize=2231928 CPUtime=1110.36 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 159445 0 0 0 110983 53 0 0 25 0 4 0 651023123 2285494272 432743 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2231928 CPUtime=1122.18 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 229682 0 0 0 112139 79 0 0 25 0 4 0 651023123 2285494272 432743 33554432000 4194304 4650419 140733923589296 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2231928 CPUtime=1121.73 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 261539 0 0 0 112093 80 0 0 25 0 4 0 651023123 2285494272 432743 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.47
Current children cumulated vsize (KiB) 2231928

[startup+1182.31 s]
/proc/loadavg: 8.09 8.10 7.78 9/356 2333
/proc/meminfo: memFree=22848888/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2231928 CPUtime=4715.86 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 828941 0 0 0 471306 280 0 0 25 0 4 0 651023123 2285494272 429184 33554432000 4194304 4650419 140733923589296 18446744073709551615 4328256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 557982 429184 397 112 0 552947 0
[pid=2136/tid=2137] ppid=2134 vsize=2231928 CPUtime=1169.71 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 159629 0 0 0 116918 53 0 0 25 0 4 0 651023123 2285494272 429184 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2231928 CPUtime=1182.19 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 236448 0 0 0 118136 83 0 0 25 0 4 0 651023123 2285494272 429184 33554432000 4194304 4650419 140733923589296 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2231928 CPUtime=1181.74 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 262081 0 0 0 118094 80 0 0 25 0 4 0 651023123 2285494272 429184 33554432000 4194304 4650419 140733923589296 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.86
Current children cumulated vsize (KiB) 2231928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.06 8.10 7.78 9/356 2333
/proc/meminfo: memFree=22842928/32951124 swapFree=53501236/67111528
[pid=2136] ppid=2134 vsize=2231928 CPUtime=4800.39 cores=1,3,5,7
/proc/2136/stat : 2136 (strangenight1-m) R 2134 2136 1623 0 -1 4202496 830094 0 0 0 479758 281 0 0 25 0 4 0 651023123 2285494272 430337 33554432000 4194304 4650419 140733923589296 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2136/statm: 557982 430337 397 112 0 552947 0
[pid=2136/tid=2137] ppid=2134 vsize=2231928 CPUtime=1190.67 cores=1,3,5,7
/proc/2136/task/2137/stat : 2137 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 159629 0 0 0 119014 53 0 0 25 0 4 0 651023123 2285494272 430337 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=2231928 CPUtime=1203.39 cores=1,3,5,7
/proc/2136/task/2138/stat : 2138 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 237459 0 0 0 120255 84 0 0 25 0 4 0 651023123 2285494272 430337 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=2231928 CPUtime=1202.94 cores=1,3,5,7
/proc/2136/task/2139/stat : 2139 (strangenight1-m) R 2134 2136 1623 0 -1 4202560 262223 0 0 0 120214 80 0 0 25 0 4 0 651023123 2285494272 430337 33554432000 4194304 4650419 140733923589296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 2231928

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.59
CPU time (s): 4800.52
CPU user time (s): 4797.64
CPU system time (s): 2.88156
CPU usage (%): 398.85
Max. virtual memory (cumulated for all children) (KiB): 2231928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.64
system time used= 2.88156
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 830094
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= 27499
involuntary context switches= 33249

runsolver used 3.66344 second user time and 9.59654 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 19:30:05
IDJOB=3369672
IDBENCH=82459
IDSOLVER=1846
FILE ID=node103/3369672-1305394204
RUNJOBID= node103-1305393839-2045
PBS_JOBID= 13324444
Free space on /tmp= 72792 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369672-1305394204/watcher-3369672-1305394204 -o /tmp/evaluation-result-3369672-1305394204/solver-3369672-1305394204 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369672-1305394204.cnf

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

MD5SUM BENCH= b967fca11e85ef5b614d3452b1c4b2ad
RANDOM SEED=1419544891

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:      23014464 kB
Buffers:        292240 kB
Cached:        4059744 kB
SwapCached:     340192 kB
Active:        4547232 kB
Inactive:      5112932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23014464 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:          110484 kB
Writeback:           0 kB
AnonPages:     4978420 kB
Mapped:          11292 kB
Slab:           152752 kB
PageTables:      59268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81887724 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= 72956 MiB
End job on node103 at 2011-05-14 19:50:11