Trace number 3251155

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? (TO) 4800.33 1201.66

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
MD5SUM1bac7b96ea6eb843b1de7405a721cd87
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.861868
Satisfiable
(Un)Satisfiability was proved
Number of variables1244
Number of clauses150604
Sum of the clauses size302382
Maximum clause length37
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2150569
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 535

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3251155-1304182350.cnf'
0.00/0.00	c -- header says num vars:           1244
0.00/0.00	c -- header says num clauses:      150604
0.00/0.03	c -- clauses added:            0 learnts,       150604 normals,            0 xors
0.00/0.03	c -- vars added       1244
0.00/0.03	c Parsing time:  0.09 s
0.00/0.03	c  N st     0         0      1244        35    150569         0    302382         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 0/35/35 lits-rem:0 time: 0.00
0.00/0.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
0.00/0.11	c bin-w-bin subsume rem            0 bins  time:  0.11 s
0.00/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
0.14/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1244 time:  0.06 s
0.14/0.15	c Removed useless bin:       0  fixed:     0  props:   0.76M  time:  0.06 s
0.14/0.93	c lits-rem:       349  cl-subs:        0  v-elim:     35  v-fix:    0  time:  0.17 s
0.14/0.93	c Finding binary XORs  T:     0.01 s  found:       0
0.14/0.93	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.14/0.93	c calculated reachability. Time: 0.00
0.14/0.93	c Calc default polars -  time:   0.00 s pos:       0 undec:      35 neg:    1209
0.14/0.93	c =========================================================================================
0.14/0.93	c types(t): F = full restart, N = normal restart
0.14/0.93	c types(t): S = simplification begin/end, E = solution found
0.14/0.93	c restart types(rt): st = static, dy = dynamic
0.14/0.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.14/0.93	c  B st     0         0      1209      3483    145877         0    434614         0   no data   no data  --
0.14/0.93	c  N dy    13      4171      1209      3483    145877      4040    434614    295672     10.17     10.78  --
0.14/0.93	c  N dy    38      8262      1209      3483    145877      5557    434614    314496     11.10     11.93  --
2.93/1.03	c  N dy    52     13309      1209      3483    145877      6346    434610    356076     10.70     11.30  --
5.00/1.29	c  N dy    79     17554      1209      3483    145877     10442    434594    826891     12.04     12.69  --
6.37/1.63	c  N dy    96     22509      1209      3483    145877      9810    434587    575551     11.97     12.68  --
7.18/1.83	c  F st   109     25001      1209      3483    145877     12235    434587    765729     12.06     12.11  --
7.97/2.01	c  N st   113     27037      1209      3483    145877      7605    434581    438312     12.06   no data  --
8.76/2.26	c  S st   115     30001      1209      3483    145877     10450    434571    890802     12.06   no data  --
9.16/2.32	c  S st   115     30505      1209      3483    145877     10950    434571    928815     12.06   no data  --
9.16/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
9.16/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.97/2.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.4M T:  1.02
10.36/2.64	c bin-w-bin subsume rem            0 bins  time:  0.08 s
15.56/3.93	c subs with bin:        0  lits-rem:      1636  v-fix:    0  time:  5.15 s
15.56/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
15.56/3.96	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
21.94/5.58	c lits-rem:      2926  cl-subs:      378  v-elim:      0  v-fix:    0  time:  6.48 s
22.74/5.79	c asymm  cl-useful: 955/1504/3483 lits-rem:8598 time: 0.83
22.74/5.79	c calculated reachability. Time: 0.00
22.74/5.79	c  N dy   115     30505      1209      3483    145877     10572    422210    891916     12.06   no data  --
24.76/6.28	c  N dy   128     34791      1209      3483    145877     14737    422210   1265222     11.86     12.51  --
26.74/6.70	c  N dy   133     39370      1209      3483    145877     11525    422210    706907     11.58     12.25  --
28.74/7.21	c  N dy   159     44502      1209      3483    145877     16526    422208   1255286     11.81     12.46  --
29.15/7.34	c  S st   162     45758      1209      3483    145877      9062    422208    439051     11.73      8.02  --
29.15/7.37	c  S st   162     46261      1209      3483    145877      9559    422208    486022     11.73   no data  --
29.15/7.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
29.15/7.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.93/7.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.6M T:  0.76
30.33/7.60	c bin-w-bin subsume rem            0 bins  time:  0.08 s
35.12/8.82	c subs with bin:        0  lits-rem:      1538  v-fix:    0  time:  4.88 s
35.12/8.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
35.12/8.85	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
45.11/11.34	c lits-rem:       653  cl-subs:      161  v-elim:      0  v-fix:    0  time:  9.94 s
45.11/11.35	c vivif2 --  cl tried     3483 cl shrink     1624 lits rem      11783 time: 0.02
45.11/11.36	c vivif2 --  cl tried     9398 cl shrink        0 lits rem          0 time: 0.05
45.51/11.46	c asymm  cl-useful: 0/1944/3483 lits-rem:0 time: 0.42
45.51/11.47	c calculated reachability. Time: 0.00
45.51/11.47	c  N dy   162     46261      1209      3483    145877      9398    408542    479120     11.73   no data  --
46.73/11.80	c  N dy   172     50323      1209      3483    145877     13283    408542    683053     11.65     16.52  --
48.31/12.15	c  N dy   194     54422      1209      3483    145877     17268    408542   1185034     11.92     14.30  --
49.91/12.58	c  N dy   227     58484      1209      3483    145877     11568    408542    698004     12.49     13.19  --
51.91/13.02	c  N dy   247     62858      1209      3483    145877     15845    408542   1137495     12.56     13.47  --
53.90/13.50	c  N dy   257     67135      1209      3483    145877     19967    408542   1453936     12.47     13.45  --
54.70/13.72	c  S st   261     69392      1209      3483    145877     11486    408542    553797     12.38     10.71  --
54.70/13.75	c  S st   261     69894      1209      3483    145877     11987    408542    610115     12.38   no data  --
54.70/13.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
54.70/13.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.52/13.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.2M T:  0.84
55.92/14.01	c bin-w-bin subsume rem            0 bins  time:  0.08 s
60.70/15.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.99 s
60.70/15.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
60.70/15.29	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
72.28/18.12	c lits-rem:       431  cl-subs:      104  v-elim:      0  v-fix:    0  time: 11.28 s
72.28/18.12	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
72.28/18.13	c vivif2 --  cl tried    11883 cl shrink        0 lits rem          0 time: 0.06
73.10/18.32	c asymm  cl-useful: 0/3339/3483 lits-rem:0 time: 0.74
73.10/18.32	c calculated reachability. Time: 0.00
73.10/18.32	c  N dy   261     69894      1209      3483    145877     11883    408530    602863     12.38   no data  --
75.07/18.82	c  N dy   268     75733      1209      3483    145877     17495    408530    905554     12.18     13.06  --
77.08/19.40	c  N dy   279     81604      1209      3483    145877     23148    408530   1322940     12.03     12.97  --
79.07/19.89	c  N dy   301     87187      1209      3483    145877     17025    408530   1167307     12.10     13.03  --
79.47/19.93	c  F st   305     87502      1209      3483    145877     17335    408530   1212258     12.13   no data  --
81.88/20.57	c  N dy   312     92796      1209      3483    145877     22473    408530   1874974     12.16     34.73  --
84.66/21.30	c  N dy   350     98810      1209      3483    145877     15707    408530    918170     12.42     13.13  --
87.45/21.90	c  S st   357    104841      1209      3483    145877     21520    408530   1254821     12.24     11.37  --
87.45/21.94	c  S st   357    105343      1209      3483    145877     22016    408530   1297688     12.24   no data  --
87.45/21.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
87.45/21.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.66/22.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.2M T:  1.17
89.06/22.30	c bin-w-bin subsume rem            0 bins  time:  0.08 s
94.25/23.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.38 s
94.25/23.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
94.25/23.68	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
105.03/26.32	c lits-rem:       728  cl-subs:      839  v-elim:      0  v-fix:    0  time: 10.54 s
105.03/26.32	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
105.03/26.35	c vivif2 --  cl tried    21177 cl shrink        0 lits rem          0 time: 0.11
105.83/26.54	c asymm  cl-useful: 0/2573/3483 lits-rem:0 time: 0.75
105.83/26.54	c calculated reachability. Time: 0.00
105.83/26.54	c  N dy   357    105343      1209      3483    145877     21177    408530   1262744     12.24   no data  --
109.02/27.34	c  N dy   377    112410      1209      3483    145877     14430    408530    720511     12.16     12.85  --
112.23/28.16	c  N dy   412    120306      1209      3483    145877     22094    408530   1609345     12.33     12.99  --
116.63/29.26	c  N dy   459    128048      1209      3483    145877     15118    408530    783351     12.58     22.63  --
120.61/30.20	c  N dy   505    136442      1209      3483    145877     23282    408530   1673837     12.78     13.53  --
125.82/31.58	c  N dy   560    145663      1209      3483    145877     16728    408530    879821     12.90     13.64  --
129.80/32.54	c  N dy   579    155701      1209      3483    145877     26482    408530   1719938     12.79     13.62  --
130.99/32.81	c  S st   581    158014      1209      3483    145877     28729    408530   1876918     12.76     11.91  --
130.99/32.87	c  S st   581    158516      1209      3483    145877     29229    408530   1912712     12.76   no data  --
130.99/32.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
130.99/32.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.60/33.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.2M T:  1.36
132.60/33.29	c bin-w-bin subsume rem            0 bins  time:  0.08 s
137.79/34.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.16 s
138.19/34.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
138.19/34.61	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
152.19/38.13	c lits-rem:       726  cl-subs:      664  v-elim:      0  v-fix:    0  time: 14.00 s
152.19/38.13	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
152.19/38.17	c vivif2 --  cl tried    28565 cl shrink        0 lits rem          0 time: 0.16
152.59/38.27	c asymm  cl-useful: 0/910/3483 lits-rem:0 time: 0.39
152.59/38.27	c calculated reachability. Time: 0.00
152.59/38.27	c  N dy   581    158516      1209      3483    145877     28565    408530   1858051     12.76   no data  --
158.16/39.68	c  N dy   601    169920      1209      3483    145877     23032    408530   1313274     12.61     13.31  --
164.56/41.20	c  N dy   622    182347      1209      3483    145877     17599    408530    911396     12.47     13.33  --
169.76/42.53	c  N dy   682    194076      1209      3483    145877     28981    408530   2075971     12.57     14.65  --
176.93/44.37	c  N dy   752    206483      1209      3483    145877     22656    408530   1424793     12.76     14.75  --
186.92/46.88	c  N dy   828    221509      1209      3483    145877     37185    408530   2845161     12.90     13.69  --
194.51/48.74	c  N dy   859    235864      1209      3483    145877     31585    408530   1751698     12.80     13.59  --
195.31/48.98	c  S st   862    237774      1209      3483    145877     33388    408530   1859275     12.78      9.09  --
195.71/49.04	c  S st   862    238276      1209      3483    145877     33886    408530   1908597     12.78   no data  --
195.71/49.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
195.71/49.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
197.70/49.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.2M T:  1.92
198.11/49.61	c bin-w-bin subsume rem            0 bins  time:  0.08 s
204.51/51.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.65 s
204.51/51.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
204.51/51.30	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.05 s
216.09/54.16	c lits-rem:       727  cl-subs:     1600  v-elim:      0  v-fix:    0  time: 11.41 s
216.09/54.16	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
216.49/54.21	c vivif2 --  cl tried    32286 cl shrink        0 lits rem          0 time: 0.17
217.29/54.40	c asymm  cl-useful: 0/2339/3483 lits-rem:0 time: 0.78
217.29/54.41	c calculated reachability. Time: 0.00
217.29/54.41	c  N dy   862    238276      1209      3483    145877     32286    408530   1859857     12.78   no data  --
224.47/56.22	c  N dy   927    254752      1209      3483    145877     27997    408530   1737578     12.82     13.50  --
234.07/58.63	c  N dy   997    271087      1209      3483    145877     22534    408530   1051937     12.88     13.88  --
242.85/60.83	c  N dy  1062    288454      1209      3483    145877     39395    408530   2834451     12.90     18.27  --
252.05/63.10	c  F st  1139    306250      1209      3483    145877     34394    408530   2271988     12.95      8.73  --
252.45/63.20	c  N st  1141    306875      1209      3483    145877     34998    408530   2335301     12.95   no data  --
263.22/65.90	c  N dy  1185    326581      1209      3483    145877     30876    408530   1871991     12.90     13.61  --
274.82/68.86	c  N dy  1255    346775      1209      3483    145877     26205    408530   1301723     12.92     13.78  --
280.03/70.17	c  S st  1308    357415      1209      3483    145877     36523    408530   2414547     12.94      7.95  --
280.41/70.25	c  S st  1308    357917      1209      3483    145877     37024    408530   2457214     12.94   no data  --
280.41/70.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
280.41/70.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.41/70.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 22.7M T:  2.14
282.81/70.88	c bin-w-bin subsume rem            0 bins  time:  0.08 s
288.81/72.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.68 s
288.81/72.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
288.81/72.33	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
306.78/76.89	c lits-rem:      1080  cl-subs:      906  v-elim:      0  v-fix:    0  time: 18.17 s
306.78/76.89	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
307.18/76.94	c vivif2 --  cl tried    36118 cl shrink        0 lits rem          0 time: 0.19
307.98/77.15	c asymm  cl-useful: 0/1030/3483 lits-rem:0 time: 0.87
307.98/77.16	c calculated reachability. Time: 0.00
307.98/77.16	c  N dy  1308    357917      1209      3483    145877     36118    408530   2414429     12.94   no data  --
322.36/80.77	c  N dy  1399    378481      1209      3483    145877     30831    408530   1569405     12.99     13.87  --
333.14/83.44	c  N dy  1473    398535      1209      3483    145877     50219    408530   3492907     13.00     14.58  --
345.12/86.41	c  N dy  1517    419880      1209      3483    145877     44538    408530   2608380     12.92     13.78  --
356.71/89.31	c  N dy  1646    439973      1209      3483    145877     37066    408530   2327582     13.05     23.09  --
371.91/93.13	c  N dy  1725    460715      1209      3483    145877     29070    408530   1319183     13.07     14.20  --
382.68/95.87	c  N dy  1794    482330      1209      3483    145877     50000    408530   3133120     13.04     13.77  --
394.66/98.85	c  N dy  1906    502646      1209      3483    145877     40734    408530   2507500     13.16     13.98  --
410.63/102.88	c  N dy  2004    523169      1209      3483    145877     30572    408530   1386147     13.21     13.96  --
417.83/104.69	c  S st  2054    536877      1209      3483    145877     43819    408530   2705190     13.20      9.71  --
418.23/104.77	c  S st  2054    537379      1209      3483    145877     44320    408530   2753559     13.20   no data  --
418.23/104.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
418.23/104.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
420.65/105.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 23.3M T:  2.37
421.02/105.47	c bin-w-bin subsume rem            0 bins  time:  0.08 s
427.02/106.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.01 s
427.02/106.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
427.41/107.00	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
449.39/112.56	c lits-rem:      1225  cl-subs:     1617  v-elim:      0  v-fix:    0  time: 22.18 s
449.39/112.56	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
449.79/112.62	c vivif2 --  cl tried    42703 cl shrink        0 lits rem          0 time: 0.22
450.59/112.86	c asymm  cl-useful: 0/803/3483 lits-rem:0 time: 0.97
450.59/112.87	c calculated reachability. Time: 0.00
450.59/112.87	c  N dy  2054    537379      1209      3483    145877     42703    408530   2707246     13.20   no data  --
466.57/116.87	c  N dy  2119    557426      1209      3483    145877     31140    408530   1427728     13.18     18.19  --
479.74/120.11	c  N dy  2215    577892      1209      3483    145877     51084    408530   3566450     13.23     14.13  --
494.13/123.77	c  N dy  2285    598068      1209      3483    145877     38636    408530   2100052     13.24     14.13  --
508.91/127.48	c  N dy  2389    618443      1209      3483    145877     58414    408530   4235056     13.29     14.14  --
525.29/131.52	c  N dy  2499    640427      1209      3483    145877     46762    408530   2977073     13.36     14.19  --
544.46/136.38	c  N dy  2603    660475      1209      3483    145877     66204    408530   5152847     13.42     14.16  --
558.44/139.83	c  N dy  2687    680562      1209      3483    145877     51727    408530   3348648     13.43     14.20  --
576.41/144.31	c  N dy  2746    700806      1209      3483    145877     36389    408530   1741449     13.41     14.21  --
590.00/147.79	c  N dy  2828    720899      1209      3483    145877     55882    408530   3730160     13.42     15.24  --
609.59/152.68	c  N dy  2901    740979      1209      3483    145877     39391    408530   1971790     13.43     15.24  --
623.95/156.26	c  N dy  2986    761073      1209      3483    145878     58884    408530   4057805     13.46     23.34  --
643.93/161.30	c  N dy  3070    781260      1209      3483    145878     41633    408530   2171417     13.47     14.18  --
659.11/165.04	c  N dy  3143    801561      1209      3483    145878     61300    408530   4303605     13.47     14.51  --
663.90/166.28	c  S st  3174    806068      1209      3483    145878     65657    408530   4781678     13.49   no data  --
664.70/166.43	c  S st  3174    806571      1209      3483    145878     66159    408530   4834116     13.49   no data  --
664.70/166.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
664.70/166.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
669.89/167.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 38.8M T:  5.10
670.29/167.88	c bin-w-bin subsume rem            0 bins  time:  0.08 s
676.68/169.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.38 s
676.68/169.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
677.08/169.51	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
756.98/189.57	c lits-rem:      2045  cl-subs:     2229  v-elim:      0  v-fix:    0  time: 79.93 s
756.98/189.57	c vivif2 --  cl tried     3483 cl shrink        1 lits rem          1 time: 0.01
757.38/189.66	c vivif2 --  cl tried    63930 cl shrink       37 lits rem         37 time: 0.35
758.59/189.93	c asymm  cl-useful: 0/983/3483 lits-rem:0 time: 1.07
758.59/189.93	c calculated reachability. Time: 0.00
758.59/189.93	c  N dy  3174    806571      1209      3483    145878     63930    408529   4736230     13.49   no data  --
773.75/193.78	c  N dy  3226    826643      1209      3483    145880     45552    408529   2524073     13.47     14.22  --
790.13/197.83	c  N dy  3332    846658      1209      3483    145880     64940    408529   4636226     13.52     24.33  --
809.31/202.64	c  N dy  3433    867422      1209      3483    145880     46375    408529   2526908     13.55     14.27  --
824.08/206.40	c  N dy  3509    888759      1209      3483    145880     66936    408529   4539361     13.54     14.55  --
843.26/211.14	c  N dy  3567    909547      1209      3483    145880     47343    408529   2344017     13.52     14.24  --
856.45/214.44	c  N dy  3636    929564      1209      3483    145880     66658    408529   4312252     13.53     26.75  --
875.22/219.13	c  N dy  3713    949580      1209      3483    145880     45398    408529   2340060     13.53     19.43  --
889.60/222.74	c  N dy  3796    969716      1209      3483    145880     64798    408529   4110997     13.54     14.26  --
910.37/227.97	c  N dy  3888    989970      1209      3483    145880     42899    408529   2043474     13.56     14.48  --
924.75/231.51	c  N dy  3961   1010105      1209      3483    145880     62406    408529   4087524     13.55     14.46  --
946.32/236.91	c  N dy  4053   1030118      1209      3483    145880     81748    408529   6112793     13.57     19.24  --
963.50/241.20	c  N dy  4117   1051338      1209      3483    145880     59685    408529   3310279     13.56     14.40  --
981.47/245.70	c  N dy  4214   1071424      1209      3483    145880     79023    408529   5270236     13.58     22.84  --
981.87/245.86	c  F st  4219   1071877      1209      3483    145880     79457    408529   5310639     13.58   no data  --
998.25/249.96	c  N dy  4286   1091683      1209      3483    145880     55120    408529   2963692     13.58     14.33  --
1016.22/254.41	c  N dy  4333   1112288      1209      3483    145881     74803    408529   4469281     13.56     14.36  --
1033.00/258.61	c  N dy  4397   1132727      1209      3483    145881     50206    408529   2438482     13.56     14.30  --
1047.78/262.37	c  N dy  4490   1152764      1209      3483    145881     69526    408529   4304443     13.59     24.01  --
1069.36/267.73	c  N dy  4578   1172829      1209      3483    145882     88803    408529   6221026     13.61     15.57  --
1086.13/271.95	c  N dy  4674   1192879      1209      3483    145882     62987    408529   3614420     13.63     14.36  --
1101.33/275.79	c  S st  4732   1209856      1209      3483    145882     79356    408529   5240059     13.63   no data  --
1102.10/275.97	c  S st  4732   1210356      1209      3483    145882     79855    408529   5291727     13.63   no data  --
1102.10/275.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1102.10/275.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1108.51/277.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 43.1M T:  6.26
1109.30/277.72	c bin-w-bin subsume rem            0 bins  time:  0.08 s
1118.91/280.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.78 s
1118.91/280.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
1119.31/280.20	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
1797.57/450.00	c lits-rem:      1491  cl-subs:     4487  v-elim:      0  v-fix:    0  time: 677.19 s
1797.57/450.00	c vivif2 --  cl tried     3483 cl shrink        4 lits rem          4 time: 0.01
1797.97/450.12	c vivif2 --  cl tried    75368 cl shrink     1103 lits rem       1140 time: 0.47
1799.17/450.42	c asymm  cl-useful: 0/726/3483 lits-rem:0 time: 1.23
1799.17/450.43	c calculated reachability. Time: 0.00
1799.17/450.43	c  N dy  4732   1210356      1209      3483    145882     75368    408525   5176316     13.63   no data  --
1823.94/456.66	c  N dy  4809   1232173      1209      3483    145883     50221    408525   2545667     13.63     14.54  --
1840.72/460.87	c  N dy  4897   1252249      1209      3483    145883     69593    408525   4497584     13.64     27.62  --
1864.68/466.81	c  N dy  4991   1272761      1209      3483    145883     89374    408525   6529355     13.66     14.43  --
1883.88/471.64	c  N dy  5084   1293696      1209      3483    145883     62296    408525   3767279     13.68     14.46  --
1904.64/476.81	c  N dy  5166   1313811      1209      3483    145884     81671    408525   5694532     13.70     14.43  --
1929.41/483.05	c  N dy  5257   1335420      1209      3483    145884     54374    408525   2748534     13.72     14.69  --
1946.19/487.24	c  N dy  5325   1355489      1209      3483    145884     73619    408525   4407169     13.72     22.60  --
1969.36/493.08	c  N dy  5415   1376152      1209      3483    145884     93503    408525   6340544     13.73     14.46  --
1986.14/497.27	c  N dy  5465   1396336      1209      3483    145884     63831    408525   3342392     13.70     14.46  --
2003.32/501.59	c  N dy  5543   1417296      1209      3483    145884     84006    408525   5298290     13.71     14.80  --
2024.90/506.99	c  N dy  5626   1437703      1209      3483    145884     53587    408525   2610182     13.72     14.54  --
2040.08/510.75	c  N dy  5708   1457957      1209      3483    145885     73098    408525   4404757     13.72     14.48  --
2065.24/517.02	c  N dy  5744   1478149      1209      3483    145885     92415    408525   5758573     13.69     14.67  --
2085.22/522.05	c  N dy  5822   1499119      1209      3483    145885     61613    408525   3211596     13.69     14.42  --
2105.60/527.20	c  N dy  5907   1519245      1209      3483    145885     80894    408525   5011429     13.69     14.46  --
2133.97/534.25	c  N dy  5989   1539285      1209      3483    145885    100087    408525   6774396     13.70     23.93  --
2153.54/539.12	c  N dy  6078   1559297      1209      3483    145886     67502    408525   3771186     13.71     20.59  --
2175.11/544.58	c  N dy  6181   1579371      1209      3483    145886     86845    408525   5661236     13.73     14.53  --
2201.88/551.22	c  N dy  6239   1599399      1209      3483    145886     53245    408525   2335527     13.72     17.95  --
2217.48/555.17	c  N dy  6349   1619454      1209      3483    145886     72509    408525   4197612     13.74     22.83  --
2241.43/561.14	c  N dy  6447   1639544      1209      3483    145886     91781    408525   5965261     13.75     14.78  --
2266.23/567.40	c  N dy  6536   1659973      1209      3483    145887     57585    408525   2713164     13.76     14.54  --
2283.80/571.73	c  N dy  6590   1680181      1209      3483    145887     76973    408525   4118391     13.75     14.50  --
2303.36/576.69	c  N dy  6662   1701241      1209      3483    145887     97170    408525   5865889     13.75     14.49  --
2313.76/579.30	c  S st  6706   1710362      1209      3483    145888    105887    408525   6684432     13.75   no data  --
2314.58/579.47	c  S st  6706   1710866      1209      3483    145888    106389    408525   6736417     13.75   no data  --
2314.58/579.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2314.58/579.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2320.94/581.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 45.9M T:  6.10
2321.74/581.23	c bin-w-bin subsume rem            0 bins  time:  0.08 s
2327.36/582.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.68 s
2327.36/582.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
2327.36/582.68	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
3588.95/898.42	c lits-rem:      2719  cl-subs:     9493  v-elim:      0  v-fix:    0  time: 1259.62 s
3588.95/898.42	c vivif2 --  cl tried     3483 cl shrink        4 lits rem          4 time: 0.01
3589.32/898.57	c vivif2 --  cl tried    96896 cl shrink     1330 lits rem       1499 time: 0.61
3590.52/898.86	c asymm  cl-useful: 0/335/3483 lits-rem:0 time: 1.16
3590.52/898.87	c calculated reachability. Time: 0.00
3590.52/898.87	c  N dy  6706   1710866      1209      3483    145888     96896    408521   6489180     13.75   no data  --
3614.10/904.74	c  N dy  6815   1731439      1209      3483    145892     62203    408521   3173480     13.77     14.57  --
3631.28/909.03	c  N dy  6863   1751461      1209      3483    145892     81463    408521   4585392     13.76     14.53  --
3656.84/915.41	c  N dy  6986   1771507      1209      3483    145892    100808    408521   6650036     13.79     21.17  --
3681.23/921.51	c  N dy  7057   1791518      1209      3483    145892     64399    408521   3304720     13.79     14.76  --
3701.98/926.74	c  N dy  7150   1812036      1209      3483    145892     84178    408521   5313510     13.80     14.62  --
3732.75/934.42	c  N dy  7251   1833619      1209      3483    145892    104949    408521   7391460     13.81     14.78  --
3755.53/940.16	c  N dy  7328   1854012      1209      3483    145893     67861    408521   3561295     13.81     14.67  --
3775.90/945.29	c  N dy  7431   1874382      1209      3483    145893     87536    408521   5582348     13.83     14.76  --
3803.07/952.01	c  N dy  7508   1894388      1209      3483    145893    106737    408521   7356763     13.83     15.72  --
3824.24/957.37	c  N dy  7585   1914459      1209      3483    145893     68369    408521   3626644     13.83     25.42  --
3845.81/962.77	c  N dy  7683   1935472      1209      3483    145893     88578    408521   5648199     13.85     14.71  --
3876.58/970.44	c  N dy  7777   1956053      1209      3483    145893    108395    408521   7632578     13.86     14.66  --
3902.54/976.90	c  N dy  7877   1976055      1209      3483    145894     68853    408521   3558732     13.87     16.54  --
3923.72/982.27	c  N dy  7955   1996085      1209      3483    145894     88068    408521   5126020     13.88     15.27  --
3950.09/988.84	c  N dy  8047   2017198      1209      3483    145894    108249    408521   7132374     13.89     15.11  --
3977.25/995.61	c  N dy  8131   2037372      1209      3483    145895     68060    408521   3393013     13.89     14.74  --
3999.22/1001.15	c  N dy  8233   2058826      1209      3483    145895     88717    408521   5311347     13.91     14.64  --
4028.79/1008.50	c  N dy  8333   2078854      1209      3483    145895    107988    408521   7365788     13.93     17.80  --
4057.95/1015.85	c  N dy  8415   2099070      1209      3483    145895     66884    408521   3250730     13.94     15.09  --
4077.13/1020.63	c  N dy  8493   2119089      1209      3483    145895     86053    408521   5098125     13.94     25.13  --
4102.71/1027.10	c  N dy  8597   2139976      1209      3483    145896    106153    408521   7123114     13.96     14.80  --
4133.48/1034.74	c  N dy  8682   2160059      1209      3483    145896     63926    408521   2920790     13.96     16.41  --
4150.65/1039.02	c  N dy  8760   2181216      1209      3483    145896     84179    408521   4718068     13.96     14.70  --
4171.03/1044.17	c  N dy  8819   2201281      1209      3483    145896    103346    408521   6490269     13.96     20.29  --
4185.01/1047.65	c  S st  8871   2210867      1209      3483    145896    112550    408521   7414515     13.97     13.62  --
4185.81/1047.86	c  S st  8871   2211370      1209      3483    145896    113053    408521   7465124     13.97   no data  --
4185.81/1047.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4185.81/1047.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4194.59/1050.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 54.2M T:  8.78
4195.80/1050.31	c bin-w-bin subsume rem            0 bins  time:  0.08 s
4202.18/1051.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.61 s
4202.18/1051.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
4202.58/1052.00	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.97 8.00 8.01 5/180 10575
/proc/meminfo: memFree=28410228/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 608465692 52465664 352 33554432000 4194304 4650419 140736885067248 18446744073709551615 47525929187250 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 12809 352 303 112 0 7774 0
[pid=10575/tid=10576] ppid=10573 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 608465692 52465664 352 33554432000 4194304 4650419 140736885067248 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 608465692 52465664 352 33554432000 4194304 4650419 140736885067248 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 608465692 52465664 352 33554432000 4194304 4650419 140736885067248 18446744073709551615 47525929187244 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.039068 s]
/proc/loadavg: 7.97 8.00 8.01 5/180 10575
/proc/meminfo: memFree=28410228/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=285752 CPUtime=0.14 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 5757 0 0 0 13 1 0 0 18 0 4 0 608465692 292610048 5656 33554432000 4194304 4650419 140736885067248 18446744073709551615 251367207969 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 71438 6003 371 112 0 66403 0
[pid=10575/tid=10576] ppid=10573 vsize=285752 CPUtime=0.03 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 1539 0 0 0 3 0 0 0 18 0 4 0 608465692 292610048 6187 33554432000 4194304 4650419 140736885067248 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=286020 CPUtime=0.09 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 1608 0 0 0 9 0 0 0 18 0 4 0 608465692 292884480 6754 33554432000 4194304 4650419 140736885067248 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=286020 CPUtime=0.1 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 1508 0 0 0 10 0 0 0 18 0 4 0 608465692 292884480 6808 33554432000 4194304 4650419 140736885067248 18446744073709551615 4326261 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 285752

[startup+0.235071 s]
/proc/loadavg: 7.97 8.00 8.01 5/180 10575
/proc/meminfo: memFree=28410228/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=302400 CPUtime=2.93 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 15046 0 0 0 290 3 0 0 18 0 4 0 608465692 309657600 12034 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366378 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 75600 12034 392 112 0 70565 0
[pid=10575/tid=10576] ppid=10573 vsize=302400 CPUtime=0.72 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) D 10573 10575 9908 0 -1 4202560 3898 0 0 0 72 0 0 0 18 0 4 0 608465692 309657600 11693 33554432000 4194304 4650419 140736885067248 18446744073709551615 4352090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=302400 CPUtime=0.72 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 3604 0 0 0 72 0 0 0 18 0 4 0 608465692 309657600 11693 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=293720 CPUtime=0.94 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 3741 0 0 0 94 0 0 0 19 0 4 0 608465692 300769280 12504 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 302400

[startup+1.05721 s]
/proc/loadavg: 7.97 8.00 8.01 5/180 10575
/proc/meminfo: memFree=28410228/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=284764 CPUtime=4.19 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 17818 0 0 0 416 3 0 0 19 0 4 0 608465692 291598336 12380 33554432000 4194304 4650419 140736885067248 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 71191 12380 392 112 0 66156 0
[pid=10575/tid=10576] ppid=10573 vsize=284764 CPUtime=1.04 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 4742 0 0 0 104 0 0 0 19 0 4 0 608465692 291598336 12380 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=284764 CPUtime=1.03 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 4207 0 0 0 103 0 0 0 19 0 4 0 608465692 291598336 12380 33554432000 4194304 4650419 140736885067248 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=284764 CPUtime=1.04 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 3907 0 0 0 104 0 0 0 19 0 4 0 608465692 291598336 12381 33554432000 4194304 4650419 140736885067248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 284764

[startup+1.1572 s]
/proc/loadavg: 7.97 8.00 8.01 5/180 10575
/proc/meminfo: memFree=28410228/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=285208 CPUtime=4.59 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 18715 0 0 0 456 3 0 0 19 0 4 0 608465692 292052992 12397 33554432000 4194304 4650419 140736885067248 18446744073709551615 4315085 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 71302 12399 392 112 0 66267 0
[pid=10575/tid=10576] ppid=10573 vsize=285208 CPUtime=1.14 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 4846 0 0 0 114 0 0 0 19 0 4 0 608465692 292052992 12399 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=285208 CPUtime=1.13 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 4275 0 0 0 113 0 0 0 19 0 4 0 608465692 292052992 12399 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=285208 CPUtime=1.14 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 4464 0 0 0 114 0 0 0 19 0 4 0 608465692 292052992 12399 33554432000 4194304 4650419 140736885067248 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 285208

[startup+1.50113 s]
/proc/loadavg: 7.97 8.00 8.01 5/180 10575
/proc/meminfo: memFree=28410228/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=295800 CPUtime=5.97 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 21900 0 0 0 593 4 0 0 19 0 4 0 608465692 302899200 13587 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366698 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 73950 13587 392 112 0 68915 0
[pid=10575/tid=10576] ppid=10573 vsize=295800 CPUtime=1.48 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 5774 0 0 0 148 0 0 0 20 0 4 0 608465692 302899200 13587 33554432000 4194304 4650419 140736885067248 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=295800 CPUtime=1.47 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 5051 0 0 0 147 0 0 0 20 0 4 0 608465692 302899200 13587 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=295800 CPUtime=1.48 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 4919 0 0 0 148 0 0 0 19 0 4 0 608465692 302899200 13587 33554432000 4194304 4650419 140736885067248 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 295800

[startup+3.10084 s]
/proc/loadavg: 7.97 8.00 8.01 9/184 10579
/proc/meminfo: memFree=28330268/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=307836 CPUtime=12.36 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 36986 0 0 0 1229 7 0 0 24 0 4 0 608465692 315224064 23344 33554432000 4194304 4650419 140736885067248 18446744073709551615 4436452 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 76959 23344 394 112 0 71924 0
[pid=10575/tid=10576] ppid=10573 vsize=307836 CPUtime=3.07 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 8715 0 0 0 306 1 0 0 25 0 4 0 608465692 315224064 23344 33554432000 4194304 4650419 140736885067248 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=307836 CPUtime=3.08 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 7265 0 0 0 307 1 0 0 25 0 4 0 608465692 315224064 23344 33554432000 4194304 4650419 140736885067248 18446744073709551615 4370511 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=307836 CPUtime=3.09 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 8041 0 0 0 308 1 0 0 25 0 4 0 608465692 315224064 23344 33554432000 4194304 4650419 140736885067248 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 307836

[startup+6.30625 s]
/proc/loadavg: 7.97 8.00 8.01 9/184 10579
/proc/meminfo: memFree=28286240/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=307836 CPUtime=25.16 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 46531 0 0 0 2508 8 0 0 25 0 4 0 608465692 315224064 32718 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366698 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 76959 32718 394 112 0 71924 0
[pid=10575/tid=10576] ppid=10573 vsize=307836 CPUtime=6.26 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 12243 0 0 0 625 1 0 0 25 0 4 0 608465692 315224064 32718 33554432000 4194304 4650419 140736885067248 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=307836 CPUtime=6.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 10077 0 0 0 627 1 0 0 25 0 4 0 608465692 315224064 32718 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=307836 CPUtime=6.29 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 10570 0 0 0 628 1 0 0 25 0 4 0 608465692 315224064 32719 33554432000 4194304 4650419 140736885067248 18446744073709551615 4432373 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 307836

[startup+12.7011 s]
/proc/loadavg: 7.97 8.00 8.01 9/184 10579
/proc/meminfo: memFree=28264424/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=309400 CPUtime=50.71 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 72828 0 0 0 5059 12 0 0 25 0 4 0 608465692 316825600 43568 33554432000 4194304 4650419 140736885067248 18446744073709551615 4328264 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 77350 43568 394 112 0 72315 0
[pid=10575/tid=10576] ppid=10573 vsize=309400 CPUtime=12.62 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 20512 0 0 0 1259 3 0 0 25 0 4 0 608465692 316825600 43568 33554432000 4194304 4650419 140736885067248 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=309400 CPUtime=12.68 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 17448 0 0 0 1266 2 0 0 25 0 4 0 608465692 316825600 43568 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=309400 CPUtime=12.68 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 16817 0 0 0 1266 2 0 0 25 0 4 0 608465692 316825600 43568 33554432000 4194304 4650419 140736885067248 18446744073709551615 4328450 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 309400

[startup+25.5007 s]
/proc/loadavg: 7.98 8.00 8.00 5/179 10580
/proc/meminfo: memFree=28766168/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=346292 CPUtime=101.84 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 110967 0 0 0 10163 21 0 0 25 0 4 0 608465692 354603008 57240 33554432000 4194304 4650419 140736885067248 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 86573 57240 394 112 0 81538 0
[pid=10575/tid=10576] ppid=10573 vsize=346292 CPUtime=25.36 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 29383 0 0 0 2531 5 0 0 25 0 4 0 608465692 354603008 57240 33554432000 4194304 4650419 140736885067248 18446744073709551615 4440715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=346292 CPUtime=25.48 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 31671 0 0 0 2542 6 0 0 25 0 4 0 608465692 354603008 57240 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=346292 CPUtime=25.49 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 25433 0 0 0 2545 4 0 0 25 0 4 0 608465692 354603008 57240 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 346292

[startup+51.101 s]
/proc/loadavg: 7.95 8.00 8.00 11/184 10671
/proc/meminfo: memFree=28587676/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=608144 CPUtime=204.11 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 187197 0 0 0 20374 37 0 0 25 0 4 0 608465692 622739456 93780 33554432000 4194304 4650419 140736885067248 18446744073709551615 4436163 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 152036 93780 394 112 0 147001 0
[pid=10575/tid=10576] ppid=10573 vsize=608144 CPUtime=50.83 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 50743 0 0 0 5073 10 0 0 25 0 4 0 608465692 622739456 93780 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=608144 CPUtime=51.07 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 54499 0 0 0 5097 10 0 0 25 0 4 0 608465692 622739456 93780 33554432000 4194304 4650419 140736885067248 18446744073709551615 4361036 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=608144 CPUtime=51.09 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 39056 0 0 0 5102 7 0 0 25 0 4 0 608465692 622739456 93780 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 608144

[startup+102.301 s]
/proc/loadavg: 7.98 8.00 8.00 9/184 10672
/proc/meminfo: memFree=28171964/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=857932 CPUtime=408.63 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 316094 0 0 0 40799 64 0 0 25 0 4 0 608465692 878522368 132229 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 214483 132229 394 112 0 209448 0
[pid=10575/tid=10576] ppid=10573 vsize=857932 CPUtime=101.76 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 88396 0 0 0 10158 18 0 0 25 0 4 0 608465692 878522368 132229 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=857932 CPUtime=102.27 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 104842 0 0 0 10207 20 0 0 25 0 4 0 608465692 878522368 132229 33554432000 4194304 4650419 140736885067248 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=857932 CPUtime=102.29 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 45970 0 0 0 10220 9 0 0 25 0 4 0 608465692 878522368 132229 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 857932

[startup+162.3 s]

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

[pid=10575] ppid=10573 vsize=1175444 CPUtime=2565.83 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 1335984 0 0 0 256217 366 0 0 25 0 4 0 608465692 1203654656 199519 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 293861 199519 394 112 0 288826 0
[pid=10575/tid=10576] ppid=10573 vsize=1175444 CPUtime=638.92 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 292850 0 0 0 63798 94 0 0 25 0 4 0 608465692 1203654656 199519 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1175444 CPUtime=642.27 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 591665 0 0 0 64080 147 0 0 25 0 4 0 608465692 1203654656 199519 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1175444 CPUtime=642.3 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 134810 0 0 0 64184 46 0 0 25 0 4 0 608465692 1203654656 199519 33554432000 4194304 4650419 140736885067248 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.83
Current children cumulated vsize (KiB) 1175444

[startup+702.301 s]
/proc/loadavg: 4.14 5.86 7.11 5/175 10714
/proc/meminfo: memFree=28198932/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1198676 CPUtime=2805.52 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 1388437 0 0 0 280157 395 0 0 25 0 4 0 608465692 1227444224 200311 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 299669 200311 394 112 0 294634 0
[pid=10575/tid=10576] ppid=10573 vsize=1198676 CPUtime=698.6 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 313537 0 0 0 69754 106 0 0 25 0 4 0 608465692 1227444224 200311 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1198676 CPUtime=702.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 623431 0 0 0 70064 164 0 0 25 0 4 0 608465692 1227444224 200311 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1198676 CPUtime=702.3 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 134810 0 0 0 70184 46 0 0 25 0 4 0 608465692 1227444224 200311 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.52
Current children cumulated vsize (KiB) 1198676

[startup+762.301 s]
/proc/loadavg: 4.04 5.50 6.90 5/175 10716
/proc/meminfo: memFree=28129948/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1334220 CPUtime=3045.2 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 1444418 0 0 0 304101 419 0 0 25 0 4 0 608465692 1366241280 217184 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 333555 217184 394 112 0 328520 0
[pid=10575/tid=10576] ppid=10573 vsize=1334220 CPUtime=758.28 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 335064 0 0 0 75711 117 0 0 25 0 4 0 608465692 1366241280 217184 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1334220 CPUtime=762.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 652787 0 0 0 76054 174 0 0 25 0 4 0 608465692 1366241280 217184 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1334220 CPUtime=762.3 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 139908 0 0 0 76181 49 0 0 25 0 4 0 608465692 1366241280 217184 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.2
Current children cumulated vsize (KiB) 1334220

[startup+822.301 s]
/proc/loadavg: 4.02 5.24 6.73 5/175 10718
/proc/meminfo: memFree=28115652/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1160716 CPUtime=3284.9 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 1688198 0 0 0 328019 471 0 0 25 0 4 0 608465692 1188573184 214493 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 290179 214493 394 112 0 285144 0
[pid=10575/tid=10576] ppid=10573 vsize=1160716 CPUtime=817.97 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 355578 0 0 0 81669 128 0 0 25 0 4 0 608465692 1188573184 214493 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1160716 CPUtime=822.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 861657 0 0 0 82024 204 0 0 25 0 4 0 608465692 1188573184 214493 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1160716 CPUtime=822.31 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 154304 0 0 0 82171 60 0 0 25 0 4 0 608465692 1188573184 214493 33554432000 4194304 4650419 140736885067248 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.9
Current children cumulated vsize (KiB) 1160716

[startup+882.3 s]
/proc/loadavg: 4.00 5.01 6.56 5/175 10719
/proc/meminfo: memFree=28103460/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1359096 CPUtime=3524.6 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 1834385 0 0 0 351948 512 0 0 25 0 4 0 608465692 1391714304 223934 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 339774 223934 394 112 0 334739 0
[pid=10575/tid=10576] ppid=10573 vsize=1359096 CPUtime=877.67 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 459484 0 0 0 87617 150 0 0 25 0 4 0 608465692 1391714304 223934 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1359096 CPUtime=882.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 892903 0 0 0 88010 218 0 0 25 0 4 0 608465692 1391714304 223934 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1359096 CPUtime=882.31 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 165339 0 0 0 88165 66 0 0 25 0 4 0 608465692 1391714304 223934 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.6
Current children cumulated vsize (KiB) 1359096

[startup+942.3 s]
/proc/loadavg: 4.07 4.83 6.39 5/175 10721
/proc/meminfo: memFree=28096332/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1270184 CPUtime=3764.32 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 1904683 0 0 0 375890 542 0 0 25 0 4 0 608465692 1300668416 225302 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 317546 225302 394 112 0 312511 0
[pid=10575/tid=10576] ppid=10573 vsize=1270184 CPUtime=937.37 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 480225 0 0 0 93579 158 0 0 25 0 4 0 608465692 1300668416 225302 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1270184 CPUtime=942.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 921157 0 0 0 93999 229 0 0 25 0 4 0 608465692 1300668416 225302 33554432000 4194304 4650419 140736885067248 18446744073709551615 4328424 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1270184 CPUtime=942.31 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 169263 0 0 0 94164 67 0 0 25 0 4 0 608465692 1300668416 225302 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.32
Current children cumulated vsize (KiB) 1270184

[startup+1002.3 s]
/proc/loadavg: 4.10 4.70 6.25 5/175 10722
/proc/meminfo: memFree=28034272/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1450300 CPUtime=4004.02 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 1979302 0 0 0 399828 574 0 0 25 0 4 0 608465692 1485107200 241299 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366857 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 362575 241300 394 112 0 357540 0
[pid=10575/tid=10576] ppid=10573 vsize=1450300 CPUtime=997.08 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 503019 0 0 0 99540 168 0 0 25 0 4 0 608465692 1485107200 241300 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1450300 CPUtime=1002.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 951588 0 0 0 99986 242 0 0 25 0 4 0 608465692 1485107200 241300 33554432000 4194304 4650419 140736885067248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1450300 CPUtime=1002.31 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 169263 0 0 0 100164 67 0 0 25 0 4 0 608465692 1485107200 241300 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4004.02
Current children cumulated vsize (KiB) 1450300

[startup+1062.31 s]
/proc/loadavg: 4.03 4.56 6.10 5/175 10724
/proc/meminfo: memFree=27928208/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1579048 CPUtime=4243.76 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 2072356 0 0 0 423769 607 0 0 25 0 4 0 608465692 1616945152 267345 33554432000 4194304 4650419 140736885067248 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 394762 267345 394 112 0 389727 0
[pid=10575/tid=10576] ppid=10573 vsize=1579048 CPUtime=1056.8 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 538339 0 0 0 105505 175 0 0 25 0 4 0 608465692 1616945152 267345 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1579048 CPUtime=1062.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 982394 0 0 0 105974 254 0 0 25 0 4 0 608465692 1616945152 267345 33554432000 4194304 4650419 140736885067248 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1579048 CPUtime=1062.32 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 181632 0 0 0 106158 74 0 0 25 0 4 0 608465692 1616945152 267345 33554432000 4194304 4650419 140736885067248 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.76
Current children cumulated vsize (KiB) 1579048

[startup+1122.3 s]
/proc/loadavg: 4.07 4.48 5.98 5/175 10726
/proc/meminfo: memFree=27919360/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1579364 CPUtime=4483.46 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 2114067 0 0 0 447719 627 0 0 25 0 4 0 608465692 1617268736 269677 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 394841 269677 394 112 0 389806 0
[pid=10575/tid=10576] ppid=10573 vsize=1579364 CPUtime=1116.51 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 549118 0 0 0 111474 177 0 0 25 0 4 0 608465692 1617268736 269677 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1579364 CPUtime=1122.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 1004715 0 0 0 111963 265 0 0 25 0 4 0 608465692 1617268736 269677 33554432000 4194304 4650419 140736885067248 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1579364 CPUtime=1122.32 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 190243 0 0 0 112151 81 0 0 25 0 4 0 608465692 1617268736 269677 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.46
Current children cumulated vsize (KiB) 1579364

[startup+1182.3 s]
/proc/loadavg: 4.08 4.40 5.85 5/175 10727
/proc/meminfo: memFree=27910888/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1580756 CPUtime=4723.13 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 2319640 0 0 0 471649 664 0 0 25 0 4 0 608465692 1618694144 271731 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 395189 271731 394 112 0 390154 0
[pid=10575/tid=10576] ppid=10573 vsize=1580756 CPUtime=1176.18 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 682472 0 0 0 117419 199 0 0 25 0 4 0 608465692 1618694144 271731 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1580756 CPUtime=1182.28 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 1068805 0 0 0 117953 275 0 0 25 0 4 0 608465692 1618694144 271731 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1580756 CPUtime=1182.32 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 198372 0 0 0 118145 87 0 0 25 0 4 0 608465692 1618694144 271731 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4723.13
Current children cumulated vsize (KiB) 1580756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.06 4.38 5.82 5/175 10728
/proc/meminfo: memFree=27918812/32950928 swapFree=67111352/67111528
[pid=10575] ppid=10573 vsize=1475564 CPUtime=4800.25 cores=1,3,5,7
/proc/10575/stat : 10575 (strangenight1-m) R 10573 10575 9908 0 -1 4202496 2498754 0 0 0 479327 698 0 0 25 0 4 0 608465692 1510977536 269518 33554432000 4194304 4650419 140736885067248 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10575/statm: 368891 269519 394 112 0 363856 0
[pid=10575/tid=10576] ppid=10573 vsize=1475564 CPUtime=1195.38 cores=1,3,5,7
/proc/10575/task/10576/stat : 10576 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 690965 0 0 0 119335 203 0 0 25 0 4 0 608465692 1510977536 269519 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10575/tid=10577] ppid=10573 vsize=1475564 CPUtime=1201.59 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 1236690 0 0 0 119856 303 0 0 25 0 4 0 608465692 1510977536 269519 33554432000 4194304 4650419 140736885067248 18446744073709551615 4364849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10575/tid=10578] ppid=10573 vsize=1475564 CPUtime=1201.62 cores=1,3,5,7
/proc/10575/task/10578/stat : 10578 (strangenight1-m) R 10573 10575 9908 0 -1 4202560 201109 0 0 0 120074 88 0 0 25 0 4 0 608465692 1510977536 269519 33554432000 4194304 4650419 140736885067248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1475564

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.66
CPU time (s): 4800.33
CPU user time (s): 4793.3
CPU system time (s): 7.02793
CPU usage (%): 399.475
Max. virtual memory (cumulated for all children) (KiB): 1604372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.3
system time used= 7.02793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2498757
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= 2367
involuntary context switches= 31333

runsolver used 1.78473 second user time and 4.47332 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 18:52:30
IDJOB=3251155
IDBENCH=88212
IDSOLVER=1588
FILE ID=node113/3251155-1304182350
RUNJOBID= node113-1304181009-10393
PBS_JOBID= 13172438
Free space on /tmp= 72384 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251155-1304182350/watcher-3251155-1304182350 -o /tmp/evaluation-result-3251155-1304182350/solver-3251155-1304182350 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3251155-1304182350.cnf

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

MD5SUM BENCH= 1bac7b96ea6eb843b1de7405a721cd87
RANDOM SEED=1451845475

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28410508 kB
Buffers:        776488 kB
Cached:        2617684 kB
SwapCached:         12 kB
Active:         807240 kB
Inactive:      3229340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28410508 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            7788 kB
Writeback:           0 kB
AnonPages:      641728 kB
Mapped:          15508 kB
Slab:           438460 kB
PageTables:       5828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   959368 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= 72388 MiB
End job on node113 at 2011-04-30 19:12:34