Trace number 3369329

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.43 1202.85

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
MD5SUM731331ace9dcb7404987f98927f5c914
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 variables840
Number of clauses72688
Sum of the clauses size146160
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272660
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 528

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.02	c This is CryptoMiniSat 2.9.0
0.00/0.02	c compiled with gcc version 4.4.5
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3369329-1305415164.cnf'
0.00/0.02	c -- header says num vars:            840
0.00/0.02	c -- header says num clauses:       72688
0.00/0.04	c -- clauses added:            0 learnts,        72688 normals,            0 xors
0.00/0.04	c -- vars added        840
0.00/0.04	c Parsing time:  0.06 s
0.00/0.04	c  N st     0         0       840        28     72660         0    146160         0   no data   no data  --
0.00/0.04	c asymm  cl-useful: 0/28/28 lits-rem:0 time: 0.00
0.00/0.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
0.00/0.07	c bin-w-bin subsume rem            0 bins  time:  0.04 s
0.00/0.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.00/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.03 s
0.00/0.08	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.03 s
0.00/0.51	c lits-rem:       540  cl-subs:        0  v-elim:     28  v-fix:    0  time:  0.09 s
0.00/0.51	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.51	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.51	c calculated reachability. Time: 0.00
0.00/0.51	c Calc default polars -  time:   0.00 s pos:     396 undec:      28 neg:     416
0.00/0.51	c =========================================================================================
0.00/0.51	c types(t): F = full restart, N = normal restart
0.00/0.51	c types(t): S = simplification begin/end, E = solution found
0.00/0.51	c restart types(rt): st = static, dy = dynamic
0.00/0.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.51	c  B st     0         0       812      1458     70390         0    194564         0   no data   no data  --
0.00/0.51	c  N dy     8      4364       812      1458     70390      4191    194564    667315     17.54     19.24  --
5.95/1.52	c  N dy    20     14095       812      1458     70390      7075    194564    539081     13.16     13.90  --
7.94/2.02	c  N dy    31     18989       812      1458     70390      6381    194564    450854     12.98     13.78  --
9.53/2.41	c  N dy    38     23176       812      1458     70390     10464    194564    807547     12.62     13.33  --
10.34/2.61	c  F st    41     25001       812      1458     70390     12233    194564    924879     12.42     11.25  --
11.93/3.00	c  N st    46     28300       812      1458     70390      8845    194564    752632     12.42   no data  --
12.33/3.15	c  S st    47     30000       812      1458     70390     10463    194564    974866     12.42   no data  --
12.73/3.22	c  S st    47     30500       812      1458     70390     10961    194564   1020002     12.42   no data  --
12.73/3.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
12.73/3.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.13/3.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.6M T:  0.67
13.53/3.44	c bin-w-bin subsume rem            0 bins  time:  0.05 s
19.52/4.90	c subs with bin:        0  lits-rem:       355  v-fix:    0  time:  5.81 s
19.52/4.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
19.52/4.92	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
27.10/6.88	c lits-rem:      1933  cl-subs:      385  v-elim:      0  v-fix:    0  time:  7.81 s
27.50/6.99	c asymm  cl-useful: 1012/1430/1458 lits-rem:6513 time: 0.47
27.50/7.00	c calculated reachability. Time: 0.00
27.50/7.00	c  N dy    47     30500       812      1458     70390     10576    187294    976504     12.42   no data  --
30.29/7.62	c  N dy    73     34822       812      1458     70390     14793    187294   1491509     13.19     13.99  --
32.28/8.12	c  N dy    92     39002       812      1458     70390     11168    187294    866414     13.47     14.21  --
34.27/8.62	c  N dy    97     43248       812      1458     70390     15261    187294   1180316     13.19     13.92  --
35.47/8.97	c  S st   101     45750       812      1458     70390      9029    187294    550744     13.00     11.19  --
35.88/9.00	c  S st   101     46251       812      1458     70390      9526    187294    600233     13.00   no data  --
35.88/9.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
35.88/9.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.28/9.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.47
36.28/9.15	c bin-w-bin subsume rem            0 bins  time:  0.04 s
41.89/10.55	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  5.59 s
41.89/10.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
41.89/10.57	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
54.64/13.79	c lits-rem:       555  cl-subs:       84  v-elim:      0  v-fix:    0  time: 12.84 s
54.64/13.79	c vivif2 --  cl tried     1458 cl shrink      282 lits rem        284 time: 0.00
54.64/13.80	c vivif2 --  cl tried     9442 cl shrink        0 lits rem          0 time: 0.04
55.46/13.91	c asymm  cl-useful: 0/1458/1458 lits-rem:0 time: 0.43
55.46/13.91	c calculated reachability. Time: 0.00
55.46/13.91	c  N dy   101     46251       812      1458     70390      9442    187004    591852     13.00   no data  --
57.83/14.52	c  N dy   114     51178       812      1458     70391     14197    187004    963771     12.84     13.56  --
59.85/15.04	c  N dy   129     56109       812      1458     70391     18997    187004   1363166     12.78     13.51  --
61.42/15.48	c  N dy   157     60176       812      1458     70391     13308    187004    977328     13.30     30.81  --
64.61/16.26	c  N dy   175     65649       812      1458     70391     18635    187004   1502198     13.41     14.21  --
67.01/16.84	c  S st   182     69376       812      1458     70391     11548    187004    695689     13.28     11.19  --
67.01/16.88	c  S st   182     69878       812      1458     70391     12048    187004    738544     13.28   no data  --
67.01/16.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
67.01/16.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.81/17.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.9M T:  0.51
67.81/17.04	c bin-w-bin subsume rem            0 bins  time:  0.04 s
73.78/18.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.11 s
73.78/18.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
73.78/18.59	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
87.35/21.97	c lits-rem:       386  cl-subs:       98  v-elim:      0  v-fix:    0  time: 13.48 s
87.35/21.97	c vivif2 --  cl tried     1458 cl shrink        0 lits rem          0 time: 0.00
87.35/21.99	c vivif2 --  cl tried    11950 cl shrink        1 lits rem          1 time: 0.05
88.15/22.12	c asymm  cl-useful: 0/1458/1458 lits-rem:0 time: 0.51
88.15/22.12	c calculated reachability. Time: 0.00
88.15/22.12	c  N dy   182     69878       812      1458     70391     11950    187004    731725     13.28   no data  --
90.17/22.62	c  N dy   210     74425       812      1458     70391     16382    187004   1234946     13.51     20.92  --
92.94/23.37	c  N dy   232     79260       812      1458     70391     21067    187004   1724794     13.73     14.58  --
96.14/24.13	c  N dy   238     85341       812      1458     70392     15284    187004   1036061     13.52     14.30  --
96.94/24.39	c  F st   239     87500       812      1458     70392     17365    187004   1155258     13.39     10.77  --
98.95/24.89	c  N st   244     90796       812      1458     70392     20529    187004   1411381     13.39   no data  --
103.33/26.00	c  N dy   259     97393       812      1458     70392     14348    187004    834208     13.37     14.98  --
106.92/26.83	c  N dy   284    103630       812      1458     70392     20401    187004   1324668     13.36     18.87  --
107.32/26.97	c  S st   296    104822       812      1458     70392     21564    187004   1470817     13.46   no data  --
107.73/27.02	c  S st   296    105325       812      1458     70392     22066    187004   1514429     13.46   no data  --
107.73/27.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
107.73/27.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.51/27.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.7M T:  0.77
108.51/27.27	c bin-w-bin subsume rem            0 bins  time:  0.04 s
114.50/28.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.92 s
114.50/28.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
114.50/28.77	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
127.67/32.03	c lits-rem:       946  cl-subs:      517  v-elim:      0  v-fix:    0  time: 13.01 s
127.67/32.03	c vivif2 --  cl tried     1458 cl shrink        0 lits rem          0 time: 0.00
127.67/32.06	c vivif2 --  cl tried    21549 cl shrink        0 lits rem          0 time: 0.11
128.87/32.34	c asymm  cl-useful: 0/1458/1458 lits-rem:0 time: 1.12
128.87/32.34	c calculated reachability. Time: 0.00
128.87/32.34	c  N dy   296    105325       812      1458     70392     21549    187004   1485758     13.46   no data  --
134.84/33.84	c  N dy   337    116220       812      1458     70392     18505    187004   1090875     13.45     14.20  --
139.23/34.92	c  N dy   340    124503       812      1458     70392     26510    187004   1803663     13.23     13.96  --
143.63/36.03	c  N dy   363    132456       812      1458     70392     19723    187004   1316237     13.30     23.66  --
150.01/37.66	c  N dy   432    141161       812      1458     70392     28191    187004   2352058     13.74     14.59  --
155.20/38.94	c  N dy   459    150241       812      1458     70392     21459    187004   1417023     13.78     20.90  --
161.19/40.47	c  S st   501    157991       812      1458     70392     29023    187004   2373194     13.99     10.29  --
161.59/40.59	c  S st   501    158493       812      1458     70392     29520    187004   2419924     13.99   no data  --
161.59/40.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
161.59/40.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.19/40.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.9M T:  1.38
163.59/41.02	c bin-w-bin subsume rem            0 bins  time:  0.04 s
169.96/42.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.64 s
169.96/42.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
170.36/42.70	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
193.51/48.52	c lits-rem:      1211  cl-subs:      487  v-elim:      0  v-fix:    0  time: 23.22 s
193.51/48.52	c vivif2 --  cl tried     1458 cl shrink        0 lits rem          0 time: 0.00
193.51/48.56	c vivif2 --  cl tried    29033 cl shrink        0 lits rem          0 time: 0.14
194.31/48.79	c asymm  cl-useful: 0/1066/1458 lits-rem:0 time: 0.93
194.31/48.79	c calculated reachability. Time: 0.00
194.31/48.79	c  N dy   501    158493       812      1458     70392     29033    187004   2367330     13.99   no data  --
201.90/50.62	c  N dy   546    169159       812      1458     70392     22876    187004   1549639     14.10     15.28  --
210.68/52.85	c  N dy   559    180544       812      1458     70392     33864    187004   2394406     13.91     14.80  --
217.07/54.49	c  N dy   576    192411       812      1458     70392     27937    187004   1741055     13.74     14.71  --
225.05/56.45	c  N dy   606    204689       812      1458     70392     21395    187004   1174427     13.68     24.85  --
233.83/58.67	c  N dy   677    217819       812      1458     70392     34147    187004   2747391     13.91     25.24  --
244.24/61.24	c  N dy   711    231744       812      1458     70392     28258    187004   1774804     13.84     15.63  --
248.99/62.41	c  S st   725    237740       812      1458     70392     34052    187004   2229638     13.78     10.00  --
248.99/62.49	c  S st   725    238241       812      1458     70392     34551    187004   2269705     13.78   no data  --
249.38/62.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
249.38/62.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.18/62.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.5M T:  1.08
250.58/62.84	c bin-w-bin subsume rem            0 bins  time:  0.04 s
257.41/64.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.83 s
257.41/64.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
257.41/64.56	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
276.93/69.44	c lits-rem:       921  cl-subs:      723  v-elim:      0  v-fix:    0  time: 19.46 s
276.93/69.44	c vivif2 --  cl tried     1458 cl shrink        0 lits rem          0 time: 0.00
276.93/69.48	c vivif2 --  cl tried    33828 cl shrink        0 lits rem          0 time: 0.16
278.13/69.70	c asymm  cl-useful: 0/1364/1458 lits-rem:0 time: 0.87
278.13/69.70	c calculated reachability. Time: 0.00
278.13/69.70	c  N dy   725    238241       812      1458     70392     33828    187004   2213390     13.78   no data  --
288.90/72.46	c  N dy   743    253454       812      1458     70392     28158    187004   1654645     13.63     14.87  --
300.48/75.32	c  N dy   783    270989       812      1458     70392     23926    187004   1316064     13.56     14.32  --
310.85/77.95	c  N dy   820    289112       812      1458     70392     41461    187004   2776823     13.45     14.28  --
320.83/80.49	c  F st   905    306250       812      1458     70392     35784    187004   2423613     13.54      8.23  --
322.84/80.94	c  N st   909    308286       812      1458     70392     37727    187004   2581629     13.54   no data  --
338.79/84.93	c  N dy   936    329042       812      1458     70392     34368    187004   2030408     13.40     14.39  --
356.75/89.49	c  N dy  1025    349071       812      1458     70392     29627    187004   1880222     13.53     22.24  --
363.93/91.25	c  S st  1070    357361       812      1458     70392     37661    187004   2770438     13.62   no data  --
364.33/91.35	c  S st  1070    357864       812      1458     70392     38161    187004   2813734     13.62   no data  --
364.33/91.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
364.33/91.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
365.93/91.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.4M T:  1.50
366.33/91.82	c bin-w-bin subsume rem            0 bins  time:  0.04 s
374.31/93.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.91 s
374.31/93.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
374.31/93.81	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
399.06/100.03	c lits-rem:      1151  cl-subs:     1127  v-elim:      0  v-fix:    0  time: 24.77 s
399.06/100.03	c vivif2 --  cl tried     1458 cl shrink        0 lits rem          0 time: 0.00
399.06/100.07	c vivif2 --  cl tried    37034 cl shrink        0 lits rem          0 time: 0.17
400.25/100.31	c asymm  cl-useful: 0/1062/1458 lits-rem:0 time: 0.94
400.25/100.31	c calculated reachability. Time: 0.00
400.25/100.31	c  N dy  1070    357864       812      1458     70392     37034    187004   2753335     13.62   no data  --
419.84/105.23	c  N dy  1145    378870       812      1458     70392     32270    187004   1954540     13.68     14.49  --
438.17/109.84	c  N dy  1226    398889       812      1458     70392     51648    187004   3765717     13.68     14.52  --
451.33/113.14	c  N dy  1274    419548       812      1458     70392     45480    187004   2881543     13.62     14.34  --
466.50/116.96	c  N dy  1353    439726       812      1458     70392     37995    187004   2497827     13.63     14.66  --
486.46/121.95	c  N dy  1391    460037       812      1458     70392     29458    187004   1588638     13.53     14.31  --
502.41/125.90	c  N dy  1454    480637       812      1458     70393     49369    187004   3490557     13.54     14.31  --
519.58/130.24	c  N dy  1566    500717       812      1458     70393     39971    187004   2848906     13.69     27.18  --
540.73/135.53	c  N dy  1636    520745       812      1458     70393     59351    187004   4741927     13.72     27.46  --
554.70/139.02	c  S st  1711    536796       812      1458     70393     44921    187004   3126920     13.79   no data  --
555.10/139.11	c  S st  1711    537299       812      1458     70393     45422    187004   3182345     13.79   no data  --
555.10/139.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
555.10/139.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
556.70/139.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.4M T:  1.54
557.09/139.60	c bin-w-bin subsume rem            0 bins  time:  0.04 s
563.48/141.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.57 s
563.48/141.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
563.48/141.26	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
595.02/149.12	c lits-rem:      1444  cl-subs:     1184  v-elim:      0  v-fix:    0  time: 31.35 s
595.02/149.12	c vivif2 --  cl tried     1458 cl shrink        0 lits rem          0 time: 0.00
595.02/149.17	c vivif2 --  cl tried    44238 cl shrink        1 lits rem          1 time: 0.20
596.20/149.41	c asymm  cl-useful: 0/809/1458 lits-rem:0 time: 0.97
596.20/149.42	c calculated reachability. Time: 0.00
596.20/149.42	c  N dy  1711    537299       812      1458     70393     44238    187004   3113928     13.79   no data  --
619.35/155.24	c  N dy  1794    557479       812      1458     70393     32825    187004   1865897     13.86     14.62  --
634.54/159.07	c  N dy  1840    577499       812      1458     70393     52083    187004   3325733     13.77     16.65  --
655.67/164.39	c  N dy  1913    597749       812      1458     70393     39772    187004   2657637     13.82     14.55  --
684.80/171.68	c  N dy  2063    618702       812      1458     70393     60141    187004   5056961     14.06     14.83  --
709.17/177.74	c  N dy  2158    638987       812      1458     70393     46751    187004   2956870     14.13     15.28  --
737.09/184.73	c  N dy  2185    660867       812      1458     70394     33942    187004   1714997     14.05     15.27  --
754.25/189.00	c  N dy  2265    680897       812      1458     70395     53182    187004   3606873     14.07     20.37  --
775.44/194.37	c  N dy  2317    701898       812      1458     70395     38806    187004   2053859     14.05     14.80  --
792.17/198.52	c  N dy  2360    721997       812      1458     70395     58136    187004   3561801     13.99     14.93  --
809.73/202.99	c  N dy  2396    742625       812      1458     70395     42403    187004   2276381     13.95     14.79  --
828.88/207.77	c  N dy  2437    762627       812      1458     70395     61487    187004   3733320     13.92     14.81  --
848.84/212.76	c  N dy  2489    782686       812      1458     70395     44322    187004   2522323     13.89     26.17  --
872.78/218.75	c  N dy  2544    805850       812      1458     70395     66487    187004   4167266     13.86     14.62  --
872.78/218.80	c  S st  2545    805948       812      1458     70395     66584    187004   4171381     13.86   no data  --
873.58/218.91	c  S st  2545    806450       812      1458     70395     67084    187004   4220945     13.86   no data  --
873.58/218.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
873.58/218.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
876.41/219.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.4M T:  2.94
876.77/219.79	c bin-w-bin subsume rem            0 bins  time:  0.04 s
883.96/221.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.93 s
883.96/221.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
883.96/221.54	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
958.20/240.14	c lits-rem:      2187  cl-subs:     3338  v-elim:      0  v-fix:    0  time: 74.14 s
958.20/240.14	c vivif2 --  cl tried     1458 cl shrink        1 lits rem          1 time: 0.00
958.60/240.21	c vivif2 --  cl tried    63746 cl shrink      435 lits rem        435 time: 0.30
959.41/240.46	c asymm  cl-useful: 0/538/1458 lits-rem:0 time: 0.98
959.41/240.46	c calculated reachability. Time: 0.00
959.41/240.46	c  N dy  2545    806450       812      1458     70395     63746    187003   4100457     13.86   no data  --
980.54/245.75	c  N dy  2645    826624       812      1458     70395     45830    187003   2665219     13.93     14.67  --
1007.70/252.52	c  N dy  2772    847381       812      1458     70395     66024    187003   4895320     14.05     14.88  --
1029.64/258.03	c  N dy  2828    867564       812      1458     70395     46958    187003   2589459     14.04     14.79  --
1050.78/263.36	c  N dy  2911    888546       812      1458     70396     67042    187003   4545141     14.07     14.87  --
1073.14/268.94	c  N dy  2942    908602       812      1458     70396     46858    187003   2407200     14.02     14.88  --
1090.69/273.39	c  N dy  2982    930911       812      1458     70396     68327    187003   4140410     13.98     14.75  --
1113.83/279.13	c  N dy  3019    954367       812      1458     70396     50283    187003   2451193     13.93     14.70  --
1134.20/284.21	c  N dy  3143    974794       812      1458     70396     70106    187003   4595138     14.02     14.83  --
1157.73/290.16	c  N dy  3182    995797       812      1458     70396     48936    187003   2461331     13.97     14.80  --
1175.70/294.64	c  N dy  3239   1016087       812      1458     70396     68463    187003   4324168     13.96     14.89  --
1201.28/301.04	c  N dy  3265   1038684       812      1458     70396     47729    187003   2212422     13.90     14.64  --
1219.19/305.58	c  N dy  3294   1058721       812      1458     70396     66918    187003   3684579     13.85     14.63  --
1232.37/308.80	c  F st  3312   1071875       812      1458     70396     79474    187003   4691185     13.82     11.90  --
1241.15/311.07	c  N dy  3323   1078739       812      1458     70396     86034    187003   5156057     13.82     16.76  --
1261.91/316.25	c  N dy  3360   1099727       812      1458     70396     62827    187003   3237916     13.78     14.77  --
1282.26/321.36	c  N dy  3471   1119752       812      1458     70396     82234    187003   5219928     13.83     14.60  --
1301.02/326.08	c  N dy  3534   1139888       812      1458     70396     57504    187003   2942225     13.84     14.57  --
1319.82/330.76	c  N dy  3595   1159952       812      1458     70396     76800    187003   4618108     13.83     21.23  --
1342.52/336.43	c  N dy  3640   1179972       812      1458     70396     51009    187003   2323207     13.80     17.25  --
1357.70/340.28	c  N dy  3698   1200001       812      1458     70396     70277    187003   3923545     13.80     19.75  --
1368.11/342.83	c  S st  3751   1209677       812      1458     70396     79670    187003   4809527     13.82     12.48  --
1368.47/342.94	c  S st  3751   1210179       812      1458     70396     80166    187003   4863131     13.82   no data  --
1368.47/342.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1368.47/342.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1370.86/343.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 20.1M T:  2.52
1371.66/343.72	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1378.44/345.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.81 s
1378.44/345.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
1378.44/345.45	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
1576.00/394.90	c lits-rem:      1814  cl-subs:     3566  v-elim:      0  v-fix:    0  time: 197.13 s
1576.00/394.90	c vivif2 --  cl tried     1458 cl shrink        1 lits rem          1 time: 0.00
1576.00/394.99	c vivif2 --  cl tried    76600 cl shrink      489 lits rem        489 time: 0.36
1577.20/395.26	c asymm  cl-useful: 0/790/1458 lits-rem:0 time: 1.10
1577.20/395.27	c calculated reachability. Time: 0.00
1577.20/395.27	c  N dy  3751   1210179       812      1458     70396     76600    187002   4739409     13.82   no data  --
1603.93/401.90	c  N dy  3864   1230347       812      1458     70398     49961    187002   2251471     13.88     14.82  --
1621.50/406.38	c  N dy  3893   1250617       812      1458     70398     69397    187002   3583872     13.83     14.58  --
1643.05/411.79	c  N dy  4013   1271685       812      1458     70399     89853    187002   5713190     13.89     14.72  --
1663.80/416.96	c  N dy  4119   1291739       812      1458     70400     61932    187002   3468446     13.93     16.61  --
1685.75/422.45	c  N dy  4193   1311941       812      1458     70400     81466    187002   5312749     13.95     14.84  --
1714.09/429.52	c  N dy  4291   1332007       812      1458     70400     52695    187002   2552005     13.99     24.81  --
1731.65/433.97	c  N dy  4366   1352037       812      1458     70400     71972    187002   4186564     14.01     17.07  --
1759.98/441.03	c  N dy  4446   1372463       812      1458     70400     91494    187002   5875276     14.01     14.77  --
1785.92/447.59	c  N dy  4483   1395654       812      1458     70400     64593    187002   3083167     13.98     15.12  --
1809.47/453.40	c  N dy  4562   1417408       812      1458     70401     85527    187002   4821674     13.98     14.90  --
1843.39/461.97	c  N dy  4607   1438803       812      1458     70401     55952    187002   2579813     13.95     14.76  --
1863.35/466.92	c  N dy  4689   1458896       812      1458     70401     75424    187002   4292358     13.97     27.81  --
1891.28/473.93	c  N dy  4832   1478988       812      1458     70401     94970    187002   6438232     14.04     28.23  --
1914.83/479.86	c  N dy  4931   1499266       812      1458     70401     63439    187002   3293202     14.08     15.12  --
1936.78/485.33	c  N dy  5001   1519418       812      1458     70401     82838    187002   5033603     14.07     14.84  --
1966.31/492.78	c  N dy  5111   1539505       812      1458     70401    102298    187002   7034770     14.12     14.88  --
1987.10/497.97	c  N dy  5162   1559664       812      1458     70401     69580    187002   3722830     14.11     14.85  --
2013.03/504.43	c  N dy  5233   1581331       812      1458     70401     90291    187002   5319007     14.11     15.02  --
2044.54/512.34	c  N dy  5377   1601804       812      1458     70401     57166    187002   2639147     14.18     14.94  --
2065.71/517.71	c  N dy  5468   1622376       812      1458     70401     77133    187002   4599926     14.20     15.00  --
2094.82/524.91	c  N dy  5548   1642378       812      1458     70401     96501    187002   6401750     14.22     26.42  --
2122.37/531.84	c  N dy  5586   1664795       812      1458     70401     63942    187002   2953855     14.19     14.95  --
2142.31/536.89	c  N dy  5627   1685077       812      1458     70402     83170    187002   4365282     14.17     14.95  --
2162.29/541.82	c  N dy  5708   1705174       812      1458     70402    102625    187002   6176215     14.19     29.50  --
2168.26/543.33	c  S st  5735   1710181       812      1458     70402    107473    187002   6721211     14.19   no data  --
2168.66/543.48	c  S st  5735   1710686       812      1458     70402    107970    187002   6775332     14.19   no data  --
2168.66/543.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2168.66/543.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2172.65/544.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 26.3M T:  3.82
2173.45/544.65	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2181.43/546.61	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  7.78 s
2181.43/546.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
2181.43/546.62	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
3420.24/857.01	c lits-rem:      2112  cl-subs:     5116  v-elim:      0  v-fix:    0  time: 1237.76 s
3420.24/857.02	c vivif2 --  cl tried     1458 cl shrink        6 lits rem          6 time: 0.00
3420.64/857.14	c vivif2 --  cl tried   102848 cl shrink      724 lits rem        724 time: 0.50
3421.84/857.42	c asymm  cl-useful: 0/370/1458 lits-rem:0 time: 1.13
3421.84/857.43	c calculated reachability. Time: 0.00
3421.84/857.43	c  N dy  5735   1710686       812      1458     70402    102848    186996   6589269     14.19   no data  --
3446.18/863.52	c  N dy  5834   1730953       812      1458     70405     67530    186996   3433585     14.22     15.40  --
3473.73/870.43	c  N dy  5860   1752005       812      1458     70406     87281    186996   4805394     14.18     15.29  --
3500.06/877.02	c  N dy  5937   1772993       812      1458     70407    107353    186996   6573553     14.20     15.22  --
3520.81/882.27	c  N dy  6058   1793253       812      1458     70407     71584    186996   3928638     14.23     15.09  --
3553.15/890.33	c  N dy  6205   1813918       812      1458     70407     91697    186996   6210481     14.29     15.18  --
3588.26/899.18	c  N dy  6273   1834484       812      1458     70407    111451    186996   8231148     14.29     15.14  --
3613.01/905.39	c  N dy  6406   1855891       812      1458     70407     75437    186996   4313943     14.34     15.18  --
3646.57/913.79	c  N dy  6536   1876669       812      1458     70408     95578    186996   6470210     14.38     15.15  --
3684.85/923.33	c  N dy  6610   1896896       812      1458     70408    114960    186996   8102233     14.39     15.16  --
3709.58/929.54	c  N dy  6661   1920942       812      1458     70408     80123    186996   4142333     14.38     15.65  --
3732.33/935.24	c  N dy  6727   1941079       812      1458     70408     99591    186996   5897831     14.38     15.17  --
3763.47/943.09	c  N dy  6777   1963171       812      1458     70408     62140    186996   2694778     14.37     15.29  --
3785.02/948.41	c  N dy  6793   1983193       812      1458     70408     81379    186996   4244806     14.33     15.92  --
3806.17/953.78	c  N dy  6905   2003260       812      1458     70408    100899    186996   6355699     14.36     25.00  --
3844.88/963.48	c  N dy  7004   2023517       812      1458     70408     60614    186996   2541814     14.38     15.14  --
3864.03/968.24	c  N dy  7067   2043829       812      1458     70408     80287    186996   4209365     14.37     15.19  --
3891.58/975.18	c  N dy  7188   2065192       812      1458     70408    101021    186996   6477895     14.40     15.39  --
3934.29/985.80	c  N dy  7256   2086154       812      1458     70408    121327    186996   8398428     14.40     15.35  --
3952.64/990.46	c  N dy  7295   2106189       812      1458     70408     79781    186996   4331538     14.39     15.39  --
3975.83/996.23	c  N dy  7335   2126240       812      1458     70409     99192    186996   5984148     14.37     15.25  --
4011.31/1005.15	c  N dy  7469   2146317       812      1458     70409    118745    186996   8245114     14.42     28.68  --
4040.44/1012.45	c  N dy  7577   2167440       812      1458     70409     77254    186996   4039186     14.45     15.42  --
4065.59/1018.74	c  N dy  7669   2187533       812      1458     70409     96760    186996   6004828     14.46     17.89  --
4101.51/1027.78	c  N dy  7731   2207536       812      1458     70409    115891    186996   7652347     14.46     26.82  --
4107.11/1029.14	c  S st  7746   2210688       812      1458     70409    118953    186996   7968649     14.46      8.35  --
4108.29/1029.41	c  S st  7746   2211189       812      1458     70409    119449    186996   8016388     14.46   no data  --
4108.29/1029.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4108.29/1029.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4113.88/1030.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.6M T:  5.64
4114.67/1031.07	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4123.86/1033.39	c subs with bin:       15  lits-rem:       347  v-fix:    0  time:  9.25 s
4123.86/1033.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.03 s
4124.26/1033.40	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3369329-1305415164/watcher-3369329-1305415164 -o /tmp/evaluation-result-3369329-1305415164/solver-3369329-1305415164 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369329-1305415164.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: 0.00 0.00 0.00 6/290 2651
/proc/meminfo: memFree=29348632/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=40992 CPUtime=0 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 410 0 0 0 0 0 0 0 24 0 3 0 653114369 41975808 350 33554432000 4194304 4650419 140737115223696 18446744073709551615 228122770417 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 10248 350 303 112 0 5213 0
[pid=2651/tid=2653] ppid=2649 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653114369 52465664 352 33554432000 4194304 4650419 140737115223696 18446744073709551615 47451612096434 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653114369 52465664 352 33554432000 4194304 4650419 140737115223696 18446744073709551615 47451612096428 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653114369 52465664 352 33554432000 4194304 4650419 140737115223696 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.094842 s]
/proc/loadavg: 0.00 0.00 0.00 6/290 2651
/proc/meminfo: memFree=29348632/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=298408 CPUtime=2.44 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 9868 0 0 0 242 2 0 0 18 0 4 0 653114369 305569792 7107 33554432000 4194304 4650419 140737115223696 18446744073709551615 228122757255 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 75044 8012 392 112 0 70009 0
[pid=2651/tid=2653] ppid=2649 vsize=300176 CPUtime=0.72 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2523 0 0 0 72 0 0 0 25 0 4 0 653114369 307380224 8012 33554432000 4194304 4650419 140737115223696 18446744073709551615 228122375201 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=300176 CPUtime=0.73 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2542 0 0 0 73 0 0 0 18 0 4 0 653114369 307380224 8013 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=300176 CPUtime=0.74 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2634 0 0 0 74 0 0 0 19 0 4 0 653114369 307380224 8013 33554432000 4194304 4650419 140737115223696 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 298408

[startup+0.860908 s]
/proc/loadavg: 0.00 0.00 0.00 6/290 2651
/proc/meminfo: memFree=29348632/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=291036 CPUtime=3.39 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 11254 0 0 0 337 2 0 0 19 0 4 0 653114369 298020864 7747 33554432000 4194304 4650419 140737115223696 18446744073709551615 4331981 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 72759 7748 392 112 0 67724 0
[pid=2651/tid=2653] ppid=2649 vsize=291036 CPUtime=0.82 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2610 0 0 0 82 0 0 0 25 0 4 0 653114369 298020864 7748 33554432000 4194304 4650419 140737115223696 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=291036 CPUtime=0.84 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2644 0 0 0 84 0 0 0 18 0 4 0 653114369 298020864 7748 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=291036 CPUtime=0.84 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2793 0 0 0 84 0 0 0 19 0 4 0 653114369 298020864 7748 33554432000 4194304 4650419 140737115223696 18446744073709551615 4328437 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 291036

[startup+0.9009 s]
/proc/loadavg: 0.00 0.00 0.00 6/290 2651
/proc/meminfo: memFree=29348632/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=291036 CPUtime=3.55 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 11433 0 0 0 353 2 0 0 19 0 4 0 653114369 298020864 7926 33554432000 4194304 4650419 140737115223696 18446744073709551615 4329109 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 72759 7926 392 112 0 67724 0
[pid=2651/tid=2653] ppid=2649 vsize=291036 CPUtime=0.86 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2666 0 0 0 86 0 0 0 25 0 4 0 653114369 298020864 7927 33554432000 4194304 4650419 140737115223696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=291036 CPUtime=0.88 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2679 0 0 0 88 0 0 0 18 0 4 0 653114369 298020864 7927 33554432000 4194304 4650419 140737115223696 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=291036 CPUtime=0.88 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2842 0 0 0 88 0 0 0 19 0 4 0 653114369 298020864 7927 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 291036

[startup+1.00088 s]
/proc/loadavg: 0.00 0.00 0.00 6/290 2651
/proc/meminfo: memFree=29348632/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=291168 CPUtime=3.94 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 11929 0 0 0 392 2 0 0 19 0 4 0 653114369 298156032 8422 33554432000 4194304 4650419 140737115223696 18446744073709551615 4315054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 72792 8422 392 112 0 67757 0
[pid=2651/tid=2653] ppid=2649 vsize=291168 CPUtime=0.96 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2805 0 0 0 96 0 0 0 25 0 4 0 653114369 298156032 8422 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=291168 CPUtime=0.98 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2819 0 0 0 98 0 0 0 19 0 4 0 653114369 298156032 8422 33554432000 4194304 4650419 140737115223696 18446744073709551615 4314781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=291168 CPUtime=0.98 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 2957 0 0 0 98 0 0 0 19 0 4 0 653114369 298156032 8422 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 291168

[startup+1.50079 s]
/proc/loadavg: 0.00 0.00 0.00 6/290 2651
/proc/meminfo: memFree=29348632/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=293452 CPUtime=5.95 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 15815 0 0 0 592 3 0 0 20 0 4 0 653114369 300494848 8649 33554432000 4194304 4650419 140737115223696 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 73363 8649 392 112 0 68328 0
[pid=2651/tid=2653] ppid=2649 vsize=293452 CPUtime=1.47 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 3786 0 0 0 146 1 0 0 25 0 4 0 653114369 300494848 8649 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=293452 CPUtime=1.49 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 3882 0 0 0 148 1 0 0 19 0 4 0 653114369 300494848 8649 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=293452 CPUtime=1.48 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 3937 0 0 0 148 0 0 0 20 0 4 0 653114369 300494848 8649 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 293452

[startup+3.1005 s]
/proc/loadavg: 0.00 0.00 0.00 9/295 2656
/proc/meminfo: memFree=29275240/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=285592 CPUtime=12.33 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 25714 0 0 0 1228 5 0 0 25 0 4 0 653114369 292446208 9885 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 71398 9885 393 112 0 66363 0
[pid=2651/tid=2653] ppid=2649 vsize=285592 CPUtime=3.07 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 6631 0 0 0 306 1 0 0 25 0 4 0 653114369 292446208 9885 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=285592 CPUtime=3.08 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 5794 0 0 0 307 1 0 0 25 0 4 0 653114369 292446208 9885 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=285592 CPUtime=3.06 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 6408 0 0 0 305 1 0 0 25 0 4 0 653114369 292446208 9885 33554432000 4194304 4650419 140737115223696 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 285592

[startup+6.30093 s]
/proc/loadavg: 0.64 0.13 0.04 9/295 2657
/proc/meminfo: memFree=29146164/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=304368 CPUtime=25.1 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 46564 0 0 0 2502 8 0 0 25 0 4 0 653114369 311672832 29027 33554432000 4194304 4650419 140737115223696 18446744073709551615 4438951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 76092 29027 394 112 0 71057 0
[pid=2651/tid=2653] ppid=2649 vsize=304368 CPUtime=6.27 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 12390 0 0 0 625 2 0 0 25 0 4 0 653114369 311672832 29027 33554432000 4194304 4650419 140737115223696 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=304368 CPUtime=6.29 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 11144 0 0 0 627 2 0 0 25 0 4 0 653114369 311672832 29027 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=304368 CPUtime=6.23 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 10793 0 0 0 622 1 0 0 25 0 4 0 653114369 311672832 29027 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 304368

[startup+12.7008 s]
/proc/loadavg: 1.23 0.26 0.09 9/295 2657
/proc/meminfo: memFree=29085740/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=370500 CPUtime=50.66 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 62271 0 0 0 5055 11 0 0 25 0 4 0 653114369 379392000 37894 33554432000 4194304 4650419 140737115223696 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 92625 37894 394 112 0 87590 0
[pid=2651/tid=2653] ppid=2649 vsize=370500 CPUtime=12.68 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 16333 0 0 0 1266 2 0 0 25 0 4 0 653114369 379392000 37901 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=370500 CPUtime=12.69 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 14852 0 0 0 1267 2 0 0 25 0 4 0 653114369 379392000 37901 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=370500 CPUtime=12.58 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 16120 0 0 0 1255 3 0 0 25 0 4 0 653114369 379392000 37902 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 370500

[startup+25.5004 s]
/proc/loadavg: 2.73 0.64 0.21 9/295 2657
/proc/meminfo: memFree=28962320/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=461904 CPUtime=101.72 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 101556 0 0 0 10155 17 0 0 25 0 4 0 653114369 472989696 57095 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 115476 57095 394 112 0 110441 0
[pid=2651/tid=2653] ppid=2649 vsize=461904 CPUtime=25.47 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 27870 0 0 0 2543 4 0 0 25 0 4 0 653114369 472989696 57095 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=461904 CPUtime=25.48 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 23157 0 0 0 2544 4 0 0 25 0 4 0 653114369 472989696 57095 33554432000 4194304 4650419 140737115223696 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=461904 CPUtime=25.26 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 29101 0 0 0 2521 5 0 0 25 0 4 0 653114369 472989696 57095 33554432000 4194304 4650419 140737115223696 18446744073709551615 4328471 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 461904

[startup+51.1008 s]
/proc/loadavg: 4.53 1.23 0.42 9/295 2658
/proc/meminfo: memFree=28821432/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=476156 CPUtime=203.9 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 162947 0 0 0 20362 28 0 0 25 0 4 0 653114369 487583744 81121 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 119039 81121 394 112 0 114004 0
[pid=2651/tid=2653] ppid=2649 vsize=476156 CPUtime=51.07 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 42634 0 0 0 5100 7 0 0 25 0 4 0 653114369 487583744 81121 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=476156 CPUtime=51.08 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 34922 0 0 0 5102 6 0 0 25 0 4 0 653114369 487583744 81121 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=476156 CPUtime=50.63 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 48849 0 0 0 5054 9 0 0 25 0 4 0 653114369 487583744 81121 33554432000 4194304 4650419 140737115223696 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 476156

[startup+102.3 s]
/proc/loadavg: 6.49 2.27 0.81 9/295 2659
/proc/meminfo: memFree=28695528/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=620272 CPUtime=408.23 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 269932 0 0 0 40774 49 0 0 25 0 4 0 653114369 635158528 92951 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 155068 92951 394 112 0 150033 0
[pid=2651/tid=2653] ppid=2649 vsize=620272 CPUtime=102.26 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 71742 0 0 0 10214 12 0 0 25 0 4 0 653114369 635158528 92951 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=620272 CPUtime=102.28 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 58415 0 0 0 10216 12 0 0 25 0 4 0 653114369 635158528 92951 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=620272 CPUtime=101.36 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 81677 0 0 0 10122 14 0 0 25 0 4 0 653114369 635158528 92951 33554432000 4194304 4650419 140737115223696 18446744073709551615 4355019 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 620272

[startup+162.301 s]

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

[pid=2651] ppid=2649 vsize=1162220 CPUtime=2802.83 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 976623 0 0 0 280021 262 0 0 25 0 4 0 653114369 1190113280 196327 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 290555 196327 394 112 0 285520 0
[pid=2651/tid=2653] ppid=2649 vsize=1162220 CPUtime=702.28 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 309928 0 0 0 70142 86 0 0 25 0 4 0 653114369 1190113280 196327 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1162220 CPUtime=697.05 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 239719 0 0 0 69637 68 0 0 25 0 4 0 653114369 1190113280 196327 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1162220 CPUtime=701.17 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 221063 0 0 0 70058 59 0 0 25 0 4 0 653114369 1190113280 196327 33554432000 4194304 4650419 140737115223696 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.83
Current children cumulated vsize (KiB) 1162220

[startup+762.301 s]
/proc/loadavg: 8.09 7.42 4.48 9/295 2677
/proc/meminfo: memFree=27981576/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1031880 CPUtime=3042.29 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1007786 0 0 0 303951 278 0 0 25 0 4 0 653114369 1056645120 193555 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 257970 193555 394 112 0 252935 0
[pid=2651/tid=2653] ppid=2649 vsize=1031880 CPUtime=762.28 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 324629 0 0 0 76136 92 0 0 25 0 4 0 653114369 1056645120 193555 33554432000 4194304 4650419 140737115223696 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1031880 CPUtime=756.5 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 256181 0 0 0 75572 78 0 0 25 0 4 0 653114369 1056645120 193555 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1031880 CPUtime=761.18 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 221063 0 0 0 76059 59 0 0 25 0 4 0 653114369 1056645120 193555 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3042.29
Current children cumulated vsize (KiB) 1031880

[startup+822.301 s]
/proc/loadavg: 8.09 7.54 4.70 9/295 2678
/proc/meminfo: memFree=28003728/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1119268 CPUtime=3281.77 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1046968 0 0 0 327878 299 0 0 25 0 4 0 653114369 1146130432 194149 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 279817 194149 394 112 0 274782 0
[pid=2651/tid=2653] ppid=2649 vsize=1119268 CPUtime=822.29 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 342796 0 0 0 82127 102 0 0 25 0 4 0 653114369 1146130432 194152 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1119268 CPUtime=815.96 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 269587 0 0 0 81510 86 0 0 25 0 4 0 653114369 1146130432 194152 33554432000 4194304 4650419 140737115223696 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1119268 CPUtime=821.18 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 228675 0 0 0 82057 61 0 0 25 0 4 0 653114369 1146130432 194152 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.77
Current children cumulated vsize (KiB) 1119268

[startup+882.301 s]
/proc/loadavg: 8.13 7.65 4.92 9/295 2680
/proc/meminfo: memFree=27946652/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=988564 CPUtime=3521.21 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1104943 0 0 0 351803 318 0 0 25 0 4 0 653114369 1012289536 201084 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 247141 201084 394 112 0 242106 0
[pid=2651/tid=2653] ppid=2649 vsize=988564 CPUtime=882.29 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 364800 0 0 0 88120 109 0 0 25 0 4 0 653114369 1012289536 201084 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=988564 CPUtime=875.41 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 285890 0 0 0 87448 93 0 0 25 0 4 0 653114369 1012289536 201084 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=988564 CPUtime=881.17 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 236241 0 0 0 88053 64 0 0 25 0 4 0 653114369 1012289536 201084 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3521.21
Current children cumulated vsize (KiB) 988564

[startup+942.311 s]
/proc/loadavg: 8.09 7.72 5.11 10/295 2682
/proc/meminfo: memFree=27806724/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1316472 CPUtime=3760.71 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1170606 0 0 0 375733 338 0 0 25 0 4 0 653114369 1348067328 227656 33554432000 4194304 4650419 140737115223696 18446744073709551615 4313456 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 329118 227656 394 112 0 324083 0
[pid=2651/tid=2653] ppid=2649 vsize=1316472 CPUtime=942.3 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 380927 0 0 0 94116 114 0 0 25 0 4 0 653114369 1348067328 227656 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1316472 CPUtime=934.87 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 311974 0 0 0 93389 98 0 0 25 0 4 0 653114369 1348067328 227656 33554432000 4194304 4650419 140737115223696 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1316472 CPUtime=941.19 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 244161 0 0 0 94051 68 0 0 25 0 4 0 653114369 1348067328 227656 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.71
Current children cumulated vsize (KiB) 1316472

[startup+1002.3 s]
/proc/loadavg: 8.08 7.79 5.29 9/295 2683
/proc/meminfo: memFree=27756208/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1191364 CPUtime=4000.14 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1211236 0 0 0 399658 356 0 0 25 0 4 0 653114369 1219956736 222830 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 297841 222830 394 112 0 292806 0
[pid=2651/tid=2653] ppid=2649 vsize=1191364 CPUtime=1002.28 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 390278 0 0 0 100111 117 0 0 25 0 4 0 653114369 1219956736 222830 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1191364 CPUtime=994.33 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 313299 0 0 0 99334 99 0 0 25 0 4 0 653114369 1219956736 222831 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1191364 CPUtime=1001.17 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 254294 0 0 0 100045 72 0 0 25 0 4 0 653114369 1219956736 222831 33554432000 4194304 4650419 140737115223696 18446744073709551615 4435771 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4000.14
Current children cumulated vsize (KiB) 1191364

[startup+1062.3 s]
/proc/loadavg: 8.03 7.82 5.46 9/295 2685
/proc/meminfo: memFree=27707936/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1195412 CPUtime=4239.6 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1253358 0 0 0 423588 372 0 0 25 0 4 0 653114369 1224101888 221486 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 298853 221486 394 112 0 293818 0
[pid=2651/tid=2653] ppid=2649 vsize=1195412 CPUtime=1062.29 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 408590 0 0 0 106104 125 0 0 25 0 4 0 653114369 1224101888 221486 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1195412 CPUtime=1053.78 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 331604 0 0 0 105272 106 0 0 25 0 4 0 653114369 1224101888 221486 33554432000 4194304 4650419 140737115223696 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1195412 CPUtime=1061.18 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 255161 0 0 0 106046 72 0 0 25 0 4 0 653114369 1224101888 221486 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239.6
Current children cumulated vsize (KiB) 1195412

[startup+1122.3 s]
/proc/loadavg: 8.01 7.85 5.62 9/295 2686
/proc/meminfo: memFree=27660176/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1285044 CPUtime=4479.05 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1286110 0 0 0 447513 392 0 0 25 0 4 0 653114369 1315885056 230514 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 321261 230514 394 112 0 316226 0
[pid=2651/tid=2653] ppid=2649 vsize=1285044 CPUtime=1122.28 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 422986 0 0 0 112095 133 0 0 25 0 4 0 653114369 1315885056 230514 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1285044 CPUtime=1113.23 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 349563 0 0 0 111206 117 0 0 25 0 4 0 653114369 1315885056 230514 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1285044 CPUtime=1121.18 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 255408 0 0 0 112046 72 0 0 25 0 4 0 653114369 1315885056 230514 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4479.05
Current children cumulated vsize (KiB) 1285044

[startup+1182.3 s]
/proc/loadavg: 8.05 7.89 5.77 9/295 2688
/proc/meminfo: memFree=27691872/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1217608 CPUtime=4718.51 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1327347 0 0 0 471440 411 0 0 25 0 4 0 653114369 1246830592 224099 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 304402 224099 394 112 0 299367 0
[pid=2651/tid=2653] ppid=2649 vsize=1217608 CPUtime=1182.28 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 435775 0 0 0 118088 140 0 0 25 0 4 0 653114369 1246830592 224099 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1217608 CPUtime=1172.68 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 369462 0 0 0 117141 127 0 0 25 0 4 0 653114369 1246830592 224099 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1217608 CPUtime=1181.18 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 263874 0 0 0 118044 74 0 0 25 0 4 0 653114369 1246830592 224099 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4718.51
Current children cumulated vsize (KiB) 1217608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.11 7.91 5.82 11/295 2688
/proc/meminfo: memFree=27714064/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1109604 CPUtime=4800.34 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1348460 0 0 0 479615 419 0 0 25 0 4 0 653114369 1136234496 222336 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 277401 222336 394 112 0 272366 0
[pid=2651/tid=2653] ppid=2649 vsize=1109604 CPUtime=1202.8 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 443439 0 0 0 120137 143 0 0 25 0 4 0 653114369 1136234496 222339 33554432000 4194304 4650419 140737115223696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1109604 CPUtime=1193.01 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 375576 0 0 0 119171 130 0 0 25 0 4 0 653114369 1136234496 222339 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1109604 CPUtime=1201.69 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 271212 0 0 0 120092 77 0 0 25 0 4 0 653114369 1136234496 222339 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1109604

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

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

[startup+1202.8 s]
/proc/loadavg: 8.11 7.91 5.82 11/295 2688
/proc/meminfo: memFree=27714064/32951124 swapFree=54427468/67111528
[pid=2651] ppid=2649 vsize=1109604 CPUtime=4800.34 cores=1,3,5,7
/proc/2651/stat : 2651 (strangenight1-m) R 2649 2651 2611 0 -1 4202496 1348460 0 0 0 479615 419 0 0 25 0 4 0 653114369 1136234496 222336 33554432000 4194304 4650419 140737115223696 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2651/statm: 277401 222336 394 112 0 272366 0
[pid=2651/tid=2653] ppid=2649 vsize=1109604 CPUtime=1202.8 cores=1,3,5,7
/proc/2651/task/2653/stat : 2653 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 443439 0 0 0 120137 143 0 0 25 0 4 0 653114369 1136234496 222339 33554432000 4194304 4650419 140737115223696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2651/tid=2654] ppid=2649 vsize=1109604 CPUtime=1193.01 cores=1,3,5,7
/proc/2651/task/2654/stat : 2654 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 375576 0 0 0 119171 130 0 0 25 0 4 0 653114369 1136234496 222339 33554432000 4194304 4650419 140737115223696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2651/tid=2655] ppid=2649 vsize=1109604 CPUtime=1201.69 cores=1,3,5,7
/proc/2651/task/2655/stat : 2655 (strangenight1-m) R 2649 2651 2611 0 -1 4202560 271212 0 0 0 120092 77 0 0 25 0 4 0 653114369 1136234496 222339 33554432000 4194304 4650419 140737115223696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1109604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.85
CPU time (s): 4800.43
CPU user time (s): 4796.2
CPU system time (s): 4.22936
CPU usage (%): 399.087
Max. virtual memory (cumulated for all children) (KiB): 1326516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.2
system time used= 4.22936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1348467
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= 1201
involuntary context switches= 34293

runsolver used 3.24851 second user time and 7.71183 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-15 01:19:24
IDJOB=3369329
IDBENCH=83907
IDSOLVER=1846
FILE ID=node138/3369329-1305415164
RUNJOBID= node138-1305415164-2630
PBS_JOBID= 13324560
Free space on /tmp= 73340 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369329-1305415164/watcher-3369329-1305415164 -o /tmp/evaluation-result-3369329-1305415164/solver-3369329-1305415164 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369329-1305415164.cnf

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

MD5SUM BENCH= 731331ace9dcb7404987f98927f5c914
RANDOM SEED=1987818443

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29349036 kB
Buffers:        251356 kB
Cached:        3112080 kB
SwapCached:      18472 kB
Active:         864204 kB
Inactive:      2522796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29349036 kB
SwapTotal:    67111528 kB
SwapFree:     54427468 kB
Dirty:           13984 kB
Writeback:           0 kB
AnonPages:       17156 kB
Mapped:           8988 kB
Slab:           110684 kB
PageTables:      40636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 39512532 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= 73332 MiB
End job on node138 at 2011-05-15 01:39:29