Trace number 3369096

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.39 1203.47

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369096-1305434109.cnf'
0.00/0.01	c -- header says num vars:           1244
0.00/0.01	c -- header says num clauses:      150604
0.00/0.05	c -- clauses added:            0 learnts,       150604 normals,            0 xors
0.00/0.05	c -- vars added       1244
0.00/0.05	c Parsing time:  0.09 s
0.00/0.05	c  N st     0         0      1244        35    150569         0    302382         0   no data   no data  --
0.00/0.05	c asymm  cl-useful: 0/35/35 lits-rem:0 time: 0.00
0.00/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
0.00/0.16	c bin-w-bin subsume rem            0 bins  time:  0.11 s
0.00/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
0.00/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1244 time:  0.07 s
0.00/0.16	c Removed useless bin:       0  fixed:     0  props:   0.76M  time:  0.05 s
0.00/0.90	c lits-rem:       349  cl-subs:        0  v-elim:     35  v-fix:    0  time:  0.18 s
0.00/0.90	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.90	c calculated reachability. Time: 0.00
0.00/0.90	c Calc default polars -  time:   0.00 s pos:       0 undec:      35 neg:    1209
0.00/0.90	c =========================================================================================
0.00/0.90	c types(t): F = full restart, N = normal restart
0.00/0.90	c types(t): S = simplification begin/end, E = solution found
0.00/0.90	c restart types(rt): st = static, dy = dynamic
0.00/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.90	c  B st     0         0      1209      3483    145877         0    434614         0   no data   no data  --
0.00/0.90	c  N dy    13      4171      1209      3483    145877      4040    434614    295672     10.17     10.78  --
0.00/0.90	c  N dy    38      8262      1209      3483    145877      5557    434614    314496     11.10     11.93  --
4.23/1.10	c  N dy    52     13309      1209      3483    145877      6346    434610    356076     10.70     11.30  --
5.03/1.30	c  N dy    79     17554      1209      3483    145877     10442    434594    826891     12.04     12.69  --
6.36/1.64	c  N dy    96     22509      1209      3483    145877      9810    434587    575551     11.97     12.68  --
7.16/1.83	c  F st   109     25001      1209      3483    145877     12235    434587    765729     12.06     12.11  --
8.00/2.02	c  N st   113     27037      1209      3483    145877      7605    434581    438312     12.06   no data  --
8.74/2.27	c  S st   115     30001      1209      3483    145877     10450    434571    890802     12.06   no data  --
9.14/2.32	c  S st   115     30505      1209      3483    145877     10950    434571    928815     12.06   no data  --
9.14/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
9.14/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.4M T:  1.02
10.35/2.64	c bin-w-bin subsume rem            0 bins  time:  0.08 s
15.53/3.95	c subs with bin:        0  lits-rem:      1636  v-fix:    0  time:  5.21 s
15.53/3.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
15.53/3.98	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
22.31/5.61	c lits-rem:      2926  cl-subs:      378  v-elim:      0  v-fix:    0  time:  6.48 s
23.11/5.81	c asymm  cl-useful: 955/1504/3483 lits-rem:8598 time: 0.82
23.11/5.82	c calculated reachability. Time: 0.00
23.11/5.82	c  N dy   115     30505      1209      3483    145877     10572    422210    891916     12.06   no data  --
24.71/6.31	c  N dy   128     34791      1209      3483    145877     14737    422210   1265222     11.86     12.51  --
26.69/6.73	c  N dy   133     39370      1209      3483    145877     11525    422210    706907     11.58     12.25  --
28.69/7.23	c  N dy   159     44502      1209      3483    145877     16526    422208   1255286     11.81     12.46  --
29.09/7.36	c  S st   162     45758      1209      3483    145877      9062    422208    439051     11.73      8.02  --
29.09/7.39	c  S st   162     46261      1209      3483    145877      9559    422208    486022     11.73   no data  --
29.09/7.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
29.09/7.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.93/7.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.6M T:  0.75
30.28/7.62	c bin-w-bin subsume rem            0 bins  time:  0.08 s
35.07/8.86	c subs with bin:        0  lits-rem:      1538  v-fix:    0  time:  4.92 s
35.07/8.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
35.07/8.89	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.05 s
45.44/11.41	c lits-rem:       653  cl-subs:      161  v-elim:      0  v-fix:    0  time: 10.06 s
45.44/11.42	c vivif2 --  cl tried     3483 cl shrink     1624 lits rem      11783 time: 0.02
45.44/11.43	c vivif2 --  cl tried     9398 cl shrink        0 lits rem          0 time: 0.05
45.84/11.53	c asymm  cl-useful: 0/1944/3483 lits-rem:0 time: 0.42
45.84/11.54	c calculated reachability. Time: 0.00
45.84/11.54	c  N dy   162     46261      1209      3483    145877      9398    408542    479120     11.73   no data  --
47.06/11.86	c  N dy   172     50323      1209      3483    145877     13283    408542    683053     11.65     16.52  --
48.64/12.22	c  N dy   194     54422      1209      3483    145877     17268    408542   1185034     11.92     14.30  --
50.24/12.64	c  N dy   227     58484      1209      3483    145877     11568    408542    698004     12.49     13.19  --
51.88/13.08	c  N dy   247     62858      1209      3483    145877     15845    408542   1137495     12.56     13.47  --
53.82/13.56	c  N dy   257     67135      1209      3483    145877     19967    408542   1453936     12.47     13.45  --
54.62/13.78	c  S st   261     69392      1209      3483    145877     11486    408542    553797     12.38     10.71  --
55.02/13.81	c  S st   261     69894      1209      3483    145877     11987    408542    610115     12.38   no data  --
55.02/13.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.02/13.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.84/14.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.2M T:  0.83
55.84/14.07	c bin-w-bin subsume rem            0 bins  time:  0.08 s
61.00/15.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.04 s
61.00/15.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
61.00/15.36	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
72.57/18.22	c lits-rem:       431  cl-subs:      104  v-elim:      0  v-fix:    0  time: 11.41 s
72.57/18.22	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
72.57/18.24	c vivif2 --  cl tried    11883 cl shrink        0 lits rem          0 time: 0.06
73.39/18.43	c asymm  cl-useful: 0/3339/3483 lits-rem:0 time: 0.74
73.39/18.43	c calculated reachability. Time: 0.00
73.39/18.43	c  N dy   261     69894      1209      3483    145877     11883    408530    602863     12.38   no data  --
75.37/18.92	c  N dy   268     75733      1209      3483    145877     17495    408530    905554     12.18     13.06  --
77.36/19.50	c  N dy   279     81604      1209      3483    145877     23148    408530   1322940     12.03     12.97  --
79.75/20.00	c  N dy   301     87187      1209      3483    145877     17025    408530   1167307     12.10     13.03  --
79.75/20.04	c  F st   305     87502      1209      3483    145877     17335    408530   1212258     12.13   no data  --
82.16/20.68	c  N dy   312     92796      1209      3483    145877     22473    408530   1874974     12.16     34.73  --
85.34/21.40	c  N dy   350     98810      1209      3483    145877     15707    408530    918170     12.42     13.13  --
87.72/22.00	c  S st   357    104841      1209      3483    145877     21520    408530   1254821     12.24     11.37  --
87.72/22.05	c  S st   357    105343      1209      3483    145877     22016    408530   1297688     12.24   no data  --
87.72/22.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
87.72/22.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.92/22.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.2M T:  1.16
89.32/22.40	c bin-w-bin subsume rem            0 bins  time:  0.08 s
94.91/23.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.54 s
94.91/23.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
94.91/23.83	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
105.27/26.50	c lits-rem:       728  cl-subs:      839  v-elim:      0  v-fix:    0  time: 10.63 s
105.68/26.50	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
105.68/26.53	c vivif2 --  cl tried    21177 cl shrink        0 lits rem          0 time: 0.11
106.48/26.72	c asymm  cl-useful: 0/2573/3483 lits-rem:0 time: 0.75
106.48/26.72	c calculated reachability. Time: 0.00
106.48/26.72	c  N dy   357    105343      1209      3483    145877     21177    408530   1262744     12.24   no data  --
109.66/27.52	c  N dy   377    112410      1209      3483    145877     14430    408530    720511     12.16     12.85  --
112.87/28.34	c  N dy   412    120306      1209      3483    145877     22094    408530   1609345     12.33     12.99  --
117.26/29.44	c  N dy   459    128048      1209      3483    145877     15118    408530    783351     12.58     22.63  --
120.83/30.38	c  N dy   505    136442      1209      3483    145877     23282    408530   1673837     12.78     13.53  --
126.46/31.76	c  N dy   560    145663      1209      3483    145877     16728    408530    879821     12.90     13.64  --
130.42/32.73	c  N dy   579    155701      1209      3483    145877     26482    408530   1719938     12.79     13.62  --
131.19/32.99	c  S st   581    158014      1209      3483    145877     28729    408530   1876918     12.76     11.91  --
131.59/33.05	c  S st   581    158516      1209      3483    145877     29229    408530   1912712     12.76   no data  --
131.59/33.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
131.59/33.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
133.19/33.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.2M T:  1.36
133.19/33.47	c bin-w-bin subsume rem            0 bins  time:  0.08 s
138.38/34.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.21 s
138.38/34.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.05 s
138.78/34.81	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.05 s
152.77/38.36	c lits-rem:       726  cl-subs:      664  v-elim:      0  v-fix:    0  time: 14.11 s
152.77/38.36	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
153.12/38.40	c vivif2 --  cl tried    28565 cl shrink        0 lits rem          0 time: 0.16
153.52/38.50	c asymm  cl-useful: 0/910/3483 lits-rem:0 time: 0.38
153.52/38.50	c calculated reachability. Time: 0.00
153.52/38.50	c  N dy   581    158516      1209      3483    145877     28565    408530   1858051     12.76   no data  --
159.11/39.90	c  N dy   601    169920      1209      3483    145877     23032    408530   1313274     12.61     13.31  --
165.10/41.42	c  N dy   622    182347      1209      3483    145877     17599    408530    911396     12.47     13.33  --
170.32/42.71	c  N dy   682    194076      1209      3483    145877     28981    408530   2075971     12.57     14.65  --
177.46/44.59	c  N dy   752    206483      1209      3483    145877     22656    408530   1424793     12.76     14.75  --
187.45/47.07	c  N dy   828    221509      1209      3483    145877     37185    408530   2845161     12.90     13.69  --
195.01/48.91	c  N dy   859    235864      1209      3483    145877     31585    408530   1751698     12.80     13.59  --
195.81/49.15	c  S st   862    237774      1209      3483    145877     33388    408530   1859275     12.78      9.09  --
196.23/49.21	c  S st   862    238276      1209      3483    145877     33886    408530   1908597     12.78   no data  --
196.23/49.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
196.23/49.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
197.80/49.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.2M T:  1.82
198.20/49.75	c bin-w-bin subsume rem            0 bins  time:  0.08 s
205.01/51.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.78 s
205.01/51.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
205.01/51.48	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
216.95/54.41	c lits-rem:       727  cl-subs:     1600  v-elim:      0  v-fix:    0  time: 11.65 s
216.95/54.41	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
216.95/54.45	c vivif2 --  cl tried    32286 cl shrink        0 lits rem          0 time: 0.18
217.76/54.65	c asymm  cl-useful: 0/2339/3483 lits-rem:0 time: 0.77
217.76/54.65	c calculated reachability. Time: 0.00
217.76/54.65	c  N dy   862    238276      1209      3483    145877     32286    408530   1859857     12.78   no data  --
224.93/56.47	c  N dy   927    254752      1209      3483    145877     27997    408530   1737578     12.82     13.50  --
234.51/58.88	c  N dy   997    271087      1209      3483    145877     22534    408530   1051937     12.88     13.88  --
243.28/61.07	c  N dy  1062    288454      1209      3483    145877     39395    408530   2834451     12.90     18.27  --
252.46/63.34	c  F st  1139    306250      1209      3483    145877     34394    408530   2271988     12.95      8.73  --
252.86/63.45	c  N st  1141    306875      1209      3483    145877     34998    408530   2335301     12.95   no data  --
263.62/66.14	c  N dy  1185    326581      1209      3483    145877     30876    408530   1871991     12.90     13.61  --
275.21/69.10	c  N dy  1255    346775      1209      3483    145877     26205    408530   1301723     12.92     13.78  --
280.77/70.41	c  S st  1308    357415      1209      3483    145877     36523    408530   2414547     12.94      7.95  --
280.77/70.49	c  S st  1308    357917      1209      3483    145877     37024    408530   2457214     12.94   no data  --
281.17/70.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
281.17/70.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.17/71.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 22.7M T:  2.14
283.57/71.12	c bin-w-bin subsume rem            0 bins  time:  0.08 s
289.14/72.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.65 s
289.14/72.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
289.14/72.57	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
307.50/77.12	c lits-rem:      1080  cl-subs:      906  v-elim:      0  v-fix:    0  time: 18.12 s
307.50/77.12	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
307.50/77.17	c vivif2 --  cl tried    36118 cl shrink        0 lits rem          0 time: 0.20
308.30/77.38	c asymm  cl-useful: 0/1030/3483 lits-rem:0 time: 0.86
308.30/77.39	c calculated reachability. Time: 0.00
308.30/77.39	c  N dy  1308    357917      1209      3483    145877     36118    408530   2414429     12.94   no data  --
322.66/80.98	c  N dy  1399    378481      1209      3483    145877     30831    408530   1569405     12.99     13.87  --
333.41/83.68	c  N dy  1473    398535      1209      3483    145877     50219    408530   3492907     13.00     14.58  --
345.42/86.64	c  N dy  1517    419880      1209      3483    145877     44538    408530   2608380     12.92     13.78  --
356.96/89.55	c  N dy  1646    439973      1209      3483    145877     37066    408530   2327582     13.05     23.09  --
372.16/93.36	c  N dy  1725    460715      1209      3483    145877     29070    408530   1319183     13.07     14.20  --
382.88/96.09	c  N dy  1794    482330      1209      3483    145877     50000    408530   3133120     13.04     13.77  --
394.85/99.06	c  N dy  1906    502646      1209      3483    145877     40734    408530   2507500     13.16     13.98  --
410.81/103.05	c  N dy  2004    523169      1209      3483    145877     30572    408530   1386147     13.21     13.96  --
417.99/104.87	c  S st  2054    536877      1209      3483    145877     43819    408530   2705190     13.20      9.71  --
418.39/104.95	c  S st  2054    537379      1209      3483    145877     44320    408530   2753559     13.20   no data  --
418.39/104.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
418.39/104.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
421.17/105.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 23.3M T:  2.79
421.57/105.75	c bin-w-bin subsume rem            0 bins  time:  0.08 s
427.57/107.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.02 s
427.57/107.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
427.57/107.29	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
449.91/112.84	c lits-rem:      1225  cl-subs:     1617  v-elim:      0  v-fix:    0  time: 22.09 s
449.91/112.84	c vivif2 --  cl tried     3483 cl shrink        0 lits rem          0 time: 0.01
449.91/112.89	c vivif2 --  cl tried    42703 cl shrink        0 lits rem          0 time: 0.22
451.14/113.13	c asymm  cl-useful: 0/803/3483 lits-rem:0 time: 0.94
451.14/113.14	c calculated reachability. Time: 0.00
451.14/113.14	c  N dy  2054    537379      1209      3483    145877     42703    408530   2707246     13.20   no data  --
467.06/117.15	c  N dy  2119    557426      1209      3483    145877     31140    408530   1427728     13.18     18.19  --
479.82/120.37	c  N dy  2215    577892      1209      3483    145877     51084    408530   3566450     13.23     14.13  --
494.60/124.03	c  N dy  2285    598068      1209      3483    145877     38636    408530   2100052     13.24     14.13  --
509.33/127.76	c  N dy  2389    618443      1209      3483    145877     58414    408530   4235056     13.29     14.14  --
525.31/131.79	c  N dy  2499    640427      1209      3483    145877     46762    408530   2977073     13.36     14.19  --
544.83/136.64	c  N dy  2603    660475      1209      3483    145877     66204    408530   5152847     13.42     14.16  --
558.40/140.06	c  N dy  2687    680562      1209      3483    145877     51727    408530   3348648     13.43     14.20  --
576.35/144.54	c  N dy  2746    700806      1209      3483    145877     36389    408530   1741449     13.41     14.21  --
590.32/148.01	c  N dy  2828    720899      1209      3483    145877     55882    408530   3730160     13.42     15.24  --
609.86/152.90	c  N dy  2901    740979      1209      3483    145877     39391    408530   1971790     13.43     15.24  --
623.82/156.48	c  N dy  2986    761073      1209      3483    145878     58884    408530   4057805     13.46     23.34  --
644.21/161.55	c  N dy  3070    781260      1209      3483    145878     41633    408530   2171417     13.47     14.18  --
658.93/165.27	c  N dy  3143    801561      1209      3483    145878     61300    408530   4303605     13.47     14.51  --
663.71/166.48	c  S st  3174    806068      1209      3483    145878     65657    408530   4781678     13.49   no data  --
664.51/166.62	c  S st  3174    806571      1209      3483    145878     66159    408530   4834116     13.49   no data  --
664.51/166.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
664.51/166.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
669.30/167.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 38.8M T:  4.71
669.70/167.98	c bin-w-bin subsume rem            0 bins  time:  0.08 s
675.27/169.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.59 s
675.67/169.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
675.67/169.42	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
755.45/189.48	c lits-rem:      2045  cl-subs:     2229  v-elim:      0  v-fix:    0  time: 79.94 s
755.45/189.48	c vivif2 --  cl tried     3483 cl shrink        1 lits rem          1 time: 0.01
755.85/189.58	c vivif2 --  cl tried    63930 cl shrink       37 lits rem         37 time: 0.36
757.05/189.87	c asymm  cl-useful: 0/983/3483 lits-rem:0 time: 1.15
757.05/189.87	c calculated reachability. Time: 0.00
757.05/189.87	c  N dy  3174    806571      1209      3483    145878     63930    408529   4736230     13.49   no data  --
773.40/193.91	c  N dy  3226    826643      1209      3483    145880     45552    408529   2524073     13.47     14.22  --
789.36/197.94	c  N dy  3332    846658      1209      3483    145880     64940    408529   4636226     13.52     24.33  --
808.51/202.77	c  N dy  3433    867422      1209      3483    145880     46375    408529   2526908     13.55     14.27  --
823.68/206.53	c  N dy  3509    888759      1209      3483    145880     66936    408529   4539361     13.54     14.55  --
842.41/211.23	c  N dy  3567    909547      1209      3483    145880     47343    408529   2344017     13.52     14.24  --
855.57/214.55	c  N dy  3636    929564      1209      3483    145880     66658    408529   4312252     13.53     26.75  --
874.32/219.24	c  N dy  3713    949580      1209      3483    145880     45398    408529   2340060     13.53     19.43  --
888.68/222.85	c  N dy  3796    969716      1209      3483    145880     64798    408529   4110997     13.54     14.26  --
909.42/228.09	c  N dy  3888    989970      1209      3483    145880     42899    408529   2043474     13.56     14.48  --
923.78/231.61	c  N dy  3961   1010105      1209      3483    145880     62406    408529   4087524     13.55     14.46  --
945.32/237.00	c  N dy  4053   1030118      1209      3483    145880     81748    408529   6112793     13.57     19.24  --
962.07/241.29	c  N dy  4117   1051338      1209      3483    145880     59685    408529   3310279     13.56     14.40  --
980.03/245.76	c  N dy  4214   1071424      1209      3483    145880     79023    408529   5270236     13.58     22.84  --
980.83/245.92	c  F st  4219   1071877      1209      3483    145880     79457    408529   5310639     13.58   no data  --
997.18/250.03	c  N dy  4286   1091683      1209      3483    145880     55120    408529   2963692     13.58     14.33  --
1014.33/254.34	c  N dy  4333   1112288      1209      3483    145881     74803    408529   4469281     13.56     14.36  --
1030.69/258.48	c  N dy  4397   1132727      1209      3483    145881     50206    408529   2438482     13.56     14.30  --
1045.85/262.25	c  N dy  4490   1152764      1209      3483    145881     69526    408529   4304443     13.59     24.01  --
1066.99/267.53	c  N dy  4578   1172829      1209      3483    145882     88803    408529   6221026     13.61     15.57  --
1083.34/271.65	c  N dy  4674   1192879      1209      3483    145882     62987    408529   3614420     13.63     14.36  --
1098.50/275.49	c  S st  4732   1209856      1209      3483    145882     79356    408529   5240059     13.63   no data  --
1099.30/275.66	c  S st  4732   1210356      1209      3483    145882     79855    408529   5291727     13.63   no data  --
1099.30/275.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1099.30/275.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1105.68/277.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 43.1M T:  6.26
1106.47/277.41	c bin-w-bin subsume rem            0 bins  time:  0.08 s
1116.06/279.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.72 s
1116.06/279.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
1116.06/279.88	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
1792.19/449.34	c lits-rem:      1491  cl-subs:     4487  v-elim:      0  v-fix:    0  time: 675.38 s
1792.19/449.34	c vivif2 --  cl tried     3483 cl shrink        4 lits rem          4 time: 0.01
1792.59/449.46	c vivif2 --  cl tried    75368 cl shrink     1103 lits rem       1140 time: 0.46
1793.82/449.76	c asymm  cl-useful: 0/726/3483 lits-rem:0 time: 1.18
1793.82/449.77	c calculated reachability. Time: 0.00
1793.82/449.77	c  N dy  4732   1210356      1209      3483    145882     75368    408525   5176316     13.63   no data  --
1818.91/456.00	c  N dy  4809   1232173      1209      3483    145883     50221    408525   2545667     13.63     14.54  --
1835.27/460.19	c  N dy  4897   1252249      1209      3483    145883     69593    408525   4497584     13.64     27.62  --
1858.81/466.11	c  N dy  4991   1272761      1209      3483    145883     89374    408525   6529355     13.66     14.43  --
1878.75/471.02	c  N dy  5084   1293696      1209      3483    145883     62296    408525   3767279     13.68     14.46  --
1899.14/476.12	c  N dy  5173   1313722      1209      3483    145884     81594    408525   5751700     13.71     15.29  --
1924.63/482.55	c  N dy  5279   1334262      1209      3483    145884     53158    408525   2751553     13.73     14.50  --
1941.38/486.75	c  N dy  5360   1354314      1209      3483    145884     72379    408525   4553206     13.73     14.56  --
1963.31/492.28	c  N dy  5434   1375029      1209      3483    145884     92336    408525   6591686     13.74     14.80  --
1980.06/496.45	c  N dy  5515   1395107      1209      3483    145884     62667    408525   3575846     13.75     14.94  --
1998.01/500.91	c  N dy  5585   1415889      1209      3483    145884     82595    408525   5528413     13.74     14.49  --
2020.76/506.66	c  N dy  5668   1436248      1209      3483    145884     52140    408525   2456844     13.75     14.72  --
2037.11/510.75	c  N dy  5771   1456279      1209      3483    145884     71494    408525   4361222     13.77     26.14  --
2059.45/516.38	c  N dy  5866   1476310      1209      3483    145884     90738    408525   6238387     13.78     16.34  --
2082.59/522.14	c  N dy  5951   1496514      1209      3483    145884     59192    408525   3071976     13.78     14.69  --
2100.15/526.60	c  N dy  6036   1516576      1209      3483    145884     78512    408525   4916047     13.79     14.54  --
2125.66/532.92	c  N dy  6109   1536614      1209      3483    145884     97700    408525   6756157     13.79     19.49  --
2144.43/537.67	c  N dy  6164   1556753      1209      3483    145885     65070    408525   3561211     13.78     14.51  --
2165.55/542.97	c  N dy  6250   1576969      1209      3483    145885     84535    408525   5475773     13.79     14.53  --
2194.28/550.17	c  N dy  6339   1597005      1209      3483    145885    103681    408525   7309953     13.80     24.69  --
2212.63/554.75	c  N dy  6430   1617569      1209      3483    145886     70696    408525   4053411     13.81     14.57  --
2235.77/560.58	c  N dy  6517   1640089      1209      3483    145886     92317    408525   6029494     13.81     14.62  --
2260.10/566.65	c  N dy  6588   1661489      1209      3483    145887     59021    408525   2840358     13.80     14.54  --
2277.65/571.00	c  N dy  6651   1682654      1209      3483    145887     79317    408525   4725673     13.79     14.59  --
2301.59/577.09	c  N dy  6735   1705227      1209      3483    145887    100984    408525   6863776     13.79     14.62  --
2307.96/578.68	c  S st  6747   1710357      1209      3483    145887    105928    408525   7319485     13.79     10.71  --
2309.16/578.91	c  S st  6747   1710861      1209      3483    145887    106428    408525   7364667     13.79   no data  --
2309.16/578.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2309.16/578.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2317.54/581.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.7M T:  8.46
2318.34/581.29	c bin-w-bin subsume rem            0 bins  time:  0.08 s
2328.31/583.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.99 s
2328.73/583.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.05 s
2328.73/583.82	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.06 s
4034.00/1011.30	c lits-rem:      3808  cl-subs:     8900  v-elim:      0  v-fix:    0  time: 1702.94 s
4034.00/1011.30	c vivif2 --  cl tried     3483 cl shrink        4 lits rem          4 time: 0.01
4034.41/1011.46	c vivif2 --  cl tried    97528 cl shrink     1172 lits rem       1281 time: 0.62
4036.04/1011.81	c asymm  cl-useful: 0/264/3483 lits-rem:0 time: 1.40
4036.04/1011.82	c calculated reachability. Time: 0.00
4036.04/1011.82	c  N dy  6747   1710861      1209      3483    145887     97528    408521   7135462     13.79   no data  --
4063.53/1018.73	c  N dy  6826   1731988      1209      3483    145890     63336    408521   3345947     13.79     14.60  --
4082.27/1023.47	c  N dy  6906   1752218      1209      3483    145890     82713    408521   5216828     13.80     14.94  --
4108.59/1030.03	c  N dy  7013   1772315      1209      3483    145891    102117    408521   7330384     13.83     24.31  --
4131.33/1035.72	c  N dy  7113   1792376      1209      3483    145891     65827    408521   3670438     13.84     23.09  --
4152.07/1040.99	c  N dy  7211   1812396      1209      3483    145891     85123    408521   5468053     13.86     14.72  --
4176.03/1046.97	c  N dy  7279   1832831      1209      3483    145891    104663    408521   7368411     13.85     14.67  --
4199.14/1052.71	c  N dy  7373   1852844      1209      3483    145892     67318    408521   3671333     13.87     14.62  --
4220.33/1058.08	c  N dy  7481   1872897      1209      3483    145892     86697    408521   5646868     13.90     16.00  --
4248.61/1065.10	c  N dy  7563   1892934      1209      3483    145892    106047    408521   7436769     13.90     22.43  --
4275.33/1071.83	c  N dy  7622   1913437      1209      3483    145892     67908    408521   3618677     13.89     14.69  --
4297.27/1077.38	c  N dy  7730   1933529      1209      3483    145892     87271    408521   5482296     13.91     15.16  --
4325.63/1084.48	c  N dy  7828   1953530      1209      3483    145892    106403    408521   7396572     13.92     14.76  --
4356.35/1092.11	c  N dy  7922   1973599      1209      3483    145892     67054    408521   3232157     13.94     14.86  --
4375.46/1096.93	c  N dy  7990   1993678      1209      3483    145892     86287    408521   4830674     13.94     21.36  --
4401.38/1103.49	c  N dy  8104   2013750      1209      3483    145892    105611    408521   6808344     13.96     14.78  --
4430.11/1110.62	c  N dy  8212   2033805      1209      3483    145892     65366    408521   3259883     13.98     23.78  --
4451.25/1115.94	c  N dy  8268   2053865      1209      3483    145892     84690    408521   5085615     13.97     23.05  --
4482.36/1123.71	c  N dy  8376   2073897      1209      3483    145893    103988    408521   7045008     13.99     22.96  --
4520.25/1133.21	c  N dy  8470   2096628      1209      3483    145893     65193    408521   3051504     14.00     14.84  --
4541.79/1138.65	c  N dy  8566   2118672      1209      3483    145893     86400    408521   5006048     14.00     15.00  --
4568.92/1145.46	c  N dy  8651   2138677      1209      3483    145893    105598    408521   6842017     14.01     16.09  --
4607.21/1155.00	c  N dy  8754   2160419      1209      3483    145893     64942    408521   3003439     14.03     15.01  --
4627.16/1160.08	c  N dy  8857   2180953      1209      3483    145893     84689    408521   4923245     14.04     14.78  --
4655.07/1167.09	c  N dy  8941   2202281      1209      3483    145893    105153    408521   6949979     14.04     15.03  --
4667.89/1170.23	c  S st  8979   2210862      1209      3483    145893    113380    408521   7725235     14.05     14.22  --
4668.64/1170.47	c  S st  8979   2211363      1209      3483    145893    113876    408521   7787199     14.05   no data  --
4668.64/1170.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4668.64/1170.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4678.22/1172.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.6M T:  9.56
4679.41/1173.11	c bin-w-bin subsume rem            0 bins  time:  0.08 s
4686.59/1174.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.28 s
4686.59/1174.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1209 time:  0.06 s
4686.59/1174.97	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: 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-3369096-1305434109/watcher-3369096-1305434109 -o /tmp/evaluation-result-3369096-1305434109/solver-3369096-1305434109 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369096-1305434109.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.64 7.80 7.86 7/339 10254
/proc/meminfo: memFree=17479440/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 655011844 52465664 353 33554432000 4194304 4650419 140733402207456 18446744073709551615 47787647702962 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 12809 353 303 112 0 7774 0
[pid=10254/tid=10255] ppid=10252 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 655011845 52465664 353 33554432000 4194304 4650419 140733402207456 18446744073709551615 47787647702962 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 655011845 52465664 353 33554432000 4194304 4650419 140733402207456 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 655011845 52465664 353 33554432000 4194304 4650419 140733402207456 18446744073709551615 47787647702966 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.121603 s]
/proc/loadavg: 6.64 7.80 7.86 7/339 10254
/proc/meminfo: memFree=17479440/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=288952 CPUtime=0.45 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 7286 0 0 0 43 2 0 0 18 0 4 0 655011844 295886848 7195 33554432000 4194304 4650419 140733402207456 18446744073709551615 270613153975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 72238 7427 383 112 0 67203 0
[pid=10254/tid=10255] ppid=10252 vsize=308224 CPUtime=0.95 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4402 0 0 0 94 1 0 0 19 0 4 0 655011845 315621376 12796 33554432000 4194304 4650419 140733402207456 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=308224 CPUtime=0.93 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 3802 0 0 0 93 0 0 0 19 0 4 0 655011845 315621376 12816 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=308224 CPUtime=0.95 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 3733 0 0 0 95 0 0 0 19 0 4 0 655011845 315621376 12826 33554432000 4194304 4650419 140733402207456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 288952

[startup+1.06708 s]
/proc/loadavg: 6.64 7.80 7.86 7/339 10254
/proc/meminfo: memFree=17479440/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=288944 CPUtime=4.23 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 17752 0 0 0 419 4 0 0 19 0 4 0 655011844 295878656 12394 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 72236 12394 392 112 0 67201 0
[pid=10254/tid=10255] ppid=10252 vsize=288944 CPUtime=1.05 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4679 0 0 0 104 1 0 0 19 0 4 0 655011845 295878656 12394 33554432000 4194304 4650419 140733402207456 18446744073709551615 4361023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=288944 CPUtime=1.04 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4223 0 0 0 103 1 0 0 19 0 4 0 655011845 295878656 12394 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=288944 CPUtime=1.06 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 3896 0 0 0 105 1 0 0 19 0 4 0 655011845 295878656 12394 33554432000 4194304 4650419 140733402207456 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 288944

[startup+1.16709 s]
/proc/loadavg: 6.64 7.80 7.86 7/339 10254
/proc/meminfo: memFree=17479440/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=289092 CPUtime=4.63 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 18655 0 0 0 459 4 0 0 19 0 4 0 655011844 296030208 12417 33554432000 4194304 4650419 140733402207456 18446744073709551615 4364838 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 72273 12417 392 112 0 67238 0
[pid=10254/tid=10255] ppid=10252 vsize=289092 CPUtime=1.15 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4785 0 0 0 114 1 0 0 19 0 4 0 655011845 296030208 12417 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=289092 CPUtime=1.14 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4293 0 0 0 113 1 0 0 19 0 4 0 655011845 296030208 12417 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=289092 CPUtime=1.16 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4451 0 0 0 115 1 0 0 19 0 4 0 655011845 296030208 12417 33554432000 4194304 4650419 140733402207456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 289092

[startup+1.2671 s]
/proc/loadavg: 6.64 7.80 7.86 7/339 10254
/proc/meminfo: memFree=17479440/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=289092 CPUtime=5.03 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 19178 0 0 0 499 4 0 0 19 0 4 0 655011844 296030208 12940 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366616 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 72273 12941 392 112 0 67238 0
[pid=10254/tid=10255] ppid=10252 vsize=289092 CPUtime=1.25 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4899 0 0 0 124 1 0 0 19 0 4 0 655011845 296030208 12941 33554432000 4194304 4650419 140733402207456 18446744073709551615 4335028 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=289092 CPUtime=1.24 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4388 0 0 0 123 1 0 0 19 0 4 0 655011845 296030208 12941 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=289092 CPUtime=1.26 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4580 0 0 0 125 1 0 0 19 0 4 0 655011845 296030208 12942 33554432000 4194304 4650419 140733402207456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 289092

[startup+1.50104 s]
/proc/loadavg: 6.64 7.80 7.86 7/339 10254
/proc/meminfo: memFree=17479440/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=289836 CPUtime=5.96 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 21734 0 0 0 591 5 0 0 19 0 4 0 655011844 296792064 13501 33554432000 4194304 4650419 140733402207456 18446744073709551615 4364856 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 72459 13501 392 112 0 67424 0
[pid=10254/tid=10255] ppid=10252 vsize=289836 CPUtime=1.48 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 5665 0 0 0 147 1 0 0 20 0 4 0 655011845 296792064 13501 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=289836 CPUtime=1.47 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 5058 0 0 0 146 1 0 0 20 0 4 0 655011845 296792064 13501 33554432000 4194304 4650419 140733402207456 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=289836 CPUtime=1.49 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 4873 0 0 0 148 1 0 0 20 0 4 0 655011845 296792064 13501 33554432000 4194304 4650419 140733402207456 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289836

[startup+3.11272 s]
/proc/loadavg: 6.51 7.75 7.84 9/343 10289
/proc/meminfo: memFree=17355072/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=281548 CPUtime=12.38 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 36864 0 0 0 1230 8 0 0 25 0 4 0 655011844 288305152 24122 33554432000 4194304 4650419 140733402207456 18446744073709551615 4436434 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 70387 24122 394 112 0 65352 0
[pid=10254/tid=10255] ppid=10252 vsize=281548 CPUtime=3.1 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 8652 0 0 0 308 2 0 0 25 0 4 0 655011845 288305152 24122 33554432000 4194304 4650419 140733402207456 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=281548 CPUtime=3.06 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 7277 0 0 0 305 1 0 0 25 0 4 0 655011845 288305152 24122 33554432000 4194304 4650419 140733402207456 18446744073709551615 4229668 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=281548 CPUtime=3.09 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 8022 0 0 0 308 1 0 0 25 0 4 0 655011845 288305152 24122 33554432000 4194304 4650419 140733402207456 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 281548

[startup+6.30115 s]
/proc/loadavg: 6.51 7.75 7.84 9/343 10289
/proc/meminfo: memFree=17266840/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=296204 CPUtime=25.12 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 46560 0 0 0 2502 10 0 0 25 0 4 0 655011844 303312896 33647 33554432000 4194304 4650419 140733402207456 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 74051 33647 394 112 0 69016 0
[pid=10254/tid=10255] ppid=10252 vsize=296204 CPUtime=6.29 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 12205 0 0 0 627 2 0 0 25 0 4 0 655011845 303312896 33650 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=296204 CPUtime=6.23 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 10134 0 0 0 621 2 0 0 25 0 4 0 655011845 303312896 33650 33554432000 4194304 4650419 140733402207456 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=296204 CPUtime=6.3 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 10649 0 0 0 628 2 0 0 25 0 4 0 655011845 303312896 33650 33554432000 4194304 4650419 140733402207456 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 296204

[startup+12.701 s]
/proc/loadavg: 6.81 7.77 7.85 9/343 10289
/proc/meminfo: memFree=17197668/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=314476 CPUtime=50.63 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 73813 0 0 0 5049 14 0 0 25 0 4 0 655011844 322023424 40946 33554432000 4194304 4650419 140733402207456 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 78619 40946 394 112 0 73584 0
[pid=10254/tid=10255] ppid=10252 vsize=314476 CPUtime=12.68 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 20357 0 0 0 1264 4 0 0 25 0 4 0 655011845 322023424 40946 33554432000 4194304 4650419 140733402207456 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=314476 CPUtime=12.55 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 17428 0 0 0 1252 3 0 0 25 0 4 0 655011845 322023424 40946 33554432000 4194304 4650419 140733402207456 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=314476 CPUtime=12.69 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 18204 0 0 0 1266 3 0 0 25 0 4 0 655011845 322023424 40946 33554432000 4194304 4650419 140733402207456 18446744073709551615 4328471 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 314476

[startup+25.5008 s]
/proc/loadavg: 6.99 7.78 7.85 9/343 10289
/proc/meminfo: memFree=17070184/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=406468 CPUtime=101.69 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 115854 0 0 0 10147 22 0 0 25 0 4 0 655011844 416223232 59480 33554432000 4194304 4650419 140733402207456 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 101617 59480 394 112 0 96582 0
[pid=10254/tid=10255] ppid=10252 vsize=406468 CPUtime=25.48 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 28634 0 0 0 2544 4 0 0 25 0 4 0 655011845 416223232 59480 33554432000 4194304 4650419 140733402207456 18446744073709551615 4439644 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=406468 CPUtime=25.21 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 31541 0 0 0 2516 5 0 0 25 0 4 0 655011845 416223232 59480 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=406468 CPUtime=25.48 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 30758 0 0 0 2542 6 0 0 25 0 4 0 655011845 416223232 59481 33554432000 4194304 4650419 140733402207456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 406468

[startup+51.1002 s]
/proc/loadavg: 7.40 7.81 7.86 9/343 10320
/proc/meminfo: memFree=16987136/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=647508 CPUtime=203.79 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 194489 0 0 0 20340 39 0 0 25 0 4 0 655011844 663048192 88440 33554432000 4194304 4650419 140733402207456 18446744073709551615 4436145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 161877 88440 394 112 0 156842 0
[pid=10254/tid=10255] ppid=10252 vsize=647508 CPUtime=51.07 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 43210 0 0 0 5100 7 0 0 25 0 4 0 655011845 663048192 88440 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=647508 CPUtime=50.54 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 52021 0 0 0 5044 10 0 0 25 0 4 0 655011845 663048192 88440 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=647508 CPUtime=51.08 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 56531 0 0 0 5095 13 0 0 25 0 4 0 655011845 663048192 88440 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 647508

[startup+102.301 s]
/proc/loadavg: 7.85 7.87 7.87 9/343 10321
/proc/meminfo: memFree=16725568/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=785152 CPUtime=408.01 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 340022 0 0 0 40732 69 0 0 25 0 4 0 655011844 803995648 119199 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 196288 119199 394 112 0 191253 0
[pid=10254/tid=10255] ppid=10252 vsize=785152 CPUtime=102.26 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 70525 0 0 0 10215 11 0 0 25 0 4 0 655011845 803995648 119199 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=785152 CPUtime=101.17 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 102350 0 0 0 10097 20 0 0 25 0 4 0 655011845 803995648 119199 33554432000 4194304 4650419 140733402207456 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=785152 CPUtime=102.28 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 91274 0 0 0 10207 21 0 0 25 0 4 0 655011845 803995648 119199 33554432000 4194304 4650419 140733402207456 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.01
Current children cumulated vsize (KiB) 785152

[startup+162.301 s]

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

[pid=10254] ppid=10252 vsize=1188184 CPUtime=2801.41 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 1614044 0 0 0 279767 374 0 0 25 0 4 0 655011844 1216700416 216538 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 297046 216538 394 112 0 292011 0
[pid=10254/tid=10255] ppid=10252 vsize=1188184 CPUtime=702.27 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 238920 0 0 0 70158 69 0 0 25 0 4 0 655011845 1216700416 216538 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1188184 CPUtime=694.64 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 749071 0 0 0 69310 154 0 0 25 0 4 0 655011845 1216700416 216538 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1188184 CPUtime=702.29 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 323593 0 0 0 70151 78 0 0 25 0 4 0 655011845 1216700416 216538 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476454 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.41
Current children cumulated vsize (KiB) 1188184

[startup+762.3 s]
/proc/loadavg: 8.19 8.11 7.98 9/343 10339
/proc/meminfo: memFree=15895772/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1231288 CPUtime=3040.73 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 1685707 0 0 0 303673 400 0 0 25 0 4 0 655011844 1260838912 220998 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 307822 220998 394 112 0 302787 0
[pid=10254/tid=10255] ppid=10252 vsize=1231288 CPUtime=762.27 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 254417 0 0 0 76151 76 0 0 25 0 4 0 655011845 1260838912 220998 33554432000 4194304 4650419 140733402207456 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1231288 CPUtime=753.98 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 781819 0 0 0 75232 166 0 0 25 0 4 0 655011845 1260838912 220998 33554432000 4194304 4650419 140733402207456 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1231288 CPUtime=762.29 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 337816 0 0 0 76144 85 0 0 25 0 4 0 655011845 1260838912 220998 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.73
Current children cumulated vsize (KiB) 1231288

[startup+822.301 s]
/proc/loadavg: 8.12 8.10 7.99 9/343 10340
/proc/meminfo: memFree=15898348/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1226412 CPUtime=3280.08 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 1925892 0 0 0 327565 443 0 0 25 0 4 0 655011844 1255845888 215607 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 306603 215607 394 112 0 301568 0
[pid=10254/tid=10255] ppid=10252 vsize=1226412 CPUtime=822.27 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 267352 0 0 0 82146 81 0 0 25 0 4 0 655011845 1255845888 215607 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1226412 CPUtime=813.34 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 986547 0 0 0 81138 196 0 0 25 0 4 0 655011845 1255845888 215607 33554432000 4194304 4650419 140733402207456 18446744073709551615 4542174 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1226412 CPUtime=822.29 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 347745 0 0 0 82137 92 0 0 25 0 4 0 655011845 1255845888 215607 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.08
Current children cumulated vsize (KiB) 1226412

[startup+882.3 s]
/proc/loadavg: 8.09 8.09 7.99 9/343 10342
/proc/meminfo: memFree=15796904/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1359000 CPUtime=3519.41 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2001981 0 0 0 351471 470 0 0 25 0 4 0 655011844 1391616000 224228 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 339750 224228 394 112 0 334715 0
[pid=10254/tid=10255] ppid=10252 vsize=1359000 CPUtime=882.27 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 281328 0 0 0 88141 86 0 0 25 0 4 0 655011845 1391616000 224228 33554432000 4194304 4650419 140733402207456 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1359000 CPUtime=872.68 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1021951 0 0 0 87058 210 0 0 25 0 4 0 655011845 1391616000 224228 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1359000 CPUtime=882.29 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 361418 0 0 0 88131 98 0 0 25 0 4 0 655011845 1391616000 224228 33554432000 4194304 4650419 140733402207456 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.41
Current children cumulated vsize (KiB) 1359000

[startup+942.301 s]
/proc/loadavg: 8.08 8.09 8.00 9/343 10344
/proc/meminfo: memFree=15775312/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1333976 CPUtime=3758.76 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2068000 0 0 0 375384 492 0 0 25 0 4 0 655011844 1365991424 228532 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 333494 228532 394 112 0 328459 0
[pid=10254/tid=10255] ppid=10252 vsize=1333976 CPUtime=942.27 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 301197 0 0 0 94133 94 0 0 25 0 4 0 655011845 1365991424 228532 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1333976 CPUtime=932.03 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1050085 0 0 0 92983 220 0 0 25 0 4 0 655011845 1365991424 228533 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1333976 CPUtime=942.29 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 372199 0 0 0 94129 100 0 0 25 0 4 0 655011845 1365991424 228533 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.76
Current children cumulated vsize (KiB) 1333976

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.00 9/343 10345
/proc/meminfo: memFree=15714160/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1227608 CPUtime=3998.1 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2142782 0 0 0 399295 515 0 0 25 0 4 0 655011844 1257070592 218590 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 306902 218590 394 112 0 301867 0
[pid=10254/tid=10255] ppid=10252 vsize=1227608 CPUtime=1002.27 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 315690 0 0 0 100127 100 0 0 25 0 4 0 655011845 1257070592 218590 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1227608 CPUtime=991.38 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1084083 0 0 0 98905 233 0 0 25 0 4 0 655011845 1257070592 218590 33554432000 4194304 4650419 140733402207456 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1227608 CPUtime=1002.3 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 385480 0 0 0 100128 102 0 0 25 0 4 0 655011845 1257070592 218590 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.1
Current children cumulated vsize (KiB) 1227608

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 8.01 9/343 10347
/proc/meminfo: memFree=15531856/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1423368 CPUtime=4237.46 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2402552 0 0 0 423185 561 0 0 25 0 4 0 655011844 1457528832 260345 33554432000 4194304 4650419 140733402207456 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 355842 260345 395 112 0 350807 0
[pid=10254/tid=10255] ppid=10252 vsize=1423368 CPUtime=1062.29 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 343221 0 0 0 106122 107 0 0 25 0 4 0 655011845 1457528832 260349 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1423368 CPUtime=1050.73 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1115514 0 0 0 104832 241 0 0 25 0 4 0 655011845 1457528832 260349 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1423368 CPUtime=1062.31 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 538685 0 0 0 106108 123 0 0 25 0 4 0 655011845 1457528832 260349 33554432000 4194304 4650419 140733402207456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.46
Current children cumulated vsize (KiB) 1423368

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 8.01 9/343 10348
/proc/meminfo: memFree=15502552/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1510968 CPUtime=4476.77 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2457620 0 0 0 447099 578 0 0 25 0 4 0 655011844 1547231232 267592 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 377742 267592 394 112 0 372707 0
[pid=10254/tid=10255] ppid=10252 vsize=1510968 CPUtime=1122.28 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 343244 0 0 0 112121 107 0 0 25 0 4 0 655011845 1547231232 267592 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1510968 CPUtime=1110.07 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1139704 0 0 0 110761 246 0 0 25 0 4 0 655011845 1547231232 267592 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1510968 CPUtime=1122.3 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 554759 0 0 0 112101 129 0 0 25 0 4 0 655011845 1547231232 267592 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.77
Current children cumulated vsize (KiB) 1510968

[startup+1182.31 s]
/proc/loadavg: 8.19 8.13 8.02 9/343 10350
/proc/meminfo: memFree=15479960/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1533064 CPUtime=4716.15 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2704253 0 0 0 470988 627 0 0 25 0 4 0 655011844 1569857536 268385 33554432000 4194304 4650419 140733402207456 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 383266 268385 394 112 0 378231 0
[pid=10254/tid=10255] ppid=10252 vsize=1533064 CPUtime=1182.29 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 344198 0 0 0 118122 107 0 0 25 0 4 0 655011845 1569857536 268385 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1533064 CPUtime=1169.42 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1356842 0 0 0 116662 280 0 0 25 0 4 0 655011845 1569857536 268385 33554432000 4194304 4650419 140733402207456 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1533064 CPUtime=1182.31 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 569864 0 0 0 118094 137 0 0 25 0 4 0 655011845 1569857536 268385 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.15
Current children cumulated vsize (KiB) 1533064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.20 8.14 8.03 9/343 10351
/proc/meminfo: memFree=15477712/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1402140 CPUtime=4800.29 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2725712 0 0 0 479395 634 0 0 25 0 4 0 655011844 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 350535 269350 394 112 0 345500 0
[pid=10254/tid=10255] ppid=10252 vsize=1402140 CPUtime=1203.4 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 346717 0 0 0 120232 108 0 0 25 0 4 0 655011845 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1402140 CPUtime=1190.28 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1368223 0 0 0 118744 284 0 0 25 0 4 0 655011845 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1402140 CPUtime=1203.41 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 577423 0 0 0 120201 140 0 0 25 0 4 0 655011845 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1402140

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

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

[startup+1203.4 s]
/proc/loadavg: 8.20 8.14 8.03 9/343 10351
/proc/meminfo: memFree=15477712/32951124 swapFree=67056804/67111528
[pid=10254] ppid=10252 vsize=1402140 CPUtime=4800.29 cores=0,2,4,6
/proc/10254/stat : 10254 (strangenight1-m) R 10252 10254 10213 0 -1 4202496 2725712 0 0 0 479395 634 0 0 25 0 4 0 655011844 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10254/statm: 350535 269350 394 112 0 345500 0
[pid=10254/tid=10255] ppid=10252 vsize=1402140 CPUtime=1203.4 cores=0,2,4,6
/proc/10254/task/10255/stat : 10255 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 346717 0 0 0 120232 108 0 0 25 0 4 0 655011845 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10254/tid=10256] ppid=10252 vsize=1402140 CPUtime=1190.28 cores=0,2,4,6
/proc/10254/task/10256/stat : 10256 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 1368223 0 0 0 118744 284 0 0 25 0 4 0 655011845 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10254/tid=10257] ppid=10252 vsize=1402140 CPUtime=1203.41 cores=0,2,4,6
/proc/10254/task/10257/stat : 10257 (strangenight1-m) R 10252 10254 10213 0 -1 4202560 577423 0 0 0 120201 140 0 0 25 0 4 0 655011845 1435791360 269350 33554432000 4194304 4650419 140733402207456 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1402140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.47
CPU time (s): 4800.39
CPU user time (s): 4794
CPU system time (s): 6.39403
CPU usage (%): 398.88
Max. virtual memory (cumulated for all children) (KiB): 1576504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794
system time used= 6.39403
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2725714
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= 2549
involuntary context switches= 25561

runsolver used 3.74543 second user time and 9.39657 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-15 06:35:09
IDJOB=3369096
IDBENCH=88212
IDSOLVER=1846
FILE ID=node108/3369096-1305434109
RUNJOBID= node108-1305434109-10231
PBS_JOBID= 13324636
Free space on /tmp= 73568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369096-1305434109/watcher-3369096-1305434109 -o /tmp/evaluation-result-3369096-1305434109/solver-3369096-1305434109 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369096-1305434109.cnf

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

MD5SUM BENCH= 1bac7b96ea6eb843b1de7405a721cd87
RANDOM SEED=1981149881

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17479728 kB
Buffers:        291484 kB
Cached:        4755468 kB
SwapCached:       8700 kB
Active:       11085124 kB
Inactive:      4073916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17479728 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           14524 kB
Writeback:          16 kB
AnonPages:    10108980 kB
Mapped:          26712 kB
Slab:           208624 kB
PageTables:      38940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52340704 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= 73560 MiB
End job on node108 at 2011-05-15 06:55:14