Trace number 3367272

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.13 1203.98

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
MD5SUMb967fca11e85ef5b614d3452b1c4b2ad
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables257030
Number of clauses769313
Sum of the clauses size1795061
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2512874
Number of clauses of size 3256437
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367272-1305394160.cnf'
0.00/0.01	c -- header says num vars:         257030
0.00/0.01	c -- header says num clauses:      769313
1.65/0.60	c -- clauses added:            0 learnts,       769313 normals,            0 xors
1.65/0.60	c -- vars added     257030
1.65/0.60	c Parsing time:  0.31 s
1.65/0.60	c  N st     0         0    257030    256437    512874         0   1795059         0   no data   no data
3.61/1.00	c asymm  cl-useful: 0/72582/254022 lits-rem:0 time: 0.48
31.18/7.93	c Flit:   220 Blit:   9020 bXBeca:    0 bXProp: 21158 Bins:      0 BRemL:      0 BRemN:      0 P: 124.8M T:  6.93
31.18/7.97	c Cleaning up after failed var search:     0.04 s 
31.52/8.07	c Replacing    21158 vars Replaced   377481 lits Time:     0.09 s 
31.92/8.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31.92/8.19	c bin-w-bin subsume rem         1232 bins  time:  0.04 s
32.72/8.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
33.12/8.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130234 time:  0.17 s
33.91/8.61	c Removed useless bin:     333  fixed:     0  props:  20.00M  time:  0.13 s
36.62/9.33	c lits-rem:        40  cl-subs:      146  v-elim:  74685  v-fix:    0  time:  0.58 s
36.62/9.39	c Finding binary XORs  T:     0.05 s  found:      20
37.01/9.44	c Replacing       20 vars Replaced      840 lits Time:     0.05 s 
37.80/9.61	c Finding non-binary XORs:     0.11 s (found:   12899, avg size: 3.0)
37.80/9.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5928 locsubst:     0 time:   0.05
37.80/9.63	c calculated reachability. Time: 0.00
37.80/9.65	c Calc default polars -  time:   0.02 s pos:   15447 undec:  145265 neg:   96318
37.80/9.65	c =========================================================================================
37.80/9.65	c types(t): F = full restart, N = normal restart
37.80/9.65	c types(t): S = simplification begin/end, E = solution found
37.80/9.65	c restart types(rt): st = static, dy = dynamic
37.80/9.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
37.80/9.65	c  B st     0         0    143423    237075    233733         0   1211200         0   no data   no data
54.55/13.82	c  N dy    18      4174    143423    237075    233749      4135   1211200    139031     15.54     16.37
66.52/16.86	c  N dy    29      8215    143423    237075    233806      8130   1211200    258477     14.53     15.33
79.66/20.19	c  N dy    53     12236    143423    237075    233808     12121   1211200    376665     14.71     15.63
92.05/23.30	c  N dy    76     16321    143423    237075    233816     16179   1211200    499410     14.79     15.57
103.59/26.13	c  N dy    96     20418    143423    237075    234102     10330   1211200    194756     14.85     15.92
115.56/29.16	c  N dy   115     24438    143423    237075    234105     14302   1211200    316814     14.95     15.80
117.95/29.70	c  F st   118     25000    143423    237075    234105     14863   1211200    335203     14.96     15.19
133.10/33.50	c  N dy   124     30000    143423    237075    234340     19819   1211200    486092     14.96   no data
133.10/33.50	c  S st   124     30000    143423    237075    234340     19819   1211200    486092     14.96   no data
135.10/34.09	c  S st   124     30502    143423    237075    234476     20177   1211200    488099     14.96   no data
135.50/34.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   3260 locsubst:     0 time:   0.05
152.24/38.39	c Flit:   620 Blit:     51 bXBeca:    0 bXProp: 4133 Bins: 509149 BRemL:  59866 BRemN:     20 P: 73.8M T:  4.20
152.24/38.40	c Cleaning up after failed var search:     0.00 s 
153.05/38.53	c Replacing     4133 vars Replaced   634857 lits Time:     0.13 s 
153.05/38.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.88/38.75	c bin-w-bin subsume rem       253867 bins  time:  0.14 s
154.23/38.86	c subs with bin:     3265  lits-rem:      3197  v-fix:    0  time:  0.12 s
155.03/39.04	c Subs w/ non-existent bins:     58 l-rem:     84 v-fix:     0 done: 125479 time:  0.18 s
155.43/39.14	c Removed useless bin:     461  fixed:     0  props:  15.82M  time:  0.10 s
159.41/40.13	c lits-rem:      1022  cl-subs:    12554  v-elim:  40456  v-fix:    0  time:  0.96 s
159.81/40.20	c subs with bin:       25  lits-rem:       180  v-fix:    0  time:  0.05 s
160.21/40.32	c lits-rem:        63  cl-subs:      428  v-elim:      0  v-fix:    0  time:  0.08 s
162.22/40.83	c asymm  cl-useful: 3852/69681/248505 lits-rem:6448 time: 0.49
162.22/40.85	c calculated reachability. Time: 0.00
162.22/40.85	c  N dy   124     30502     94901    247629    292675      2525   1165254    296655     14.96   no data
162.22/40.90	c Finding binary XORs  T:     0.04 s  found:     217
171.42/43.19	c  N dy   142     34595     94901    247629    292690      6579   1165254    388876     14.92     16.34
179.34/45.11	c Finding binary XORs  T:     0.05 s  found:       0
179.76/45.28	c  N dy   168     38696     94898    247609    503435     10631   1165195    904162     15.01     17.69
186.51/46.93	c  N dy   186     42735     94898    247609    503437      7935   1165195    802469     15.04     16.78
192.50/48.43	c  S st   209     45753     94898    247609    804159     10914   1165195   1471428     15.13   no data
193.34/48.65	c Finding binary XORs  T:     0.05 s  found:      43
194.88/49.05	c  S st   209     46254     94859    247364    804032     11293   1164509   1472902     15.13   no data
195.28/49.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1416 locsubst:     0 time:   0.06
204.86/51.59	c Flit:   424 Blit:      8 bXBeca:    0 bXProp: 1335 Bins:   4832 BRemL:  38393 BRemN:    263 P: 46.0M T:  2.45
204.86/51.59	c Cleaning up after failed var search:     0.00 s 
205.66/51.71	c Replacing     1595 vars Replaced   145768 lits Time:     0.11 s 
205.66/51.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
207.24/52.14	c bin-w-bin subsume rem       460936 bins  time:  0.34 s
207.64/52.28	c subs with bin:    24839  lits-rem:     44263  v-fix:    0  time:  0.14 s
208.44/52.44	c Subs w/ non-existent bins:   1190 l-rem:   1417 v-fix:     0 done:  91403 time:  0.15 s
208.84/52.55	c Removed useless bin:   12785  fixed:     0  props:   4.36M  time:  0.10 s
210.04/52.82	c lits-rem:        24  cl-subs:     1298  v-elim:    890  v-fix:    0  time:  0.27 s
210.45/52.92	c subs with bin:       10  lits-rem:        82  v-fix:    0  time:  0.06 s
210.88/53.09	c lits-rem:       410  cl-subs:      405  v-elim:      0  v-fix:    0  time:  0.14 s
213.23/53.69	c asymm  cl-useful: 0/30146/216497 lits-rem:0 time: 0.60
213.62/53.71	c calculated reachability. Time: 0.00
213.62/53.71	c  N dy   209     46254     90513    216497    295866     10862   1048444    443049     15.13   no data
213.62/53.76	c Finding binary XORs  T:     0.04 s  found:      11
226.39/56.90	c  N dy   210     52324     90513    216497    295866     16864   1048444    617071     14.85     15.69
230.77/58.02	c Finding binary XORs  T:     0.05 s  found:     175
233.56/58.76	c  N dy   241     56440     90323    215459    321288     20933   1045234    767970     14.99     15.78
239.94/60.34	c  N dy   261     60445     90323    215459    323190     24842   1045234    855121     15.02     15.88
247.92/62.35	c  N dy   293     64490     90323    215459    323509     14732   1045234    542995     15.10     17.67
255.88/64.35	c  N dy   318     68618     90323    215459    323510     18805   1045234    645456     15.16     19.23
257.48/64.70	c  S st   326     69382     90323    215459    323510     19559   1045234    664067     15.20   no data
259.12/65.17	c  S st   326     69884     90305    215459    323621     19911   1045227    665842     15.20   no data
259.47/65.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    904 locsubst:     0 time:   0.05
270.64/68.08	c Flit:  1830 Blit:     36 bXBeca:    0 bXProp: 3592 Bins:  57647 BRemL:  99476 BRemN:    845 P: 42.2M T:  2.83
271.04/68.11	c Cleaning up after failed var search:     0.03 s 
271.04/68.18	c Replacing     3778 vars Replaced   133543 lits Time:     0.06 s 
271.44/68.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
271.44/68.29	c bin-w-bin subsume rem        38332 bins  time:  0.04 s
271.85/68.39	c subs with bin:     1186  lits-rem:      5823  v-fix:    0  time:  0.09 s
272.63/68.54	c Subs w/ non-existent bins:    507 l-rem:    347 v-fix:     0 done:  83744 time:  0.14 s
273.03/68.62	c Removed useless bin:    2788  fixed:     0  props:   5.46M  time:  0.08 s
274.23/68.91	c lits-rem:       124  cl-subs:     3366  v-elim:   2503  v-fix:    0  time:  0.28 s
274.23/69.00	c subs with bin:       14  lits-rem:       101  v-fix:    0  time:  0.06 s
275.03/69.19	c lits-rem:       322  cl-subs:      376  v-elim:      0  v-fix:    0  time:  0.16 s
277.81/69.82	c asymm  cl-useful: 33/21914/202335 lits-rem:99 time: 0.62
277.81/69.84	c calculated reachability. Time: 0.00
277.81/69.85	c  N dy   326     69884     81241    202302    215920     19409    964809    475950     15.20   no data
277.81/69.89	c Finding binary XORs  T:     0.04 s  found:      13
284.20/71.43	c  N dy   341     74587     81241    202302    229836     23959    964809    601215     15.20     16.01
288.19/72.47	c Finding binary XORs  T:     0.04 s  found:     130
292.18/73.49	c  N dy   374     79414     80999    201042    256530     28710    960412    765933     15.27     16.24
307.73/77.34	c  F st   405     87500     80999    201042    278126     18442    960412    524768     15.17     12.30
307.73/77.39	c Replacing      143 vars Replaced     4182 lits Time:     0.05 s 
310.93/78.14	c  N st   405     87500     80856    201009    277667     18442    959940    524212     15.17     12.30
310.93/78.18	c Finding binary XORs  T:     0.04 s  found:       0
322.49/81.04	c  N dy   415     93100     80855    201009    282539     23967    959940    695483     15.18     18.43
333.28/83.80	c  N dy   454    100596     80855    201009    282542     31341    959940    865778     15.23     16.18
341.63/85.85	c  S st   488    104828     80855    201009    282550     35519    959940    973562     15.31   no data
343.61/86.34	c  S st   488    105328     80847    201009    282646     35864    959940    975363     15.31   no data
343.61/86.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    264 locsubst:     0 time:   0.04
355.98/89.47	c Flit:  1814 Blit:     28 bXBeca:    0 bXProp: 1230 Bins:  72714 BRemL:  70566 BRemN:    223 P: 47.1M T:  3.04
356.38/89.50	c Cleaning up after failed var search:     0.03 s 
356.38/89.56	c Replacing     1230 vars Replaced    32100 lits Time:     0.06 s 
356.78/89.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
356.78/89.67	c bin-w-bin subsume rem        38466 bins  time:  0.04 s
357.18/89.75	c subs with bin:     2072  lits-rem:      2583  v-fix:    0  time:  0.08 s
357.98/89.90	c Subs w/ non-existent bins:   1073 l-rem:    538 v-fix:     0 done:  77461 time:  0.15 s
357.98/89.98	c Removed useless bin:    1008  fixed:     0  props:   5.75M  time:  0.08 s
359.18/90.22	c lits-rem:        38  cl-subs:      600  v-elim:   1710  v-fix:    0  time:  0.24 s
359.60/90.36	c subs with bin:       12  lits-rem:       233  v-fix:    0  time:  0.08 s
362.77/91.13	c lits-rem:       775  cl-subs:     1625  v-elim:      0  v-fix:    0  time:  0.74 s
365.15/91.75	c asymm  cl-useful: 136/24491/190656 lits-rem:210 time: 0.61
365.15/91.78	c calculated reachability. Time: 0.00
365.15/91.78	c  N dy   488    105328     75751    190643    230060     34168    911911    848197     15.31   no data
365.55/91.82	c Finding binary XORs  T:     0.04 s  found:      14
379.91/95.46	c  N dy   530    114483     75646    190643    236356     22297    911911    495699     15.31     16.26
380.31/95.56	c Finding binary XORs  T:     0.04 s  found:     198
393.08/98.71	c  N dy   569    122384     75646    190100    271382     30061    910295    748895     15.34     16.31
404.24/101.53	c  N dy   592    130251     75646    190100    271439     37654    910295    910374     15.28     16.32
413.81/103.95	c Finding binary XORs  T:     0.04 s  found:     165
419.00/105.23	c  N dy   617    138854     75514    189416    292547     23469    908319    608399     15.23     16.08
424.98/106.75	c Finding binary XORs  T:     0.04 s  found:       1
433.75/108.92	c  N dy   660    148365     75514    189416    324222     32730    908319    876958     15.23     16.12
448.10/112.57	c  N dy   709    157916     75514    189416    324258     42112    908319   1095515     15.24     17.09
448.50/112.62	c  S st   710    157992     75514    189416    324258     42188    908319   1097607     15.25   no data
450.50/113.16	c  S st   710    158493     75512    189416    324315     42616    908319   1099912     15.25   no data
450.90/113.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    128 locsubst:     0 time:   0.04
464.07/116.58	c Flit:    86 Blit:      1 bXBeca:    0 bXProp:  166 Bins:  23689 BRemL:  81106 BRemN:    329 P: 59.2M T:  3.33
464.47/116.67	c Replacing      544 vars Replaced    15293 lits Time:     0.08 s 
464.88/116.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
464.88/116.79	c bin-w-bin subsume rem        35637 bins  time:  0.04 s
465.31/116.87	c subs with bin:     1769  lits-rem:      2063  v-fix:    0  time:  0.08 s
466.05/117.03	c Subs w/ non-existent bins:    161 l-rem:     99 v-fix:     0 done:  74741 time:  0.16 s
466.45/117.11	c Removed useless bin:     830  fixed:     0  props:   5.40M  time:  0.07 s
467.25/117.32	c lits-rem:        42  cl-subs:      302  v-elim:    489  v-fix:    0  time:  0.21 s
467.65/117.43	c subs with bin:       11  lits-rem:       648  v-fix:    0  time:  0.08 s
474.83/119.20	c lits-rem:      1777  cl-subs:     5287  v-elim:      0  v-fix:    0  time:  1.71 s
476.82/119.79	c asymm  cl-useful: 717/27533/187392 lits-rem:1318 time: 0.58
477.22/119.81	c calculated reachability. Time: 0.00
477.22/119.81	c  N dy   710    158493     74252    187147    226671     37286    896299    814266     15.25   no data
477.22/119.85	c Finding binary XORs  T:     0.04 s  found:      25
494.77/124.22	c  N dy   750    168786     74252    187147    234996     47434    896299   1083056     15.19     16.05
502.35/126.10	c Finding binary XORs  T:     0.04 s  found:       0
513.56/128.96	c  N dy   832    179624     74252    187147    235100     34211    896299    744378     15.30     18.75
524.28/131.60	c Finding binary XORs  T:     0.04 s  found:     480
534.26/134.15	c  N dy   917    191089     73960    185792    244169     45527    891826   1045951     15.39     16.21
554.58/139.23	c  N dy   978    203498     73958    185792    244236     32403    891826    688352     15.41     16.30
558.98/140.34	c Finding binary XORs  T:     0.04 s  found:     743
559.38/140.40	c Replacing     1248 vars Replaced    43592 lits Time:     0.06 s 
577.73/145.05	c  N dy  1045    217110     72497    184045    257959     45757    884464   1042318     15.44     16.45
602.04/151.14	c  N dy  1104    232379     72497    184045    258931     34344    884464    731212     15.45     16.32
602.44/151.23	c Finding binary XORs  T:     0.04 s  found:     176
613.21/153.95	c  S st  1137    237739     72452    183795    274342     39617    883772    896996     15.46   no data
615.20/154.48	c  S st  1137    238239     72452    183795    274384     40067    883771    899441     15.46   no data
615.60/154.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    128 locsubst:     0 time:   0.04
630.36/158.21	c Flit:    41 Blit:      2 bXBeca:    0 bXProp:  441 Bins: 116466 BRemL:  88943 BRemN:    659 P: 55.3M T:  3.64
630.76/158.30	c Replacing      617 vars Replaced    30872 lits Time:     0.09 s 
630.76/158.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
631.16/158.40	c bin-w-bin subsume rem        20612 bins  time:  0.04 s
631.16/158.49	c subs with bin:     1909  lits-rem:      1236  v-fix:    0  time:  0.08 s
632.00/158.66	c Subs w/ non-existent bins:     35 l-rem:    161 v-fix:     0 done:  71659 time:  0.16 s
632.35/158.74	c Removed useless bin:     541  fixed:     0  props:   4.69M  time:  0.08 s
633.15/158.97	c lits-rem:       128  cl-subs:     1296  v-elim:    870  v-fix:    0  time:  0.23 s
633.54/159.08	c subs with bin:       19  lits-rem:       725  v-fix:    0  time:  0.07 s
636.38/159.78	c lits-rem:      1151  cl-subs:     1932  v-elim:      0  v-fix:    0  time:  0.65 s
639.13/160.49	c asymm  cl-useful: 449/18952/181928 lits-rem:1347 time: 0.71
639.53/160.52	c calculated reachability. Time: 0.00
639.53/160.52	c  N dy  1137    238239     70789    181479    273554     38087    868835    867935     15.46   no data
639.53/160.56	c Finding binary XORs  T:     0.04 s  found:      66
651.49/163.57	c Finding binary XORs  T:     0.04 s  found:       1
668.63/167.81	c  N dy  1223    254537     70789    181479    331408     54103    868835   1369164     15.49     16.45
696.96/174.97	c  N dy  1338    270787     70789    181479    331934     42769    868835   1097762     15.58     17.82
729.26/183.09	c  N dy  1440    288544     70788    181479    331938     31809    868835    812060     15.64     16.56
759.97/190.70	c  F st  1505    306252     70788    181479    331946     49132    868835   1238615     15.64   no data
759.97/190.78	c Replacing       67 vars Replaced     1533 lits Time:     0.05 s 
763.96/191.72	c  N st  1508    307442     70721    181470    331807     50313    868532   1269036     15.64   no data
804.63/201.94	c  N dy  1563    331801     70721    181470    331813     44774    868532   1107544     15.60     16.43
842.14/211.36	c  N dy  1658    351873     70721    181470    331815     34075    868532    836123     15.63     17.69
851.35/213.62	c  S st  1687    357359     70721    181470    331815     39465    868532    968719     15.64   no data
853.29/214.12	c  S st  1687    357860     70719    181470    331851     39920    868531    971405     15.64   no data
853.29/214.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
867.25/217.61	c Flit:    34 Blit:      3 bXBeca:    0 bXProp:  387 Bins:  31478 BRemL: 118051 BRemN:    583 P: 52.0M T:  3.41
867.65/217.70	c Replacing      387 vars Replaced    15760 lits Time:     0.08 s 
867.65/217.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
868.05/217.80	c bin-w-bin subsume rem        16053 bins  time:  0.03 s
868.05/217.88	c subs with bin:     1623  lits-rem:      1722  v-fix:    0  time:  0.08 s
868.89/218.06	c Subs w/ non-existent bins:    176 l-rem:    255 v-fix:     0 done:  70289 time:  0.16 s
869.23/218.13	c Removed useless bin:     569  fixed:     0  props:   4.13M  time:  0.07 s
870.03/218.33	c lits-rem:        98  cl-subs:      378  v-elim:    209  v-fix:    0  time:  0.20 s
870.43/218.43	c subs with bin:        9  lits-rem:        96  v-fix:    0  time:  0.07 s
872.03/218.82	c lits-rem:       918  cl-subs:      900  v-elim:      0  v-fix:    0  time:  0.35 s
874.83/219.53	c asymm  cl-useful: 696/14901/179232 lits-rem:2088 time: 0.69
874.83/219.55	c calculated reachability. Time: 0.00
874.83/219.55	c  N dy  1687    357860     70080    178536    225455     38976    856771    741586     15.64   no data
874.83/219.60	c Finding binary XORs  T:     0.04 s  found:      97
898.76/225.57	c Finding binary XORs  T:     0.04 s  found:     510
911.92/228.89	c  N dy  1772    377944     69763    176795    262411     58607    851821   1300658     15.64     16.98
947.43/237.78	c  N dy  1850    399105     69762    176795    276016     48077    851821   1043703     15.65     16.55
947.86/237.86	c Finding binary XORs  T:     0.04 s  found:     401
948.21/237.91	c Replacing     1008 vars Replaced    40801 lits Time:     0.06 s 
978.56/245.54	c Finding binary XORs  T:     0.04 s  found:     114
982.95/246.67	c  N dy  1957    419151     68659    176030    279183     35345    847891    719718     15.68     16.53
1036.34/260.06	c  N dy  2076    448456     68659    176030    281419     63924    847891   1413428     15.65     16.64
1075.42/269.84	c  N dy  2145    471559     68658    176030    281422     53143    847891   1133335     15.63     16.61
1075.82/269.92	c Finding binary XORs  T:     0.04 s  found:       2
1120.09/281.06	c  N dy  2200    492661     68658    176026    281353     39594    847879    826624     15.61     16.47
1151.59/288.91	c  N dy  2222    512734     68658    176026    281355     59079    847879   1270996     15.55     16.51
1185.09/297.33	c  N dy  2304    532880     68657    176026    281356     43712    847879    890557     15.56     16.40
1191.88/299.06	c  S st  2321    536790     68657    176026    281356     47548    847879    979133     15.56     15.64
1194.26/299.60	c  S st  2321    537290     68656    176026    281383     48014    847879    981840     15.56   no data
1194.26/299.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1208.22/303.15	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:  198 Bins:  56537 BRemL:  70310 BRemN:    754 P: 53.4M T:  3.47
1208.62/303.24	c Replacing      314 vars Replaced    16139 lits Time:     0.08 s 
1209.02/303.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1209.02/303.34	c bin-w-bin subsume rem        17090 bins  time:  0.04 s
1209.42/303.42	c subs with bin:     1071  lits-rem:       772  v-fix:    0  time:  0.08 s
1209.82/303.58	c Subs w/ non-existent bins:     41 l-rem:    225 v-fix:     0 done:  68313 time:  0.16 s
1210.22/303.66	c Removed useless bin:     327  fixed:     0  props:   4.45M  time:  0.08 s
1211.41/303.90	c lits-rem:       137  cl-subs:      882  v-elim:    912  v-fix:    0  time:  0.23 s
1211.81/304.01	c subs with bin:       29  lits-rem:       496  v-fix:    0  time:  0.07 s
1214.61/304.74	c lits-rem:      1279  cl-subs:     1861  v-elim:      0  v-fix:    0  time:  0.69 s
1217.39/305.40	c asymm  cl-useful: 19/22747/175782 lits-rem:57 time: 0.64
1217.39/305.42	c calculated reachability. Time: 0.00
1217.39/305.42	c  N dy  2321    537290     67401    175763    241517     46055    838582    876065     15.56   no data
1217.39/305.47	c Finding binary XORs  T:     0.04 s  found:       6
1236.95/310.40	c Finding binary XORs  T:     0.04 s  found:       0
1254.93/314.86	c  N dy  2439    557303     67401    175763    266531     65684    838582   1421899     15.59     16.84
1262.46/316.76	c Finding binary XORs  T:     0.04 s  found:       1
1293.99/324.67	c  N dy  2559    578551     67401    175763    266648     50467    838582   1038515     15.62     16.49
1333.05/334.49	c  N dy  2659    598629     67401    175763    266651     70143    838582   1541337     15.63     16.52
1372.54/344.38	c  N dy  2762    619118     67401    175763    266652     53113    838582   1088711     15.65     16.50
1411.61/354.16	c  N dy  2865    640087     67401    175763    266652     73722    838582   1604481     15.66     16.60
1446.32/362.80	c  N dy  2913    660456     67400    175763    266652     55282    838582   1095590     15.64     16.53
1485.80/372.76	c  N dy  3026    681260     67398    175763    266652     75693    838582   1609952     15.66     16.52
1539.65/386.30	c  N dy  3098    707492     67398    175763    266652     61797    838582   1240931     15.62     16.49
1582.71/397.09	c Finding binary XORs  T:     0.04 s  found:     138
1598.25/400.94	c  N dy  3219    737335     67352    175476    299091     51085    837788   1026002     15.62     16.45
1634.15/409.95	c  N dy  3318    757725     67352    175476    299384     70956    837788   1506039     15.63     16.54
1675.23/420.25	c  N dy  3435    777916     67352    175476    299384     49766    837788   1006850     15.65     16.57
1712.31/429.58	c  N dy  3496    797979     67352    175476    299385     69341    837788   1482682     15.64     16.91
1725.08/432.77	c  S st  3520    805936     67352    175476    299385     77122    837788   1662686     15.63     14.27
1727.47/433.38	c  S st  3520    806436     67351    175476    299412     77583    837788   1665121     15.63   no data
1727.87/433.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1743.42/437.31	c Flit:    17 Blit:      5 bXBeca:    0 bXProp:   73 Bins:  21679 BRemL:  91943 BRemN:    202 P: 76.6M T:  3.84
1743.82/437.40	c Replacing      218 vars Replaced     7673 lits Time:     0.09 s 
1743.82/437.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1744.22/437.50	c bin-w-bin subsume rem         6609 bins  time:  0.03 s
1744.22/437.58	c subs with bin:     1085  lits-rem:      1007  v-fix:    0  time:  0.08 s
1745.02/437.75	c Subs w/ non-existent bins:     83 l-rem:    115 v-fix:     0 done:  67103 time:  0.17 s
1745.42/437.82	c Removed useless bin:     269  fixed:     0  props:   3.33M  time:  0.07 s
1746.26/438.04	c lits-rem:        50  cl-subs:      133  v-elim:    191  v-fix:    0  time:  0.21 s
1747.00/438.20	c subs with bin:       15  lits-rem:       117  v-fix:    0  time:  0.10 s
1762.16/442.01	c lits-rem:      4295  cl-subs:     4680  v-elim:      0  v-fix:    0  time:  3.73 s
1764.15/442.56	c asymm  cl-useful: 4/18200/174372 lits-rem:12 time: 0.54
1764.15/442.59	c calculated reachability. Time: 0.00
1764.15/442.59	c  N dy  3520    806436     66912    174368    220279     72850    831935   1415690     15.63   no data
1764.55/442.63	c Finding binary XORs  T:     0.04 s  found:       2
1785.74/447.92	c Finding binary XORs  T:     0.04 s  found:       0
1803.29/452.39	c  N dy  3597    826566     66735    174368    240659     50602    831935    895872     15.63     16.46
1805.63/452.94	c Finding binary XORs  T:     0.04 s  found:     258
1847.91/463.54	c  N dy  3689    850307     66716    173383    241024     73674    829051   1463699     15.62     16.46
1848.31/463.62	c Finding binary XORs  T:     0.04 s  found:       2
1873.83/470.03	c Finding binary XORs  T:     0.04 s  found:     158
1886.21/473.19	c  N dy  3780    870319     66664    172967    255651     50409    827837    902750     15.63     19.87
1925.28/482.91	c  N dy  3860    890828     66664    172967    255651     70426    827837   1401053     15.63     16.52
1966.75/493.36	c  N dy  3952    910903     66663    172967    255653     46144    827837    780914     15.64     17.14
2005.84/503.13	c  N dy  3992    931648     66662    172967    255654     66438    827837   1283586     15.60     16.44
2048.11/513.80	c  N dy  4099    953059     66661    172967    255654     87377    827837   1805578     15.61     16.49
2092.40/524.86	c  N dy  4176    976960     66661    172967    255655     65753    827837   1243438     15.60     16.65
2133.45/535.18	c  N dy  4208    997519     66661    172967    255655     85809    827837   1744271     15.58     16.42
2175.33/545.66	c  N dy  4258   1017587     66661    172967    255655     59407    827837   1068257     15.55     18.47
2216.00/555.85	c  N dy  4339   1037871     66661    172967    255669     79259    827837   1587915     15.56     16.49
2258.28/566.42	c  N dy  4379   1060454     66661    172967    255669     54301    827837    909568     15.53     16.58
2278.62/571.59	c  F st  4445   1071876     66661    172967    255669     65472    827837   1182422     15.54     14.48
2279.02/571.68	c Replacing      420 vars Replaced    18396 lits Time:     0.06 s 
2290.98/574.65	c Decided on static restart strategy
2304.13/577.91	c  N st  4453   1084181     66241    172915    254458     77414    827123   1485432     15.54   no data
2360.41/592.04	c  N st  4456   1114577     66241    172915    254458     59811    827123   1375654     15.54   no data
2400.62/602.17	c  N st  4457   1136174     66241    172915    254458     80863    827123   1949942     15.54   no data
2456.46/616.21	c  N st  4458   1168566     66240    172915    254458     64182    827123   1442936     15.54   no data
2537.78/636.56	c  N st  4459   1209655     66240    172915    254458     54697    827123   1178285     15.54   no data
2537.78/636.56	c  S st  4459   1209655     66240    172915    254458     54697    827123   1178285     15.54   no data
2539.79/637.10	c  S st  4459   1210155     66240    172915    254479     55169    827122   1180926     15.54   no data
2540.22/637.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2554.12/640.67	c Flit:    13 Blit:      3 bXBeca:    0 bXProp:   53 Bins:   5495 BRemL:  42074 BRemN:    232 P: 81.3M T:  3.48
2554.52/640.77	c Replacing       53 vars Replaced     1791 lits Time:     0.09 s 
2554.92/640.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2554.92/640.87	c bin-w-bin subsume rem         5901 bins  time:  0.03 s
2555.32/640.95	c subs with bin:      313  lits-rem:       257  v-fix:    0  time:  0.08 s
2556.12/641.13	c Subs w/ non-existent bins:     52 l-rem:     65 v-fix:     0 done:  66165 time:  0.17 s
2556.52/641.20	c Removed useless bin:     160  fixed:     0  props:   3.28M  time:  0.07 s
2557.33/641.43	c lits-rem:       287  cl-subs:      202  v-elim:    447  v-fix:    0  time:  0.22 s
2557.75/641.56	c subs with bin:        9  lits-rem:         4  v-fix:    0  time:  0.07 s
2575.64/646.07	c lits-rem:      2522  cl-subs:     9373  v-elim:      0  v-fix:    0  time:  4.42 s
2578.05/646.67	c asymm  cl-useful: 1/12330/173211 lits-rem:3 time: 0.60
2578.05/646.69	c calculated reachability. Time: 0.00
2578.05/646.69	c  N st  4459   1210155     65718    173210    209183     45772    824834    914519     15.54   no data
2578.45/646.74	c Finding binary XORs  T:     0.04 s  found:       1
2716.34/681.36	c  N st  4460   1283037     65718    173210    209183     66176    824834   1382828     15.54   no data
2716.74/681.45	c Finding binary XORs  T:     0.04 s  found:     103
2929.19/734.87	c  N st  4461   1392361     65681    172993    216811     68399    824224   1360800     15.54   no data
2929.61/734.97	c Finding binary XORs  T:     0.04 s  found:     213
3251.03/815.55	c  N st  4462   1556345     65572    172340    231677     64406    822397   1262429     15.54   no data
3251.43/815.64	c Finding binary XORs  T:     0.04 s  found:     256
3568.07/895.08	c  N st  4463   1710155     65398    171401    240697     99293    819586   2111714     15.54   no data
3568.07/895.08	c  S st  4463   1710155     65398    171401    240697     99293    819586   2111714     15.54   no data
3571.26/895.81	c  S st  4463   1710658     65396    171401    240722     99773    819585   2115165     15.54   no data
3571.26/895.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3589.21/900.31	c Flit:    50 Blit:      3 bXBeca:    0 bXProp:  115 Bins:   3282 BRemL:  28994 BRemN:     85 P: 107.6M T:  4.40
3589.61/900.41	c Replacing      688 vars Replaced    22102 lits Time:     0.10 s 
3589.61/900.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3590.01/900.51	c bin-w-bin subsume rem         4589 bins  time:  0.03 s
3590.01/900.58	c subs with bin:      819  lits-rem:       669  v-fix:    0  time:  0.07 s
3590.81/900.74	c Subs w/ non-existent bins:     42 l-rem:    105 v-fix:     0 done:  64652 time:  0.15 s
3591.21/900.80	c Removed useless bin:     277  fixed:     0  props:   3.17M  time:  0.07 s
3592.03/901.06	c lits-rem:       355  cl-subs:      359  v-elim:    671  v-fix:    0  time:  0.24 s
3592.81/901.27	c subs with bin:        5  lits-rem:         8  v-fix:    0  time:  0.13 s
3695.69/927.04	c lits-rem:      5920  cl-subs:    22509  v-elim:      0  v-fix:    0  time: 25.43 s
3698.48/927.70	c asymm  cl-useful: 3/13565/171273 lits-rem:9 time: 0.65
3698.48/927.72	c calculated reachability. Time: 0.00
3698.48/927.72	c  N st  4463   1710658     63981    171270    204039     77226    813869   1614615     15.54   no data
3698.48/927.77	c Finding binary XORs  T:     0.04 s  found:       3
4431.90/1111.62	c  N st  4464   2079623     63981    171270    204039     73091    813869   1374071     15.54   no data
4432.30/1111.72	c Finding binary XORs  T:     0.04 s  found:     322
4707.08/1180.64	c  N st  4465   2210658     63780    170173    218035     70916    810517   1297259     15.54   no data
4707.08/1180.64	c  S st  4465   2210658     63780    170173    218035     70916    810517   1297259     15.54   no data
4709.48/1181.26	c  S st  4465   2211158     63779    170173    218843     71389    810517   1301470     15.54   no data
4709.88/1181.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4724.27/1184.98	c Flit:    20 Blit:      1 bXBeca:    0 bXProp:   71 Bins:   3326 BRemL:  16816 BRemN:    151 P: 89.7M T:  3.62
4724.62/1185.08	c Replacing      396 vars Replaced    11383 lits Time:     0.09 s 
4725.02/1185.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4725.02/1185.17	c bin-w-bin subsume rem         2654 bins  time:  0.03 s
4725.42/1185.24	c subs with bin:      673  lits-rem:       791  v-fix:    0  time:  0.07 s
4726.22/1185.40	c Subs w/ non-existent bins:     51 l-rem:    100 v-fix:     0 done:  63357 time:  0.15 s
4726.22/1185.47	c Removed useless bin:     206  fixed:     0  props:   3.15M  time:  0.07 s
4727.02/1185.68	c lits-rem:       195  cl-subs:      155  v-elim:    372  v-fix:    0  time:  0.21 s
4727.82/1185.81	c subs with bin:       10  lits-rem:         2  v-fix:    0  time:  0.08 s
4740.97/1189.14	c lits-rem:      2114  cl-subs:     7080  v-elim:      0  v-fix:    0  time:  3.25 s
4743.36/1189.71	c asymm  cl-useful: 1/8453/169867 lits-rem:3 time: 0.55
4743.36/1189.73	c calculated reachability. Time: 0.00
4743.36/1189.73	c  N st  4465   2211158     62985    169866    199053     64285    806267   1135289     15.54   no data
4743.36/1189.77	c Finding binary XORs  T:     0.04 s  found:       1

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.75 9.68 8.67 6/367 14371
/proc/meminfo: memFree=22612988/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 729646758 52396032 352 33554432000 4194304 4580107 140734184227424 18446744073709551615 47238103537177 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 12792 352 302 95 0 7774 0
[pid=14371/tid=14372] ppid=14369 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 729646758 52396032 352 33554432000 4194304 4580107 140734184227424 18446744073709551615 47238103537177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 729646758 52396032 352 33554432000 4194304 4580107 140734184227424 18446744073709551615 47238103537590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 729646758 52396032 352 33554432000 4194304 4580107 140734184227424 18446744073709551615 47238103537181 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0462229 s]
/proc/loadavg: 8.75 9.68 8.67 6/367 14371
/proc/meminfo: memFree=22612988/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=365948 CPUtime=0.12 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 9522 0 0 0 9 3 0 0 24 0 4 0 729646758 374730752 7717 33554432000 4194304 4580107 140734184227424 18446744073709551615 4345288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 91487 7761 337 95 0 86469 0
[pid=14371/tid=14372] ppid=14369 vsize=365948 CPUtime=0.02 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 2387 0 0 0 2 0 0 0 24 0 4 0 729646758 374730752 7772 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=365948 CPUtime=0.02 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 2435 0 0 0 1 1 0 0 24 0 4 0 729646758 374730752 7795 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=365948 CPUtime=0.02 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 2162 0 0 0 2 0 0 0 18 0 4 0 729646758 374730752 7811 33554432000 4194304 4580107 140734184227424 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 365948

[startup+0.101276 s]
/proc/loadavg: 8.75 9.68 8.67 6/367 14371
/proc/meminfo: memFree=22612988/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=389832 CPUtime=0.3 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 23335 0 0 0 23 7 0 0 17 0 4 0 729646758 399187968 19107 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905499167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 97458 19181 337 95 0 92440 0
[pid=14371/tid=14372] ppid=14369 vsize=389832 CPUtime=0.07 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 5583 0 0 0 5 2 0 0 17 0 4 0 729646758 399187968 19181 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905451946 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=389832 CPUtime=0.06 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) D 14369 14371 13799 0 -1 4202560 6130 0 0 0 5 1 0 0 17 0 4 0 729646758 399187968 19181 33554432000 4194304 4580107 140734184227424 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=389832 CPUtime=0.06 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) D 14369 14371 13799 0 -1 4202560 5878 0 0 0 5 1 0 0 17 0 4 0 729646758 399187968 19181 33554432000 4194304 4580107 140734184227424 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 389832

[startup+0.301177 s]
/proc/loadavg: 8.75 9.68 8.67 6/367 14371
/proc/meminfo: memFree=22612988/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=502076 CPUtime=0.97 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) S 14369 14371 13799 0 -1 4202496 74428 0 0 0 71 26 0 0 17 0 4 0 729646758 514125824 57395 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 125519 57419 337 95 0 120501 0
[pid=14371/tid=14372] ppid=14369 vsize=502076 CPUtime=0.24 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 17077 0 0 0 17 7 0 0 17 0 4 0 729646758 514125824 57432 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905091257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=502076 CPUtime=0.23 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) S 14369 14371 13799 0 -1 4202560 20183 0 0 0 16 7 0 0 17 0 4 0 729646758 514125824 57447 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905499118 0 0 4096 2 18446604453855578304 0 0 -1 6 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=502076 CPUtime=0.23 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) S 14369 14371 13799 0 -1 4202560 18922 0 0 0 19 4 0 0 17 0 4 0 729646758 514125824 57462 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905499118 0 0 4096 2 18446604453855578304 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 502076

[startup+0.803086 s]
/proc/loadavg: 8.75 9.68 8.67 6/367 14371
/proc/meminfo: memFree=22612988/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=576848 CPUtime=2.82 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 117530 0 0 0 238 44 0 0 17 0 4 0 729646758 590692352 99938 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 144212 99938 360 95 0 139194 0
[pid=14371/tid=14372] ppid=14369 vsize=576848 CPUtime=0.7 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 27640 0 0 0 58 12 0 0 18 0 4 0 729646758 590692352 99938 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=576848 CPUtime=0.69 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 31592 0 0 0 57 12 0 0 18 0 4 0 729646758 590692352 99938 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=576848 CPUtime=0.7 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 31210 0 0 0 62 8 0 0 17 0 4 0 729646758 590692352 99938 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 576848

[startup+1.50096 s]
/proc/loadavg: 8.75 9.68 8.67 9/371 14375
/proc/meminfo: memFree=22198784/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=589108 CPUtime=5.6 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 121271 0 0 0 515 45 0 0 18 0 4 0 729646758 603246592 103679 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 147277 103679 361 95 0 142259 0
[pid=14371/tid=14372] ppid=14369 vsize=589108 CPUtime=1.4 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 28163 0 0 0 128 12 0 0 19 0 4 0 729646758 603246592 103679 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=589108 CPUtime=1.37 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 32923 0 0 0 125 12 0 0 19 0 4 0 729646758 603246592 103679 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=589108 CPUtime=1.39 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 31756 0 0 0 131 8 0 0 18 0 4 0 729646758 603246592 103679 33554432000 4194304 4580107 140734184227424 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 589108

[startup+3.10067 s]
/proc/loadavg: 8.75 9.68 8.67 9/371 14375
/proc/meminfo: memFree=22199900/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=589108 CPUtime=11.99 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 122664 0 0 0 1153 46 0 0 22 0 4 0 729646758 603246592 104634 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 147277 104634 361 95 0 142259 0
[pid=14371/tid=14372] ppid=14369 vsize=589108 CPUtime=3 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 28284 0 0 0 288 12 0 0 22 0 4 0 729646758 603246592 104634 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=589108 CPUtime=2.97 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 33009 0 0 0 284 13 0 0 22 0 4 0 729646758 603246592 104634 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=589108 CPUtime=3 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 32806 0 0 0 291 9 0 0 22 0 4 0 729646758 603246592 104634 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 589108

[startup+6.30108 s]
/proc/loadavg: 8.69 9.65 8.67 9/371 14375
/proc/meminfo: memFree=22188072/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=590188 CPUtime=24.75 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 123317 0 0 0 2428 47 0 0 25 0 4 0 729646758 604352512 105287 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14371/statm: 147547 105287 361 95 0 142529 0
[pid=14371/tid=14372] ppid=14369 vsize=590188 CPUtime=6.2 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 28400 0 0 0 608 12 0 0 25 0 4 0 729646758 604352512 105287 33554432000 4194304 4580107 140734184227424 18446744073709551615 4235655 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=590188 CPUtime=6.12 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 33083 0 0 0 599 13 0 0 25 0 4 0 729646758 604352512 105287 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=590188 CPUtime=6.2 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 33080 0 0 0 611 9 0 0 25 0 4 0 729646758 604352512 105287 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 590188

[startup+12.7009 s]
/proc/loadavg: 8.63 9.62 8.67 9/371 14375
/proc/meminfo: memFree=21901948/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1027256 CPUtime=50.16 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 209158 0 0 0 4943 73 0 0 25 0 4 0 729646758 1051910144 175646 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 256814 175646 379 95 0 251796 0
[pid=14371/tid=14372] ppid=14369 vsize=1027256 CPUtime=12.57 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 59619 0 0 0 1239 18 0 0 25 0 4 0 729646758 1051910144 175646 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1027256 CPUtime=12.46 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 59011 0 0 0 1225 21 0 0 25 0 4 0 729646758 1051910144 175646 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1027256 CPUtime=12.59 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 36331 0 0 0 1250 9 0 0 25 0 4 0 729646758 1051910144 175646 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.16
Current children cumulated vsize (KiB) 1027256

[startup+25.5136 s]
/proc/loadavg: 8.49 9.54 8.65 9/371 14405
/proc/meminfo: memFree=22392024/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1035420 CPUtime=101.25 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 213003 0 0 0 10049 76 0 0 25 0 4 0 729646758 1060270080 175827 33554432000 4194304 4580107 140734184227424 18446744073709551615 4316546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 258855 175827 379 95 0 253837 0
[pid=14371/tid=14372] ppid=14369 vsize=1035420 CPUtime=25.38 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 61874 0 0 0 2518 20 0 0 25 0 4 0 729646758 1060270080 175827 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1035420 CPUtime=25.27 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 59577 0 0 0 2505 22 0 0 25 0 4 0 729646758 1060270080 175827 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1035420 CPUtime=25.4 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 36794 0 0 0 2531 9 0 0 25 0 4 0 729646758 1060270080 175827 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 1035420

[startup+51.1009 s]
/proc/loadavg: 8.46 9.45 8.65 9/371 14436
/proc/meminfo: memFree=22186220/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1246240 CPUtime=203.25 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 341533 0 0 0 20222 103 0 0 25 0 4 0 729646758 1276149760 222945 33554432000 4194304 4580107 140734184227424 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 311560 222945 380 95 0 306542 0
[pid=14371/tid=14372] ppid=14369 vsize=1246240 CPUtime=50.95 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 131721 0 0 0 5059 36 0 0 25 0 4 0 729646758 1276149760 222945 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1246240 CPUtime=50.86 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 86331 0 0 0 5059 27 0 0 25 0 4 0 729646758 1276149760 222945 33554432000 4194304 4580107 140734184227424 18446744073709551615 260905052916 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1246240 CPUtime=50.98 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 44936 0 0 0 5086 12 0 0 25 0 4 0 729646758 1276149760 222945 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.25
Current children cumulated vsize (KiB) 1246240

[startup+102.301 s]
/proc/loadavg: 8.20 9.22 8.61 9/371 14437
/proc/meminfo: memFree=20019688/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1422688 CPUtime=407.44 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 871956 0 0 0 40579 165 0 0 25 0 4 0 729646758 1456832512 277236 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 355672 277236 380 95 0 350654 0
[pid=14371/tid=14372] ppid=14369 vsize=1422688 CPUtime=102.14 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 240947 0 0 0 10165 49 0 0 25 0 4 0 729646758 1456832512 277236 33554432000 4194304 4580107 140734184227424 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1422688 CPUtime=102.06 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 266645 0 0 0 10160 46 0 0 25 0 4 0 729646758 1456832512 277236 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1422688 CPUtime=102.18 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 166185 0 0 0 10189 29 0 0 25 0 4 0 729646758 1456832512 277236 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.44
Current children cumulated vsize (KiB) 1422688

[startup+162.301 s]

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

[pid=14371] ppid=14369 vsize=1639588 CPUtime=2800.07 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1105792 0 0 0 279768 239 0 0 25 0 4 0 729646758 1678938112 343957 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 409897 343957 381 95 0 404879 0
[pid=14371/tid=14372] ppid=14369 vsize=1639588 CPUtime=702.03 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 282349 0 0 0 70142 61 0 0 25 0 4 0 729646758 1678938112 343957 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1639588 CPUtime=702.08 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 319022 0 0 0 70147 61 0 0 25 0 4 0 729646758 1678938112 343957 33554432000 4194304 4580107 140734184227424 18446744073709551615 4330042 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1639588 CPUtime=702.19 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 240638 0 0 0 70168 51 0 0 25 0 4 0 729646758 1678938112 343957 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.07
Current children cumulated vsize (KiB) 1639588

[startup+762.301 s]
/proc/loadavg: 8.65 8.62 8.50 9/371 14458
/proc/meminfo: memFree=18853004/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1703780 CPUtime=3038.86 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1128210 0 0 0 303639 247 0 0 25 0 4 0 729646758 1744670720 354066 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 425945 354066 381 95 0 420927 0
[pid=14371/tid=14372] ppid=14369 vsize=1703780 CPUtime=762.03 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 288427 0 0 0 76140 63 0 0 25 0 4 0 729646758 1744670720 354066 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1703780 CPUtime=762.07 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 323126 0 0 0 76146 61 0 0 25 0 4 0 729646758 1744670720 354066 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1703780 CPUtime=762.2 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 245640 0 0 0 76166 54 0 0 25 0 4 0 729646758 1744670720 354066 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.86
Current children cumulated vsize (KiB) 1703780

[startup+822.301 s]
/proc/loadavg: 8.32 8.53 8.48 9/371 14459
/proc/meminfo: memFree=18808680/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1786540 CPUtime=3278.15 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1146190 0 0 0 327563 252 0 0 25 0 4 0 729646758 1829416960 354786 33554432000 4194304 4580107 140734184227424 18446744073709551615 4318485 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 446635 354786 381 95 0 441617 0
[pid=14371/tid=14372] ppid=14369 vsize=1786540 CPUtime=822.02 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 291828 0 0 0 82138 64 0 0 25 0 4 0 729646758 1829416960 354786 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1786540 CPUtime=822.07 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 329868 0 0 0 82145 62 0 0 25 0 4 0 729646758 1829416960 354786 33554432000 4194304 4580107 140734184227424 18446744073709551615 4321940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1786540 CPUtime=822.2 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 248814 0 0 0 82166 54 0 0 25 0 4 0 729646758 1829416960 354786 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.15
Current children cumulated vsize (KiB) 1786540

[startup+882.301 s]
/proc/loadavg: 8.16 8.44 8.45 9/371 14461
/proc/meminfo: memFree=18768816/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1691728 CPUtime=3517.45 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1160431 0 0 0 351487 258 0 0 25 0 4 0 729646758 1732329472 355480 33554432000 4194304 4580107 140734184227424 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 422932 355480 381 95 0 417914 0
[pid=14371/tid=14372] ppid=14369 vsize=1691728 CPUtime=882.01 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 295074 0 0 0 88137 64 0 0 25 0 4 0 729646758 1732329472 355480 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1691728 CPUtime=882.09 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 331515 0 0 0 88145 64 0 0 25 0 4 0 729646758 1732329472 355480 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1691728 CPUtime=882.21 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 255192 0 0 0 88164 57 0 0 25 0 4 0 729646758 1732329472 355480 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.45
Current children cumulated vsize (KiB) 1691728

[startup+942.301 s]
/proc/loadavg: 8.06 8.36 8.42 9/371 14463
/proc/meminfo: memFree=18717548/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1736020 CPUtime=3756.71 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1176546 0 0 0 375407 264 0 0 25 0 4 0 729646758 1777684480 364407 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 434005 364407 381 95 0 428987 0
[pid=14371/tid=14372] ppid=14369 vsize=1736020 CPUtime=942 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 301381 0 0 0 94134 66 0 0 25 0 4 0 729646758 1777684480 364407 33554432000 4194304 4580107 140734184227424 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1736020 CPUtime=942.08 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 336025 0 0 0 94142 66 0 0 25 0 4 0 729646758 1777684480 364407 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1736020 CPUtime=942.2 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 259043 0 0 0 94162 58 0 0 25 0 4 0 729646758 1777684480 364407 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.71
Current children cumulated vsize (KiB) 1736020

[startup+1002.31 s]
/proc/loadavg: 8.07 8.31 8.40 9/371 14464
/proc/meminfo: memFree=18701104/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1690404 CPUtime=3996.05 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1186479 0 0 0 399338 267 0 0 25 0 4 0 729646758 1730973696 366398 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 422601 366398 381 95 0 417583 0
[pid=14371/tid=14372] ppid=14369 vsize=1690404 CPUtime=1002 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 306834 0 0 0 100132 68 0 0 25 0 4 0 729646758 1730973696 366398 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1690404 CPUtime=1002.1 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 339471 0 0 0 100143 67 0 0 25 0 4 0 729646758 1730973696 366398 33554432000 4194304 4580107 140734184227424 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1690404 CPUtime=1002.21 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 259044 0 0 0 100163 58 0 0 25 0 4 0 729646758 1730973696 366398 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.05
Current children cumulated vsize (KiB) 1690404

[startup+1062.3 s]
/proc/loadavg: 8.05 8.26 8.37 9/371 14466
/proc/meminfo: memFree=18632728/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1709444 CPUtime=4235.28 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1198658 0 0 0 423256 272 0 0 25 0 4 0 729646758 1750470656 370961 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293920 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 427361 370961 381 95 0 422343 0
[pid=14371/tid=14372] ppid=14369 vsize=1709444 CPUtime=1061.97 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 311448 0 0 0 106127 70 0 0 25 0 4 0 729646758 1750470656 370961 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1709444 CPUtime=1062.09 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 339473 0 0 0 106142 67 0 0 25 0 4 0 729646758 1750470656 370961 33554432000 4194304 4580107 140734184227424 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1709444 CPUtime=1062.2 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 259044 0 0 0 106162 58 0 0 25 0 4 0 729646758 1750470656 370961 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.28
Current children cumulated vsize (KiB) 1709444

[startup+1122.3 s]
/proc/loadavg: 8.13 8.24 8.36 9/371 14467
/proc/meminfo: memFree=18573272/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1744944 CPUtime=4474.57 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1213108 0 0 0 447180 277 0 0 25 0 4 0 729646758 1786822656 377723 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 436236 377723 381 95 0 431218 0
[pid=14371/tid=14372] ppid=14369 vsize=1744944 CPUtime=1121.97 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 314815 0 0 0 112125 72 0 0 25 0 4 0 729646758 1786822656 377723 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1744944 CPUtime=1122.09 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 343148 0 0 0 112141 68 0 0 25 0 4 0 729646758 1786822656 377723 33554432000 4194304 4580107 140734184227424 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1744944 CPUtime=1122.2 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 259049 0 0 0 112162 58 0 0 25 0 4 0 729646758 1786822656 377723 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4474.57
Current children cumulated vsize (KiB) 1744944

[startup+1182.3 s]
/proc/loadavg: 8.08 8.21 8.34 9/371 14469
/proc/meminfo: memFree=18565148/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1757708 CPUtime=4713.86 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1226632 0 0 0 471106 280 0 0 25 0 4 0 729646758 1799892992 372515 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 439427 372515 381 95 0 434409 0
[pid=14371/tid=14372] ppid=14369 vsize=1757708 CPUtime=1181.97 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 318902 0 0 0 118124 73 0 0 25 0 4 0 729646758 1799892992 372515 33554432000 4194304 4580107 140734184227424 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1757708 CPUtime=1182.09 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 346943 0 0 0 118140 69 0 0 25 0 4 0 729646758 1799892992 372515 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1757708 CPUtime=1182.21 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 261365 0 0 0 118162 59 0 0 25 0 4 0 729646758 1799892992 372515 33554432000 4194304 4580107 140734184227424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4713.86
Current children cumulated vsize (KiB) 1757708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.11 8.21 8.33 9/371 14470
/proc/meminfo: memFree=18524576/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1775528 CPUtime=4800.01 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1232000 0 0 0 479719 282 0 0 25 0 4 0 729646758 1818140672 377882 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 443882 377882 381 95 0 438864 0
[pid=14371/tid=14372] ppid=14369 vsize=1775528 CPUtime=1203.57 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 319920 0 0 0 120284 73 0 0 25 0 4 0 729646758 1818140672 377883 33554432000 4194304 4580107 140734184227424 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1775528 CPUtime=1203.7 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 349885 0 0 0 120301 69 0 0 25 0 4 0 729646758 1818140672 377883 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1775528 CPUtime=1203.82 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 262166 0 0 0 120323 59 0 0 25 0 4 0 729646758 1818140672 377883 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.01
Current children cumulated vsize (KiB) 1775528

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

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

[startup+1203.9 s]
/proc/loadavg: 8.11 8.21 8.33 9/371 14470
/proc/meminfo: memFree=18524576/32950928 swapFree=65730864/67111528
[pid=14371] ppid=14369 vsize=1775528 CPUtime=4800.01 cores=0,2,4,6
/proc/14371/stat : 14371 (strangenight2-m) R 14369 14371 13799 0 -1 4202496 1232000 0 0 0 479719 282 0 0 25 0 4 0 729646758 1818140672 377882 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14371/statm: 443882 377882 381 95 0 438864 0
[pid=14371/tid=14372] ppid=14369 vsize=1775528 CPUtime=1203.57 cores=0,2,4,6
/proc/14371/task/14372/stat : 14372 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 319920 0 0 0 120284 73 0 0 25 0 4 0 729646758 1818140672 377883 33554432000 4194304 4580107 140734184227424 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=1775528 CPUtime=1203.7 cores=0,2,4,6
/proc/14371/task/14373/stat : 14373 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 349885 0 0 0 120301 69 0 0 25 0 4 0 729646758 1818140672 377883 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=1775528 CPUtime=1203.82 cores=0,2,4,6
/proc/14371/task/14374/stat : 14374 (strangenight2-m) R 14369 14371 13799 0 -1 4202560 262166 0 0 0 120323 59 0 0 25 0 4 0 729646758 1818140672 377883 33554432000 4194304 4580107 140734184227424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.01
Current children cumulated vsize (KiB) 1775528

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.98
CPU time (s): 4800.13
CPU user time (s): 4797.24
CPU system time (s): 2.88256
CPU usage (%): 398.688
Max. virtual memory (cumulated for all children) (KiB): 1809044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.24
system time used= 2.88256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1232001
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= 42311
involuntary context switches= 35837

runsolver used 4.09138 second user time and 10.1675 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 19:29:21
IDJOB=3367272
IDBENCH=82459
IDSOLVER=1844
FILE ID=node116/3367272-1305394160
RUNJOBID= node116-1305392490-14143
PBS_JOBID= 13324425
Free space on /tmp= 73116 MiB

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

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

MD5SUM BENCH= b967fca11e85ef5b614d3452b1c4b2ad
RANDOM SEED=1728078983

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.75
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.826
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.77
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.826
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.826
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.75
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.826
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:      22613144 kB
Buffers:         14208 kB
Cached:          60184 kB
SwapCached:      12132 kB
Active:       10112824 kB
Inactive:        16580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22613144 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           19532 kB
Writeback:           0 kB
AnonPages:    10053520 kB
Mapped:          16264 kB
Slab:            96720 kB
PageTables:      46200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 83770672 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= 73108 MiB
End job on node116 at 2011-05-14 19:49:27