Trace number 3175239

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.18 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf
MD5SUMe68176dd0214c3858ad791ec08d1acee
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

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-3175239-1304103127.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.39/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.39/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.39/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.39/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.39/0.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.39/0.25	c Finding binary XORs  T:     0.00 s  found:       0
0.39/0.25	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.39/0.25	c calculated reachability. Time: 0.00
0.39/0.25	c Calc default polars -  time:   0.00 s pos:      41 undec:       2 neg:      37
0.39/0.25	c =========================================================================================
0.39/0.25	c types(t): F = full restart, N = normal restart
0.39/0.25	c types(t): S = simplification begin/end, E = solution found
0.39/0.25	c restart types(rt): st = static, dy = dynamic
0.39/0.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.39/0.25	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.17/0.34	c  N dy     7      4479        80      7120         0      4121     49840    112210     22.44     23.77  --
2.37/0.62	c  N dy    25     11881        80      7120         0      4692     49840    103274     22.49     23.79  --
3.17/0.85	c  N dy    26     17128        80      7120         0      9467     49840    227924     22.11     23.28  --
3.97/1.04	c  N dy    61     21201        80      7120         0      8080     49840    183011     22.62     23.98  --
4.79/1.22	c  F st    67     25001        80      7120         0     11548     49840    274796     22.57   no data  --
4.79/1.24	c  N st    68     25252        80      7120         0     11776     49840    281062     22.57   no data  --
5.57/1.45	c  N dy    73     30001        80      7120         0      9873     49840    216129     22.57   no data  --
5.57/1.45	c  S st    73     30001        80      7120         0      9873     49840    216129     22.57   no data  --
5.57/1.49	c  S st    73     30502        80      7120         0     10344     49840    228747     22.57   no data  --
5.57/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.57	c lits-rem:      1480  cl-subs:      782  v-elim:      0  v-fix:    0  time:  4.25 s
11.56/2.90	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.34
11.56/2.90	c calculated reachability. Time: 0.00
11.56/2.90	c  N dy    73     30502        80      7120         0      9562     49840    203746     22.57   no data  --
12.36/3.13	c  N dy    88     34612        80      7120         0     13331     49840    304484     22.64     23.85  --
13.18/3.37	c  N dy   111     38658        80      7120         0      9851     49840    197749     22.79     24.02  --
14.35/3.60	c  N dy   128     42892        80      7120         0     13739     49840    301575     22.86     24.13  --
15.15/3.80	c  S st   144     45753        80      7120         0     16379     49840    373663     22.95     23.12  --
15.15/3.85	c  S st   144     46257        80      7120         0      8656     49840    150904     22.95   no data  --
15.15/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.15/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.15/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.34/4.68	c lits-rem:       162  cl-subs:       52  v-elim:      0  v-fix:    0  time:  3.28 s
18.34/4.68	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.34/4.68	c vivif2 --  cl tried     8604 cl shrink        0 lits rem          0 time: 0.00
19.54/4.96	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.12
19.54/4.96	c calculated reachability. Time: 0.00
19.54/4.96	c  N dy   144     46257        80      7120         0      8604     49840    149020     22.95   no data  --
20.75/5.20	c  N dy   149     51268        80      7120         0     13206     49840    272375     22.89     24.17  --
21.55/5.49	c  N dy   165     55664        80      7120         0     17243     49840    381331     22.94     24.23  --
23.54/5.95	c  N dy   190     63396        80      7120         0     15221     49840    310984     22.96     24.17  --
25.14/6.35	c  N dy   201     69386        80      7120         0     10603     49840    172231     22.89     20.32  --
25.14/6.35	c  S st   201     69386        80      7120         0     10603     49840    172231     22.89     20.32  --
25.14/6.39	c  S st   201     69897        80      7120         0     11081     49840    185139     22.89   no data  --
25.14/6.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.14/6.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.14/6.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.54/6.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.54/6.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.13/7.31	c lits-rem:       307  cl-subs:      170  v-elim:      0  v-fix:    0  time:  3.63 s
29.13/7.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.13/7.32	c vivif2 --  cl tried    10911 cl shrink        0 lits rem          0 time: 0.01
30.33/7.66	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.36
30.33/7.66	c calculated reachability. Time: 0.00
30.33/7.66	c  N dy   201     69897        80      7120         0     10911     49840    180166     22.89   no data  --
31.53/7.93	c  N dy   214     74386        80      7120         0     14979     49840    288318     22.90     24.47  --
33.13/8.36	c  N dy   237     80154        80      7120         0     20291     49840    432979     22.96     24.19  --
34.73/8.74	c  N dy   255     85409        80      7120         0     14148     49840    254940     23.00     24.24  --
35.15/8.89	c  F st   267     87500        80      7120         0     16052     49840    306285     23.02     22.30  --
36.72/9.26	c  N dy   273     92697        80      7120         0     20820     49840    436913     23.02   no data  --
40.31/10.16	c  N dy   293    104845        80      7120         0     20001     49840    391719     22.94     22.25  --
40.31/10.16	c  S st   293    104845        80      7120         0     20001     49840    391719     22.94     22.25  --
40.71/10.22	c  S st   293    105345        80      7120         0     20483     49840    404869     22.94   no data  --
40.71/10.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.71/10.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.71/10.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
40.71/10.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.71/10.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.71/10.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.71/10.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.10/11.86	c lits-rem:      1893  cl-subs:     1942  v-elim:      0  v-fix:    0  time:  6.49 s
47.10/11.87	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.10/11.87	c vivif2 --  cl tried    18541 cl shrink        0 lits rem          0 time: 0.02
48.73/12.26	c asymm  cl-useful: 0/5036/7120 lits-rem:0 time: 1.56
48.73/12.26	c calculated reachability. Time: 0.00
48.73/12.26	c  N dy   293    105345        80      7120         0     18541     49840    351613     22.94   no data  --
51.11/12.83	c  N dy   326    112624        80      7120         0     25235     49840    532405     22.98     24.34  --
62.68/15.72	c  N dy   329    150593        80      7120         0     18732     49840    319536     22.44     23.70  --
65.08/16.38	c  S st   373    158019        80      7120         0     25566     49840    502948     22.49   no data  --
65.48/16.45	c  S st   373    158522        80      7120         0     26037     49840    516207     22.49   no data  --
65.48/16.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.48/16.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.48/16.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
65.48/16.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.48/16.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.48/16.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.48/16.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.86/18.51	c lits-rem:      1839  cl-subs:     2232  v-elim:      0  v-fix:    0  time:  8.14 s
73.86/18.51	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
73.86/18.52	c vivif2 --  cl tried    23805 cl shrink        0 lits rem          0 time: 0.02
74.68/18.75	c asymm  cl-useful: 0/1785/7120 lits-rem:0 time: 0.94
74.68/18.76	c calculated reachability. Time: 0.00
74.68/18.76	c  N dy   373    158522        80      7120         0     23805     49840    453251     22.49   no data  --
78.66/19.74	c  N dy   392    168980        80      7120         0     17969     49840    285187     22.46     23.67  --
87.45/21.93	c  N dy   412    197128        80      7120         0     27200     49840    516914     22.27     23.52  --
93.04/23.33	c  N dy   503    209800        80      7120         0     21576     49840    354905     22.38     25.63  --
99.84/25.07	c  N dy   552    227025        80      7120         0     19020     49840    267208     22.36     23.60  --
104.23/26.13	c  S st   644    237783        80      7120         0     28972     49840    539057     22.46     22.18  --
104.63/26.21	c  S st   644    238287        80      7120         0     29439     49840    551912     22.46   no data  --
104.63/26.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
104.63/26.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.63/26.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
104.63/26.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
104.63/26.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
104.63/26.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
104.63/26.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.20/29.19	c lits-rem:      2173  cl-subs:     1812  v-elim:      0  v-fix:    0  time: 11.79 s
116.20/29.19	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
116.20/29.19	c vivif2 --  cl tried    27627 cl shrink        0 lits rem          0 time: 0.02
117.00/29.39	c asymm  cl-useful: 0/1949/7120 lits-rem:0 time: 0.77
117.00/29.39	c calculated reachability. Time: 0.00
117.00/29.39	c  N dy   644    238287        80      7120         0     27627     49840    495957     22.46   no data  --
123.80/31.05	c  N dy   730    253561        80      7120         0     22473     49840    344666     22.54     25.45  --
130.99/32.87	c  N dy   848    269765        80      7120         0     37441     49840    752649     22.65     25.04  --
137.77/34.58	c  N dy   891    287260        80      7120         0     33276     49840    613657     22.64     24.30  --
146.16/36.66	c  F st   978    306251        80      7120         0     29615     49840    504407     22.68     21.87  --
146.16/36.66	c  N st   978    306251        80      7120         0     29615     49840    504407     22.68     21.87  --
156.16/39.17	c  N dy  1051    328588        80      7120         0     28096     49840    451094     22.71     24.15  --
166.96/41.86	c  N dy  1129    350781        80      7120         0     25494     49840    362280     22.73     23.96  --
169.73/42.51	c  S st  1155    357430        80      7120         0     31602     49840    524819     22.73     20.66  --
170.13/42.60	c  S st  1155    357935        80      7120         0     32075     49840    537722     22.73   no data  --
170.13/42.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.13/42.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.13/42.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.13/42.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.13/42.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.13/42.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.13/42.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
179.72/45.04	c lits-rem:      1585  cl-subs:     1930  v-elim:      0  v-fix:    0  time:  9.63 s
179.72/45.04	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
179.72/45.05	c vivif2 --  cl tried    30145 cl shrink        0 lits rem          0 time: 0.02
180.54/45.24	c asymm  cl-useful: 0/1564/7120 lits-rem:0 time: 0.78
180.54/45.24	c calculated reachability. Time: 0.00
180.54/45.24	c  N dy  1155    357935        80      7120         0     30145     49840    483905     22.73   no data  --
194.10/48.68	c  N dy  1246    378918        80      7120         0     25601     49840    347816     22.77     24.22  --
206.08/51.70	c  N dy  1343    399012        80      7120         0     44075     49840    846219     22.82     24.08  --
218.47/54.70	c  N dy  1406    423474        80      7120         0     41717     49840    756955     22.79     24.02  --
241.24/60.41	c  N dy  1440    471548        80      7120         0     33273     49840    503329     22.56     23.83  --
264.40/66.23	c  N dy  1555    516768        80      7120         0     47178     49840    856013     22.53     23.78  --
276.81/69.39	c  N dy  1663    536903        80      7120         0     37383     49840    591800     22.57     20.03  --
276.81/69.39	c  S st  1663    536903        80      7120         0     37383     49840    591800     22.57     20.03  --
277.21/69.49	c  S st  1663    537408        80      7120         0     37854     49840    604641     22.57   no data  --
277.21/69.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.21/69.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.58/69.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
277.58/69.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.58/69.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.58/69.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
277.58/69.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
291.56/73.01	c lits-rem:      1813  cl-subs:     1976  v-elim:      0  v-fix:    0  time: 13.93 s
291.56/73.02	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
291.56/73.02	c vivif2 --  cl tried    35878 cl shrink        0 lits rem          0 time: 0.02
292.36/73.24	c asymm  cl-useful: 0/1314/7120 lits-rem:0 time: 0.88
292.36/73.24	c calculated reachability. Time: 0.00
292.36/73.24	c  N dy  1663    537408        80      7120         0     35878     49840    548917     22.57   no data  --
305.54/76.51	c  N dy  1769    558606        80      7120         0     55361     49840   1073624     22.61     23.82  --
317.93/79.63	c  N dy  1898    578670        80      7120         0     44595     49840    772561     22.65     24.24  --
332.31/83.28	c  N dy  1965    601131        80      7120         0     34929     49840    487424     22.65     23.85  --
345.09/86.47	c  N dy  2081    621231        80      7120         0     53341     49840    985259     22.69     25.36  --
359.08/89.95	c  N dy  2148    642596        80      7120         0     41813     49840    660531     22.70     23.99  --
375.86/94.11	c  N dy  2263    663933        80      7120         0     61388     49840   1183691     22.72     24.18  --
414.20/103.73	c  N dy  2377    728071        80      7120         0     54648     49840    955111     22.61     23.85  --
431.00/107.95	c  N dy  2484    750488        80      7120         0     41548     49840    602362     22.62     23.84  --
456.54/114.31	c  N dy  2600    788957        80      7120         0     42017     49840    597527     22.62     23.92  --
467.72/117.12	c  S st  2658    806112        80      7120         0     57654     49840   1015093     22.62     23.92  --
468.13/117.28	c  S st  2658    806619        80      7120         0     58131     49840   1027821     22.62   no data  --
468.13/117.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
468.13/117.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
468.53/117.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
468.53/117.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
468.53/117.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
468.53/117.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
468.53/117.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
505.69/126.61	c lits-rem:      2743  cl-subs:     5237  v-elim:      0  v-fix:    0  time: 36.96 s
505.69/126.61	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
505.69/126.62	c vivif2 --  cl tried    52894 cl shrink        0 lits rem          0 time: 0.04
506.88/126.96	c asymm  cl-useful: 0/916/7120 lits-rem:0 time: 1.37
506.88/126.96	c calculated reachability. Time: 0.00
506.88/126.96	c  N dy  2658    806619        80      7120         0     52894     49840    888713     22.62   no data  --
524.45/131.39	c  N dy  2736    826695        80      7120         0     35899     49840    428729     22.63     23.92  --
538.03/134.77	c  N dy  2876    846874        80      7120         0     54483     49840    934799     22.67     23.94  --
555.61/139.14	c  N dy  2962    866949        80      7120         0     72904     49840   1429523     22.68     25.31  --
570.78/142.98	c  N dy  3077    889020        80      7120         0     56601     49840    970965     22.70     23.91  --
588.36/147.30	c  N dy  3145    909039        80      7120         0     74890     49840   1456835     22.70     24.95  --
601.55/150.69	c  N dy  3252    929300        80      7120         0     55978     49840    935433     22.72     23.99  --
620.31/155.36	c  N dy  3381    949345        80      7120         0     74394     49840   1437905     22.75     25.83  --
635.09/159.01	c  N dy  3469    969827        80      7120         0     54733     49840    880244     22.76     24.04  --
651.87/163.24	c  N dy  3543    989851        80      7120         0     73120     49840   1374634     22.77     24.00  --
667.46/167.14	c  N dy  3630   1009980        80      7120         0     52122     49840    795351     22.78     24.03  --
684.63/171.40	c  N dy  3694   1031308        80      7120         0     71649     49840   1314867     22.77     23.97  --
703.80/176.21	c  N dy  3765   1056108        80      7120         0     53900     49840    819027     22.77     24.08  --
715.78/179.29	c  F st  3806   1071877        80      7120         0     68226     49840   1199581     22.77     23.07  --
720.19/180.40	c  N dy  3812   1077071        80      7120         0     72959     49840   1328507     22.77   no data  --
740.55/185.44	c  N dy  3894   1100248        80      7120         0     53069     49840    786701     22.77     24.01  --
758.12/189.87	c  N dy  4001   1120339        80      7120         0     71397     49840   1282145     22.79     24.98  --
780.50/195.41	c  N dy  4068   1140457        80      7120         0     47777     49840    628407     22.79     24.03  --
802.07/200.84	c  N dy  4205   1162631        80      7120         0     68195     49840   1187727     22.82     24.11  --
830.03/207.85	c  N dy  4346   1183347        80      7120         0     44198     49840    515506     22.85     24.06  --
855.19/214.15	c  N dy  4459   1209928        80      7120         0     68542     49840   1173683     22.86     22.42  --
855.19/214.15	c  S st  4459   1209928        80      7120         0     68542     49840   1173683     22.86     22.42  --
856.39/214.40	c  S st  4459   1210432        80      7120         0     69011     49840   1186507     22.86   no data  --
856.39/214.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
856.39/214.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
856.39/214.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
856.39/214.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
856.39/214.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
856.39/214.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
856.39/214.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
927.90/232.37	c lits-rem:      2710  cl-subs:     5321  v-elim:      0  v-fix:    0  time: 71.43 s
927.90/232.37	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
927.90/232.38	c vivif2 --  cl tried    63690 cl shrink        0 lits rem          0 time: 0.06
929.50/232.72	c asymm  cl-useful: 0/779/7120 lits-rem:0 time: 1.37
929.50/232.73	c calculated reachability. Time: 0.00
929.50/232.73	c  N dy  4459   1210432        80      7120         0     63690     49840   1036135     22.86   no data  --
950.67/238.04	c  N dy  4558   1230502        80      7120         0     82059     49840   1535026     22.87     24.73  --
968.23/242.43	c  N dy  4640   1251023        80      7120         0     57125     49840    854972     22.88     24.14  --
993.42/248.78	c  N dy  4759   1273071        80      7120         0     77365     49840   1406615     22.90     24.30  --
1017.37/254.70	c  N dy  4845   1293135        80      7120         0     50945     49840    671100     22.90     25.32  --
1037.37/259.75	c  N dy  4950   1313200        80      7120         0     69405     49840   1174567     22.92     24.29  --
1062.51/266.05	c  N dy  5045   1333283        80      7120         0     87734     49840   1668636     22.93     24.20  --
1098.06/274.91	c  N dy  5151   1373502        80      7120         0     78589     49840   1387818     22.92     24.15  --
1120.03/280.42	c  N dy  5231   1393558        80      7120         0     50364     49840    621395     22.92     26.52  --
1135.22/284.28	c  N dy  5276   1415750        80      7120         0     70637     49840   1166938     22.92     24.15  --
1156.00/289.40	c  N dy  5340   1435832        80      7120         0     89019     49840   1662567     22.92     25.00  --
1173.58/293.89	c  N dy  5403   1455840        80      7120         0     59863     49840    861680     22.92     26.06  --
1193.13/298.79	c  N dy  5497   1476037        80      7120         0     78418     49840   1365686     22.93     24.22  --
1213.50/303.81	c  N dy  5526   1496055        80      7120         0     96693     49840   1851870     22.92     24.23  --
1231.08/308.28	c  N dy  5608   1518220        80      7120         0     68456     49840   1077907     22.93     24.17  --
1255.05/314.27	c  N dy  5627   1542959        80      7120         0     90752     49840   1659988     22.91     24.24  --
1276.21/319.52	c  N dy  5721   1563216        80      7120         0     60024     49840    835900     22.92     24.13  --
1294.19/324.06	c  N dy  5797   1583245        80      7120         0     78266     49840   1329202     22.93     24.43  --
1323.75/331.43	c  N dy  5859   1612451        80      7120         0     54666     49840    671225     22.92     24.20  --
1340.93/335.75	c  N dy  5947   1632461        80      7120         0     73018     49840   1169864     22.92     24.16  --
1366.10/342.05	c  N dy  6068   1652477        80      7120         0     91356     49840   1672243     22.94     25.74  --
1401.66/350.95	c  N dy  6146   1682577        80      7120         0     67572     49840   1001573     22.94     24.26  --
1429.20/357.83	c  N dy  6228   1704233        80      7120         0     87386     49840   1533678     22.94     24.22  --
1439.59/360.42	c  S st  6268   1710432        80      7120         0     93095     49840   1690091     22.95   no data  --
1440.79/360.76	c  S st  6268   1710937        80      7120         0     93555     49840   1702554     22.95   no data  --
1440.79/360.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1440.79/360.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1441.21/360.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1441.21/360.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1441.21/360.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.21/360.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1441.21/360.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1601.37/400.95	c lits-rem:      6492  cl-subs:     9214  v-elim:      0  v-fix:    0  time: 160.01 s
1601.37/400.95	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1601.37/400.97	c vivif2 --  cl tried    84341 cl shrink        0 lits rem          0 time: 0.08
1602.97/401.38	c asymm  cl-useful: 0/591/7120 lits-rem:0 time: 1.64
1602.97/401.38	c calculated reachability. Time: 0.00
1602.97/401.38	c  N dy  6268   1710937        80      7120         0     84341     49840   1445780     22.95   no data  --
1634.13/409.12	c  N dy  6330   1732976        80      7120         0     52824     49840    596722     22.94     24.21  --
1654.09/414.12	c  N dy  6382   1753497        80      7120         0     71440     49840   1098268     22.94     24.24  --
1683.66/421.51	c  N dy  6437   1774803        80      7120         0     90902     49840   1620491     22.94     24.15  --
1716.81/429.84	c  N dy  6517   1795378        80      7120         0     57053     49840    694228     22.94     24.17  --
1741.97/436.13	c  N dy  6626   1815392        80      7120         0     75427     49840   1196893     22.96     25.67  --
1770.75/443.39	c  N dy  6711   1835544        80      7120         0     93885     49840   1701086     22.96     24.25  --
1801.51/451.09	c  N dy  6794   1855629        80      7120         0     58447     49840    712113     22.97     25.97  --
1825.05/456.98	c  N dy  6881   1878933        80      7120         0     79717     49840   1288998     22.97     24.24  --
1856.62/464.86	c  N dy  6965   1900921        80      7120         0     99741     49840   1830755     22.98     24.21  --
1882.18/471.29	c  N dy  7026   1920943        80      7120         0     63227     49840    828769     22.98     25.66  --
1908.14/477.76	c  N dy  7131   1943173        80      7120         0     83584     49840   1381443     22.99     24.23  --
1932.91/483.91	c  N dy  7206   1963211        80      7120         0    101877     49840   1873808     22.99     24.24  --
1972.45/493.86	c  N dy  7328   2001490        80      7120         0     80890     49840   1277685     22.99     24.28  --
1998.43/500.39	c  N dy  7432   2021525        80      7120         0     99228     49840   1777738     23.00     24.21  --
2027.18/507.56	c  N dy  7457   2050581        80      7120         0     69195     49840    947890     22.97     24.19  --
2050.35/513.38	c  N dy  7539   2072086        80      7120         0     88868     49840   1479105     22.97     24.29  --
2077.92/520.30	c  N dy  7612   2092641        80      7120         0    107624     49840   1985955     22.98     24.34  --
2102.68/526.44	c  N dy  7680   2112787        80      7120         0     68535     49840    914519     22.97     24.45  --
2125.85/532.25	c  N dy  7796   2132910        80      7120         0     87004     49840   1419359     22.98     24.28  --
2150.60/538.43	c  N dy  7855   2153889        80      7120         0    106119     49840   1936040     22.98     24.20  --
2196.95/550.08	c  N dy  7982   2191509        80      7120         0     81860     49840   1251769     22.98     24.26  --
2221.69/556.26	c  S st  8057   2210937        80      7120         0     99632     49840   1732368     22.98     22.20  --
2222.89/556.56	c  S st  8057   2211440        80      7120         0    100105     49840   1745541     22.98   no data  --
2222.89/556.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2222.89/556.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2223.31/556.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2223.31/556.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2223.31/556.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2223.31/556.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2223.31/556.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2591.19/648.76	c lits-rem:      3438  cl-subs:     9673  v-elim:      0  v-fix:    0  time: 367.68 s
2591.19/648.76	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2591.19/648.78	c vivif2 --  cl tried    90432 cl shrink        0 lits rem          0 time: 0.08
2593.19/649.20	c asymm  cl-useful: 0/770/7120 lits-rem:0 time: 1.69
2593.19/649.20	c calculated reachability. Time: 0.00
2593.19/649.20	c  N dy  8057   2211440        80      7120         0     90432     49840   1486201     22.98   no data  --
2625.54/657.38	c  N dy  8107   2231897        80      7120         0    109106     49840   1987272     22.98     24.21  --
2651.90/663.90	c  N dy  8128   2253279        80      7120         0     69651     49840    920104     22.97     24.47  --
2688.25/673.02	c  N dy  8129   2286207        80      7120         0     99302     49840   1674672     22.94     24.23  --
2727.01/682.78	c  N dy  8248   2307329        80      7120         0    118620     49840   2203262     22.95     24.16  --
2752.57/689.11	c  N dy  8337   2328118        80      7120         0     77860     49840   1138246     22.95     24.21  --
2802.90/701.70	c  N dy  8408   2369000        80      7120         0    114813     49840   2125637     22.94     24.16  --
2834.48/709.67	c  N dy  8535   2389898        80      7120         0     73260     49840   1001953     22.95     24.27  --
2861.21/716.38	c  N dy  8641   2409955        80      7120         0     91609     49840   1505057     22.96     24.47  --
2895.18/724.82	c  N dy  8727   2430146        80      7120         0    110131     49840   2008869     22.97     24.20  --
2933.11/734.39	c  N dy  8850   2450239        80      7120         0     66490     49840    792844     22.98     24.62  --
2958.28/740.67	c  N dy  8912   2470321        80      7120         0     84818     49840   1288836     22.98     24.59  --
2990.23/748.69	c  N dy  8977   2490415        80      7120         0    103171     49840   1782369     22.98     24.27  --
3029.78/758.53	c  N dy  9072   2510483        80      7120         0    121496     49840   2281079     22.99     24.58  --
3056.14/765.16	c  N dy  9195   2530579        80      7120         0     76895     49840   1064081     23.00     24.23  --
3083.71/772.03	c  N dy  9307   2553337        80      7120         0     97637     49840   1627134     23.00     24.26  --
3112.48/779.26	c  N dy  9378   2573360        80      7120         0    115952     49840   2121961     23.00     24.26  --
3153.21/789.49	c  N dy  9449   2606560        80      7120         0     82183     49840   1171323     22.99     24.33  --
3180.37/796.27	c  N dy  9559   2626879        80      7120         0    100780     49840   1679081     23.00     24.22  --
3212.73/804.38	c  N dy  9635   2648522        80      7120         0    120536     49840   2216425     23.01     24.22  --
3244.69/812.38	c  N dy  9726   2668527        80      7120         0     74077     49840    954735     23.01     25.73  --
3272.65/819.30	c  N dy  9831   2688690        80      7120         0     92565     49840   1460233     23.02     24.33  --
3300.61/826.36	c  N dy  9881   2708761        80      7120         0    110847     49840   1950804     23.02     25.61  --
3305.80/827.60	c  S st  9904   2711440        80      7120         0    113297     49840   2018318     23.02   no data  --
3307.00/827.93	c  S st  9904   2711941        80      7120         0    113763     49840   2031320     23.02   no data  --
3307.00/827.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3307.00/827.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3307.00/827.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
3307.40/828.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3307.40/828.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3307.40/828.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3307.40/828.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3893.79/974.85	c lits-rem:      7260  cl-subs:     9954  v-elim:      0  v-fix:    0  time: 586.11 s
3893.79/974.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3893.79/974.87	c vivif2 --  cl tried   103809 cl shrink        0 lits rem          0 time: 0.10
3895.79/975.37	c asymm  cl-useful: 0/544/7120 lits-rem:0 time: 1.97
3895.79/975.37	c calculated reachability. Time: 0.00
3895.79/975.37	c  N dy  9904   2711941        80      7120         0    103809     49840   1746772     23.02   no data  --
3942.11/986.94	c  N dy  9955   2734776        80      7120         0    124608     49840   2303830     23.01     24.33  --
3980.46/996.54	c  N dy 10079   2754804        80      7120         0     77670     49840   1043278     23.02     25.43  --
4013.21/1004.74	c  N dy 10173   2774879        80      7120         0     96083     49840   1545487     23.03     24.36  --
4055.16/1015.23	c  N dy 10257   2796665        80      7120         0    115979     49840   2087511     23.03     24.25  --
4125.88/1032.95	c  N dy 10352   2839704        80      7120         0     88472     49840   1287233     23.01     24.28  --
4165.83/1042.92	c  N dy 10417   2862954        80      7120         0    109606     49840   1855094     23.01     24.30  --
4204.15/1052.53	c  N dy 10454   2883220        80      7120         0    127947     49840   2345797     23.01     24.29  --
4246.88/1063.23	c  N dy 10552   2903274        80      7120         0     79098     49840   1052513     23.01     25.29  --
4284.83/1072.70	c  N dy 10642   2923327        80      7120         0     97420     49840   1551001     23.02     25.60  --
4328.00/1083.59	c  N dy 10731   2943592        80      7120         0    115899     49840   2053571     23.02     24.27  --
4381.90/1097.02	c  N dy 10803   2966221        80      7120         0    136551     49840   2613233     23.02     24.34  --
4415.87/1105.56	c  N dy 10885   2986258        80      7120         0     86590     49840   1233304     23.03     25.81  --
4452.20/1114.62	c  N dy 10974   3006275        80      7120         0    104888     49840   1732251     23.03     25.21  --
4497.73/1126.02	c  N dy 11005   3032282        80      7120         0    128415     49840   2353511     23.02     24.24  --
4596.01/1150.63	c  N dy 11068   3095590        80      7120         0    116185     49840   1967314     22.99     24.23  --
4667.90/1168.62	c  N dy 11131   3141262        80      7120         0     87711     49840   1211703     22.96     24.31  --
4710.66/1179.38	c  N dy 11235   3172768        80      7120         0    116426     49840   1978617     22.96     24.25  --
4749.39/1189.08	c  N dy 11261   3198054        80      7120         0    139372     49840   2585358     22.95     24.47  --
4769.76/1194.14	c  S st 11343   3211943        80      7120         0     81390     49840   1050977     22.96     22.68  --
4770.56/1194.38	c  S st 11343   3212445        80      7120         0     81858     49840   1064010     22.96   no data  --
4770.56/1194.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4770.56/1194.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4770.96/1194.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
4770.96/1194.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4770.96/1194.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4770.96/1194.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4770.96/1194.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 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-3175239-1304103127/watcher-3175239-1304103127 -o /tmp/evaluation-result-3175239-1304103127/solver-3175239-1304103127 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175239-1304103127.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: 3.20 3.92 5.31 4/176 7285
/proc/meminfo: memFree=19924172/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 413 0 0 0 0 0 0 0 19 0 4 0 521912479 52465664 352 33554432000 4194304 4650419 140736736406048 18446744073709551615 47110089521074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 12809 352 303 112 0 7774 0
[pid=7285/tid=7288] ppid=7281 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 521912479 52465664 352 33554432000 4194304 4650419 140736736406048 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 521912479 52465664 352 33554432000 4194304 4650419 140736736406048 18446744073709551615 47110089521074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 521912479 52465664 352 33554432000 4194304 4650419 140736736406048 18446744073709551615 47110089521074 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.104397 s]
/proc/loadavg: 3.20 3.92 5.31 4/176 7285
/proc/meminfo: memFree=19924172/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=282308 CPUtime=0.39 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 1532 0 0 0 39 0 0 0 20 0 4 0 521912479 289083392 1446 33554432000 4194304 4650419 140736736406048 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 70577 1446 366 112 0 65542 0
[pid=7285/tid=7288] ppid=7281 vsize=282308 CPUtime=0.09 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 243 0 0 0 9 0 0 0 21 0 4 0 521912479 289083392 1446 33554432000 4194304 4650419 140736736406048 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=282308 CPUtime=0.09 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 237 0 0 0 9 0 0 0 21 0 4 0 521912479 289083392 1446 33554432000 4194304 4650419 140736736406048 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=282308 CPUtime=0.09 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 379 0 0 0 9 0 0 0 21 0 4 0 521912479 289083392 1446 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282308

[startup+0.259436 s]
/proc/loadavg: 3.20 3.92 5.31 4/176 7285
/proc/meminfo: memFree=19924172/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=285908 CPUtime=1.01 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 3725 0 0 0 100 1 0 0 18 0 4 0 521912479 292769792 3160 33554432000 4194304 4650419 140736736406048 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 71477 3160 390 112 0 66442 0
[pid=7285/tid=7288] ppid=7281 vsize=285908 CPUtime=0.24 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 868 0 0 0 24 0 0 0 18 0 4 0 521912479 292769792 3160 33554432000 4194304 4650419 140736736406048 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=285908 CPUtime=0.25 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 846 0 0 0 25 0 0 0 21 0 4 0 521912479 292769792 3160 33554432000 4194304 4650419 140736736406048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=285908 CPUtime=0.25 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 712 0 0 0 25 0 0 0 21 0 4 0 521912479 292769792 3161 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 285908

[startup+0.300364 s]
/proc/loadavg: 3.20 3.92 5.31 4/176 7285
/proc/meminfo: memFree=19924172/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=285908 CPUtime=1.17 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 3877 0 0 0 116 1 0 0 18 0 4 0 521912479 292769792 3312 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 71477 3312 390 112 0 66442 0
[pid=7285/tid=7288] ppid=7281 vsize=285908 CPUtime=0.28 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 904 0 0 0 28 0 0 0 18 0 4 0 521912479 292769792 3312 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=285908 CPUtime=0.29 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 883 0 0 0 29 0 0 0 21 0 4 0 521912479 292769792 3312 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=285908 CPUtime=0.29 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 756 0 0 0 29 0 0 0 21 0 4 0 521912479 292769792 3313 33554432000 4194304 4650419 140736736406048 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285908

[startup+0.700294 s]
/proc/loadavg: 3.20 3.92 5.31 4/176 7285
/proc/meminfo: memFree=19924172/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=287712 CPUtime=2.77 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 6286 0 0 0 276 1 0 0 18 0 4 0 521912479 294617088 3915 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 71928 3915 390 112 0 66893 0
[pid=7285/tid=7288] ppid=7281 vsize=287712 CPUtime=0.68 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 1566 0 0 0 68 0 0 0 18 0 4 0 521912479 294617088 3915 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=287712 CPUtime=0.68 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 1521 0 0 0 68 0 0 0 22 0 4 0 521912479 294617088 3915 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=287712 CPUtime=0.69 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 1251 0 0 0 69 0 0 0 22 0 4 0 521912479 294617088 3915 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287712

[startup+1.50115 s]
/proc/loadavg: 3.20 3.92 5.31 10/184 7293
/proc/meminfo: memFree=19890876/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=289160 CPUtime=5.97 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 10602 0 0 0 595 2 0 0 19 0 4 0 521912479 296099840 5190 33554432000 4194304 4650419 140736736406048 18446744073709551615 237278576395 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 72290 5200 392 112 0 67255 0
[pid=7285/tid=7288] ppid=7281 vsize=289160 CPUtime=1.47 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 2523 0 0 0 147 0 0 0 19 0 4 0 521912479 296099840 5207 33554432000 4194304 4650419 140736736406048 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=289160 CPUtime=1.48 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 2503 0 0 0 148 0 0 0 25 0 4 0 521912479 296099840 5211 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=289160 CPUtime=1.49 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 2186 0 0 0 149 0 0 0 25 0 4 0 521912479 296099840 5218 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289160

[startup+3.10087 s]
/proc/loadavg: 3.20 3.92 5.31 10/184 7293
/proc/meminfo: memFree=19865504/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=307752 CPUtime=12.36 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 19409 0 0 0 1233 3 0 0 24 0 4 0 521912479 315138048 11781 33554432000 4194304 4650419 140736736406048 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 76938 11781 392 112 0 71903 0
[pid=7285/tid=7288] ppid=7281 vsize=307752 CPUtime=3.07 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 4321 0 0 0 307 0 0 0 24 0 4 0 521912479 315138048 11781 33554432000 4194304 4650419 140736736406048 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=307752 CPUtime=3.08 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 5350 0 0 0 308 0 0 0 25 0 4 0 521912479 315138048 11781 33554432000 4194304 4650419 140736736406048 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=307752 CPUtime=3.08 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 5150 0 0 0 308 0 0 0 25 0 4 0 521912479 315138048 11781 33554432000 4194304 4650419 140736736406048 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 307752

[startup+6.3003 s]
/proc/loadavg: 3.58 3.99 5.32 10/184 7293
/proc/meminfo: memFree=19807228/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=316608 CPUtime=25.14 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 27904 0 0 0 2509 5 0 0 25 0 4 0 521912479 324206592 15582 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 79152 15582 392 112 0 74117 0
[pid=7285/tid=7288] ppid=7281 vsize=316608 CPUtime=6.25 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 7490 0 0 0 624 1 0 0 25 0 4 0 521912479 324206592 15582 33554432000 4194304 4650419 140736736406048 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=316608 CPUtime=6.29 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 6859 0 0 0 628 1 0 0 25 0 4 0 521912479 324206592 15582 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=316608 CPUtime=6.29 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 7304 0 0 0 628 1 0 0 25 0 4 0 521912479 324206592 15582 33554432000 4194304 4650419 140736736406048 18446744073709551615 4360042 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 316608

[startup+12.7012 s]
/proc/loadavg: 3.93 4.05 5.33 10/184 7293
/proc/meminfo: memFree=19760600/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=311368 CPUtime=50.71 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 40572 0 0 0 5062 9 0 0 25 0 4 0 521912479 318840832 20949 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 77842 20949 392 112 0 72807 0
[pid=7285/tid=7288] ppid=7281 vsize=311368 CPUtime=12.61 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 10366 0 0 0 1260 1 0 0 25 0 4 0 521912479 318840832 20949 33554432000 4194304 4650419 140736736406048 18446744073709551615 4439547 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=311368 CPUtime=12.68 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 9011 0 0 0 1267 1 0 0 25 0 4 0 521912479 318840832 20949 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=311368 CPUtime=12.68 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 11606 0 0 0 1266 2 0 0 25 0 4 0 521912479 318840832 20949 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 311368

[startup+25.5009 s]
/proc/loadavg: 4.98 4.28 5.39 10/184 7293
/proc/meminfo: memFree=19711376/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=319088 CPUtime=101.83 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 62437 0 0 0 10169 14 0 0 25 0 4 0 521912479 326746112 26364 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 79772 26364 392 112 0 74737 0
[pid=7285/tid=7288] ppid=7281 vsize=319088 CPUtime=25.34 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 15256 0 0 0 2531 3 0 0 25 0 4 0 521912479 326746112 26364 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=319088 CPUtime=25.49 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 13724 0 0 0 2546 3 0 0 25 0 4 0 521912479 326746112 26364 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=319088 CPUtime=25.48 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 16678 0 0 0 2545 3 0 0 25 0 4 0 521912479 326746112 26364 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 319088

[startup+51.1003 s]
/proc/loadavg: 6.01 4.58 5.46 10/184 7294
/proc/meminfo: memFree=19658788/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=319860 CPUtime=204.09 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 93724 0 0 0 20386 23 0 0 25 0 4 0 521912479 327536640 33909 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 79965 33909 392 112 0 74930 0
[pid=7285/tid=7288] ppid=7281 vsize=319860 CPUtime=50.8 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 24128 0 0 0 5075 5 0 0 25 0 4 0 521912479 327536640 33909 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=319860 CPUtime=51.08 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 20956 0 0 0 5104 4 0 0 25 0 4 0 521912479 327536640 33909 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=319860 CPUtime=51.09 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 24994 0 0 0 5103 6 0 0 25 0 4 0 521912479 327536640 33909 33554432000 4194304 4650419 140736736406048 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 319860

[startup+102.301 s]
/proc/loadavg: 7.24 5.13 5.60 10/184 7295
/proc/meminfo: memFree=19606828/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=365784 CPUtime=408.63 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 140235 0 0 0 40824 39 0 0 25 0 4 0 521912479 374562816 39144 33554432000 4194304 4650419 140736736406048 18446744073709551615 4313443 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 91446 39144 392 112 0 86411 0
[pid=7285/tid=7288] ppid=7281 vsize=365784 CPUtime=101.73 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 36565 0 0 0 10163 10 0 0 25 0 4 0 521912479 374562816 39144 33554432000 4194304 4650419 140736736406048 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=365784 CPUtime=102.29 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 32058 0 0 0 10221 8 0 0 25 0 4 0 521912479 374562816 39144 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=365784 CPUtime=102.29 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 37672 0 0 0 10218 11 0 0 25 0 4 0 521912479 374562816 39144 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 365784

[startup+162.301 s]

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

[pid=7285] ppid=7281 vsize=490356 CPUtime=2565.62 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 425608 0 0 0 256396 166 0 0 25 0 4 0 521912479 502124544 79118 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 122589 79118 392 112 0 117554 0
[pid=7285/tid=7288] ppid=7281 vsize=490356 CPUtime=638.79 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 114478 0 0 0 63829 50 0 0 25 0 4 0 521912479 502124544 79118 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=490356 CPUtime=642.3 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 94592 0 0 0 64193 37 0 0 25 0 4 0 521912479 502124544 79118 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=490356 CPUtime=642.3 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 95748 0 0 0 64193 37 0 0 25 0 4 0 521912479 502124544 79118 33554432000 4194304 4650419 140736736406048 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.62
Current children cumulated vsize (KiB) 490356

[startup+702.301 s]
/proc/loadavg: 8.18 7.71 6.78 10/184 7320
/proc/meminfo: memFree=19267240/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=478104 CPUtime=2805.29 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 442019 0 0 0 280353 176 0 0 25 0 4 0 521912479 489578496 82889 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 119526 82889 392 112 0 114491 0
[pid=7285/tid=7288] ppid=7281 vsize=478104 CPUtime=698.46 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 120451 0 0 0 69793 53 0 0 25 0 4 0 521912479 489578496 82889 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365219 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=478104 CPUtime=702.29 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 97764 0 0 0 70191 38 0 0 25 0 4 0 521912479 489578496 82889 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=478104 CPUtime=702.3 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 95748 0 0 0 70193 37 0 0 25 0 4 0 521912479 489578496 82889 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 478104

[startup+762.301 s]
/proc/loadavg: 8.38 7.86 6.88 10/184 7325
/proc/meminfo: memFree=19296628/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=478216 CPUtime=3044.99 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 455908 0 0 0 304314 185 0 0 25 0 4 0 521912479 489693184 81642 33554432000 4194304 4650419 140736736406048 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 119554 81642 392 112 0 114519 0
[pid=7285/tid=7288] ppid=7281 vsize=478216 CPUtime=758.14 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 126686 0 0 0 75757 57 0 0 25 0 4 0 521912479 489693184 81642 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=478216 CPUtime=762.3 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 100680 0 0 0 76189 41 0 0 25 0 4 0 521912479 489693184 81642 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=478216 CPUtime=762.31 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 96096 0 0 0 76194 37 0 0 25 0 4 0 521912479 489693184 81642 33554432000 4194304 4650419 140736736406048 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 478216

[startup+822.3 s]
/proc/loadavg: 8.25 7.91 6.96 10/184 7327
/proc/meminfo: memFree=19313488/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=481848 CPUtime=3284.63 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 479542 0 0 0 328265 198 0 0 25 0 4 0 521912479 493412352 74505 33554432000 4194304 4650419 140736736406048 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 120462 74505 392 112 0 115427 0
[pid=7285/tid=7288] ppid=7281 vsize=481848 CPUtime=817.81 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 133621 0 0 0 81720 61 0 0 25 0 4 0 521912479 493412352 74505 33554432000 4194304 4650419 140736736406048 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=481848 CPUtime=822.3 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 106418 0 0 0 82186 44 0 0 25 0 4 0 521912479 493412352 74505 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=481848 CPUtime=822.3 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 102430 0 0 0 82190 40 0 0 25 0 4 0 521912479 493412352 74505 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.63
Current children cumulated vsize (KiB) 481848

[startup+882.307 s]
/proc/loadavg: 8.20 7.95 7.03 10/184 7328
/proc/meminfo: memFree=19271804/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=495728 CPUtime=3524.33 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 503499 0 0 0 352223 210 0 0 25 0 4 0 521912479 507625472 80465 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 123932 80465 392 112 0 118897 0
[pid=7285/tid=7288] ppid=7281 vsize=495728 CPUtime=877.49 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 140102 0 0 0 87684 65 0 0 25 0 4 0 521912479 507625472 80465 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=495728 CPUtime=882.3 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 112378 0 0 0 88181 49 0 0 25 0 4 0 521912479 507625472 80465 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=495728 CPUtime=882.31 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 106151 0 0 0 88189 42 0 0 25 0 4 0 521912479 507625472 80465 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 495728

[startup+942.301 s]
/proc/loadavg: 8.13 7.97 7.10 10/184 7330
/proc/meminfo: memFree=19232372/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=483020 CPUtime=3763.98 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 528969 0 0 0 376178 220 0 0 25 0 4 0 521912479 494612480 81661 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 120755 81661 392 112 0 115720 0
[pid=7285/tid=7288] ppid=7281 vsize=483020 CPUtime=937.16 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 146042 0 0 0 93647 69 0 0 25 0 4 0 521912479 494612480 81661 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=483020 CPUtime=942.3 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 114356 0 0 0 94180 50 0 0 25 0 4 0 521912479 494612480 81661 33554432000 4194304 4650419 140736736406048 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=483020 CPUtime=942.31 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 109400 0 0 0 94187 44 0 0 25 0 4 0 521912479 494612480 81661 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 483020

[startup+1002.3 s]
/proc/loadavg: 8.10 7.99 7.16 10/184 7331
/proc/meminfo: memFree=19186472/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=561788 CPUtime=4003.62 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 546727 0 0 0 400134 228 0 0 25 0 4 0 521912479 575270912 91393 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 140447 91393 392 112 0 135412 0
[pid=7285/tid=7288] ppid=7281 vsize=561788 CPUtime=996.81 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 152232 0 0 0 99610 71 0 0 25 0 4 0 521912479 575270912 91393 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=561788 CPUtime=1002.3 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 119350 0 0 0 100176 54 0 0 25 0 4 0 521912479 575270912 91393 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=561788 CPUtime=1002.31 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 109400 0 0 0 100187 44 0 0 25 0 4 0 521912479 575270912 91393 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.62
Current children cumulated vsize (KiB) 561788

[startup+1062.3 s]
/proc/loadavg: 8.08 8.00 7.21 10/184 7333
/proc/meminfo: memFree=19185096/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=563372 CPUtime=4243.29 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 559809 0 0 0 424093 236 0 0 25 0 4 0 521912479 576892928 90984 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 140843 90984 392 112 0 135808 0
[pid=7285/tid=7288] ppid=7281 vsize=563372 CPUtime=1056.49 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 155540 0 0 0 105577 72 0 0 25 0 4 0 521912479 576892928 90984 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=563372 CPUtime=1062.3 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 123139 0 0 0 106173 57 0 0 25 0 4 0 521912479 576892928 90984 33554432000 4194304 4650419 140736736406048 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=563372 CPUtime=1062.31 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 109806 0 0 0 106187 44 0 0 25 0 4 0 521912479 576892928 90984 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.29
Current children cumulated vsize (KiB) 563372

[startup+1122.3 s]
/proc/loadavg: 8.07 8.02 7.26 10/184 7335
/proc/meminfo: memFree=19170464/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=567452 CPUtime=4482.95 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 574819 0 0 0 448053 242 0 0 25 0 4 0 521912479 581070848 96230 33554432000 4194304 4650419 140736736406048 18446744073709551615 4314858 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 141863 96230 392 112 0 136828 0
[pid=7285/tid=7288] ppid=7281 vsize=567452 CPUtime=1116.15 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 164780 0 0 0 111541 74 0 0 25 0 4 0 521912479 581070848 96230 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=567452 CPUtime=1122.31 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 124459 0 0 0 112173 58 0 0 25 0 4 0 521912479 581070848 96230 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=567452 CPUtime=1122.31 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 109976 0 0 0 112187 44 0 0 25 0 4 0 521912479 581070848 96230 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.95
Current children cumulated vsize (KiB) 567452

[startup+1182.3 s]
/proc/loadavg: 8.07 8.03 7.31 10/184 7336
/proc/meminfo: memFree=19198360/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=557888 CPUtime=4722.62 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 592394 0 0 0 472011 251 0 0 25 0 4 0 521912479 571277312 89245 33554432000 4194304 4650419 140736736406048 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 139472 89245 392 112 0 134437 0
[pid=7285/tid=7288] ppid=7281 vsize=557888 CPUtime=1175.82 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 172091 0 0 0 117507 75 0 0 25 0 4 0 521912479 571277312 89245 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=557888 CPUtime=1182.31 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 130312 0 0 0 118169 62 0 0 25 0 4 0 521912479 571277312 89245 33554432000 4194304 4650419 140736736406048 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=557888 CPUtime=1182.31 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 110857 0 0 0 118186 45 0 0 25 0 4 0 521912479 571277312 89245 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.62
Current children cumulated vsize (KiB) 557888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.06 7.34 9/184 7337
/proc/meminfo: memFree=19184348/32950904 swapFree=67082284/67111528
[pid=7285] ppid=7281 vsize=570736 CPUtime=4800.13 cores=1,3,5,7
/proc/7285/stat : 7285 (strangenight1-m) R 7281 7285 6445 0 -1 4202496 598273 0 0 0 479758 255 0 0 25 0 4 0 521912479 584433664 92013 33554432000 4194304 4650419 140736736406048 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7285/statm: 142684 92013 392 112 0 137649 0
[pid=7285/tid=7288] ppid=7281 vsize=570736 CPUtime=1195.12 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 173492 0 0 0 119436 76 0 0 25 0 4 0 521912479 584433664 92013 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7285/tid=7289] ppid=7281 vsize=570736 CPUtime=1201.71 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 131625 0 0 0 120108 63 0 0 25 0 4 0 521912479 584433664 92013 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7285/tid=7290] ppid=7281 vsize=570736 CPUtime=1201.72 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (strangenight1-m) R 7281 7285 6445 0 -1 4202560 112663 0 0 0 120126 46 0 0 25 0 4 0 521912479 584433664 92013 33554432000 4194304 4650419 140736736406048 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 570736

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.73
CPU time (s): 4800.18
CPU user time (s): 4797.61
CPU system time (s): 2.56961
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 623676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.61
system time used= 2.56961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598274
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= 602
involuntary context switches= 47584

runsolver used 1.77373 second user time and 4.84026 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 20:52:07
IDJOB=3175239
IDBENCH=82857
IDSOLVER=1588
FILE ID=node121/3175239-1304103127
RUNJOBID= node121-1304103127-7267
PBS_JOBID= 13170609
Free space on /tmp= 72656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175239-1304103127/watcher-3175239-1304103127 -o /tmp/evaluation-result-3175239-1304103127/solver-3175239-1304103127 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175239-1304103127.cnf

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

MD5SUM BENCH= e68176dd0214c3858ad791ec08d1acee
RANDOM SEED=1040956903

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19924732 kB
Buffers:       2183996 kB
Cached:       10284892 kB
SwapCached:       2776 kB
Active:        9137956 kB
Inactive:      3369748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19924732 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           12512 kB
Writeback:           4 kB
AnonPages:       36136 kB
Mapped:          13624 kB
Slab:           455908 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   188128 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= 72640 MiB
End job on node121 at 2011-04-29 21:12:11