Trace number 3250889

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? (TO) 4800.36 1201.77

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-3250889-1304131394.cnf'
0.00/0.00	c -- header says num vars:           2548
0.00/0.00	c -- header says num clauses:      582679
0.36/0.12	c -- clauses added:            0 learnts,       582679 normals,            0 xors
0.36/0.12	c -- vars added       2548
0.36/0.12	c Parsing time:  0.09 s
0.36/0.12	c  N st     0         0      2548        50    582629         0   1167806         0   no data   no data
0.36/0.12	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.53/0.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.10
0.53/0.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.53/0.47	c bin-w-bin subsume rem            0 bins  time:  0.12 s
0.53/0.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
0.53/0.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2548 time:  0.06 s
0.53/0.64	c Removed useless bin:       0  fixed:     0  props:   2.92M  time:  0.06 s
2.50/1.36	c lits-rem:       435  cl-subs:        0  v-elim:     50  v-fix:    0  time:  0.17 s
2.50/1.36	c Finding binary XORs  T:     0.01 s  found:       0
2.50/1.36	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
2.50/1.36	c calculated reachability. Time: 0.00
2.50/1.36	c Calc default polars -  time:   0.00 s pos:       0 undec:      50 neg:    2498
2.50/1.36	c =========================================================================================
2.50/1.36	c types(t): F = full restart, N = normal restart
2.50/1.36	c types(t): S = simplification begin/end, E = solution found
2.50/1.36	c restart types(rt): st = static, dy = dynamic
2.50/1.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.50/1.36	c  B st     0         0      2498      8429    571702         0   1630470         0   no data   no data
5.60/1.44	c  N dy     7      4161      2498      8429    571702      4055   1630467   1138047     23.06     25.46
7.95/2.09	c  N dy     8      8198      2498      8429    571702      5539   1630461    985843     16.14     17.05
11.55/2.94	c  N dy    10     13123      2498      8429    571702      6180   1630445    918664     13.55     14.75
14.35/3.63	c  N dy    16     17212      2498      8429    571702     10143   1630435   1659096     12.67     13.48
17.16/4.34	c  N dy    21     21386      2498      8429    571702      8741   1630419   1305253     12.20     13.00
19.94/5.03	c  F st    33     25002      2498      8429    571702     12233   1630417   2015931     12.08      8.70
20.74/5.22	c  N st    35     25629      2498      8429    571702     12837   1630417   2131422     12.08   no data
23.53/5.96	c  N dy    39     30003      2498      8429    571702     10505   1630413   1482779     12.08   no data
23.53/5.96	c  S st    39     30003      2498      8429    571702     10505   1630413   1482779     12.08   no data
23.94/6.05	c  S st    39     30505      2498      8429    571702     11003   1630411   1545252     12.08   no data
23.94/6.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
28.32/7.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 43.4M T:  1.05
28.32/7.13	c blocked clauses removed:        0 vars:      0 tried:        2498 T: 0.00 s
28.72/7.20	c bin-w-bin subsume rem            0 bins  time:  0.07 s
49.50/12.40	c subs with bin:        0  lits-rem:     32899  v-fix:    0  time:  5.20 s
49.50/12.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
49.90/12.51	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
50.69/12.75	c lits-rem:      3072  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
56.70/14.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.46 s
66.67/16.79	c lits-rem:      2147  cl-subs:      600  v-elim:      0  v-fix:    0  time:  2.51 s
67.87/17.06	c asymm  cl-useful: 462/1637/8429 lits-rem:7157 time: 0.27
67.87/17.08	c calculated reachability. Time: 0.00
67.87/17.08	c  N dy    39     30505      2498      8429    571702     10403   1583443   1485366     12.08   no data
71.47/17.96	c  N dy    50     34631      2498      8429    571702     14444   1583443   2141767     11.85     12.53
74.68/18.73	c  N dy    70     38867      2498      8429    571703     10882   1583443   1425743     11.87     12.54
77.87/19.56	c  N dy    91     43156      2498      8429    571703     15081   1583443   2205260     11.88     12.52
80.25/20.19	c  S st   103     45757      2498      8429    571703      8879   1583443    962947     11.91      7.75
80.65/20.28	c  S st   103     46259      2498      8429    571703      9380   1583443   1021629     11.91   no data
80.65/20.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.65/21.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 38.8M T:  1.00
85.05/21.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.05/21.37	c bin-w-bin subsume rem            0 bins  time:  0.07 s
106.22/26.64	c subs with bin:        0  lits-rem:     28207  v-fix:    0  time:  5.27 s
106.61/26.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
106.61/26.75	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
107.01/26.82	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
112.61/28.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.42 s
114.61/28.71	c lits-rem:       111  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.44 s
114.61/28.73	c vivif2 --  cl tried     8429 cl shrink     2736 lits rem      36619 time: 0.02
114.61/28.75	c vivif2 --  cl tried     9270 cl shrink        3 lits rem          3 time: 0.02
115.41/28.97	c asymm  cl-useful: 0/1029/8429 lits-rem:0 time: 0.22
115.41/28.99	c calculated reachability. Time: 0.00
115.41/28.99	c  N dy   103     46259      2498      8429    571703      9270   1518366   1014531     11.91   no data
119.40/29.91	c  N dy   127     50931      2498      8429    571703     13834   1518366   1744192     11.97     12.61
123.02/30.89	c  N dy   142     55199      2498      8429    571703     18000   1518366   2497950     11.93     12.56
127.01/31.88	c  N dy   165     59571      2498      8429    571703     12529   1518366   1534141     12.02     12.93
130.59/32.79	c  N dy   189     63685      2498      8429    571703     16527   1518366   2222748     12.12     13.34
135.80/34.01	c  N dy   208     67822      2498      8429    571703     20548   1518366   2897997     12.22     19.34
136.98/34.34	c  S st   212     69388      2498      8429    571703     11375   1518366   1217094     12.18   no data
137.38/34.44	c  S st   212     69890      2498      8429    571703     11873   1518366   1283572     12.18   no data
137.38/34.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
141.77/35.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 42.4M T:  1.11
141.77/35.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.17/35.63	c bin-w-bin subsume rem            0 bins  time:  0.07 s
162.94/40.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.22 s
163.34/40.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
163.34/40.97	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
163.74/41.04	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
170.13/42.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.55 s
172.93/43.38	c lits-rem:       170  cl-subs:      179  v-elim:      0  v-fix:    0  time:  0.75 s
172.93/43.39	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
173.32/43.41	c vivif2 --  cl tried    11694 cl shrink        0 lits rem          0 time: 0.03
174.12/43.67	c asymm  cl-useful: 0/746/8429 lits-rem:0 time: 0.26
174.12/43.69	c calculated reachability. Time: 0.00
174.12/43.69	c  N dy   212     69890      2498      8429    571703     11694   1518360   1273246     12.18   no data
177.72/44.55	c  N dy   228     74593      2498      8429    571703     16266   1518360   1800553     12.07     12.75
181.72/45.59	c  N dy   245     79474      2498      8429    571703     21052   1518360   2746836     12.09     13.00
186.51/46.76	c  N dy   272     84701      2498      8429    571703     14469   1518360   1690760     12.10     12.94
188.93/47.34	c  F st   285     87501      2498      8429    571703     17197   1518360   2161806     12.11      7.18
192.10/48.17	c  N st   290     90800      2498      8429    571703     20390   1518360   2666846     12.11   no data
198.09/49.61	c  N dy   303     97251      2498      8429    571703     14011   1518360   1596338     12.06     12.73
203.29/50.94	c  N dy   333    103456      2498      8429    571703     20068   1518360   2545157     12.05     13.21
204.49/51.24	c  S st   340    104837      2498      8429    571703     21418   1518360   2760353     12.05     12.22
204.88/51.37	c  S st   340    105337      2498      8429    571703     21916   1518360   2839674     12.05   no data
204.88/51.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
210.50/52.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 52.4M T:  1.36
210.50/52.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
210.90/52.81	c bin-w-bin subsume rem            0 bins  time:  0.07 s
231.25/57.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.17 s
231.65/58.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
232.05/58.10	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
232.05/58.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
239.24/59.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.76 s
257.62/64.59	c lits-rem:       954  cl-subs:      489  v-elim:      0  v-fix:    0  time:  4.60 s
258.02/64.60	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
258.02/64.66	c vivif2 --  cl tried    21427 cl shrink        0 lits rem          0 time: 0.05
259.24/64.93	c asymm  cl-useful: 0/797/8429 lits-rem:0 time: 0.27
259.24/64.94	c calculated reachability. Time: 0.00
259.24/64.94	c  N dy   340    105337      2498      8429    571703     21427   1518360   2794629     12.05   no data
266.80/66.89	c  N dy   363    112219      2498      8429    571703     14466   1518360   1593193     12.01     13.01
273.19/68.48	c  N dy   381    119920      2498      8429    571703     21966   1518360   2678701     11.90     12.55
281.98/70.68	c  N dy   418    128042      2498      8429    571703     15261   1518360   1697366     11.95     12.65
288.78/72.32	c  N dy   446    136234      2498      8429    571703     23258   1518360   2706271     11.91     15.10
297.56/74.59	c  N dy   491    145090      2498      8429    571703     16301   1518360   1825139     12.01     12.67
306.35/76.70	c  N dy   515    154806      2498      8429    571703     25772   1518360   3131572     11.94     12.58
310.35/77.71	c  S st   526    158006      2498      8429    571703     28907   1518360   3562423     11.93      9.88
310.75/77.85	c  S st   526    158510      2498      8429    571703     29410   1518360   3645494     11.93   no data
310.75/77.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
318.33/79.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 62.3M T:  1.88
318.33/79.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
318.73/79.82	c bin-w-bin subsume rem            0 bins  time:  0.07 s
339.50/85.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.20 s
339.50/85.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
339.90/85.13	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
339.90/85.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
346.71/86.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.55 s
373.86/93.64	c lits-rem:      1511  cl-subs:      580  v-elim:      0  v-fix:    0  time:  6.80 s
373.86/93.64	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
374.26/93.72	c vivif2 --  cl tried    28830 cl shrink        0 lits rem          0 time: 0.07
375.06/93.98	c asymm  cl-useful: 0/1101/8429 lits-rem:0 time: 0.26
375.06/93.99	c calculated reachability. Time: 0.00
375.06/93.99	c  N dy   526    158510      2498      8429    571703     28830   1518360   3567003     11.93   no data
386.26/96.74	c  N dy   555    168905      2498      8429    571703     22354   1518360   2408388     11.86     12.54
398.23/99.78	c  N dy   604    179746      2498      8429    571703     32906   1518360   3974695     11.85     18.29
410.21/102.74	c  N dy   654    191355      2498      8429    571703     26683   1518360   2984579     11.90     12.54
425.80/106.68	c  N dy   698    204835      2498      8429    571703     21345   1518360   1972757     11.84     12.52
439.77/110.14	c  N dy   745    217961      2498      8429    571703     34173   1518360   3892821     11.79     13.05
455.35/114.04	c  N dy   812    232508      2498      8429    571703     28858   1518360   3149683     11.84     12.54
462.14/115.71	c  S st   846    237767      2498      8429    571703     33998   1518360   3944879     11.93   no data
462.54/115.85	c  S st   846    238268      2498      8429    571703     34494   1518360   4027689     11.93   no data
462.54/115.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
470.53/117.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 68.5M T:  2.00
470.53/117.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
470.93/117.95	c bin-w-bin subsume rem            0 bins  time:  0.07 s
491.31/123.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.11 s
491.72/123.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
491.72/123.17	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
492.12/123.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
499.69/125.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.78 s
532.05/133.24	c lits-rem:      1516  cl-subs:      691  v-elim:      0  v-fix:    0  time:  8.13 s
532.05/133.25	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
532.45/133.34	c vivif2 --  cl tried    33803 cl shrink        0 lits rem          0 time: 0.08
533.65/133.64	c asymm  cl-useful: 0/388/8429 lits-rem:0 time: 0.30
533.65/133.65	c calculated reachability. Time: 0.00
533.65/133.65	c  N dy   846    238268      2498      8429    571703     33803   1518360   3970761     11.93   no data
551.22/138.01	c  N dy   913    253520      2498      8429    571703     28181   1518360   2769940     11.98     12.78
570.81/142.96	c  N dy  1009    270095      2498      8429    571703     22905   1518360   1974144     12.14     13.07
590.77/147.93	c  N dy  1082    288640      2498      8429    571704     40898   1518360   4560690     12.16     12.86
612.34/153.32	c  F st  1174    306250      2498      8429    571704     35665   1518360   3793326     12.26   no data
613.94/153.74	c  N st  1177    307439      2498      8429    571704     36833   1518360   3942194     12.26   no data
639.10/160.00	c  N dy  1229    328167      2498      8429    571704     33589   1518360   3220118     12.22     12.88
663.09/166.05	c  N dy  1298    348197      2498      8429    571704     28791   1518360   2474624     12.22     12.96
672.65/168.42	c  S st  1334    357406      2498      8429    571704     37692   1518360   3623347     12.22      7.61
673.05/168.57	c  S st  1334    357908      2498      8429    571704     38191   1518360   3706265     12.22   no data
673.05/168.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
681.85/170.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 72.2M T:  2.14
681.85/170.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
682.25/170.80	c bin-w-bin subsume rem            0 bins  time:  0.07 s
702.22/175.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.10 s
702.64/175.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
703.04/176.01	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
703.04/176.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
710.21/177.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
740.97/185.51	c lits-rem:      2175  cl-subs:     1402  v-elim:      0  v-fix:    0  time:  7.67 s
740.97/185.52	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
741.37/185.60	c vivif2 --  cl tried    36789 cl shrink       25 lits rem         25 time: 0.09
742.58/185.91	c asymm  cl-useful: 0/483/8429 lits-rem:0 time: 0.30
742.58/185.92	c calculated reachability. Time: 0.00
742.58/185.92	c  N dy  1334    357908      2498      8429    571704     36789   1518360   3643123     12.22   no data
767.73/192.23	c  N dy  1407    378460      2498      8429    571704     31516   1518360   2610024     12.21     12.86
792.10/198.40	c  N dy  1491    399504      2498      8429    571705     51907   1518360   5422997     12.22     12.94
813.27/203.69	c  N dy  1581    419612      2498      8429    571705     45287   1518360   4582227     12.27     12.98
838.43/209.96	c  N dy  1694    439857      2498      8429    571705     37810   1518360   3437881     12.36     13.04
865.21/216.64	c  N dy  1774    459916      2498      8429    571706     29073   1518360   2162133     12.37     13.20
890.37/222.91	c  N dy  1810    481600      2498      8429    571706     50068   1518360   4354679     12.28     12.94
912.34/228.48	c  N dy  1884    501802      2498      8429    571706     40504   1518360   3260189     12.30     13.09
937.50/234.70	c  N dy  1964    521902      2498      8429    571706     60032   1518360   5858967     12.34     23.25
953.09/238.62	c  S st  2039    536863      2498      8429    571706     44481   1518360   3931387     12.39     11.49
953.49/238.77	c  S st  2039    537363      2498      8429    571706     44980   1518360   4000848     12.39   no data
953.49/238.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
962.66/241.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 71.2M T:  2.28
962.66/241.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
963.06/241.16	c bin-w-bin subsume rem            0 bins  time:  0.07 s
983.44/246.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.10 s
983.86/246.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
983.86/246.36	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
984.26/246.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
990.62/248.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.52 s
1024.98/256.63	c lits-rem:      2883  cl-subs:     1951  v-elim:      0  v-fix:    0  time:  8.59 s
1024.98/256.64	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
1025.38/256.74	c vivif2 --  cl tried    43029 cl shrink      130 lits rem        138 time: 0.10
1026.58/257.04	c asymm  cl-useful: 0/558/8429 lits-rem:0 time: 0.30
1026.58/257.06	c calculated reachability. Time: 0.00
1026.58/257.06	c  N dy  2039    537363      2498      8429    571706     43029   1518360   3921608     12.39   no data
1052.94/263.65	c  N dy  2118    557417      2498      8429    571706     31506   1518360   2254999     12.39     14.34
1074.11/268.98	c  N dy  2193    578508      2498      8429    571706     52063   1518360   4941960     12.38     13.18
1098.88/275.11	c  N dy  2272    598603      2498      8429    571706     39516   1518360   3320847     12.40     20.47
1123.65/281.35	c  N dy  2346    619006      2498      8429    571706     59377   1518360   5789698     12.42     13.07
1148.41/287.50	c  N dy  2454    639145      2498      8429    571707     45965   1518360   3977487     12.46     13.23
1177.59/294.83	c  N dy  2533    659562      2498      8429    571707     65891   1518360   6791286     12.48     13.37
1201.54/300.82	c  N dy  2642    679620      2498      8429    571707     51341   1518360   4997170     12.55     13.51
1237.89/309.93	c  N dy  2750    701050      2498      8429    571707     37106   1518360   2602706     12.64     13.46
1258.67/315.19	c  N dy  2804    721392      2498      8429    571707     56887   1518360   5040133     12.62     13.30
1283.82/321.47	c  N dy  2836    741431      2498      8429    571707     40336   1518360   2924406     12.57     13.32
1308.20/327.53	c  N dy  2932    761486      2498      8429    571707     59922   1518360   5515691     12.61     23.59
1336.55/334.64	c  N dy  2997    782009      2498      8429    571707     42915   1518360   3430732     12.59     13.31
1364.12/341.57	c  N dy  3075    802080      2498      8429    571707     62484   1518360   6007373     12.60     25.10
1370.53/343.20	c  S st  3098    806045      2498      8429    571707     66346   1518360   6570074     12.61      9.66
1371.71/343.42	c  S st  3098    806547      2498      8429    571707     66843   1518360   6635283     12.61   no data
1371.71/343.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1384.11/346.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 91.1M T:  3.10
1384.11/346.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1384.49/346.62	c bin-w-bin subsume rem            0 bins  time:  0.07 s
1404.87/351.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.11 s
1404.87/351.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
1405.27/351.84	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
1405.68/351.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
1415.25/354.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.23 s
1477.56/369.93	c lits-rem:      2151  cl-subs:     2650  v-elim:      0  v-fix:    0  time: 15.58 s
1477.56/369.94	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
1478.36/370.10	c vivif2 --  cl tried    64193 cl shrink       24 lits rem         24 time: 0.16
1479.56/370.40	c asymm  cl-useful: 0/943/8429 lits-rem:0 time: 0.30
1479.56/370.41	c calculated reachability. Time: 0.00
1479.56/370.41	c  N dy  3098    806547      2498      8429    571707     64193   1518360   6521225     12.61   no data
1508.73/377.76	c  N dy  3164    827296      2498      8429    571707     46416   1518360   3627065     12.59     13.27
1537.50/384.96	c  N dy  3263    847394      2498      8429    571707     66036   1518360   6288356     12.64     14.23
1567.05/392.34	c  N dy  3339    867427      2498      8429    571707     46553   1518360   3632919     12.65     13.43
1594.62/399.23	c  N dy  3418    888302      2498      8429    571707     66861   1518360   6544523     12.66     13.97
1627.36/407.43	c  N dy  3511    908636      2498      8429    571707     46729   1518360   3485636     12.69     13.39
1654.12/414.14	c  N dy  3602    929386      2498      8429    571707     66929   1518360   5977639     12.71     13.43
1685.28/421.99	c  N dy  3682    950847      2498      8429    571707     46920   1518360   3545475     12.72     13.82
1714.05/429.16	c  N dy  3792    970937      2498      8429    571707     66501   1518360   6231170     12.76     33.94
1750.40/438.22	c  N dy  3899    991045      2498      8429    571707     44202   1518360   3177660     12.80     13.48
1781.56/446.07	c  N dy  4001   1011475      2498      8429    571707     64105   1518360   5980244     12.85     13.64
1827.91/457.64	c  N dy  4104   1031519      2498      8429    571707     83555   1518360   8572621     12.88     14.31
1854.27/464.21	c  N dy  4177   1051565      2498      8429    571707     60220   1518360   5099681     12.88     14.06
1887.02/472.43	c  N dy  4232   1071665      2498      8429    571707     79735   1518360   7547248     12.87     34.46
1887.42/472.56	c  F st  4234   1071875      2498      8429    571707     79942   1518360   7562382     12.87     12.25
1917.37/480.00	c  N dy  4298   1092539      2498      8429    571707     56277   1518360   4747986     12.88     13.67
1950.95/488.45	c  N dy  4393   1112925      2498      8429    571707     76138   1518360   7191560     12.91     13.67
1986.88/497.47	c  N dy  4486   1133038      2498      8429    571707     50989   1518360   3825662     12.94     13.64
2015.64/504.65	c  N dy  4564   1153318      2498      8429    571707     70731   1518360   6159761     12.94     13.67
2047.62/512.69	c  N dy  4616   1173618      2498      8429    571707     90365   1518360   8159172     12.93     13.64
2074.76/519.44	c  N dy  4674   1193712      2498      8429    571707     64191   1518360   5095136     12.91     13.63
2097.13/525.02	c  S st  4706   1209820      2498      8429    571707     79788   1518360   6880355     12.89      9.66
2097.93/525.21	c  S st  4706   1210324      2498      8429    571707     80289   1518360   6961450     12.89   no data
2097.93/525.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2110.72/528.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 91.4M T:  3.22
2110.72/528.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2111.12/528.53	c bin-w-bin subsume rem            0 bins  time:  0.07 s
2131.89/533.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.21 s
2132.29/533.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
2132.29/533.85	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.05 s
2132.69/533.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
2140.67/535.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.82 s
2201.01/551.02	c lits-rem:      2329  cl-subs:     4365  v-elim:      0  v-fix:    0  time: 15.09 s
2201.01/551.03	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.01
2201.79/551.23	c vivif2 --  cl tried    75924 cl shrink        0 lits rem          0 time: 0.19
2202.99/551.54	c asymm  cl-useful: 0/366/8429 lits-rem:0 time: 0.31
2202.99/551.56	c calculated reachability. Time: 0.00
2202.99/551.56	c  N dy  4706   1210324      2498      8429    571707     75924   1518360   6823333     12.89   no data
2238.54/560.48	c  N dy  4798   1230384      2498      8429    571707     48876   1518360   3502814     12.91     13.64
2266.92/567.52	c  N dy  4898   1250421      2498      8429    571707     68434   1518360   6003405     12.94     20.16
2304.06/576.80	c  N dy  4975   1271503      2498      8429    571707     88912   1518360   8295625     12.94     13.69
2332.02/583.89	c  N dy  5062   1291583      2498      8429    571707     60811   1518360   4993291     12.96     13.65
2365.97/592.34	c  N dy  5133   1311896      2498      8429    571707     80497   1518360   7697015     12.97     13.87
2410.70/603.51	c  N dy  5218   1331908      2498      8429    571707     51381   1518360   3602221     12.98     20.32
2436.67/610.08	c  N dy  5287   1352049      2498      8429    571707     70909   1518360   6034854     12.97     13.69
2472.23/618.96	c  N dy  5357   1372164      2498      8429    571708     90354   1518360   8280265     12.97     13.66
2504.20/626.93	c  N dy  5435   1392176      2498      8429    571708     60406   1518360   4862070     12.98     13.70
2535.74/634.82	c  N dy  5500   1412515      2498      8429    571708     80187   1518360   7707367     12.97     13.67
2582.87/646.70	c  N dy  5581   1432529      2498      8429    571708     99715   1518360  10411456     12.98     16.64
2614.05/654.43	c  N dy  5676   1452562      2498      8429    571708     68674   1518360   5919736     13.00     13.75
2651.58/663.84	c  N dy  5736   1473923      2498      8429    571708     89451   1518360   8489313     13.00     13.72
2690.32/673.50	c  N dy  5827   1494282      2498      8429    571708     57688   1518360   4335411     13.01     13.74
2721.08/681.26	c  N dy  5910   1514690      2498      8429    571708     77426   1518360   6948064     13.02     13.88
2761.84/691.46	c  N dy  5996   1535204      2498      8429    571708     97324   1518360   9597515     13.03     13.78
2799.78/700.90	c  N dy  6068   1555302      2498      8429    571708     64355   1518360   4811285     13.02     16.14
2830.14/708.51	c  N dy  6136   1575377      2498      8429    571708     83781   1518360   7325115     13.02     14.06
2876.48/720.15	c  N dy  6211   1596057      2498      8429    571708    103833   1518360   9691896     13.02     13.86
2908.03/728.05	c  N dy  6282   1616146      2498      8429    571709     69944   1518360   5479899     13.02     13.78
2944.38/737.16	c  N dy  6380   1636180      2498      8429    571709     89342   1518360   8142655     13.04     14.26
2987.55/747.99	c  N dy  6421   1657469      2498      8429    571709     55737   1518360   3744823     13.03     15.41
3016.29/755.18	c  N dy  6512   1677566      2498      8429    571709     75312   1518360   6328210     13.05     20.86
3063.42/766.95	c  N dy  6577   1699995      2498      8429    571709     97064   1518360   9079850     13.04     13.88
3089.01/773.30	c  S st  6624   1710325      2498      8429    571709    107103   1518360  10304226     13.05   no data
3090.19/773.65	c  S st  6624   1710831      2498      8429    571709    107606   1518360  10381530     13.05   no data
3090.19/773.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3110.17/778.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 128.1M T:  4.95
3110.17/778.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3110.58/778.71	c bin-w-bin subsume rem            0 bins  time:  0.07 s
3131.33/783.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.21 s
3131.33/783.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
3131.73/784.03	c Removed useless bin:       0  fixed:     0  props:   2.86M  time:  0.05 s
3132.13/784.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3141.34/786.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.99 s
3209.63/803.55	c lits-rem:      2032  cl-subs:     6186  v-elim:      0  v-fix:    0  time: 17.12 s
3209.63/803.56	c vivif2 --  cl tried     8429 cl shrink        1 lits rem          1 time: 0.01
3210.83/803.83	c vivif2 --  cl tried   101420 cl shrink        8 lits rem          8 time: 0.27
3212.42/804.22	c asymm  cl-useful: 0/837/8429 lits-rem:0 time: 0.38
3212.42/804.23	c calculated reachability. Time: 0.00
3212.42/804.23	c  N dy  6624   1710831      2498      8429    571709    101420   1518359  10180075     13.05   no data
3251.19/813.92	c  N dy  6651   1731051      2498      8429    571709     65794   1518359   4774156     13.02     13.78
3281.13/821.40	c  N dy  6706   1751057      2498      8429    571709     85200   1518359   7256782     13.01     24.34
3324.68/832.31	c  N dy  6773   1772316      2498      8429    571709    105813   1518359   9750684     13.01     13.72
3361.45/841.57	c  N dy  6839   1794328      2498      8429    571709     70919   1518359   5457450     13.00     13.73
3392.98/849.42	c  N dy  6872   1814627      2498      8429    571709     90650   1518359   7803648     12.98     13.75
3438.52/860.82	c  N dy  6964   1834808      2498      8429    571709    110217   1518359  10398179     12.99     14.00
3480.09/871.23	c  N dy  7020   1859512      2498      8429    571710     76900   1518359   5600263     12.98     13.73
3514.03/879.77	c  N dy  7077   1879580      2498      8429    571710     96385   1518359   7694358     12.97     13.89
3554.39/889.86	c  N dy  7149   1899724      2498      8429    571710    115955   1518359  10408050     12.97     14.10
3585.93/897.72	c  N dy  7223   1919896      2498      8429    571710     77323   1518359   6466755     12.98     13.67
3623.48/907.19	c  N dy  7294   1939989      2498      8429    571712     96825   1518359   9036100     12.98     13.81
3675.41/920.16	c  N dy  7395   1959991      2498      8429    571712    116236   1518359  11802975     13.00     14.15
3709.35/928.66	c  N dy  7458   1980508      2498      8429    571713     77030   1518359   6167281     12.99     14.23
3745.71/937.76	c  N dy  7523   2000851      2498      8429    571714     96726   1518359   8641986     12.99     14.04
3793.64/949.78	c  N dy  7576   2021804      2498      8429    571714    117050   1518359  10786270     12.98     13.77
3828.00/958.38	c  N dy  7651   2042461      2498      8429    571714     76934   1518359   6419012     12.98     13.84
3873.53/969.79	c  N dy  7745   2062923      2498      8429    571714     96894   1518359   8998055     13.00     13.85
3930.66/984.09	c  N dy  7863   2082987      2498      8429    571714    116419   1518359  11446364     13.03     22.64
3978.19/995.94	c  N dy  7949   2103440      2498      8429    571714     75041   1518359   5800409     13.04     13.80
4016.17/1005.42	c  N dy  8031   2123596      2498      8429    571714     94590   1518359   8109538     13.04     13.83
4059.71/1016.35	c  N dy  8105   2143689      2498      8429    571714    114125   1518359  10838277     13.05     33.36
4106.42/1028.00	c  N dy  8221   2163696      2498      8429    571714     71389   1518359   5498641     13.08     33.33
4143.59/1037.40	c  N dy  8294   2184257      2498      8429    571714     91358   1518359   8005728     13.08     13.86
4189.51/1048.87	c  N dy  8375   2204389      2498      8429    571714    110876   1518359  10704301     13.09     13.78
4206.29/1053.09	c  S st  8398   2210835      2498      8429    571714    117153   1518359  11580215     13.09     10.33
4208.29/1053.51	c  S st  8398   2211339      2498      8429    571714    117656   1518359  11677228     13.09   no data
4208.29/1053.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4231.48/1059.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 149.8M T:  5.79
4231.48/1059.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4231.85/1059.42	c bin-w-bin subsume rem            0 bins  time:  0.07 s
4252.23/1064.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.15 s
4252.63/1064.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.06 s
4252.63/1064.68	c Removed useless bin:       0  fixed:     0  props:   2.86M  time:  0.05 s
4253.04/1064.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
4268.58/1068.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.53 s
4348.47/1088.69	c lits-rem:      2664  cl-subs:     6397  v-elim:      0  v-fix:    0  time: 20.05 s
4348.87/1088.70	c vivif2 --  cl tried     8429 cl shrink        1 lits rem          1 time: 0.01
4350.08/1089.01	c vivif2 --  cl tried   111259 cl shrink      267 lits rem        268 time: 0.31
4351.67/1089.41	c asymm  cl-useful: 0/600/8429 lits-rem:0 time: 0.40
4351.67/1089.42	c calculated reachability. Time: 0.00
4351.67/1089.42	c  N dy  8398   2211339      2498      8429    571714    111259   1518358  11467817     13.09   no data
4406.81/1103.21	c  N dy  8476   2232362      2498      8429    571714     68630   1518358   5273853     13.10     13.98
4446.76/1113.23	c  N dy  8582   2252431      2498      8429    571714     88209   1518358   7877615     13.12     17.90
4497.87/1126.09	c  N dy  8656   2273374      2498      8429    571714    108441   1518358  10250364     13.12     13.89
4558.19/1141.16	c  N dy  8754   2294120      2498      8429    571714     64537   1518358   4509418     13.13     13.87
4591.76/1149.53	c  N dy  8848   2314371      2498      8429    571716     84229   1518358   6875879     13.14     13.85
4629.69/1159.08	c  N dy  8904   2334386      2498      8429    571716    103627   1518358   9233989     13.13     22.78
4678.03/1171.19	c  N dy  8990   2354418      2498      8429    571716    123023   1518358  11886873     13.14     41.08
4716.37/1180.77	c  N dy  9041   2374459      2498      8429    571716     77434   1518358   6085604     13.13     14.22
4753.13/1189.97	c  N dy  9120   2394631      2498      8429    571716     97074   1518358   8585371     13.14     13.99

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.69 7.99 8.06 5/180 23670
/proc/meminfo: memFree=27339600/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 524739132 52441088 352 33554432000 4194304 4627427 140734491342816 18446744073709551615 47515865945625 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 12803 352 303 106 0 7774 0
[pid=23670/tid=23671] ppid=23668 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 524739133 52441088 352 33554432000 4194304 4627427 140734491342816 18446744073709551615 47515865945619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524739133 52441088 352 33554432000 4194304 4627427 140734491342816 18446744073709551615 47515865946034 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524739133 52441088 352 33554432000 4194304 4627427 140734491342816 18446744073709551615 47515865945623 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0947511 s]
/proc/loadavg: 7.69 7.99 8.06 5/180 23670
/proc/meminfo: memFree=27339600/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=294492 CPUtime=0.36 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 12917 0 0 0 31 5 0 0 18 0 4 0 524739132 301559808 12728 33554432000 4194304 4627427 140734491342816 18446744073709551615 208079893537 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 73723 13111 338 106 0 68694 0
[pid=23670/tid=23671] ppid=23668 vsize=295160 CPUtime=0.08 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) D 23668 23670 20956 0 -1 4202560 3231 0 0 0 7 1 0 0 18 0 4 0 524739133 302243840 13279 33554432000 4194304 4627427 140734491342816 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=295424 CPUtime=0.09 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) D 23668 23670 20956 0 -1 4202560 3265 0 0 0 8 1 0 0 18 0 4 0 524739133 302514176 13611 33554432000 4194304 4627427 140734491342816 18446744073709551615 208079929099 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=295824 CPUtime=0.09 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 3599 0 0 0 9 0 0 0 18 0 4 0 524739133 302923776 13848 33554432000 4194304 4627427 140734491342816 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 294492

[startup+0.135031 s]
/proc/loadavg: 7.69 7.99 8.06 5/180 23670
/proc/meminfo: memFree=27339600/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=296204 CPUtime=0.53 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 16483 0 0 0 47 6 0 0 18 0 4 0 524739132 303312896 16294 33554432000 4194304 4627427 140734491342816 18446744073709551615 4299670 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 74051 16664 365 106 0 69022 0
[pid=23670/tid=23671] ppid=23668 vsize=296204 CPUtime=0.14 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 4331 0 0 0 12 2 0 0 18 0 4 0 524739133 303312896 16971 33554432000 4194304 4627427 140734491342816 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=296204 CPUtime=0.13 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) D 23668 23670 20956 0 -1 4202560 4385 0 0 0 12 1 0 0 18 0 4 0 524739133 303312896 17263 33554432000 4194304 4627427 140734491342816 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=296204 CPUtime=0.14 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 3821 0 0 0 14 0 0 0 18 0 4 0 524739133 303312896 17775 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 296204

[startup+0.637075 s]
/proc/loadavg: 7.69 7.99 8.06 5/180 23670
/proc/meminfo: memFree=27339600/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=299244 CPUtime=2.5 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 26256 0 0 0 241 9 0 0 18 0 4 0 524739132 306425856 25352 33554432000 4194304 4627427 140734491342816 18446744073709551615 208079893019 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 74811 25532 381 106 0 69782 0
[pid=23670/tid=23671] ppid=23668 vsize=299244 CPUtime=0.63 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) D 23668 23670 20956 0 -1 4202560 6971 0 0 0 60 3 0 0 18 0 4 0 524739133 306425856 25640 33554432000 4194304 4627427 140734491342816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=299244 CPUtime=0.62 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) D 23668 23670 20956 0 -1 4202560 7091 0 0 0 60 2 0 0 18 0 4 0 524739133 306425856 26048 33554432000 4194304 4627427 140734491342816 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=299244 CPUtime=0.64 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 5315 0 0 0 63 1 0 0 18 0 4 0 524739133 306425856 26063 33554432000 4194304 4627427 140734491342816 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 299244

[startup+1.41235 s]
/proc/loadavg: 7.69 7.99 8.06 5/180 23670
/proc/meminfo: memFree=27339600/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=301304 CPUtime=5.6 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 36640 0 0 0 548 12 0 0 19 0 4 0 524739132 308535296 34212 33554432000 4194304 4627427 140734491342816 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 75326 34212 385 106 0 70297 0
[pid=23670/tid=23671] ppid=23668 vsize=301304 CPUtime=1.4 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 9488 0 0 0 136 4 0 0 19 0 4 0 524739133 308535296 34212 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=301304 CPUtime=1.39 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 9576 0 0 0 136 3 0 0 19 0 4 0 524739133 308535296 34212 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=301304 CPUtime=1.39 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 7251 0 0 0 138 1 0 0 19 0 4 0 524739133 308535296 34212 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 301304

[startup+1.51234 s]
/proc/loadavg: 7.69 7.99 8.06 5/180 23670
/proc/meminfo: memFree=27339600/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=308448 CPUtime=6 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 38659 0 0 0 588 12 0 0 19 0 4 0 524739132 315850752 33720 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 77112 33720 385 106 0 72083 0
[pid=23670/tid=23671] ppid=23668 vsize=308448 CPUtime=1.5 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 10337 0 0 0 146 4 0 0 19 0 4 0 524739133 315850752 33720 33554432000 4194304 4627427 140734491342816 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=308448 CPUtime=1.49 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 10400 0 0 0 146 3 0 0 19 0 4 0 524739133 315850752 33720 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=308448 CPUtime=1.49 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 7437 0 0 0 148 1 0 0 20 0 4 0 524739133 315850752 33720 33554432000 4194304 4627427 140734491342816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 308448

[startup+3.10104 s]
/proc/loadavg: 7.69 7.99 8.06 9/184 23674
/proc/meminfo: memFree=27198100/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=317064 CPUtime=12.35 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 51785 0 0 0 1220 15 0 0 22 0 4 0 524739132 324673536 37292 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 79266 37292 386 106 0 74237 0
[pid=23670/tid=23671] ppid=23668 vsize=317064 CPUtime=3.08 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 13213 0 0 0 304 4 0 0 22 0 4 0 524739133 324673536 37292 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=317064 CPUtime=3.08 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 13235 0 0 0 304 4 0 0 22 0 4 0 524739133 324673536 37292 33554432000 4194304 4627427 140734491342816 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=317064 CPUtime=3.09 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 11029 0 0 0 307 2 0 0 25 0 4 0 524739133 324673536 37292 33554432000 4194304 4627427 140734491342816 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 317064

[startup+6.30043 s]
/proc/loadavg: 7.79 8.00 8.06 9/184 23674
/proc/meminfo: memFree=27166280/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=374356 CPUtime=25.14 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 73650 0 0 0 2494 20 0 0 25 0 4 0 524739132 383340544 45078 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 93589 45078 389 106 0 88560 0
[pid=23670/tid=23671] ppid=23668 vsize=374356 CPUtime=6.29 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 18462 0 0 0 624 5 0 0 25 0 4 0 524739133 383340544 45078 33554432000 4194304 4627427 140734491342816 18446744073709551615 4249224 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=374356 CPUtime=6.26 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 18947 0 0 0 621 5 0 0 25 0 4 0 524739133 383340544 45078 33554432000 4194304 4627427 140734491342816 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=374356 CPUtime=6.29 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 16109 0 0 0 626 3 0 0 25 0 4 0 524739133 383340544 45078 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 374356

[startup+12.7002 s]
/proc/loadavg: 7.81 8.00 8.06 9/184 23674
/proc/meminfo: memFree=27118812/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=407844 CPUtime=50.69 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 87959 0 0 0 5047 22 0 0 25 0 4 0 524739132 417632256 57859 33554432000 4194304 4627427 140734491342816 18446744073709551615 4428093 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 101961 57860 389 106 0 96932 0
[pid=23670/tid=23671] ppid=23668 vsize=407844 CPUtime=12.68 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 21176 0 0 0 1263 5 0 0 25 0 4 0 524739133 417632256 57860 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424709 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=407844 CPUtime=12.62 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 19877 0 0 0 1257 5 0 0 25 0 4 0 524739133 417632256 57860 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=407844 CPUtime=12.68 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 25094 0 0 0 1264 4 0 0 25 0 4 0 524739133 417632256 57860 33554432000 4194304 4627427 140734491342816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 407844

[startup+25.5008 s]
/proc/loadavg: 7.85 8.00 8.06 9/184 23675
/proc/meminfo: memFree=27019500/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=529252 CPUtime=101.83 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 130205 0 0 0 10151 32 0 0 25 0 4 0 524739132 541954048 80638 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424648 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 132313 80638 389 106 0 127284 0
[pid=23670/tid=23671] ppid=23668 vsize=529252 CPUtime=25.48 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 29425 0 0 0 2541 7 0 0 25 0 4 0 524739133 541954048 80638 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424686 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=529252 CPUtime=25.35 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 30927 0 0 0 2527 8 0 0 25 0 4 0 524739133 541954048 80638 33554432000 4194304 4627427 140734491342816 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=529252 CPUtime=25.49 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 38215 0 0 0 2542 7 0 0 25 0 4 0 524739133 541954048 80638 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424696 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 529252

[startup+51.1009 s]
/proc/loadavg: 7.97 8.02 8.06 9/184 23675
/proc/meminfo: memFree=26870612/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=720580 CPUtime=204.09 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 190772 0 0 0 20365 44 0 0 25 0 4 0 524739132 737873920 116372 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 180145 116372 389 106 0 175116 0
[pid=23670/tid=23671] ppid=23668 vsize=720580 CPUtime=51.09 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 42814 0 0 0 5099 10 0 0 25 0 4 0 524739133 737873920 116372 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=720580 CPUtime=50.81 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 43936 0 0 0 5070 11 0 0 25 0 4 0 524739133 737873920 116372 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=720580 CPUtime=51.09 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 58222 0 0 0 5099 10 0 0 25 0 4 0 524739133 737873920 116372 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 720580

[startup+102.306 s]
/proc/loadavg: 7.99 8.01 8.06 9/184 23677
/proc/meminfo: memFree=26734252/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=822660 CPUtime=408.63 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 282974 0 0 0 40795 68 0 0 25 0 4 0 524739132 842403840 148156 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 205665 148156 389 106 0 200636 0
[pid=23670/tid=23671] ppid=23668 vsize=822660 CPUtime=102.29 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 58163 0 0 0 10215 14 0 0 25 0 4 0 524739133 842403840 148156 33554432000 4194304 4627427 140734491342816 18446744073709551615 4310544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=822660 CPUtime=101.74 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 68792 0 0 0 10155 19 0 0 25 0 4 0 524739133 842403840 148156 33554432000 4194304 4627427 140734491342816 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=822660 CPUtime=102.3 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 87575 0 0 0 10213 17 0 0 25 0 4 0 524739133 842403840 148156 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 822660

[startup+162.301 s]

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

[pid=23670] ppid=23668 vsize=1700388 CPUtime=2565.71 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1224306 0 0 0 256240 331 0 0 25 0 4 0 524739132 1741197312 271161 33554432000 4194304 4627427 140734491342816 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 425097 271161 389 106 0 420068 0
[pid=23670/tid=23671] ppid=23668 vsize=1700388 CPUtime=642.31 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 300453 0 0 0 64151 80 0 0 25 0 4 0 524739133 1741197312 271161 33554432000 4194304 4627427 140734491342816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1700388 CPUtime=638.81 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 303803 0 0 0 63793 88 0 0 25 0 4 0 524739133 1741197312 271161 33554432000 4194304 4627427 140734491342816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1700388 CPUtime=642.31 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 340635 0 0 0 64143 88 0 0 25 0 4 0 524739133 1741197312 271161 33554432000 4194304 4627427 140734491342816 18446744073709551615 4332206 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 1700388

[startup+702.301 s]
/proc/loadavg: 8.07 8.07 8.05 9/184 23724
/proc/meminfo: memFree=25884640/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1383500 CPUtime=2805.38 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1309758 0 0 0 280181 357 0 0 25 0 4 0 524739132 1416704000 272180 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 345875 272180 389 106 0 340846 0
[pid=23670/tid=23671] ppid=23668 vsize=1383500 CPUtime=702.3 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 320221 0 0 0 70144 86 0 0 25 0 4 0 524739133 1416704000 272180 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1383500 CPUtime=698.48 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 327711 0 0 0 69752 96 0 0 25 0 4 0 524739133 1416704000 272180 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1383500 CPUtime=702.31 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 360495 0 0 0 70138 93 0 0 25 0 4 0 524739133 1416704000 272180 33554432000 4194304 4627427 140734491342816 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 1383500

[startup+762.306 s]
/proc/loadavg: 8.07 8.07 8.05 9/184 23725
/proc/meminfo: memFree=25862136/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1730468 CPUtime=3045.07 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1382395 0 0 0 304126 381 0 0 25 0 4 0 524739132 1771999232 274965 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 432617 274965 389 106 0 427588 0
[pid=23670/tid=23671] ppid=23668 vsize=1730468 CPUtime=762.31 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 343651 0 0 0 76138 93 0 0 25 0 4 0 524739133 1771999232 274965 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1730468 CPUtime=758.15 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 341243 0 0 0 75716 99 0 0 25 0 4 0 524739133 1771999232 274965 33554432000 4194304 4627427 140734491342816 18446744073709551615 4427146 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1730468 CPUtime=762.32 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 379225 0 0 0 76131 101 0 0 25 0 4 0 524739133 1771999232 274965 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 1730468

[startup+822.301 s]
/proc/loadavg: 8.11 8.08 8.06 9/184 23727
/proc/meminfo: memFree=25741320/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1645052 CPUtime=3284.73 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1461139 0 0 0 328069 404 0 0 25 0 4 0 524739132 1684533248 291354 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 411263 291354 389 106 0 406234 0
[pid=23670/tid=23671] ppid=23668 vsize=1645052 CPUtime=822.3 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 366552 0 0 0 82131 99 0 0 25 0 4 0 524739133 1684533248 291354 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1645052 CPUtime=817.82 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 361578 0 0 0 81678 104 0 0 25 0 4 0 524739133 1684533248 291354 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1645052 CPUtime=822.31 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 395605 0 0 0 82123 108 0 0 25 0 4 0 524739133 1684533248 291354 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 1645052

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 8.06 9/184 23728
/proc/meminfo: memFree=25706324/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1649472 CPUtime=3524.4 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1539468 0 0 0 352012 428 0 0 25 0 4 0 524739132 1689059328 298265 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 412368 298265 389 106 0 407339 0
[pid=23670/tid=23671] ppid=23668 vsize=1649472 CPUtime=882.3 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 389528 0 0 0 88126 104 0 0 25 0 4 0 524739133 1689059328 298265 33554432000 4194304 4627427 140734491342816 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1649472 CPUtime=877.5 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 385006 0 0 0 87638 112 0 0 25 0 4 0 524739133 1689059328 298265 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1649472 CPUtime=882.31 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 411067 0 0 0 88118 113 0 0 25 0 4 0 524739133 1689059328 298265 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 1649472

[startup+942.301 s]
/proc/loadavg: 8.11 8.10 8.07 9/184 23730
/proc/meminfo: memFree=25629644/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1873224 CPUtime=3764.08 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1629851 0 0 0 375952 456 0 0 25 0 4 0 524739132 1918181376 318858 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 468306 318858 389 106 0 463277 0
[pid=23670/tid=23671] ppid=23668 vsize=1873224 CPUtime=942.31 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 408276 0 0 0 94120 111 0 0 25 0 4 0 524739133 1918181376 318858 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1873224 CPUtime=937.18 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 408953 0 0 0 93597 121 0 0 25 0 4 0 524739133 1918181376 318858 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1873224 CPUtime=942.31 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 434500 0 0 0 94112 119 0 0 25 0 4 0 524739133 1918181376 318858 33554432000 4194304 4627427 140734491342816 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 1873224

[startup+1002.3 s]
/proc/loadavg: 8.19 8.12 8.08 9/184 23732
/proc/meminfo: memFree=25609156/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1907856 CPUtime=4003.76 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1688886 0 0 0 399899 477 0 0 25 0 4 0 524739132 1953644544 329401 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 476964 329401 389 106 0 471935 0
[pid=23670/tid=23671] ppid=23668 vsize=1907856 CPUtime=1002.31 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 422058 0 0 0 100115 116 0 0 25 0 4 0 524739133 1953644544 329401 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1907856 CPUtime=996.85 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 425784 0 0 0 99557 128 0 0 25 0 4 0 524739133 1953644544 329401 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1907856 CPUtime=1002.3 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 448184 0 0 0 100109 121 0 0 25 0 4 0 524739133 1953644544 329401 33554432000 4194304 4627427 140734491342816 18446744073709551615 4428380 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 1907856

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.08 9/184 23733
/proc/meminfo: memFree=25546136/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1924676 CPUtime=4243.44 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1762937 0 0 0 423841 503 0 0 25 0 4 0 524739132 1970868224 331516 33554432000 4194304 4627427 140734491342816 18446744073709551615 4424686 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 481169 331516 389 106 0 476140 0
[pid=23670/tid=23671] ppid=23668 vsize=1924676 CPUtime=1062.31 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 445701 0 0 0 106108 123 0 0 25 0 4 0 524739133 1970868224 331516 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1924676 CPUtime=1056.52 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 437838 0 0 0 105520 132 0 0 25 0 4 0 524739133 1970868224 331516 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1924676 CPUtime=1062.32 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 469563 0 0 0 106103 129 0 0 25 0 4 0 524739133 1970868224 331516 33554432000 4194304 4627427 140734491342816 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 1924676

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.08 9/184 23744
/proc/meminfo: memFree=25612788/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1963268 CPUtime=4483.09 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1824211 0 0 0 447784 525 0 0 25 0 4 0 524739132 2010386432 327505 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 490817 327505 389 106 0 485788 0
[pid=23670/tid=23671] ppid=23668 vsize=1963268 CPUtime=1122.3 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 463256 0 0 0 112102 128 0 0 25 0 4 0 524739133 2010386432 327505 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1963268 CPUtime=1116.19 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 459659 0 0 0 111478 141 0 0 25 0 4 0 524739133 2010386432 327505 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1963268 CPUtime=1122.3 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 486876 0 0 0 112096 134 0 0 25 0 4 0 524739133 2010386432 327505 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 1963268

[startup+1182.3 s]
/proc/loadavg: 8.10 8.10 8.08 9/184 23745
/proc/meminfo: memFree=25548900/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1645596 CPUtime=4722.77 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1902044 0 0 0 471726 551 0 0 25 0 4 0 524739132 1685090304 326960 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 411399 326960 389 106 0 406370 0
[pid=23670/tid=23671] ppid=23668 vsize=1645596 CPUtime=1182.3 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 486128 0 0 0 118094 136 0 0 25 0 4 0 524739133 1685090304 326960 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1645596 CPUtime=1175.87 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 476388 0 0 0 117440 147 0 0 25 0 4 0 524739133 1685090304 326960 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1645596 CPUtime=1182.3 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 509603 0 0 0 118089 141 0 0 25 0 4 0 524739133 1685090304 326960 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 1645596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.09 8.07 9/184 23746
/proc/meminfo: memFree=25526828/32950928 swapFree=67111356/67111528
[pid=23670] ppid=23668 vsize=1910600 CPUtime=4800.28 cores=1,3,5,7
/proc/23670/stat : 23670 (strangenight2-m) R 23668 23670 20956 0 -1 4202496 1923684 0 0 0 479469 559 0 0 25 0 4 0 524739132 1956454400 327217 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23670/statm: 477650 327217 389 106 0 472621 0
[pid=23670/tid=23671] ppid=23668 vsize=1910600 CPUtime=1201.7 cores=1,3,5,7
/proc/23670/task/23671/stat : 23671 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 489958 0 0 0 120033 137 0 0 25 0 4 0 524739133 1956454400 327217 33554432000 4194304 4627427 140734491342816 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23670/tid=23672] ppid=23668 vsize=1910600 CPUtime=1195.17 cores=1,3,5,7
/proc/23670/task/23672/stat : 23672 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 485630 0 0 0 119367 150 0 0 25 0 4 0 524739133 1956454400 327217 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23670/tid=23673] ppid=23668 vsize=1910600 CPUtime=1201.71 cores=1,3,5,7
/proc/23670/task/23673/stat : 23673 (strangenight2-m) R 23668 23670 20956 0 -1 4202560 513782 0 0 0 120028 143 0 0 25 0 4 0 524739133 1956454400 327217 33554432000 4194304 4627427 140734491342816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1910600

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): 1201.77
CPU time (s): 4800.36
CPU user time (s): 4794.72
CPU system time (s): 5.64414
CPU usage (%): 399.442
Max. virtual memory (cumulated for all children) (KiB): 2102720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.72
system time used= 5.64414
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1923685
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= 8093
involuntary context switches= 32688

runsolver used 1.9907 second user time and 4.5833 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 04:43:15
IDJOB=3250889
IDBENCH=88204
IDSOLVER=1586
FILE ID=node127/3250889-1304131394
RUNJOBID= node127-1304128754-20975
PBS_JOBID= 13170783
Free space on /tmp= 72720 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3250889-1304131394/watcher-3250889-1304131394 -o /tmp/evaluation-result-3250889-1304131394/solver-3250889-1304131394 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3250889-1304131394.cnf

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=1873190905

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.86
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.823
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.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27339632 kB
Buffers:       1296936 kB
Cached:        3374260 kB
SwapCached:          8 kB
Active:         662892 kB
Inactive:      4485576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27339632 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12840 kB
Writeback:           0 kB
AnonPages:      476904 kB
Mapped:          15504 kB
Slab:           398768 kB
PageTables:       5260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   697012 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= 72716 MiB
End job on node127 at 2011-04-30 05:03:18