Trace number 3366709

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.39 1201.96

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
MD5SUMf34a5dd1cdce70a322dd395bcb5f1303
Bench CategoryCRAFTED (crafted 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 variables2548
Number of clauses582679
Sum of the clauses size1167806
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2582629
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366709-1307656474.cnf'
0.00/0.00	c -- header says num vars:           2548
0.00/0.00	c -- header says num clauses:      582679
0.02/0.13	c -- clauses added:            0 learnts,       582679 normals,            0 xors
0.02/0.13	c -- vars added       2548
0.02/0.13	c Parsing time:  0.08 s
0.02/0.13	c  N st     0         0      2548        50    582629         0   1167806         0   no data   no data
0.02/0.13	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.02/0.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.07
0.02/0.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.02/0.40	c bin-w-bin subsume rem            0 bins  time:  0.09 s
0.02/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
0.02/0.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2548 time:  0.06 s
0.44/0.55	c Removed useless bin:       0  fixed:     0  props:   2.92M  time:  0.05 s
5.15/1.33	c lits-rem:       435  cl-subs:        0  v-elim:     50  v-fix:    0  time:  0.16 s
5.15/1.33	c Finding binary XORs  T:     0.01 s  found:       0
5.15/1.33	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
5.15/1.33	c calculated reachability. Time: 0.00
5.15/1.33	c Calc default polars -  time:   0.00 s pos:       0 undec:      50 neg:    2498
5.15/1.33	c =========================================================================================
5.15/1.33	c types(t): F = full restart, N = normal restart
5.15/1.33	c types(t): S = simplification begin/end, E = solution found
5.15/1.33	c restart types(rt): st = static, dy = dynamic
5.15/1.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.15/1.33	c  B st     0         0      2498      8429    571702         0   1630470         0   no data   no data
5.15/1.33	c  N dy     7      4161      2498      8429    571702      4055   1630467   1138047     23.06     25.46
7.54/1.96	c  N dy     8      8198      2498      8429    571702      5539   1630461    985843     16.14     17.05
10.74/2.79	c  N dy    10     13123      2498      8429    571702      6180   1630445    918664     13.55     14.75
13.53/3.47	c  N dy    16     17212      2498      8429    571702     10143   1630435   1659096     12.67     13.48
16.33/4.16	c  N dy    21     21386      2498      8429    571702      8741   1630419   1305253     12.20     13.00
19.15/4.84	c  F st    33     25002      2498      8429    571702     12233   1630417   2015931     12.08      8.70
19.93/5.02	c  N st    35     25629      2498      8429    571702     12837   1630417   2131422     12.08   no data
22.72/5.75	c  N dy    39     30003      2498      8429    571702     10505   1630413   1482779     12.08   no data
22.72/5.75	c  S st    39     30003      2498      8429    571702     10505   1630413   1482779     12.08   no data
23.14/5.84	c  S st    39     30505      2498      8429    571702     11003   1630411   1545252     12.08   no data
23.14/5.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
27.12/6.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 43.4M T:  1.01
27.12/6.88	c blocked clauses removed:        0 vars:      0 tried:        2498 T: 0.00 s
27.54/6.93	c bin-w-bin subsume rem            0 bins  time:  0.05 s
47.89/12.09	c subs with bin:        0  lits-rem:     32899  v-fix:    0  time:  5.16 s
48.30/12.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
48.30/12.19	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
49.51/12.42	c lits-rem:      3072  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
55.48/13.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.42 s
65.46/16.45	c lits-rem:      2147  cl-subs:      600  v-elim:      0  v-fix:    0  time:  2.54 s
66.67/16.71	c asymm  cl-useful: 462/1637/8429 lits-rem:7157 time: 0.26
66.67/16.73	c calculated reachability. Time: 0.00
66.67/16.73	c  N dy    39     30505      2498      8429    571702     10403   1583443   1485366     12.08   no data
69.86/17.60	c  N dy    50     34631      2498      8429    571702     14444   1583443   2141767     11.85     12.53
73.05/18.36	c  N dy    70     38867      2498      8429    571703     10882   1583443   1425743     11.87     12.54
76.27/19.18	c  N dy    91     43156      2498      8429    571703     15081   1583443   2205260     11.88     12.52
79.05/19.80	c  S st   103     45757      2498      8429    571703      8879   1583443    962947     11.91      7.75
79.05/19.88	c  S st   103     46259      2498      8429    571703      9380   1583443   1021629     11.91   no data
79.05/19.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
83.04/20.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 38.8M T:  0.95
83.04/20.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.44/20.90	c bin-w-bin subsume rem            0 bins  time:  0.05 s
102.64/25.72	c subs with bin:        0  lits-rem:     28207  v-fix:    0  time:  4.81 s
102.64/25.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
103.01/25.82	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
103.01/25.88	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
108.60/27.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.38 s
110.60/27.74	c lits-rem:       111  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.43 s
110.60/27.75	c vivif2 --  cl tried     8429 cl shrink     2736 lits rem      36619 time: 0.01
110.60/27.77	c vivif2 --  cl tried     9270 cl shrink        3 lits rem          3 time: 0.02
111.80/28.01	c asymm  cl-useful: 0/1029/8429 lits-rem:0 time: 0.24
111.80/28.02	c calculated reachability. Time: 0.00
111.80/28.02	c  N dy   103     46259      2498      8429    571703      9270   1518366   1014531     11.91   no data
115.42/28.94	c  N dy   127     50931      2498      8429    571703     13834   1518366   1744192     11.97     12.61
119.40/29.92	c  N dy   142     55199      2498      8429    571703     18000   1518366   2497950     11.93     12.56
122.99/30.86	c  N dy   165     59571      2498      8429    571703     12529   1518366   1534141     12.02     12.93
126.57/31.79	c  N dy   189     63685      2498      8429    571703     16527   1518366   2222748     12.12     13.34
131.38/32.97	c  N dy   208     67822      2498      8429    571703     20548   1518366   2897997     12.22     19.34
132.58/33.29	c  S st   212     69388      2498      8429    571703     11375   1518366   1217094     12.18   no data
132.99/33.39	c  S st   212     69890      2498      8429    571703     11873   1518366   1283572     12.18   no data
132.99/33.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
137.38/34.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 42.4M T:  1.04
137.38/34.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.78/34.50	c bin-w-bin subsume rem            0 bins  time:  0.05 s
156.54/39.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.77 s
156.94/39.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
156.94/39.37	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
157.34/39.44	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
162.53/40.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.30 s
165.72/41.51	c lits-rem:       170  cl-subs:      179  v-elim:      0  v-fix:    0  time:  0.73 s
165.72/41.52	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
165.72/41.54	c vivif2 --  cl tried    11694 cl shrink        0 lits rem          0 time: 0.02
166.53/41.79	c asymm  cl-useful: 0/746/8429 lits-rem:0 time: 0.25
166.93/41.81	c calculated reachability. Time: 0.00
166.93/41.81	c  N dy   212     69890      2498      8429    571703     11694   1518360   1273246     12.18   no data
170.12/42.66	c  N dy   228     74593      2498      8429    571703     16266   1518360   1800553     12.07     12.75
174.12/43.68	c  N dy   245     79474      2498      8429    571703     21052   1518360   2746836     12.09     13.00
178.90/44.84	c  N dy   272     84701      2498      8429    571703     14469   1518360   1690760     12.10     12.94
181.32/45.41	c  F st   285     87501      2498      8429    571703     17197   1518360   2161806     12.11      7.18
184.50/46.22	c  N st   290     90800      2498      8429    571703     20390   1518360   2666846     12.11   no data
190.11/47.66	c  N dy   303     97251      2498      8429    571703     14011   1518360   1596338     12.06     12.73
195.29/48.98	c  N dy   333    103456      2498      8429    571703     20068   1518360   2545157     12.05     13.21
196.49/49.28	c  S st   340    104837      2498      8429    571703     21418   1518360   2760353     12.05     12.22
197.28/49.40	c  S st   340    105337      2498      8429    571703     21916   1518360   2839674     12.05   no data
197.28/49.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
202.47/50.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 52.4M T:  1.32
202.47/50.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
202.87/50.80	c bin-w-bin subsume rem            0 bins  time:  0.05 s
221.65/55.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.71 s
221.65/55.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
222.05/55.61	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
222.05/55.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
228.84/57.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.63 s
247.63/62.01	c lits-rem:       954  cl-subs:      489  v-elim:      0  v-fix:    0  time:  4.66 s
247.63/62.02	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
247.63/62.08	c vivif2 --  cl tried    21427 cl shrink        0 lits rem          0 time: 0.05
248.81/62.35	c asymm  cl-useful: 0/797/8429 lits-rem:0 time: 0.27
248.81/62.36	c calculated reachability. Time: 0.00
248.81/62.36	c  N dy   340    105337      2498      8429    571703     21427   1518360   2794629     12.05   no data
256.42/64.29	c  N dy   363    112219      2498      8429    571703     14466   1518360   1593193     12.01     13.01
262.79/65.87	c  N dy   381    119920      2498      8429    571703     21966   1518360   2678701     11.90     12.55
271.58/68.05	c  N dy   418    128042      2498      8429    571703     15261   1518360   1697366     11.95     12.65
277.99/69.68	c  N dy   446    136234      2498      8429    571703     23258   1518360   2706271     11.91     15.10
287.17/71.93	c  N dy   491    145090      2498      8429    571703     16301   1518360   1825139     12.01     12.67
295.56/74.09	c  N dy   515    154806      2498      8429    571703     25772   1518360   3131572     11.94     12.58
299.54/75.03	c  S st   526    158006      2498      8429    571703     28907   1518360   3562423     11.93      9.88
299.96/75.17	c  S st   526    158510      2498      8429    571703     29410   1518360   3645494     11.93   no data
299.96/75.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
307.53/77.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 62.3M T:  1.82
307.53/77.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
307.53/77.07	c bin-w-bin subsume rem            0 bins  time:  0.05 s
326.72/81.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.76 s
326.72/81.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
327.10/81.92	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
327.10/81.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
333.49/83.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.47 s
360.65/90.34	c lits-rem:      1511  cl-subs:      580  v-elim:      0  v-fix:    0  time:  6.80 s
360.65/90.35	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
361.05/90.42	c vivif2 --  cl tried    28830 cl shrink        0 lits rem          0 time: 0.08
362.25/90.72	c asymm  cl-useful: 0/1101/8429 lits-rem:0 time: 0.29
362.25/90.73	c calculated reachability. Time: 0.00
362.25/90.73	c  N dy   526    158510      2498      8429    571703     28830   1518360   3567003     11.93   no data
373.05/93.45	c  N dy   555    168905      2498      8429    571703     22354   1518360   2408388     11.86     12.54
385.02/96.49	c  N dy   604    179746      2498      8429    571703     32906   1518360   3974695     11.85     18.29
397.03/99.48	c  N dy   654    191355      2498      8429    571703     26683   1518360   2984579     11.90     12.54
412.59/103.37	c  N dy   698    204835      2498      8429    571703     21345   1518360   1972757     11.84     12.52
426.57/106.81	c  N dy   745    217961      2498      8429    571703     34173   1518360   3892821     11.79     13.05
441.74/110.67	c  N dy   812    232508      2498      8429    571703     28858   1518360   3149683     11.84     12.54
448.54/112.32	c  S st   846    237767      2498      8429    571703     33998   1518360   3944879     11.93   no data
448.94/112.45	c  S st   846    238268      2498      8429    571703     34494   1518360   4027689     11.93   no data
448.94/112.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
456.93/114.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 68.5M T:  1.99
456.93/114.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
457.33/114.52	c bin-w-bin subsume rem            0 bins  time:  0.05 s
476.90/119.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.92 s
476.90/119.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
477.30/119.54	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
477.30/119.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
484.50/121.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.66 s
517.64/129.63	c lits-rem:      1516  cl-subs:      691  v-elim:      0  v-fix:    0  time:  8.27 s
517.64/129.64	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
518.04/129.72	c vivif2 --  cl tried    33803 cl shrink        0 lits rem          0 time: 0.08
519.25/130.02	c asymm  cl-useful: 0/388/8429 lits-rem:0 time: 0.30
519.25/130.03	c calculated reachability. Time: 0.00
519.25/130.03	c  N dy   846    238268      2498      8429    571703     33803   1518360   3970761     11.93   no data
536.42/134.36	c  N dy   913    253520      2498      8429    571703     28181   1518360   2769940     11.98     12.78
556.00/139.23	c  N dy  1009    270095      2498      8429    571703     22905   1518360   1974144     12.14     13.07
575.97/144.28	c  N dy  1082    288640      2498      8429    571703     40898   1518360   4560688     12.16     12.86
597.94/149.71	c  F st  1172    306251      2498      8429    571704     35701   1518360   3579709     12.23      9.21
599.53/150.18	c  N st  1175    307442      2498      8429    571704     36838   1518360   3724027     12.23   no data
621.90/155.76	c  N dy  1229    327833      2498      8429    571704     33221   1518360   3187519     12.23     13.06
647.09/162.02	c  N dy  1312    348762      2498      8429    571705     29234   1518360   2396099     12.22     12.87
655.46/164.13	c  S st  1349    357402      2498      8429    571705     37647   1518360   3604492     12.24     10.60
655.88/164.28	c  S st  1349    357904      2498      8429    571705     38148   1518360   3673268     12.24   no data
655.88/164.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
664.24/166.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 71.0M T:  2.06
664.24/166.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
664.66/166.42	c bin-w-bin subsume rem            0 bins  time:  0.05 s
684.22/171.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.97 s
684.62/171.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
684.62/171.49	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
685.02/171.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
692.21/173.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.71 s
719.37/180.18	c lits-rem:      2357  cl-subs:     2533  v-elim:      0  v-fix:    0  time:  6.84 s
719.37/180.19	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
719.77/180.27	c vivif2 --  cl tried    35615 cl shrink       45 lits rem         47 time: 0.08
720.97/180.56	c asymm  cl-useful: 0/481/8429 lits-rem:0 time: 0.29
720.97/180.58	c calculated reachability. Time: 0.00
720.97/180.58	c  N dy  1349    357904      2498      8429    571705     35615   1518360   3586174     12.24   no data
746.53/186.91	c  N dy  1435    378517      2498      8429    571705     30493   1518360   2653273     12.27     12.97
771.30/193.11	c  N dy  1535    398903      2498      8429    571705     50381   1518360   5451372     12.33     13.00
794.07/198.82	c  N dy  1638    419119      2498      8429    571706     43735   1518360   4590090     12.41     13.08
820.44/205.40	c  N dy  1691    440116      2498      8429    571706     36886   1518360   2871928     12.35     13.05
842.41/210.93	c  N dy  1776    460149      2498      8429    571706     56286   1518360   5268475     12.39     26.30
865.17/216.60	c  N dy  1852    480404      2498      8429    571706     47822   1518360   4668647     12.40     13.08
893.16/223.64	c  N dy  1922    503769      2498      8429    571706     41349   1518360   3879601     12.38     13.27
923.92/231.38	c  N dy  2037    523969      2498      8429    571706     30929   1518360   2228582     12.47     13.22
937.10/234.69	c  S st  2091    536856      2498      8429    571706     43440   1518360   3783953     12.49   no data
937.88/234.84	c  S st  2091    537358      2498      8429    571706     43940   1518360   3865664     12.49   no data
937.88/234.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
947.46/237.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 71.6M T:  2.34
947.46/237.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
947.46/237.26	c bin-w-bin subsume rem            0 bins  time:  0.05 s
966.64/242.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.80 s
967.04/242.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
967.04/242.16	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
967.04/242.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
973.03/243.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.35 s
1004.99/251.62	c lits-rem:      2199  cl-subs:     1957  v-elim:      0  v-fix:    0  time:  7.97 s
1004.99/251.63	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
1005.39/251.73	c vivif2 --  cl tried    41983 cl shrink      111 lits rem        111 time: 0.10
1006.58/252.04	c asymm  cl-useful: 0/531/8429 lits-rem:0 time: 0.31
1006.58/252.06	c calculated reachability. Time: 0.00
1006.58/252.06	c  N dy  2091    537358      2498      8429    571706     41983   1518360   3800726     12.49   no data
1037.34/259.71	c  N dy  2181    557779      2498      8429    571706     61867   1518360   6807221     12.52     13.35
1060.53/265.53	c  N dy  2279    577798      2498      8429    571706     50271   1518360   5119319     12.56     23.98
1090.08/272.99	c  N dy  2373    597876      2498      8429    571706     37750   1518360   3140012     12.62     17.67
1115.24/279.27	c  N dy  2443    617918      2498      8429    571706     57290   1518360   5915724     12.63     20.59
1143.21/286.20	c  N dy  2538    638299      2498      8429    571706     44013   1518360   3875745     12.70     13.69
1170.39/293.01	c  N dy  2618    658448      2498      8429    571706     63542   1518360   6236359     12.71     13.50
1193.94/298.90	c  N dy  2700    678774      2498      8429    571706     49283   1518360   4356299     12.72     13.40
1226.69/307.11	c  N dy  2793    699333      2498      8429    571706     69378   1518360   7245639     12.76     13.75
1251.86/313.42	c  N dy  2884    720167      2498      8429    571706     54525   1518360   5118476     12.79     13.47
1282.61/321.10	c  N dy  2950    740231      2498      8429    571706     38035   1518360   2766262     12.78     13.83
1305.38/326.87	c  N dy  3025    760301      2498      8429    571707     57673   1518360   5709540     12.78     19.95
1339.34/335.30	c  N dy  3115    781346      2498      8429    571707     41147   1518360   3140056     12.80     13.48
1363.32/341.36	c  N dy  3170    801367      2498      8429    571707     60659   1518360   5761167     12.78     13.69
1370.10/343.07	c  S st  3183    806037      2498      8429    571707     65193   1518360   6412749     12.78   no data
1370.90/343.29	c  S st  3183    806539      2498      8429    571707     65691   1518360   6482338     12.78   no data
1371.30/343.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1383.68/346.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 91.9M T:  3.11
1383.68/346.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1383.68/346.48	c bin-w-bin subsume rem            0 bins  time:  0.05 s
1402.87/351.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.75 s
1402.87/351.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
1403.27/351.33	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
1403.27/351.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1413.64/353.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.37 s
1466.37/367.13	c lits-rem:      2259  cl-subs:     3048  v-elim:      0  v-fix:    0  time: 13.18 s
1466.37/367.14	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
1466.77/367.29	c vivif2 --  cl tried    62643 cl shrink       15 lits rem         15 time: 0.15
1467.97/367.58	c asymm  cl-useful: 0/952/8429 lits-rem:0 time: 0.29
1468.37/367.60	c calculated reachability. Time: 0.00
1468.37/367.60	c  N dy  3183    806539      2498      8429    571707     62643   1518360   6361043     12.78   no data
1495.14/374.32	c  N dy  3212    827209      2498      8429    571707     44739   1518360   3294324     12.72     13.49
1521.92/381.07	c  N dy  3243    847508      2498      8429    571707     64456   1518360   4907382     12.66     13.44
1547.46/387.45	c  N dy  3327    867583      2498      8429    571707     45066   1518360   3208704     12.68     13.36
1569.84/393.04	c  N dy  3402    887617      2498      8429    571707     64642   1518360   5733009     12.68     13.40
1598.98/400.37	c  N dy  3482    907693      2498      8429    571707     44252   1518360   3201189     12.68     14.43
1626.55/407.21	c  N dy  3556    930086      2498      8429    571707     66022   1518360   5838329     12.67     13.36
1657.72/415.10	c  N dy  3630    950461      2498      8429    571707     44954   1518360   3264712     12.68     13.52
1684.87/421.89	c  N dy  3728    970635      2498      8429    571707     64547   1518360   5958826     12.71     13.49
1722.82/431.31	c  N dy  3809    990654      2498      8429    571707     42244   1518360   2854093     12.72     16.62
1748.79/437.89	c  N dy  3911   1011461      2498      8429    571707     62394   1518360   5651282     12.76     13.47
1787.54/447.52	c  N dy  3970   1031859      2498      8429    571707     82126   1518360   7883703     12.75     13.44
1816.32/454.70	c  N dy  4029   1052044      2498      8429    571707     59060   1518360   4722025     12.73     13.42
1847.85/462.60	c  F st  4122   1071875      2498      8429    571707     78386   1518360   7460302     12.76      9.56
1848.25/462.78	c  N st  4123   1072126      2498      8429    571707     78633   1518360   7489534     12.76   no data
1877.84/470.16	c  N dy  4181   1092278      2498      8429    571707     54524   1518360   4397310     12.76     13.60
1909.38/478.08	c  N dy  4272   1112454      2498      8429    571707     74144   1518360   7244488     12.78     13.54
1946.13/487.25	c  N dy  4337   1132530      2498      8429    571707     48874   1518360   3508255     12.77     13.58
1970.49/493.35	c  N dy  4400   1152562      2498      8429    571707     68360   1518360   6038655     12.76     21.99
2010.04/503.26	c  N dy  4470   1172639      2498      8429    571708     87925   1518360   8634017     12.75     27.79
2038.41/510.31	c  N dy  4529   1192680      2498      8429    571708     61668   1518360   4329323     12.74     13.55
2061.58/516.14	c  S st  4563   1209810      2498      8429    571708     78241   1518360   5940137     12.72     10.43
2061.99/516.30	c  S st  4563   1210312      2498      8429    571708     78743   1518360   6006454     12.72   no data
2062.39/516.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2072.35/518.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 79.5M T:  2.55
2072.35/518.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2072.76/518.94	c bin-w-bin subsume rem            0 bins  time:  0.05 s
2091.53/523.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.73 s
2091.93/523.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
2091.93/523.77	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
2092.33/523.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2099.92/525.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.74 s
2153.05/539.09	c lits-rem:      7661  cl-subs:     5037  v-elim:      0  v-fix:    0  time: 13.35 s
2153.45/539.10	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
2153.85/539.29	c vivif2 --  cl tried    73706 cl shrink        3 lits rem          3 time: 0.19
2155.04/539.59	c asymm  cl-useful: 0/405/8429 lits-rem:0 time: 0.31
2155.44/539.61	c calculated reachability. Time: 0.00
2155.44/539.61	c  N dy  4563   1210312      2498      8429    571708     73706   1518360   5869700     12.72   no data
2186.60/547.48	c  N dy  4622   1230553      2498      8429    571708     46815   1518360   3141725     12.71     13.50
2214.56/554.40	c  N dy  4696   1251092      2498      8429    571708     66797   1518360   5724653     12.72     13.41
2254.11/564.36	c  N dy  4812   1271773      2498      8429    571708     86898   1518360   8449129     12.76     13.47
2286.08/572.34	c  N dy  4862   1291969      2498      8429    571708     58952   1518360   4410781     12.74     13.50
2313.63/579.29	c  N dy  4932   1312068      2498      8429    571708     78539   1518360   6979606     12.75     13.73
2350.38/588.46	c  N dy  5011   1332398      2498      8429    571708     49762   1518360   3326671     12.75     13.55
2375.95/594.86	c  N dy  5063   1352481      2498      8429    571708     69324   1518360   5629034     12.73     13.46
2407.10/602.60	c  N dy  5153   1372607      2498      8429    571708     89005   1518360   8315223     12.75     13.46
2441.27/611.23	c  N dy  5261   1392664      2498      8429    571708     58877   1518360   4512331     12.78     28.45
2474.44/619.64	c  N dy  5337   1412990      2498      8429    571708     78643   1518360   7345768     12.78     13.47
2517.73/630.51	c  N dy  5418   1433047      2498      8429    571708     98096   1518360   9775210     12.79     16.42
2547.70/638.08	c  N dy  5492   1453848      2498      8429    571708     67651   1518360   5328473     12.79     13.82
2582.05/646.66	c  N dy  5568   1474140      2498      8429    571708     87346   1518360   7988310     12.79     13.58
2624.79/657.30	c  N dy  5637   1495488      2498      8429    571708     56611   1518360   4128153     12.79     13.61
2652.76/664.30	c  N dy  5682   1516160      2498      8429    571708     76683   1518360   6264349     12.77     13.44
2687.90/673.16	c  N dy  5779   1536221      2498      8429    571708     96158   1518360   8709705     12.79     14.89
2726.26/682.75	c  N dy  5838   1562204      2498      8429    571708     68887   1518360   4959480     12.77     13.58
2755.43/690.03	c  N dy  5896   1582231      2498      8429    571708     88220   1518360   7564921     12.76     18.51
2812.56/704.37	c  N dy  6032   1602277      2498      8429    571708     54394   1518360   3629350     12.81     15.08
2840.11/711.25	c  N dy  6096   1622739      2498      8429    571708     74336   1518360   6191389     12.80     13.77
2880.86/721.48	c  N dy  6216   1643063      2498      8429    571708     94049   1518360   8869217     12.83     13.53
2925.59/732.67	c  N dy  6320   1663434      2498      8429    571708     59451   1518360   4292879     12.86     13.56
2961.96/741.73	c  N dy  6420   1683508      2498      8429    571708     79005   1518360   6865452     12.88     16.46
3000.70/751.44	c  N dy  6465   1704638      2498      8429    571708     99499   1518360   9200250     12.86     13.56
3015.47/755.12	c  S st  6506   1710313      2498      8429    571708    104988   1518360   9903018     12.87   no data
3016.67/755.44	c  S st  6506   1710815      2498      8429    571708    105489   1518360   9967290     12.87   no data
3016.67/755.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3035.04/760.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 124.8M T:  4.60
3035.04/760.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3035.44/760.13	c bin-w-bin subsume rem            0 bins  time:  0.05 s
3055.02/765.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.94 s
3055.42/765.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
3055.42/765.17	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
3055.81/765.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
3063.81/767.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.69 s
3127.73/783.28	c lits-rem:      2218  cl-subs:     5833  v-elim:      0  v-fix:    0  time: 16.05 s
3127.73/783.29	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
3128.94/783.54	c vivif2 --  cl tried    99656 cl shrink        0 lits rem          0 time: 0.26
3130.52/783.91	c asymm  cl-useful: 0/909/8429 lits-rem:0 time: 0.37
3130.52/783.93	c calculated reachability. Time: 0.00
3130.52/783.93	c  N dy  6506   1710815      2498      8429    571708     99656   1518360   9789871     12.87   no data
3170.86/794.07	c  N dy  6593   1731101      2498      8429    571709     64065   1518360   4897830     12.88     13.63
3203.64/802.26	c  N dy  6662   1751243      2498      8429    571709     83649   1518360   7154964     12.88     13.56
3248.36/813.44	c  N dy  6761   1771542      2498      8429    571710    103384   1518360   9659553     12.89     13.59
3287.91/823.31	c  N dy  6836   1792599      2498      8429    571710     67456   1518360   5293798     12.90     13.58
3325.06/832.66	c  N dy  6940   1812631      2498      8429    571710     86948   1518360   7999313     12.91     25.05
3371.39/844.23	c  N dy  7012   1832687      2498      8429    571710    106385   1518360  10587217     12.91     13.60
3410.94/854.13	c  N dy  7092   1852706      2498      8429    571710     68577   1518360   5370357     12.92     14.85
3448.09/863.41	c  N dy  7178   1872830      2498      8429    571710     88164   1518360   8108052     12.93     13.67
3496.83/875.65	c  N dy  7257   1892878      2498      8429    571710    107641   1518360  10654663     12.94     14.37
3538.77/886.12	c  N dy  7335   1912952      2498      8429    571710     68831   1518360   5280050     12.94     15.53
3575.12/895.29	c  N dy  7425   1933589      2498      8429    571710     88796   1518360   7619615     12.95     13.64
3618.27/906.00	c  N dy  7494   1953748      2498      8429    571710    108399   1518360  10039525     12.95     14.22
3662.60/917.17	c  N dy  7597   1973751      2498      8429    571710     68587   1518360   5041821     12.97     16.26
3694.96/925.22	c  N dy  7650   1993897      2498      8429    571710     88044   1518360   7352629     12.96     13.77
3738.90/936.23	c  N dy  7729   2015011      2498      8429    571711    108521   1518360  10028238     12.97     13.88
3784.06/947.54	c  N dy  7827   2035831      2498      8429    571711     68623   1518360   5207801     12.98     13.71
3820.80/956.77	c  N dy  7900   2057220      2498      8429    571711     89288   1518360   7396811     12.98     14.30
3859.94/966.59	c  N dy  7973   2077359      2498      8429    571711    108763   1518360   9575028     12.98     13.79
3902.71/977.23	c  N dy  8045   2097794      2498      8429    571711     67604   1518360   4989167     12.98     13.85
3937.04/985.86	c  N dy  8117   2118167      2498      8429    571711     87387   1518360   7483104     12.98     13.67
3989.37/998.92	c  N dy  8202   2138298      2498      8429    571711    107017   1518360  10193801     12.99     13.76
4051.70/1014.57	c  N dy  8317   2158414      2498      8429    571711     64449   1518360   4492225     13.02     13.84
4086.44/1023.24	c  N dy  8419   2178501      2498      8429    571711     83970   1518360   7081225     13.03     13.80
4134.77/1035.32	c  N dy  8508   2198550      2498      8429    571712    103366   1518360   9674796     13.04     22.92
4168.74/1043.86	c  S st  8551   2210815      2498      8429    571712    115281   1518360  11165095     13.04     10.27
4170.35/1044.23	c  S st  8551   2211316      2498      8429    571712    115780   1518360  11239244     13.04   no data
4170.35/1044.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4192.72/1049.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 145.7M T:  5.60
4192.72/1049.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4193.10/1049.93	c bin-w-bin subsume rem            0 bins  time:  0.05 s
4212.28/1054.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.80 s
4212.28/1054.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.05 s
4212.68/1054.82	c Removed useless bin:       0  fixed:     0  props:   2.86M  time:  0.05 s
4213.08/1054.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
4221.07/1056.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.79 s
4302.58/1077.31	c lits-rem:      4235  cl-subs:     6785  v-elim:      0  v-fix:    0  time: 20.30 s
4302.58/1077.32	c vivif2 --  cl tried     8429 cl shrink        1 lits rem          1 time: 0.01
4303.76/1077.61	c vivif2 --  cl tried   108995 cl shrink      226 lits rem        226 time: 0.29
4304.96/1078.00	c asymm  cl-useful: 0/586/8429 lits-rem:0 time: 0.39
4305.36/1078.01	c calculated reachability. Time: 0.00
4305.36/1078.01	c  N dy  8551   2211316      2498      8429    571712    108995   1518359  11028224     13.04   no data
4368.49/1093.85	c  N dy  8651   2231379      2498      8429    571712     65413   1518359   4710844     13.06     14.09
4402.03/1102.26	c  N dy  8722   2251399      2498      8429    571712     84832   1518359   7314952     13.06     14.05
4453.55/1115.11	c  N dy  8821   2272332      2498      8429    571712    105173   1518359   9862263     13.08     13.85
4517.48/1131.13	c  N dy  8891   2293678      2498      8429    571712    125881   1518359  12467075     13.08     13.79
4554.21/1140.30	c  N dy  8964   2314161      2498      8429    571712     81705   1518359   6677666     13.08     14.15
4596.58/1150.93	c  N dy  9037   2334228      2498      8429    571712    101157   1518359   9147166     13.09     14.08
4651.29/1164.61	c  N dy  9123   2354255      2498      8429    571712    120619   1518359  11513506     13.09     13.91
4694.03/1175.38	c  N dy  9189   2374512      2498      8429    571713     75302   1518359   5834465     13.09     13.87
4735.57/1185.75	c  N dy  9283   2395302      2498      8429    571713     95353   1518359   8356951     13.09     13.95
4785.93/1198.34	c  N dy  9352   2415964      2498      8429    571713    115303   1518359  10734472     13.09     13.80

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

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-3366709-1307656474/watcher-3366709-1307656474 -o /tmp/evaluation-result-3366709-1307656474/solver-3366709-1307656474 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366709-1307656474.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: 2.87 2.19 2.23 5/180 9909
/proc/meminfo: memFree=32292428/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 877244133 52396032 347 33554432000 4194304 4580107 140735998424976 18446744073709551615 47674710521778 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 12792 347 299 95 0 7774 0
[pid=9909/tid=9910] ppid=9907 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877244134 52396032 347 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877244134 52396032 347 33554432000 4194304 4580107 140735998424976 18446744073709551615 47674710521772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877244134 52396032 347 33554432000 4194304 4580107 140735998424976 18446744073709551615 47674710521772 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0107041 s]
/proc/loadavg: 2.87 2.19 2.23 5/180 9909
/proc/meminfo: memFree=32292428/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=283772 CPUtime=0.02 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 2884 0 0 0 2 0 0 0 25 0 4 0 877244133 290582528 2662 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500388531 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 71009 2947 336 95 0 65991 0
[pid=9909/tid=9910] ppid=9907 vsize=284300 CPUtime=0 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) D 9907 9909 8582 0 -1 4202560 770 0 0 0 0 0 0 0 18 0 4 0 877244134 291123200 3171 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=284564 CPUtime=0.01 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) D 9907 9909 8582 0 -1 4202560 767 0 0 0 1 0 0 0 18 0 4 0 877244134 291393536 3434 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=284696 CPUtime=0.01 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) D 9907 9909 8582 0 -1 4202560 835 0 0 0 1 0 0 0 18 0 4 0 877244134 291528704 3545 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 283772

[startup+0.117144 s]
/proc/loadavg: 2.87 2.19 2.23 5/180 9909
/proc/meminfo: memFree=32292428/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=298044 CPUtime=0.44 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 16104 0 0 0 39 5 0 0 18 0 4 0 877244133 305197056 15883 33554432000 4194304 4580107 140735998424976 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 74610 16121 359 95 0 69592 0
[pid=9909/tid=9910] ppid=9907 vsize=299100 CPUtime=0.11 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) D 9907 9909 8582 0 -1 4202560 4482 0 0 0 10 1 0 0 18 0 4 0 877244134 306278400 16595 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=300552 CPUtime=0.12 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 4395 0 0 0 10 2 0 0 18 0 4 0 877244134 307765248 17705 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=301476 CPUtime=0.13 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 3792 0 0 0 12 1 0 0 18 0 4 0 877244134 308711424 18272 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 298044

[startup+0.671998 s]
/proc/loadavg: 2.87 2.19 2.23 5/180 9909
/proc/meminfo: memFree=32292428/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=314348 CPUtime=2.63 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 31341 0 0 0 253 10 0 0 18 0 4 0 877244133 321892352 30048 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500353057 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 78587 30049 376 95 0 73569 0
[pid=9909/tid=9910] ppid=9907 vsize=314348 CPUtime=0.65 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 8555 0 0 0 64 1 0 0 18 0 4 0 877244134 321892352 30049 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=314348 CPUtime=0.65 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 8486 0 0 0 62 3 0 0 18 0 4 0 877244134 321892352 30049 33554432000 4194304 4580107 140735998424976 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=314348 CPUtime=0.65 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 5327 0 0 0 63 2 0 0 18 0 4 0 877244134 321892352 30049 33554432000 4194304 4580107 140735998424976 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 314348

[startup+0.700434 s]
/proc/loadavg: 2.87 2.19 2.23 5/180 9909
/proc/meminfo: memFree=32292428/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=314348 CPUtime=2.75 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 31617 0 0 0 265 10 0 0 18 0 4 0 877244133 321892352 30324 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 78587 30325 376 95 0 73569 0
[pid=9909/tid=9910] ppid=9907 vsize=314348 CPUtime=0.68 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 8594 0 0 0 67 1 0 0 18 0 4 0 877244134 321892352 30325 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=314348 CPUtime=0.68 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 8574 0 0 0 65 3 0 0 18 0 4 0 877244134 321892352 30326 33554432000 4194304 4580107 140735998424976 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=314348 CPUtime=0.68 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 5418 0 0 0 66 2 0 0 18 0 4 0 877244134 321892352 30327 33554432000 4194304 4580107 140735998424976 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 314348

[startup+1.50628 s]
/proc/loadavg: 2.87 2.19 2.23 9/184 9913
/proc/meminfo: memFree=32137792/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=327260 CPUtime=5.97 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 40224 0 0 0 585 12 0 0 19 0 4 0 877244133 335114240 32404 33554432000 4194304 4580107 140735998424976 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 81815 32404 376 95 0 76797 0
[pid=9909/tid=9910] ppid=9907 vsize=327260 CPUtime=1.48 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 10310 0 0 0 147 1 0 0 19 0 4 0 877244134 335114240 32404 33554432000 4194304 4580107 140735998424976 18446744073709551615 4318294 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=327260 CPUtime=1.48 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 10499 0 0 0 145 3 0 0 19 0 4 0 877244134 335114240 32404 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=327260 CPUtime=1.49 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 7819 0 0 0 146 3 0 0 20 0 4 0 877244134 335114240 32404 33554432000 4194304 4580107 140735998424976 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 327260

[startup+3.10096 s]
/proc/loadavg: 3.28 2.29 2.26 9/184 9913
/proc/meminfo: memFree=32123172/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=320724 CPUtime=12.34 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 52233 0 0 0 1220 14 0 0 22 0 4 0 877244133 328421376 37903 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 80181 37903 377 95 0 75163 0
[pid=9909/tid=9910] ppid=9907 vsize=320724 CPUtime=3.07 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 13276 0 0 0 305 2 0 0 25 0 4 0 877244134 328421376 37903 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=320724 CPUtime=3.08 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 13292 0 0 0 304 4 0 0 22 0 4 0 877244134 328421376 37903 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=320724 CPUtime=3.08 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 11086 0 0 0 304 4 0 0 25 0 4 0 877244134 328421376 37903 33554432000 4194304 4580107 140735998424976 18446744073709551615 4316688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 320724

[startup+6.30032 s]
/proc/loadavg: 3.28 2.29 2.26 9/184 9913
/proc/meminfo: memFree=32072592/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=311256 CPUtime=25.12 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 72852 0 0 0 2495 17 0 0 25 0 4 0 877244133 318726144 44443 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 77814 44443 378 95 0 72796 0
[pid=9909/tid=9910] ppid=9907 vsize=311256 CPUtime=6.26 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 18509 0 0 0 623 3 0 0 25 0 4 0 877244134 318726144 44443 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=311256 CPUtime=6.28 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 19280 0 0 0 624 4 0 0 25 0 4 0 877244134 318726144 44443 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=311256 CPUtime=6.28 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 14780 0 0 0 624 4 0 0 25 0 4 0 877244134 318726144 44443 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 311256

[startup+12.701 s]
/proc/loadavg: 4.00 2.47 2.32 9/184 9913
/proc/meminfo: memFree=32013584/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=336756 CPUtime=50.69 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 92543 0 0 0 5049 20 0 0 25 0 4 0 877244133 344838144 59333 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413647 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 84189 59333 378 95 0 79171 0
[pid=9909/tid=9910] ppid=9907 vsize=336756 CPUtime=12.62 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 21085 0 0 0 1259 3 0 0 25 0 4 0 877244134 344838144 59333 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=336756 CPUtime=12.67 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 19877 0 0 0 1263 4 0 0 25 0 4 0 877244134 344838144 59333 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=336756 CPUtime=12.69 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 23833 0 0 0 1263 6 0 0 25 0 4 0 877244134 344838144 59333 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 336756

[startup+25.5005 s]
/proc/loadavg: 4.62 2.65 2.38 9/184 9913
/proc/meminfo: memFree=31890936/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=504892 CPUtime=101.82 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 135485 0 0 0 10155 27 0 0 25 0 4 0 877244133 517009408 86376 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413328 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 126223 86376 378 95 0 121205 0
[pid=9909/tid=9910] ppid=9907 vsize=504892 CPUtime=25.35 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 29269 0 0 0 2531 4 0 0 25 0 4 0 877244134 517009408 86376 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=504892 CPUtime=25.48 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 34962 0 0 0 2542 6 0 0 25 0 4 0 877244134 517009408 86376 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=504892 CPUtime=25.48 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 36521 0 0 0 2540 8 0 0 25 0 4 0 877244134 517009408 86376 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413562 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 504892

[startup+51.1004 s]
/proc/loadavg: 5.61 3.05 2.52 11/184 9955
/proc/meminfo: memFree=31845348/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=660976 CPUtime=204.07 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 196060 0 0 0 20368 39 0 0 25 0 4 0 877244133 676839424 119063 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413250 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 165244 119063 378 95 0 160226 0
[pid=9909/tid=9910] ppid=9907 vsize=660976 CPUtime=50.81 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 37597 0 0 0 5075 6 0 0 25 0 4 0 877244134 676839424 119063 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=660976 CPUtime=51.07 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 46710 0 0 0 5099 8 0 0 25 0 4 0 877244134 676839424 119063 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=660976 CPUtime=51.08 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 62918 0 0 0 5095 13 0 0 25 0 4 0 877244134 676839424 119063 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 660976

[startup+102.301 s]
/proc/loadavg: 7.01 3.82 2.81 9/184 9957
/proc/meminfo: memFree=31514172/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1008084 CPUtime=408.6 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 281052 0 0 0 40800 60 0 0 25 0 4 0 877244133 1032278016 143950 33554432000 4194304 4580107 140735998424976 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 252021 143950 378 95 0 247003 0
[pid=9909/tid=9910] ppid=9907 vsize=1008084 CPUtime=101.74 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 45192 0 0 0 10166 8 0 0 25 0 4 0 877244134 1032278016 143950 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1008084 CPUtime=102.27 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 68506 0 0 0 10213 14 0 0 25 0 4 0 877244134 1032278016 143950 33554432000 4194304 4580107 140735998424976 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1008084 CPUtime=102.27 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 95530 0 0 0 10206 21 0 0 25 0 4 0 877244134 1032278016 143950 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 1008084

[startup+162.3 s]

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

[pid=9909] ppid=9907 vsize=1723860 CPUtime=2804.56 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1245895 0 0 0 280128 328 0 0 25 0 4 0 877244133 1765232640 283440 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 430965 283455 378 95 0 425947 0
[pid=9909/tid=9910] ppid=9907 vsize=1723860 CPUtime=698.48 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 203317 0 0 0 69792 56 0 0 25 0 4 0 877244134 1765232640 283462 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1723860 CPUtime=702.29 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 315344 0 0 0 70142 87 0 0 25 0 4 0 877244134 1765232640 283471 33554432000 4194304 4580107 140735998424976 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1723860 CPUtime=702.27 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 412743 0 0 0 70125 102 0 0 25 0 4 0 877244134 1765232640 283478 33554432000 4194304 4580107 140735998424976 18446744073709551615 4451792 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.56
Current children cumulated vsize (KiB) 1723860

[startup+762.301 s]
/proc/loadavg: 8.16 7.64 5.48 9/184 9986
/proc/meminfo: memFree=30293500/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1804268 CPUtime=3044.23 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1321846 0 0 0 304070 353 0 0 25 0 4 0 877244133 1847570432 299713 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413328 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 451067 299713 378 95 0 446049 0
[pid=9909/tid=9910] ppid=9907 vsize=1804268 CPUtime=758.16 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 227228 0 0 0 75752 64 0 0 25 0 4 0 877244134 1847570432 299713 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1804268 CPUtime=762.29 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 323948 0 0 0 76140 89 0 0 25 0 4 0 877244134 1847570432 299713 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1804268 CPUtime=762.26 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 434292 0 0 0 76117 109 0 0 25 0 4 0 877244134 1847570432 299713 33554432000 4194304 4580107 140735998424976 18446744073709551615 4319776 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.23
Current children cumulated vsize (KiB) 1804268

[startup+822.301 s]
/proc/loadavg: 8.15 7.74 5.66 9/184 9988
/proc/meminfo: memFree=30167208/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1712448 CPUtime=3283.92 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1411233 0 0 0 328011 381 0 0 25 0 4 0 877244133 1753546752 321777 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 428112 321777 378 95 0 423094 0
[pid=9909/tid=9910] ppid=9907 vsize=1712448 CPUtime=817.84 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 250890 0 0 0 81711 73 0 0 25 0 4 0 877244134 1753546752 321777 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1712448 CPUtime=822.29 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 343869 0 0 0 82134 95 0 0 25 0 4 0 877244134 1753546752 321777 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1712448 CPUtime=822.26 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 457290 0 0 0 82110 116 0 0 25 0 4 0 877244134 1753546752 321777 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.92
Current children cumulated vsize (KiB) 1712448

[startup+882.301 s]
/proc/loadavg: 8.15 7.81 5.80 9/184 9989
/proc/meminfo: memFree=30211272/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1713316 CPUtime=3523.59 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1474772 0 0 0 351957 402 0 0 25 0 4 0 877244133 1754435584 315204 33554432000 4194304 4580107 140735998424976 18446744073709551615 4304870 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 428329 315204 378 95 0 423311 0
[pid=9909/tid=9910] ppid=9907 vsize=1713316 CPUtime=877.51 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 259908 0 0 0 87675 76 0 0 25 0 4 0 877244134 1754435584 315204 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1713316 CPUtime=882.29 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 363195 0 0 0 88127 102 0 0 25 0 4 0 877244134 1754435584 315204 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1713316 CPUtime=882.27 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 480640 0 0 0 88104 123 0 0 25 0 4 0 877244134 1754435584 315204 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.59
Current children cumulated vsize (KiB) 1713316

[startup+942.301 s]
/proc/loadavg: 8.13 7.87 5.96 9/184 9991
/proc/meminfo: memFree=30120692/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1848548 CPUtime=3763.27 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1554353 0 0 0 375898 429 0 0 25 0 4 0 877244133 1892913152 328674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 462137 328674 378 95 0 457119 0
[pid=9909/tid=9910] ppid=9907 vsize=1848548 CPUtime=937.18 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 282179 0 0 0 93635 83 0 0 25 0 4 0 877244134 1892913152 328674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1848548 CPUtime=942.3 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 379704 0 0 0 94122 108 0 0 25 0 4 0 877244134 1892913152 328674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1848548 CPUtime=942.26 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 497878 0 0 0 94097 129 0 0 25 0 4 0 877244134 1892913152 328674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.27
Current children cumulated vsize (KiB) 1848548

[startup+1002.3 s]
/proc/loadavg: 8.13 7.92 6.08 9/184 9993
/proc/meminfo: memFree=30142080/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1669644 CPUtime=4002.96 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1615691 0 0 0 399843 453 0 0 25 0 4 0 877244133 1709715456 316358 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 417411 316358 378 95 0 412393 0
[pid=9909/tid=9910] ppid=9907 vsize=1669644 CPUtime=996.86 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 297275 0 0 0 99597 89 0 0 25 0 4 0 877244134 1709715456 316358 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1669644 CPUtime=1002.3 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 392872 0 0 0 100116 114 0 0 25 0 4 0 877244134 1709715456 316358 33554432000 4194304 4580107 140735998424976 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1669644 CPUtime=1002.27 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 515185 0 0 0 100092 135 0 0 25 0 4 0 877244134 1709715456 316358 33554432000 4194304 4580107 140735998424976 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.96
Current children cumulated vsize (KiB) 1669644

[startup+1062.3 s]
/proc/loadavg: 8.08 7.95 6.21 9/184 9994
/proc/meminfo: memFree=30117340/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1832412 CPUtime=4242.64 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1684528 0 0 0 423787 477 0 0 25 0 4 0 877244133 1876389888 324482 33554432000 4194304 4580107 140735998424976 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 458103 324482 378 95 0 453085 0
[pid=9909/tid=9910] ppid=9907 vsize=1832412 CPUtime=1056.54 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 314374 0 0 0 105558 96 0 0 25 0 4 0 877244134 1876389888 324482 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1832412 CPUtime=1062.29 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 408677 0 0 0 106110 119 0 0 25 0 4 0 877244134 1876389888 324482 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1832412 CPUtime=1062.27 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 537149 0 0 0 106085 142 0 0 25 0 4 0 877244134 1876389888 324482 33554432000 4194304 4580107 140735998424976 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.64
Current children cumulated vsize (KiB) 1832412

[startup+1122.3 s]
/proc/loadavg: 8.06 7.97 6.33 9/184 9996
/proc/meminfo: memFree=30066556/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1842920 CPUtime=4482.33 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1753844 0 0 0 447731 502 0 0 25 0 4 0 877244133 1887150080 324960 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 460730 324960 378 95 0 455712 0
[pid=9909/tid=9910] ppid=9907 vsize=1842920 CPUtime=1116.21 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 336422 0 0 0 111517 104 0 0 25 0 4 0 877244134 1887150080 324960 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1842920 CPUtime=1122.31 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 432217 0 0 0 112104 127 0 0 25 0 4 0 877244134 1887150080 324960 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1842920 CPUtime=1122.28 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 554732 0 0 0 112079 149 0 0 25 0 4 0 877244134 1887150080 324960 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.33
Current children cumulated vsize (KiB) 1842920

[startup+1182.3 s]
/proc/loadavg: 8.09 8.00 6.43 9/184 9997
/proc/meminfo: memFree=30089056/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1812284 CPUtime=4722 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1819182 0 0 0 471675 525 0 0 25 0 4 0 877244133 1855778816 308837 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 453071 308837 378 95 0 448053 0
[pid=9909/tid=9910] ppid=9907 vsize=1812284 CPUtime=1175.88 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 355281 0 0 0 117477 111 0 0 25 0 4 0 877244134 1855778816 308837 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1812284 CPUtime=1182.3 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 441813 0 0 0 118099 131 0 0 25 0 4 0 877244134 1855778816 308837 33554432000 4194304 4580107 140735998424976 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1812284 CPUtime=1182.28 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 576741 0 0 0 118072 156 0 0 25 0 4 0 877244134 1855778816 308837 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722
Current children cumulated vsize (KiB) 1812284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.12 8.01 6.48 9/184 9998
/proc/meminfo: memFree=30071176/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1884520 CPUtime=4800.31 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1845977 0 0 0 479497 534 0 0 25 0 4 0 877244133 1929748480 315673 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 471130 315673 378 95 0 466112 0
[pid=9909/tid=9910] ppid=9907 vsize=1884520 CPUtime=1195.38 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 365046 0 0 0 119424 114 0 0 25 0 4 0 877244134 1929748480 315674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1884520 CPUtime=1201.91 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 450826 0 0 0 120057 134 0 0 25 0 4 0 877244134 1929748480 315674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1884520 CPUtime=1201.88 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 580950 0 0 0 120030 158 0 0 25 0 4 0 877244134 1929748480 315674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1884520

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

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

[startup+1201.9 s]
/proc/loadavg: 8.12 8.01 6.48 9/184 9998
/proc/meminfo: memFree=30071176/32950928 swapFree=67053604/67111528
[pid=9909] ppid=9907 vsize=1884520 CPUtime=4800.31 cores=1,3,5,7
/proc/9909/stat : 9909 (strangenight2-m) R 9907 9909 8582 0 -1 4202496 1845977 0 0 0 479497 534 0 0 25 0 4 0 877244133 1929748480 315673 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9909/statm: 471130 315673 378 95 0 466112 0
[pid=9909/tid=9910] ppid=9907 vsize=1884520 CPUtime=1195.38 cores=1,3,5,7
/proc/9909/task/9910/stat : 9910 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 365046 0 0 0 119424 114 0 0 25 0 4 0 877244134 1929748480 315674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9909/tid=9911] ppid=9907 vsize=1884520 CPUtime=1201.91 cores=1,3,5,7
/proc/9909/task/9911/stat : 9911 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 450826 0 0 0 120057 134 0 0 25 0 4 0 877244134 1929748480 315674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9909/tid=9912] ppid=9907 vsize=1884520 CPUtime=1201.88 cores=1,3,5,7
/proc/9909/task/9912/stat : 9912 (strangenight2-m) R 9907 9909 8582 0 -1 4202560 580950 0 0 0 120030 158 0 0 25 0 4 0 877244134 1929748480 315674 33554432000 4194304 4580107 140735998424976 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1884520

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.96
CPU time (s): 4800.39
CPU user time (s): 4794.99
CPU system time (s): 5.39518
CPU usage (%): 399.379
Max. virtual memory (cumulated for all children) (KiB): 2013216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.99
system time used= 5.39518
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1845982
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= 5555
involuntary context switches= 19565

runsolver used 1.82372 second user time and 4.76427 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-09 23:54:34
IDJOB=3366709
IDBENCH=88204
IDSOLVER=1844
FILE ID=node149/3366709-1307656474
RUNJOBID= node149-1307656462-9838
PBS_JOBID= 13549399
Free space on /tmp= 73988 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366709-1307656474/watcher-3366709-1307656474 -o /tmp/evaluation-result-3366709-1307656474/solver-3366709-1307656474 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366709-1307656474.cnf

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=1001285888

node149.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.806
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.61
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.83
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.806
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.73
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.806
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.82
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.806
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:     32950928 kB
MemFree:      32292732 kB
Buffers:         47516 kB
Cached:         327280 kB
SwapCached:      10240 kB
Active:         260944 kB
Inactive:       261448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32292732 kB
SwapTotal:    67111528 kB
SwapFree:     67053604 kB
Dirty:           20372 kB
Writeback:          24 kB
AnonPages:      144844 kB
Mapped:           9824 kB
Slab:            70684 kB
PageTables:       4964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   422612 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= 73980 MiB
End job on node149 at 2011-06-10 00:14:38