Trace number 3174953

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.38 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
MD5SUM951fe016d765ee9b2e2038c7330879da
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.87765
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3174953-1304058869.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.00/0.09	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.00/0.09	c -- vars added      15000
0.00/0.09	c Parsing time:  0.13 s
0.00/0.09	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.00/0.09	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.45/0.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.45/0.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.45/0.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.45/0.91	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.45/0.91	c lits-rem:         0  cl-subs:        0  v-elim:    503  v-fix:    0  time:  0.55 s
0.45/0.91	c Finding binary XORs  T:     0.01 s  found:       0
0.45/0.91	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
0.45/0.91	c calculated reachability. Time: 0.00
0.45/0.91	c Calc default polars -  time:   0.02 s pos:    6694 undec:    1716 neg:    6590
0.45/0.91	c =========================================================================================
0.45/0.91	c types(t): F = full restart, N = normal restart
0.45/0.91	c types(t): S = simplification begin/end, E = solution found
0.45/0.91	c restart types(rt): st = static, dy = dynamic
0.45/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.45/0.91	c  B st     0         0     14497     62445         0         0    190201         0   no data   no data  --
4.61/1.21	c  N dy    20      4141     14497     62445         0      4136    190201    840458    111.30    119.92  --
7.55/1.94	c  N dy    47      8161     14497     62445         0      8155    190201   1555709    110.64    119.05  --
10.74/2.76	c  N dy    74     12166     14497     62445         0     12160    190201   2274971    111.38    118.42  --
14.33/3.63	c  N dy   102     16223     14497     62445         0     16215    190201   3015873    112.38    121.76  --
17.92/4.52	c  N dy   128     20224     14497     62445         0     10222    190201    551541    111.63    118.61  --
21.13/5.36	c  N dy   158     24229     14497     62445         0     14226    190201   1286348    112.56    119.84  --
21.91/5.53	c  F st   165     25000     14497     62445         0     14997    190201   1425578    112.78   no data  --
24.72/6.28	c  N st   170     28297     14497     62445         0     18294    190201   2159801    112.78   no data  --
26.31/6.67	c  S st   171     30000     14497     62445         0     19997    190201   2551601    112.78   no data  --
26.71/6.78	c  S st   171     30502     14497     62445         0     20499    190201   2615523    112.78   no data  --
26.71/6.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
26.71/6.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.11/6.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
27.91/7.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
27.91/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
28.31/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
28.31/7.10	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
44.69/11.27	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.56 s
45.09/11.36	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.35
45.09/11.37	c calculated reachability. Time: 0.00
45.09/11.37	c  N dy   171     30502     14497     62445         0     20496    190201   2615200    112.78   no data  --
49.48/12.42	c  N dy   199     34563     14497     62445         0     24557    190201   3339125    113.00    122.46  --
53.88/13.50	c  N dy   226     38585     14497     62445         0     28579    190201   4065950    113.18    120.46  --
58.26/14.63	c  N dy   258     42759     14497     62445         0     17259    190201    936219    113.60    120.28  --
61.06/15.39	c  S st   277     45756     14497     62445         0     20256    190201   1464505    113.30   no data  --
61.86/15.52	c  S st   277     46258     14497     62445         0     20758    190201   1537191    113.30   no data  --
61.86/15.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
61.86/15.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.26/15.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
62.66/15.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
62.66/15.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
62.66/15.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
62.66/15.71	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
74.24/18.61	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 11.53 s
74.24/18.61	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
74.24/18.63	c vivif2 --  cl tried    20757 cl shrink        0 lits rem          0 time: 0.08
74.64/18.71	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.31
74.64/18.72	c calculated reachability. Time: 0.00
74.64/18.72	c  N dy   277     46258     14497     62445         0     20757    190201   1536958    113.30   no data  --
78.26/19.68	c  N dy   307     50281     14497     62445         0     24780    190201   2265698    113.64    123.68  --
82.25/20.67	c  N dy   335     54389     14497     62445         0     28888    190201   3009754    113.79    123.04  --
86.64/21.72	c  N dy   357     58719     14497     62445         0     33218    190201   3777630    113.47    120.25  --
90.62/22.78	c  N dy   386     62760     14497     62445         0     37259    190201   4506801    113.51    122.06  --
94.62/23.76	c  N dy   412     66846     14497     62445         0     22597    190201   1287824    113.38    120.56  --
97.01/24.35	c  S st   427     69389     14497     62445         0     25140    190201   1722791    113.16   no data  --
97.41/24.47	c  S st   427     69891     14497     62445         0     25642    190201   1782115    113.16   no data  --
97.41/24.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97.41/24.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.81/24.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
98.21/24.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
98.21/24.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
98.21/24.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
98.21/24.67	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
110.99/27.81	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.49 s
110.99/27.81	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
110.99/27.84	c vivif2 --  cl tried    25642 cl shrink        0 lits rem          0 time: 0.10
111.40/27.93	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.37
111.40/27.93	c calculated reachability. Time: 0.00
111.40/27.93	c  N dy   427     69891     14497     62445         0     25642    190201   1782109    113.16   no data  --
116.19/29.10	c  N dy   458     74593     14497     62445         0     30344    190201   2661794    113.31    121.34  --
120.98/30.34	c  N dy   494     79357     14497     62445         0     35108    190201   3545711    113.63    122.35  --
126.59/31.71	c  N dy   532     84487     14497     62445         0     40238    190201   4484108    113.92    121.37  --
129.36/32.48	c  F st   549     87500     14497     62445         0     22381    190201    845773    113.76   no data  --
132.56/33.28	c  N st   554     90798     14497     62445         0     25679    190201   1561859    113.76   no data  --
138.56/34.79	c  N dy   584     96755     14497     62445         0     31633    190201   2800737    113.97    121.60  --
145.34/36.48	c  N dy   630    103088     14497     62445         0     37965    190201   3942040    113.97    123.29  --
147.35/36.97	c  S st   643    104837     14497     62445         0     39714    190201   4266203    114.01   no data  --
148.16/37.11	c  S st   643    105340     14497     62445         0     40217    190201   4328038    114.01   no data  --
148.16/37.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
148.16/37.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.56/37.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.31
149.34/37.47	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.34/37.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
149.34/37.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
149.34/37.49	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
255.99/64.17	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 106.36 s
255.99/64.18	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
256.39/64.24	c vivif2 --  cl tried    40208 cl shrink        0 lits rem          0 time: 0.22
256.79/64.35	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.48
256.79/64.36	c calculated reachability. Time: 0.00
256.79/64.36	c  N dy   643    105340     14497     62445         0     40208    190201   4324567    114.01   no data  --
263.98/66.19	c  N dy   690    112130     14497     62445         0     24560    190201    922583    114.09    121.01  --
271.18/67.97	c  N dy   738    119294     14497     62445         0     31722    190201   2232119    114.20    124.99  --
279.56/70.02	c  N dy   789    127061     14497     62445         0     39488    190201   3650418    114.28    120.93  --
288.77/72.34	c  N dy   842    135329     14497     62445         0     24036    190201    559953    114.23    122.34  --
297.14/74.48	c  N dy   903    143983     14497     62445         0     32690    190201   2117335    114.22    120.36  --
307.12/76.94	c  N dy   961    153182     14497     62445         0     41889    190201   3797683    114.19    124.01  --
312.72/78.32	c  S st   992    158010     14497     62445         0     46716    190201   4683125    114.24    102.58  --
313.12/78.47	c  S st   992    158512     14497     62445         0     47218    190201   4748663    114.24   no data  --
313.12/78.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
313.12/78.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
313.52/78.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.33
314.72/78.83	c bin-w-bin subsume rem            0 bins  time:  0.02 s
314.72/78.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
314.72/78.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
314.72/78.85	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
499.27/125.07	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 184.25 s
499.27/125.08	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
499.69/125.14	c vivif2 --  cl tried    47216 cl shrink        0 lits rem          0 time: 0.25
500.09/125.27	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.53
500.09/125.28	c calculated reachability. Time: 0.00
500.09/125.28	c  N dy   992    158512     14497     62445         0     47216    190201   4747584    114.24   no data  --
511.25/128.05	c  N dy  1063    168677     14497     62445         0     32526    190201   1881577    114.40    121.08  --
523.24/131.02	c  N dy  1137    179518     14497     62445         0     43367    190201   3845217    114.46    121.26  --
536.82/134.42	c  N dy  1215    191046     14497     62445         0     28964    190201   1006097    114.48    120.61  --
550.00/137.79	c  N dy  1301    203248     14497     62445         0     41165    190201   3252241    114.53    128.01  --
565.60/141.66	c  N dy  1385    216298     14497     62445         0     27250    190201    503477    114.57    124.02  --
580.35/145.39	c  N dy  1473    230113     14497     62445         0     41065    190201   2991607    114.48    121.19  --
589.55/147.66	c  S st  1523    237768     14497     62445         0     48719    190201   4404144    114.54    103.18  --
590.35/147.83	c  S st  1523    238273     14497     62445         0     49224    190201   4467632    114.54   no data  --
590.35/147.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
590.35/147.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
590.75/147.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
591.55/148.17	c bin-w-bin subsume rem            0 bins  time:  0.02 s
591.55/148.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
591.55/148.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
591.55/148.19	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
764.11/191.35	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 171.84 s
764.11/191.36	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
764.51/191.42	c vivif2 --  cl tried    49220 cl shrink        0 lits rem          0 time: 0.24
764.91/191.56	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.57
764.91/191.56	c calculated reachability. Time: 0.00
764.91/191.56	c  N dy  1523    238273     14497     62445         0     49220    190201   4466689    114.54   no data  --
782.89/196.01	c  N dy  1629    253519     14497     62445         0     36486    190201   2023570    114.66    122.32  --
802.06/200.89	c  N dy  1739    270043     14497     62445         0     53007    190201   5057873    114.75    127.60  --
822.44/205.93	c  N dy  1852    287409     14497     62445         0     41388    190201   2717660    114.76    123.23  --
845.21/211.61	c  N dy  1971    305850     14497     62445         0     59829    190201   6073996    114.76    123.26  --
845.61/211.77	c  F st  1975    306250     14497     62445         0     30237    190201    466410    114.77   no data  --
867.97/217.32	c  N dy  2075    325453     14497     62445         0     49438    190201   4325435    114.80    121.39  --
890.76/223.05	c  N dy  2206    345460     14497     62445         0     38441    190201   1738838    114.77    120.99  --
904.72/226.55	c  S st  2283    357409     14497     62445         0     50389    190201   3921031    114.82   no data  --
905.52/226.71	c  S st  2283    357914     14497     62445         0     50894    190201   3985861    114.82   no data  --
905.52/226.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
905.52/226.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
905.92/226.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
906.72/227.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
906.72/227.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
906.72/227.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
906.72/227.05	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1038.95/260.14	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 131.90 s
1038.95/260.14	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
1039.35/260.20	c vivif2 --  cl tried    50892 cl shrink        0 lits rem          0 time: 0.22
1039.74/260.34	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.58
1039.74/260.35	c calculated reachability. Time: 0.00
1039.74/260.35	c  N dy  2283    357914     14497     62445         0     50892    190201   3985723    114.82   no data  --
1064.11/266.49	c  N dy  2415    377980     14497     62445         0     38960    190201   1704563    114.83    122.06  --
1088.49/272.55	c  N dy  2546    398002     14497     62445         0     58980    190201   5333581    114.85    121.78  --
1112.84/278.62	c  N dy  2682    418056     14497     62445         0     46037    190201   2821279    114.88    121.12  --
1139.20/285.24	c  N dy  2812    438100     14497     62445         0     66080    190201   6489657    114.87    121.40  --
1164.37/291.55	c  N dy  2946    458390     14497     62445         0     52371    190201   3812309    114.92    120.98  --
1191.54/298.32	c  N dy  3080    478474     14497     62445         0     37459    190201    867369    114.92    121.70  --
1216.32/304.59	c  N dy  3204    498768     14497     62445         0     57752    190201   4523798    114.85    122.22  --
1243.46/311.31	c  N dy  3337    518827     14497     62445         0     41811    190201   1455819    114.91    123.55  --
1266.63/317.11	c  S st  3460    536874     14497     62445         0     59857    190201   4766923    114.95   no data  --
1267.43/317.30	c  S st  3460    537378     14497     62445         0     60361    190201   4830323    114.95   no data  --
1267.43/317.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1267.43/317.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1267.83/317.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1268.65/317.69	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1268.65/317.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1268.65/317.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
1269.05/317.71	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1513.50/378.95	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 243.82 s
1513.50/378.96	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
1513.90/379.02	c vivif2 --  cl tried    60360 cl shrink        0 lits rem          0 time: 0.26
1514.30/379.18	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.62
1514.30/379.18	c calculated reachability. Time: 0.00
1514.30/379.18	c  N dy  3460    537378     14497     62445         0     60360    190201   4830184    114.95   no data  --
1539.06/385.37	c  N dy  3586    557466     14497     62445         0     43454    190201   1621927    114.92    141.46  --
1563.05/391.35	c  N dy  3718    577517     14497     62445         0     63504    190201   5300622    114.91    126.10  --
1588.20/397.63	c  N dy  3856    597612     14497     62445         0     45605    190201   1831085    114.92    122.28  --
1612.56/403.73	c  N dy  3979    617755     14497     62445         0     65747    190201   5546581    114.90    121.83  --
1637.74/410.09	c  N dy  4111    637792     14497     62445         0     46787    190201   1856101    114.92    122.36  --
1662.09/416.19	c  N dy  4252    657834     14497     62445         0     66829    190201   5605166    115.00    123.38  --
1687.66/422.57	c  N dy  4379    677888     14497     62445         0     46876    190201   1698787    114.97    121.47  --
1712.03/428.68	c  N dy  4513    697955     14497     62445         0     66942    190201   5380432    114.98    124.44  --
1738.39/435.29	c  N dy  4653    718031     14497     62445         0     46015    190201   1387801    115.04    122.38  --
1762.76/441.34	c  N dy  4781    738076     14497     62445         0     66058    190201   5030481    115.03    127.54  --
1789.52/448.07	c  N dy  4904    758100     14497     62445         0     44084    190201    854502    115.01    136.41  --
1813.51/454.08	c  N dy  5041    778221     14497     62445         0     64204    190201   4559488    115.04    123.01  --
1841.06/460.91	c  N dy  5171    798324     14497     62445         0     84306    190201   8267416    115.04    121.75  --
1850.64/463.30	c  S st  5228    806068     14497     62445         0     49054    190201   1554143    115.07   no data  --
1851.05/463.46	c  S st  5228    806572     14497     62445         0     49558    190201   1620603    115.07   no data  --
1851.05/463.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1851.05/463.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1851.45/463.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1851.85/463.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1851.85/463.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1851.85/463.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
1851.85/463.66	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1867.42/467.55	c lits-rem:        11  cl-subs:        3  v-elim:      0  v-fix:    0  time: 15.49 s
1867.42/467.56	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
1867.42/467.58	c vivif2 --  cl tried    49555 cl shrink        0 lits rem          0 time: 0.10
1868.22/467.71	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.52
1868.22/467.71	c calculated reachability. Time: 0.00
1868.22/467.72	c  N dy  5228    806572     14497     62445         0     49555    190201   1619890    115.07   no data  --
1892.60/473.85	c  N dy  5347    826611     14497     62445         0     69591    190201   5245583    115.04    125.52  --
1920.55/480.81	c  N dy  5475    846741     14497     62445         0     45721    190201    750788    115.04    121.56  --
1944.92/486.90	c  N dy  5615    866931     14497     62445         0     65910    190201   4530827    115.10    128.51  --
1972.47/493.82	c  N dy  5750    887036     14497     62445         0     86011    190201   8219159    115.12    122.59  --
2000.03/500.70	c  N dy  5889    907056     14497     62445         0     61030    190201   3442263    115.15    121.63  --
2029.22/508.07	c  N dy  6030    927129     14497     62445         0     81102    190201   7178684    115.20    143.24  --
2058.36/515.38	c  N dy  6156    947240     14497     62445         0     55219    190201   2176406    115.20    123.17  --
2086.34/522.34	c  N dy  6284    967306     14497     62445         0     75284    190201   5889565    115.23    122.94  --
2118.28/530.33	c  N dy  6422    987749     14497     62445         0     48727    190201    756455    115.26    124.16  --
2145.84/537.21	c  N dy  6553   1007867     14497     62445         0     68845    190201   4462717    115.26    121.52  --
2176.59/544.93	c  N dy  6680   1027939     14497     62445         0     88916    190201   8142152    115.27    125.71  --
2204.98/552.09	c  N dy  6806   1047970     14497     62445         0     60947    190201   2896830    115.29    130.06  --
2234.91/559.57	c  N dy  6940   1068307     14497     62445         0     81284    190201   6653448    115.30    123.47  --
2240.91/561.00	c  F st  6969   1071876     14497     62445         0     84852    190201   7333740    115.33   no data  --
2266.09/567.40	c  N dy  7051   1088356     14497     62445         0     52333    190201   1091205    115.33    122.43  --
2294.04/574.32	c  N dy  7193   1108505     14497     62445         0     72482    190201   4778353    115.34    122.89  --
2325.59/582.23	c  N dy  7325   1128707     14497     62445         0     92683    190201   8485034    115.32    121.83  --
2354.75/589.51	c  N dy  7458   1148786     14497     62445         0     62762    190201   2814250    115.34    137.92  --
2383.11/596.68	c  N dy  7600   1168860     14497     62445         0     82835    190201   6531388    115.37    132.66  --
2415.49/604.70	c  N dy  7739   1188931     14497     62445         0     51904    190201    649367    115.38    122.98  --
2441.85/611.31	c  N dy  7881   1209056     14497     62445         0     72029    190201   4321358    115.41    124.40  --
2443.03/611.61	c  S st  7888   1209859     14497     62445         0     72832    190201   4470757    115.41   no data  --
2443.83/611.82	c  S st  7888   1210362     14497     62445         0     73335    190201   4544391    115.41   no data  --
2443.83/611.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2443.83/611.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2444.24/611.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
2445.04/612.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2445.04/612.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2445.04/612.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
2445.43/612.20	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
2656.35/665.08	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 210.90 s
2656.35/665.08	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
2656.75/665.15	c vivif2 --  cl tried    73329 cl shrink        0 lits rem          0 time: 0.25
2657.56/665.33	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.72
2657.56/665.34	c calculated reachability. Time: 0.00
2657.56/665.34	c  N dy  7888   1210362     14497     62445         0     73329    190201   4542206    115.41   no data  --
2685.49/672.33	c  N dy  8010   1230409     14497     62445         0     93373    190201   8278577    115.41    121.79  --
2713.46/679.39	c  N dy  8146   1250422     14497     62445         0     61390    190201   2248081    115.43    128.47  --
2740.65/686.20	c  N dy  8284   1270573     14497     62445         0     81539    190201   5999330    115.45    122.01  --
2770.99/693.76	c  N dy  8414   1290669     14497     62445         0    101634    190201   9761341    115.48    125.45  --
2797.77/700.43	c  N dy  8544   1310704     14497     62445         0     68677    190201   3392292    115.47    123.06  --
2826.12/707.55	c  N dy  8678   1330992     14497     62445         0     88963    190201   7203895    115.52    123.89  --
2857.28/715.32	c  N dy  8808   1351104     14497     62445         0     55077    190201    692016    115.51    123.83  --
2882.43/721.69	c  N dy  8933   1371135     14497     62445         0     75105    190201   4426402    115.51    121.80  --
2912.01/729.03	c  N dy  9073   1391265     14497     62445         0     95234    190201   8120344    115.53    132.43  --
2942.36/736.61	c  N dy  9207   1411373     14497     62445         0     60342    190201   1469587    115.53    122.69  --
2969.14/743.33	c  N dy  9346   1431510     14497     62445         0     80477    190201   5184908    115.55    121.69  --
2999.08/750.82	c  N dy  9480   1451583     14497     62445         0    100548    190201   8885240    115.57    121.96  --
3028.24/758.19	c  N dy  9603   1471613     14497     62445         0     64585    190201   2097338    115.58    122.41  --
3056.21/765.12	c  N dy  9736   1492002     14497     62445         0     84973    190201   5887369    115.60    122.96  --
3086.57/772.75	c  N dy  9857   1512101     14497     62445         0    105072    190201   9617205    115.60    159.37  --
3116.52/780.26	c  N dy  9983   1532138     14497     62445         0     68111    190201   2577204    115.61    123.76  --
3146.49/787.72	c  N dy 10111   1552311     14497     62445         0     88284    190201   6262053    115.60    124.45  --
3180.84/796.31	c  N dy 10247   1572701     14497     62445         0    108673    190201  10014529    115.61    122.27  --
3210.82/803.90	c  N dy 10370   1592755     14497     62445         0     70731    190201   2855846    115.60    140.04  --
3243.17/811.93	c  N dy 10515   1612911     14497     62445         0     90887    190201   6586868    115.64    122.12  --
3278.32/820.76	c  N dy 10643   1633012     14497     62445         0    110987    190201  10298852    115.64    122.73  --
3311.07/828.90	c  N dy 10783   1653076     14497     62445         0     72051    190201   2984305    115.68    122.56  --
3342.65/836.86	c  N dy 10923   1673131     14497     62445         0     92104    190201   6724916    115.70    123.10  --
3378.21/845.71	c  N dy 11051   1693150     14497     62445         0    112117    190201  10412451    115.70    125.32  --
3406.15/852.80	c  S st 11171   1710362     14497     62445         0     69337    190201   2256956    115.74    108.98  --
3406.95/852.99	c  S st 11171   1710866     14497     62445         0     69841    190201   2323137    115.74   no data  --
3407.35/853.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3407.35/853.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3407.75/853.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3408.15/853.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3408.15/853.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3408.15/853.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
3408.15/853.27	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3436.91/860.42	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 28.50 s
3436.91/860.43	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
3436.91/860.46	c vivif2 --  cl tried    69841 cl shrink        0 lits rem          0 time: 0.15
3437.71/860.65	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.73
3437.71/860.65	c calculated reachability. Time: 0.00
3437.71/860.65	c  N dy 11171   1710866     14497     62445         0     69841    190201   2323131    115.74   no data  --
3468.47/868.33	c  N dy 11301   1731217     14497     62445         0     90190    190201   6077079    115.74    128.77  --
3502.43/876.83	c  N dy 11439   1751257     14497     62445         0    110226    190201   9821208    115.77    143.54  --
3535.18/885.06	c  N dy 11569   1771377     14497     62445         0     69352    190201   2065249    115.79    122.11  --
3564.75/892.47	c  N dy 11701   1791475     14497     62445         0     89448    190201   5806672    115.81    152.23  --
3598.30/900.88	c  N dy 11835   1811525     14497     62445         0    109495    190201   9541731    115.82    130.88  --
3632.68/909.46	c  N dy 11965   1831592     14497     62445         0     67561    190201   1599869    115.82    150.93  --
3662.22/916.80	c  N dy 12097   1851696     14497     62445         0     87663    190201   5340163    115.83    124.51  --
3695.39/925.18	c  N dy 12229   1871715     14497     62445         0    107682    190201   9015133    115.83    124.67  --
3734.53/934.97	c  N dy 12364   1891934     14497     62445         0     64905    190201    886223    115.85    126.69  --
3764.91/942.51	c  N dy 12495   1911967     14497     62445         0     84937    190201   4631989    115.86    137.94  --
3799.25/951.15	c  N dy 12623   1932056     14497     62445         0    105026    190201   8303653    115.85    124.79  --
3838.00/960.85	c  N dy 12761   1952103     14497     62445         0    125072    190201  12044949    115.87    122.47  --
3870.37/968.94	c  N dy 12904   1972243     14497     62445         0     81214    190201   3779122    115.89    123.46  --
3904.32/977.44	c  N dy 13043   1992393     14497     62445         0    101360    190201   7528017    115.91    123.10  --
3942.65/987.08	c  N dy 13181   2012747     14497     62445         0    121713    190201  11290939    115.92    123.41  --
3977.01/995.69	c  N dy 13312   2032870     14497     62445         0     76847    190201   2728719    115.92    124.62  --
4009.76/1003.83	c  N dy 13445   2052964     14497     62445         0     96939    190201   6400047    115.91    122.81  --
4046.92/1013.18	c  N dy 13582   2073176     14497     62445         0    117149    190201  10126493    115.92    122.34  --
4084.87/1022.66	c  N dy 13716   2093336     14497     62445         0     71312    190201   1535080    115.93    126.16  --
4114.83/1030.12	c  N dy 13849   2113352     14497     62445         0     91325    190201   5243342    115.94    122.12  --
4148.38/1038.59	c  N dy 13988   2133407     14497     62445         0    111377    190201   8959655    115.95    123.31  --
4186.74/1048.15	c  N dy 14130   2153455     14497     62445         0    131422    190201  12744124    115.98    124.17  --
4217.49/1055.88	c  N dy 14270   2173520     14497     62445         0     84498    190201   3817330    116.00    124.88  --
4250.24/1064.04	c  N dy 14405   2193593     14497     62445         0    104571    190201   7530860    116.01    122.87  --
4281.39/1071.83	c  S st 14524   2210866     14497     62445         0    121843    190201  10692946    116.01   no data  --
4282.59/1072.12	c  S st 14524   2211370     14497     62445         0    122347    190201  10768200    116.01   no data  --
4282.59/1072.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4282.59/1072.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4283.01/1072.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.60
4285.79/1072.97	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4285.79/1072.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4285.79/1072.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
4285.79/1072.98	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174953-1304058869/watcher-3174953-1304058869 -o /tmp/evaluation-result-3174953-1304058869/solver-3174953-1304058869 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174953-1304058869.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: 3.73 4.68 6.24 2/174 21260
/proc/meminfo: memFree=25395920/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 517489648 52465664 352 33554432000 4194304 4650419 140736806709824 18446744073709551615 47795854530480 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 12809 352 303 112 0 7774 0
[pid=21260/tid=21261] ppid=21258 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 517489649 52465664 352 33554432000 4194304 4650419 140736806709824 18446744073709551615 47795854530476 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 517489649 52465664 352 33554432000 4194304 4650419 140736806709824 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 517489649 52465664 352 33554432000 4194304 4650419 140736806709824 18446744073709551615 218382754870 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.091677 s]
/proc/loadavg: 3.73 4.68 6.24 2/174 21260
/proc/meminfo: memFree=25395920/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=304428 CPUtime=0.45 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 14132 0 0 0 43 2 0 0 18 0 4 0 517489648 311734272 11981 33554432000 4194304 4650419 140736806709824 18446744073709551615 218370618401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 76107 12404 377 112 0 71072 0
[pid=21260/tid=21261] ppid=21258 vsize=304428 CPUtime=0.1 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 3828 0 0 0 10 0 0 0 18 0 4 0 517489649 311734272 12534 33554432000 4194304 4650419 140736806709824 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=304428 CPUtime=0.11 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 3831 0 0 0 10 1 0 0 18 0 4 0 517489649 311734272 12623 33554432000 4194304 4650419 140736806709824 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=304428 CPUtime=0.12 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 2833 0 0 0 12 0 0 0 18 0 4 0 517489649 311734272 12868 33554432000 4194304 4650419 140736806709824 18446744073709551615 4364495 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) 304428

[startup+1.06795 s]
/proc/loadavg: 3.73 4.68 6.24 2/174 21260
/proc/meminfo: memFree=25395920/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=304428 CPUtime=4.21 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 25888 0 0 0 416 5 0 0 19 0 4 0 517489648 311734272 19931 33554432000 4194304 4650419 140736806709824 18446744073709551615 4333054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 76107 19931 391 112 0 71072 0
[pid=21260/tid=21261] ppid=21258 vsize=304428 CPUtime=1.04 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7265 0 0 0 103 1 0 0 19 0 4 0 517489649 311734272 19931 33554432000 4194304 4650419 140736806709824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=304428 CPUtime=1.03 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7234 0 0 0 102 1 0 0 19 0 4 0 517489649 311734272 19931 33554432000 4194304 4650419 140736806709824 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=304428 CPUtime=1.05 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 3712 0 0 0 105 0 0 0 19 0 4 0 517489649 311734272 19931 33554432000 4194304 4650419 140736806709824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 304428

[startup+1.16793 s]
/proc/loadavg: 3.73 4.68 6.24 2/174 21260
/proc/meminfo: memFree=25395920/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=304428 CPUtime=4.61 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 26238 0 0 0 456 5 0 0 19 0 4 0 517489648 311734272 20281 33554432000 4194304 4650419 140736806709824 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 76107 20281 391 112 0 71072 0
[pid=21260/tid=21261] ppid=21258 vsize=304428 CPUtime=1.14 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7351 0 0 0 113 1 0 0 19 0 4 0 517489649 311734272 20281 33554432000 4194304 4650419 140736806709824 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=304428 CPUtime=1.13 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7322 0 0 0 112 1 0 0 19 0 4 0 517489649 311734272 20281 33554432000 4194304 4650419 140736806709824 18446744073709551615 4332006 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=304428 CPUtime=1.15 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 3805 0 0 0 115 0 0 0 19 0 4 0 517489649 311734272 20281 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 304428

[startup+1.26792 s]
/proc/loadavg: 3.73 4.68 6.24 2/174 21260
/proc/meminfo: memFree=25395920/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=305128 CPUtime=5.01 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 26796 0 0 0 496 5 0 0 19 0 4 0 517489648 312451072 20839 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 76282 20839 391 112 0 71247 0
[pid=21260/tid=21261] ppid=21258 vsize=305128 CPUtime=1.24 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7443 0 0 0 123 1 0 0 19 0 4 0 517489649 312451072 20839 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=305128 CPUtime=1.23 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7414 0 0 0 122 1 0 0 19 0 4 0 517489649 312451072 20839 33554432000 4194304 4650419 140736806709824 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=305128 CPUtime=1.25 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 4083 0 0 0 125 0 0 0 19 0 4 0 517489649 312451072 20839 33554432000 4194304 4650419 140736806709824 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 305128

[startup+1.50087 s]
/proc/loadavg: 3.73 4.68 6.24 2/174 21260
/proc/meminfo: memFree=25395920/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=305128 CPUtime=5.94 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 27626 0 0 0 589 5 0 0 19 0 4 0 517489648 312451072 21669 33554432000 4194304 4650419 140736806709824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 76282 21669 391 112 0 71247 0
[pid=21260/tid=21261] ppid=21258 vsize=305128 CPUtime=1.47 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7662 0 0 0 146 1 0 0 19 0 4 0 517489649 312451072 21669 33554432000 4194304 4650419 140736806709824 18446744073709551615 4333856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=305128 CPUtime=1.47 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 7615 0 0 0 146 1 0 0 19 0 4 0 517489649 312451072 21669 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=305128 CPUtime=1.49 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 4285 0 0 0 149 0 0 0 19 0 4 0 517489649 312451072 21670 33554432000 4194304 4650419 140736806709824 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 305128

[startup+3.10659 s]
/proc/loadavg: 4.07 4.73 6.25 9/184 21273
/proc/meminfo: memFree=25107136/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=458052 CPUtime=12.35 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 33457 0 0 0 1229 6 0 0 24 0 4 0 517489648 469045248 27500 33554432000 4194304 4650419 140736806709824 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 114513 27500 391 112 0 109478 0
[pid=21260/tid=21261] ppid=21258 vsize=458052 CPUtime=3.08 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 9098 0 0 0 307 1 0 0 24 0 4 0 517489649 469045248 27500 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=458052 CPUtime=3.07 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 9025 0 0 0 305 2 0 0 25 0 4 0 517489649 469045248 27500 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=458052 CPUtime=3.09 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 5801 0 0 0 309 0 0 0 25 0 4 0 517489649 469045248 27500 33554432000 4194304 4650419 140736806709824 18446744073709551615 4364477 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 458052

[startup+6.30102 s]
/proc/loadavg: 4.07 4.73 6.25 9/184 21273
/proc/meminfo: memFree=25072800/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=320076 CPUtime=25.13 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 50045 0 0 0 2504 9 0 0 25 0 4 0 517489648 327757824 27431 33554432000 4194304 4650419 140736806709824 18446744073709551615 4349707 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 80019 27431 394 112 0 74984 0
[pid=21260/tid=21261] ppid=21258 vsize=320076 CPUtime=6.28 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 13207 0 0 0 625 3 0 0 25 0 4 0 517489649 327757824 27432 33554432000 4194304 4650419 140736806709824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=320076 CPUtime=6.25 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 13212 0 0 0 623 2 0 0 25 0 4 0 517489649 327757824 27432 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=320076 CPUtime=6.29 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 9963 0 0 0 628 1 0 0 25 0 4 0 517489649 327757824 27432 33554432000 4194304 4650419 140736806709824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 320076

[startup+12.7009 s]
/proc/loadavg: 4.75 4.86 6.28 9/184 21273
/proc/meminfo: memFree=24864884/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=608096 CPUtime=50.68 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 118886 0 0 0 5042 26 0 0 25 0 4 0 517489648 622690304 83539 33554432000 4194304 4650419 140736806709824 18446744073709551615 4334297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 152024 83539 395 112 0 146989 0
[pid=21260/tid=21261] ppid=21258 vsize=608096 CPUtime=12.68 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 35701 0 0 0 1259 9 0 0 25 0 4 0 517489649 622690304 83539 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=608096 CPUtime=12.62 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 24092 0 0 0 1257 5 0 0 25 0 4 0 517489649 622690304 83539 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=608096 CPUtime=12.69 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 28703 0 0 0 1264 5 0 0 25 0 4 0 517489649 622690304 83539 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 608096

[startup+25.5006 s]
/proc/loadavg: 5.33 4.98 6.30 9/184 21274
/proc/meminfo: memFree=24514512/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=600960 CPUtime=101.81 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 166971 0 0 0 10143 38 0 0 25 0 4 0 517489648 615383040 95137 33554432000 4194304 4650419 140736806709824 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 150240 95137 395 112 0 145205 0
[pid=21260/tid=21261] ppid=21258 vsize=600960 CPUtime=25.47 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 44130 0 0 0 2536 11 0 0 25 0 4 0 517489649 615383040 95137 33554432000 4194304 4650419 140736806709824 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=600960 CPUtime=25.35 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 41823 0 0 0 2525 10 0 0 25 0 4 0 517489649 615383040 95137 33554432000 4194304 4650419 140736806709824 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=600960 CPUtime=25.48 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 37043 0 0 0 2542 6 0 0 25 0 4 0 517489649 615383040 95137 33554432000 4194304 4650419 140736806709824 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 600960

[startup+51.1011 s]
/proc/loadavg: 6.24 5.22 6.34 9/184 21274
/proc/meminfo: memFree=24317036/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=780540 CPUtime=204.07 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 258334 0 0 0 20350 57 0 0 25 0 4 0 517489648 799272960 122876 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 195135 122876 395 112 0 190100 0
[pid=21260/tid=21261] ppid=21258 vsize=780540 CPUtime=51.06 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 56963 0 0 0 5092 14 0 0 25 0 4 0 517489649 799272960 122876 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=780540 CPUtime=50.82 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 58787 0 0 0 5068 14 0 0 25 0 4 0 517489649 799272960 122876 33554432000 4194304 4650419 140736806709824 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=780540 CPUtime=51.08 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 50985 0 0 0 5097 11 0 0 25 0 4 0 517489649 799272960 122876 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 780540

[startup+102.301 s]
/proc/loadavg: 7.35 5.70 6.44 9/184 21276
/proc/meminfo: memFree=24113148/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=795660 CPUtime=408.59 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 475723 0 0 0 40758 101 0 0 25 0 4 0 517489648 814755840 138215 33554432000 4194304 4650419 140736806709824 18446744073709551615 4443768 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 198915 138215 395 112 0 193880 0
[pid=21260/tid=21261] ppid=21258 vsize=795660 CPUtime=102.26 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 81767 0 0 0 10203 23 0 0 25 0 4 0 517489649 814755840 138215 33554432000 4194304 4650419 140736806709824 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=795660 CPUtime=101.74 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 89747 0 0 0 10150 24 0 0 25 0 4 0 517489649 814755840 138215 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=795660 CPUtime=102.28 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 70891 0 0 0 10210 18 0 0 25 0 4 0 517489649 814755840 138215 33554432000 4194304 4650419 140736806709824 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 795660

[startup+162.3 s]

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

[pid=21260] ppid=21258 vsize=1217588 CPUtime=2565.67 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 2844940 0 0 0 255975 592 0 0 25 0 4 0 517489648 1246810112 226763 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 304397 226763 395 112 0 299362 0
[pid=21260/tid=21261] ppid=21258 vsize=1217588 CPUtime=642.2 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 972652 0 0 0 64043 177 0 0 25 0 4 0 517489649 1246810112 226763 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1217588 CPUtime=638.89 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 601947 0 0 0 63750 139 0 0 25 0 4 0 517489649 1246810112 226763 33554432000 4194304 4650419 140736806709824 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1217588 CPUtime=642.26 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 265089 0 0 0 64132 94 0 0 25 0 4 0 517489649 1246810112 226763 33554432000 4194304 4650419 140736806709824 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 1217588

[startup+702.301 s]
/proc/loadavg: 8.18 7.77 7.21 9/184 21292
/proc/meminfo: memFree=23226372/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1219544 CPUtime=2805.35 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 2964248 0 0 0 279905 630 0 0 25 0 4 0 517489648 1248813056 228574 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 304886 228574 395 112 0 299851 0
[pid=21260/tid=21261] ppid=21258 vsize=1219544 CPUtime=702.19 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1003106 0 0 0 70032 187 0 0 25 0 4 0 517489649 1248813056 228575 33554432000 4194304 4650419 140736806709824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1219544 CPUtime=698.59 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 636265 0 0 0 69709 150 0 0 25 0 4 0 517489649 1248813056 228575 33554432000 4194304 4650419 140736806709824 18446744073709551615 4331032 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1219544 CPUtime=702.26 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 298083 0 0 0 70120 106 0 0 25 0 4 0 517489649 1248813056 228575 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 1219544

[startup+762.3 s]
/proc/loadavg: 8.18 7.84 7.27 9/184 21293
/proc/meminfo: memFree=23273204/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1221368 CPUtime=3045.02 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 3087926 0 0 0 303834 668 0 0 25 0 4 0 517489648 1250680832 226642 33554432000 4194304 4650419 140736806709824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 305342 226642 395 112 0 300307 0
[pid=21260/tid=21261] ppid=21258 vsize=1221368 CPUtime=762.19 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1033242 0 0 0 76022 197 0 0 25 0 4 0 517489649 1250680832 226642 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1221368 CPUtime=758.28 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 670052 0 0 0 75668 160 0 0 25 0 4 0 517489649 1250680832 226642 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1221368 CPUtime=762.25 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 327440 0 0 0 76110 115 0 0 25 0 4 0 517489649 1250680832 226642 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1221368

[startup+822.301 s]
/proc/loadavg: 8.19 7.90 7.32 9/184 21295
/proc/meminfo: memFree=23172976/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1288088 CPUtime=3284.72 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 3309972 0 0 0 327749 723 0 0 25 0 4 0 517489648 1319002112 251916 33554432000 4194304 4650419 140736806709824 18446744073709551615 4367287 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 322022 251916 395 112 0 316987 0
[pid=21260/tid=21261] ppid=21258 vsize=1288088 CPUtime=822.18 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1054852 0 0 0 82012 206 0 0 25 0 4 0 517489649 1319002112 251916 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1288088 CPUtime=817.98 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 813167 0 0 0 81616 182 0 0 25 0 4 0 517489649 1319002112 251916 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1288088 CPUtime=822.25 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 358134 0 0 0 82096 129 0 0 25 0 4 0 517489649 1319002112 251916 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 1288088

[startup+882.301 s]
/proc/loadavg: 8.16 7.95 7.37 9/184 21297
/proc/meminfo: memFree=23194640/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1182648 CPUtime=3524.4 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 3532448 0 0 0 351666 774 0 0 25 0 4 0 517489648 1211031552 235259 33554432000 4194304 4650419 140736806709824 18446744073709551615 4333862 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 295662 235259 395 112 0 290627 0
[pid=21260/tid=21261] ppid=21258 vsize=1182648 CPUtime=882.17 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1062090 0 0 0 88008 209 0 0 25 0 4 0 517489649 1211031552 235259 33554432000 4194304 4650419 140736806709824 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1182648 CPUtime=877.67 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 976506 0 0 0 87563 204 0 0 25 0 4 0 517489649 1211031552 235259 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1182648 CPUtime=882.25 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 386369 0 0 0 88081 144 0 0 25 0 4 0 517489649 1211031552 235259 33554432000 4194304 4650419 140736806709824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 1182648

[startup+942.3 s]
/proc/loadavg: 8.11 7.97 7.41 9/184 21298
/proc/meminfo: memFree=23014924/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1350856 CPUtime=3764.09 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 3781893 0 0 0 375579 830 0 0 25 0 4 0 517489648 1383276544 262037 33554432000 4194304 4650419 140736806709824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 337714 262037 395 112 0 332679 0
[pid=21260/tid=21261] ppid=21258 vsize=1350856 CPUtime=942.17 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1087518 0 0 0 93996 221 0 0 25 0 4 0 517489649 1383276544 262037 33554432000 4194304 4650419 140736806709824 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1350856 CPUtime=937.37 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1140811 0 0 0 93510 227 0 0 25 0 4 0 517489649 1383276544 262037 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1350856 CPUtime=942.25 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 419941 0 0 0 94070 155 0 0 25 0 4 0 517489649 1383276544 262037 33554432000 4194304 4650419 140736806709824 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 1350856

[startup+1002.3 s]
/proc/loadavg: 8.13 8.00 7.46 9/184 21300
/proc/meminfo: memFree=22934540/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1351488 CPUtime=4003.77 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 4018857 0 0 0 399496 881 0 0 25 0 4 0 517489648 1383923712 271170 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 337872 271170 413 112 0 332837 0
[pid=21260/tid=21261] ppid=21258 vsize=1351488 CPUtime=1002.16 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1108331 0 0 0 99984 232 0 0 25 0 4 0 517489649 1383923712 271170 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1351488 CPUtime=997.06 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1329455 0 0 0 99452 254 0 0 25 0 4 0 517489649 1383923712 271170 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1351488 CPUtime=1002.25 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 419959 0 0 0 100069 156 0 0 25 0 4 0 517489649 1383923712 271170 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 1351488

[startup+1062.3 s]
/proc/loadavg: 8.13 8.03 7.50 9/184 21301
/proc/meminfo: memFree=22997492/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1430884 CPUtime=4243.46 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 4137047 0 0 0 423432 914 0 0 25 0 4 0 517489648 1465225216 265453 33554432000 4194304 4650419 140736806709824 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 357721 265453 395 112 0 352686 0
[pid=21260/tid=21261] ppid=21258 vsize=1430884 CPUtime=1062.16 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1130062 0 0 0 105975 241 0 0 25 0 4 0 517489649 1465225216 265453 33554432000 4194304 4650419 140736806709824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1430884 CPUtime=1056.74 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1401012 0 0 0 105406 268 0 0 25 0 4 0 517489649 1465225216 265453 33554432000 4194304 4650419 140736806709824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1430884 CPUtime=1062.26 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 420171 0 0 0 106070 156 0 0 25 0 4 0 517489649 1465225216 265453 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 1430884

[startup+1122.3 s]
/proc/loadavg: 8.13 8.05 7.54 9/184 21303
/proc/meminfo: memFree=22717108/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1575828 CPUtime=4483.11 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 4550924 0 0 0 447326 985 0 0 25 0 4 0 517489648 1613647872 318443 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 393957 318443 395 112 0 388922 0
[pid=21260/tid=21261] ppid=21258 vsize=1575828 CPUtime=1122.15 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1300278 0 0 0 111949 266 0 0 25 0 4 0 517489649 1613647872 318443 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1575828 CPUtime=1116.41 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1427224 0 0 0 111358 283 0 0 25 0 4 0 517489649 1613647872 318443 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1575828 CPUtime=1122.25 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 420171 0 0 0 112069 156 0 0 25 0 4 0 517489649 1613647872 318443 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 1575828

[startup+1182.31 s]
/proc/loadavg: 8.12 8.07 7.57 9/184 21305
/proc/meminfo: memFree=22808716/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1521896 CPUtime=4722.8 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 5025314 0 0 0 471219 1061 0 0 25 0 4 0 517489648 1558421504 315602 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 380474 315618 395 112 0 375439 0
[pid=21260/tid=21261] ppid=21258 vsize=1521896 CPUtime=1182.15 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1502806 0 0 0 117920 295 0 0 25 0 4 0 517489649 1558421504 315626 33554432000 4194304 4650419 140736806709824 18446744073709551615 4441467 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1521896 CPUtime=1176.09 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1452378 0 0 0 117312 297 0 0 25 0 4 0 517489649 1558421504 315634 33554432000 4194304 4650419 140736806709824 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1521896 CPUtime=1182.26 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 420171 0 0 0 118070 156 0 0 25 0 4 0 517489649 1558421504 315643 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 1521896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.16 8.08 7.59 9/184 21305
/proc/meminfo: memFree=22771132/32951124 swapFree=67051468/67111528
[pid=21260] ppid=21258 vsize=1576236 CPUtime=4800.3 cores=0,2,4,6
/proc/21260/stat : 21260 (strangenight1-m) R 21258 21260 20329 0 -1 4202496 5180000 0 0 0 478944 1086 0 0 25 0 4 0 517489648 1614065664 323659 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21260/statm: 394059 323659 395 112 0 389024 0
[pid=21260/tid=21261] ppid=21258 vsize=1576236 CPUtime=1201.55 cores=0,2,4,6
/proc/21260/task/21261/stat : 21261 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1568333 0 0 0 119852 303 0 0 25 0 4 0 517489649 1614065664 323659 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21260/tid=21262] ppid=21258 vsize=1576236 CPUtime=1195.38 cores=0,2,4,6
/proc/21260/task/21262/stat : 21262 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 1460263 0 0 0 119236 302 0 0 25 0 4 0 517489649 1614065664 323659 33554432000 4194304 4650419 140736806709824 18446744073709551615 4310774 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1576236 CPUtime=1201.66 cores=0,2,4,6
/proc/21260/task/21263/stat : 21263 (strangenight1-m) R 21258 21260 20329 0 -1 4202560 420171 0 0 0 120010 156 0 0 25 0 4 0 517489649 1614065664 323659 33554432000 4194304 4650419 140736806709824 18446744073709551615 4476474 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1576236

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.77
CPU time (s): 4800.38
CPU user time (s): 4789.46
CPU system time (s): 10.9223
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 1641188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.46
system time used= 10.9223
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5180001
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= 1763
involuntary context switches= 23976

runsolver used 1.9647 second user time and 4.36334 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 08:34:29
IDJOB=3174953
IDBENCH=82571
IDSOLVER=1588
FILE ID=node101/3174953-1304058869
RUNJOBID= node101-1304058869-21246
PBS_JOBID= 13170419
Free space on /tmp= 72024 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174953-1304058869/watcher-3174953-1304058869 -o /tmp/evaluation-result-3174953-1304058869/solver-3174953-1304058869 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174953-1304058869.cnf

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

MD5SUM BENCH= 951fe016d765ee9b2e2038c7330879da
RANDOM SEED=670854633

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.83
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.841
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.841
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:      25396208 kB
Buffers:       2015552 kB
Cached:        5059092 kB
SwapCached:      30452 kB
Active:        2931736 kB
Inactive:      4180152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25396208 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            8208 kB
Writeback:           0 kB
AnonPages:       28512 kB
Mapped:           8600 kB
Slab:           379476 kB
PageTables:       4776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190884 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= 72008 MiB
End job on node101 at 2011-04-29 08:54:33