Trace number 3366320

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-2-mt (fixed)? (TO) 4800.3 1203.15

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf
MD5SUMc557851ca2e09c43aa7c0a50184336eb
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 variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366320-1305401680.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     22  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     310 undec:      66 neg:     324
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       678      2960         0         0      9014         0   no data   no data
0.37/0.10	c Decided on static restart strategy
0.37/0.18	c  N st     8      4917       678      2960         0      4866      9014    150988   no data   no data
1.57/0.47	c  N st    10     11300       678      2960         0      4514      9014     98260   no data   no data
2.77/0.79	c  N st    11     17044       678      2960         0     10184      9014    283964   no data   no data
4.76/1.26	c  F st    12     25000       678      2960         0     12471      9014    336302   no data   no data
4.76/1.26	c  N st    12     25000       678      2960         0     12471      9014    336302   no data   no data
5.95/1.54	c Decided on static restart strategy
5.95/1.54	c  N st    18     30003       678      2960         0     10720      9014    243060   no data   no data
5.95/1.54	c  S st    18     30003       678      2960         0     10720      9014    243060   no data   no data
5.95/1.57	c  S st    18     30507       678      2960         0     11224      9014    256854   no data   no data
5.95/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.95/1.58	c blocked clauses removed:       16 vars:      2 tried:         678 T: 0.00 s
5.95/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
5.95/1.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.95/1.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.95/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.64	c lits-rem:       123  cl-subs:      309  v-elim:      0  v-fix:    0  time:  0.05 s
6.36/1.64	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
6.36/1.65	c calculated reachability. Time: 0.00
6.36/1.65	c  N st    18     30507       676      2944         0     10915      8966    246280   no data   no data
7.96/2.10	c  N st    20     37617       676      2944         0     10148      8966    203143   no data   no data
9.94/2.53	c  N st    21     44018       676      2944         0     16428      8966    376225   no data   no data
10.34/2.65	c  S st    22     45761       676      2944         0      9337      8966    162326   no data   no data
10.34/2.68	c  S st    22     46263       676      2944         0      9838      8966    176509   no data   no data
10.34/2.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.34/2.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.34/2.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.34/2.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
10.34/2.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.34/2.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.34/2.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.70	c lits-rem:        37  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.01 s
10.75/2.70	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
10.75/2.71	c vivif2 --  cl tried     9782 cl shrink        0 lits rem          0 time: 0.00
10.75/2.71	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
10.75/2.71	c calculated reachability. Time: 0.00
10.75/2.71	c  N st    22     46263       676      2944         0      9782      8966    174568   no data   no data
14.74/3.73	c  N st    23     60661       676      2944         0     14170      8966    296475   no data   no data
17.15/4.38	c  N st    24     69396       676      2944         0     11994      8966    216772   no data   no data
17.15/4.38	c  S st    24     69396       676      2944         0     11994      8966    216772   no data   no data
17.57/4.41	c  S st    24     69897       676      2944         0     12495      8966    230386   no data   no data
17.57/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.57/4.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.57/4.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.57/4.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.57/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
17.57/4.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.57/4.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.57/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.45	c lits-rem:        36  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.02 s
17.57/4.45	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
17.57/4.45	c vivif2 --  cl tried    12431 cl shrink        0 lits rem          0 time: 0.00
17.57/4.46	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
17.57/4.46	c calculated reachability. Time: 0.00
17.57/4.46	c  N st    24     69897       676      2944         0     12431      8966    227982   no data   no data
23.51/5.90	c  F st    25     87500       676      2944         0     17961      8966    404462   no data   no data
23.51/5.90	c  N st    25     87500       676      2944         0     17961      8966    404462   no data   no data
25.11/6.32	c Decided on static restart strategy
25.92/6.60	c  N st    32     95540       676      2944         0     13063      8966    208880   no data   no data
29.10/7.31	c  N st    34    104845       676      2944         0     22212      8966    487782   no data   no data
29.10/7.31	c  S st    34    104845       676      2944         0     22212      8966    487782   no data   no data
29.10/7.36	c  S st    34    105350       676      2944         0     22717      8966    501733   no data   no data
29.10/7.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.10/7.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.10/7.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.10/7.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.10/7.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.10/7.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
29.10/7.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.10/7.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.10/7.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.90/7.56	c lits-rem:       106  cl-subs:      573  v-elim:      0  v-fix:    0  time:  0.17 s
29.90/7.56	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
29.90/7.57	c vivif2 --  cl tried    22144 cl shrink        0 lits rem          0 time: 0.00
29.90/7.58	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
29.90/7.58	c calculated reachability. Time: 0.00
29.90/7.58	c  N st    34    105350       676      2944         0     22144      8966    481434   no data   no data
33.49/8.42	c  N st    35    114949       676      2944         0     17813      8966    334756   no data   no data
39.10/9.88	c  N st    36    129346       676      2944         0     17211      8966    296259   no data   no data
47.05/11.87	c  N st    37    150941       676      2944         0     22710      8966    436295   no data   no data
50.25/12.62	c  S st    38    158026       676      2944         0     29654      8966    652672   no data   no data
50.65/12.70	c  S st    38    158529       676      2944         0     30156      8966    665770   no data   no data
50.65/12.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.65/12.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.65/12.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.65/12.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.65/12.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.65/12.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
50.65/12.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.65/12.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.65/12.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.68/13.22	c lits-rem:       180  cl-subs:     1159  v-elim:      0  v-fix:    0  time:  0.48 s
52.68/13.22	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
52.68/13.23	c vivif2 --  cl tried    28997 cl shrink        0 lits rem          0 time: 0.01
52.68/13.25	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.02
52.68/13.25	c calculated reachability. Time: 0.00
52.68/13.25	c  N st    38    158529       676      2944         0     28997      8966    626953   no data   no data
74.62/18.78	c  N st    39    207117       676      2944         0     23736      8966    434317   no data   no data
89.74/22.52	c  N st    40    237794       676      2944         0     34249      8966    756778   no data   no data
89.74/22.52	c  S st    40    237794       676      2944         0     34249      8966    756778   no data   no data
90.14/22.61	c  S st    40    238296       676      2944         0     34751      8966    771610   no data   no data
90.14/22.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.14/22.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
90.14/22.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.14/22.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.14/22.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.14/22.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
90.14/22.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
90.14/22.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.14/22.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.93/23.35	c lits-rem:       224  cl-subs:     1102  v-elim:      0  v-fix:    0  time:  0.69 s
92.93/23.35	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
92.93/23.36	c vivif2 --  cl tried    33649 cl shrink        0 lits rem          0 time: 0.01
92.93/23.39	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.03
92.93/23.39	c calculated reachability. Time: 0.00
92.93/23.39	c  N st    40    238296       676      2944         0     33649      8966    731636   no data   no data
126.87/31.85	c  F st    41    306253       676      2944         0     35531      8966    722787   no data   no data
126.87/31.85	c  N st    41    306253       676      2944         0     35531      8966    722787   no data   no data
130.04/32.63	c Decided on static restart strategy
142.80/35.80	c  N st    51    334556       676      2944         0     39808      8966    803213   no data   no data
155.58/39.04	c  N st    53    357446       676      2944         0     37743      8966    706168   no data   no data
155.58/39.04	c  S st    53    357446       676      2944         0     37743      8966    706168   no data   no data
155.98/39.14	c  S st    53    357948       676      2944         0     38245      8966    719806   no data   no data
155.98/39.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.98/39.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
155.98/39.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.98/39.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.98/39.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.98/39.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
155.98/39.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
155.98/39.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
155.98/39.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
157.59/39.60	c lits-rem:       152  cl-subs:     1015  v-elim:      0  v-fix:    0  time:  0.41 s
157.59/39.60	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
157.59/39.61	c vivif2 --  cl tried    37230 cl shrink        0 lits rem          0 time: 0.01
158.01/39.64	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.03
158.01/39.64	c calculated reachability. Time: 0.00
158.01/39.64	c  N st    53    357948       676      2944         0     37230      8966    687401   no data   no data
177.12/44.46	c  N st    54    390340       676      2944         0     43494      8966    880035   no data   no data
205.05/51.43	c  N st    55    438928       676      2944         0     37155      8966    649275   no data   no data
249.34/62.57	c  N st    56    511810       676      2944         0     50759      8966   1053907   no data   no data
265.69/66.69	c  N st    57    536923       676      2944         0     44930      8966    792210   no data   no data
265.69/66.69	c  S st    57    536923       676      2944         0     44930      8966    792210   no data   no data
266.49/66.81	c  S st    57    537432       676      2944         0     45439      8966    806321   no data   no data
266.49/66.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
266.49/66.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
266.49/66.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
266.49/66.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.49/66.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.49/66.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
266.49/66.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
266.49/66.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
266.49/66.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.28/67.54	c lits-rem:       280  cl-subs:     1375  v-elim:      0  v-fix:    0  time:  0.68 s
269.28/67.54	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
269.28/67.55	c vivif2 --  cl tried    44064 cl shrink        0 lits rem          0 time: 0.01
269.28/67.59	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.04
269.28/67.59	c calculated reachability. Time: 0.00
269.28/67.59	c  N st    57    537432       676      2944         0     44064      8966    768096   no data   no data
392.58/98.48	c  N st    58    701416       676      2944         0     38229      8966    511980   no data   no data
474.36/118.99	c  N st    59    806149       676      2944         0     67343      8966   1376967   no data   no data
474.36/118.99	c  S st    59    806149       676      2944         0     67343      8966   1376967   no data   no data
475.16/119.19	c  S st    59    806656       676      2944         0     67849      8966   1391774   no data   no data
475.16/119.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
475.56/119.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
475.56/119.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
475.56/119.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
475.56/119.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
475.56/119.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
475.56/119.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
475.56/119.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
475.56/119.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
489.93/122.81	c lits-rem:       671  cl-subs:     2876  v-elim:      0  v-fix:    0  time:  3.53 s
489.93/122.81	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
489.93/122.83	c vivif2 --  cl tried    64973 cl shrink        0 lits rem          0 time: 0.02
490.33/122.90	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.07
490.33/122.90	c calculated reachability. Time: 0.00
490.33/122.90	c  N st    59    806656       676      2944         0     64973      8966   1302228   no data   no data
715.75/179.41	c  F st    60   1071877       676      2944         0     80907      8966   1788862   no data   no data
715.75/179.41	c  N st    60   1071877       676      2944         0     80907      8966   1788862   no data   no data
721.75/180.98	c Decided on static restart strategy
739.70/185.46	c  N st    70   1100183       676      2944         0     64632      8966   1132256   no data   no data
773.61/193.97	c  N st    72   1136183       676      2944         0     54785      8966    809913   no data   no data
803.53/201.42	c  N st    73   1168577       676      2944         0     86708      8966   1854074   no data   no data
839.44/210.49	c  N st    74   1209987       676      2944         0     81289      8966   1688203   no data   no data
839.44/210.49	c  S st    74   1209987       676      2944         0     81289      8966   1688203   no data   no data
840.64/210.74	c  S st    74   1210490       676      2944         0     81790      8966   1702084   no data   no data
840.64/210.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
840.64/210.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
840.64/210.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
840.64/210.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
840.64/210.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
840.64/210.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
840.64/210.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
841.04/210.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
841.04/210.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
861.38/215.95	c lits-rem:       597  cl-subs:     2042  v-elim:      0  v-fix:    0  time:  5.09 s
861.38/215.95	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
861.38/215.98	c vivif2 --  cl tried    79748 cl shrink        0 lits rem          0 time: 0.03
861.78/216.09	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.11
861.78/216.09	c calculated reachability. Time: 0.00
861.78/216.09	c  N st    74   1210490       676      2944         0     79748      8966   1629005   no data   no data
938.81/235.31	c  N st    75   1283373       676      2944         0     55892      8966    747752   no data   no data
1040.93/260.97	c  N st    76   1392697       676      2944         0     63942      8966    972817   no data   no data
1200.53/300.93	c  N st    77   1556681       676      2944         0     68585      8966   1049618   no data   no data
1363.71/341.84	c  N st    78   1710490       676      2944         0    110495      8966   2350460   no data   no data
1363.71/341.84	c  S st    78   1710490       676      2944         0    110495      8966   2350460   no data   no data
1364.96/342.19	c  S st    78   1710995       676      2944         0    111000      8966   2364376   no data   no data
1365.31/342.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1365.31/342.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1365.31/342.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1365.31/342.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1365.31/342.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1365.31/342.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
1365.31/342.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1365.31/342.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1365.71/342.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1444.70/362.16	c lits-rem:      1491  cl-subs:     8052  v-elim:      0  v-fix:    0  time: 19.80 s
1444.70/362.16	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
1444.70/362.19	c vivif2 --  cl tried   102948 cl shrink        0 lits rem          0 time: 0.03
1445.50/362.30	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.11
1445.50/362.31	c calculated reachability. Time: 0.00
1445.50/362.31	c  N st    78   1710995       676      2944         0    102948      8966   2120200   no data   no data
1897.16/475.50	c  N st    79   2079960       676      2944         0    115108      8966   2486862   no data   no data
2059.95/516.32	c  N st    80   2210995       676      2944         0    119147      8966   2558087   no data   no data
2059.95/516.32	c  S st    80   2210995       676      2944         0    119147      8966   2558087   no data   no data
2061.56/516.73	c  S st    80   2211502       676      2944         0    119651      8966   2572932   no data   no data
2061.56/516.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2061.96/516.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2061.96/516.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2061.96/516.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2061.96/516.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2061.96/516.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
2061.96/516.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2061.96/516.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2062.38/516.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2127.39/533.20	c lits-rem:       858  cl-subs:     5400  v-elim:      0  v-fix:    0  time: 16.28 s
2127.39/533.20	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
2127.39/533.23	c vivif2 --  cl tried   114251 cl shrink        0 lits rem          0 time: 0.03
2127.79/533.36	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.13
2127.79/533.37	c calculated reachability. Time: 0.00
2127.79/533.37	c  N st    80   2211502       676      2944         0    114251      8966   2399322   no data   no data
2795.74/700.74	c  N st    81   2711502       676      2944         0    137733      8966   3009630   no data   no data
2795.74/700.74	c  S st    81   2711502       676      2944         0    137733      8966   3009630   no data   no data
2797.69/701.21	c  S st    81   2712002       676      2944         0    138233      8966   3024248   no data   no data
2797.69/701.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2797.69/701.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2797.69/701.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2797.69/701.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2797.69/701.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2797.69/701.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
2797.69/701.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2798.09/701.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2798.49/701.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2904.23/727.94	c lits-rem:      1127  cl-subs:     7919  v-elim:      0  v-fix:    0  time: 26.52 s
2904.23/727.94	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
2904.23/727.98	c vivif2 --  cl tried   130314 cl shrink        0 lits rem          0 time: 0.04
2905.05/728.13	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.15
2905.05/728.14	c calculated reachability. Time: 0.00
2905.05/728.14	c  N st    81   2712002       676      2944         0    130314      8966   2774007   no data   no data
3612.08/905.31	c  N st    82   3212002       676      2944         0    105872      8966   1787908   no data   no data
3612.08/905.31	c  S st    82   3212002       676      2944         0    105872      8966   1787908   no data   no data
3613.63/905.75	c  S st    82   3212504       676      2944         0    106374      8966   1802907   no data   no data
3613.63/905.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3614.03/905.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3614.03/905.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3614.03/905.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3614.03/905.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3614.03/905.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
3614.03/905.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3614.03/905.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3614.43/905.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3648.73/914.53	c lits-rem:       461  cl-subs:     3450  v-elim:      0  v-fix:    0  time:  8.60 s
3648.73/914.53	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
3648.73/914.55	c vivif2 --  cl tried   102924 cl shrink        0 lits rem          0 time: 0.03
3649.53/914.70	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.14
3649.53/914.70	c calculated reachability. Time: 0.00
3649.53/914.70	c  N st    82   3212504       676      2944         0    102924      8966   1693237   no data   no data
4435.15/1111.62	c  N st    83   3712504       676      2944         0    113622      8966   1902251   no data   no data
4435.15/1111.62	c  S st    83   3712504       676      2944         0    113622      8966   1902251   no data   no data
4437.53/1112.23	c  S st    83   3713008       676      2944         0    114126      8966   1917009   no data   no data
4437.53/1112.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4437.93/1112.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.09
4437.93/1112.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4437.93/1112.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4437.93/1112.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4437.93/1112.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
4437.93/1112.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4437.93/1112.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4438.33/1112.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.97/1127.66	c lits-rem:       784  cl-subs:     4098  v-elim:      0  v-fix:    0  time: 15.21 s
4498.97/1127.66	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
4498.97/1127.69	c vivif2 --  cl tried   110028 cl shrink        0 lits rem          0 time: 0.04
4499.77/1127.89	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.20
4499.77/1127.89	c calculated reachability. Time: 0.00
4499.77/1127.89	c  N st    83   3713008       676      2944         0    110028      8966   1785321   no data   no data
4570.79/1145.64	c  F st    84   3751563       676      2944         0    147927      8966   2969971   no data   no data
4570.79/1145.64	c  N st    84   3751563       676      2944         0    147927      8966   2969971   no data   no data
4583.55/1148.80	c Decided on static restart strategy
4620.66/1158.12	c  N st    94   3779864       676      2944         0     92558      8966   1141633   no data   no data
4672.94/1171.27	c  N st    96   3815857       676      2944         0    127794      8966   2198431   no data   no data
4730.39/1185.67	c  N st    97   3848250       676      2944         0    159519      8966   3179046   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366320-1305401680/watcher-3366320-1305401680 -o /tmp/evaluation-result-3366320-1305401680/solver-3366320-1305401680 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366320-1305401680.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: 8.08 8.11 8.02 7/311 13731
/proc/meminfo: memFree=11894812/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 651766770 52396032 352 33554432000 4194304 4580107 140737486721184 18446744073709551615 235594866619 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 12792 352 302 95 0 7774 0
[pid=13731/tid=13732] ppid=13729 vsize=282104 CPUtime=0 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 115 0 0 0 0 0 0 0 25 0 4 0 651766771 288874496 890 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=282104 CPUtime=0 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 110 0 0 0 0 0 0 0 25 0 4 0 651766771 288874496 890 33554432000 4194304 4580107 140737486721184 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=282104 CPUtime=0 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 177 0 0 0 0 0 0 0 25 0 4 0 651766771 288874496 890 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.022933 s]
/proc/loadavg: 8.08 8.11 8.02 7/311 13731
/proc/meminfo: memFree=11894812/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=282416 CPUtime=0.06 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 1454 0 0 0 6 0 0 0 25 0 4 0 651766770 289193984 1349 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 70604 1349 376 95 0 65586 0
[pid=13731/tid=13732] ppid=13729 vsize=282416 CPUtime=0.01 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 291 0 0 0 1 0 0 0 25 0 4 0 651766771 289193984 1349 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=282416 CPUtime=0.01 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 256 0 0 0 1 0 0 0 25 0 4 0 651766771 289193984 1349 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=282416 CPUtime=0.01 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 194 0 0 0 1 0 0 0 25 0 4 0 651766771 289193984 1350 33554432000 4194304 4580107 140737486721184 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 282416

[startup+0.100919 s]
/proc/loadavg: 8.08 8.11 8.02 7/311 13731
/proc/meminfo: memFree=11894812/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=282416 CPUtime=0.37 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 1882 0 0 0 37 0 0 0 25 0 4 0 651766770 289193984 1777 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 70604 1778 377 95 0 65586 0
[pid=13731/tid=13732] ppid=13729 vsize=282416 CPUtime=0.09 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 408 0 0 0 9 0 0 0 25 0 4 0 651766771 289193984 1778 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=282416 CPUtime=0.08 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 364 0 0 0 8 0 0 0 25 0 4 0 651766771 289193984 1778 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=282416 CPUtime=0.09 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 285 0 0 0 9 0 0 0 25 0 4 0 651766771 289193984 1778 33554432000 4194304 4580107 140737486721184 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282416

[startup+0.300885 s]
/proc/loadavg: 8.08 8.11 8.02 7/311 13731
/proc/meminfo: memFree=11894812/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=284116 CPUtime=1.17 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 3042 0 0 0 117 0 0 0 25 0 4 0 651766770 290934784 2225 33554432000 4194304 4580107 140737486721184 18446744073709551615 4320872 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 71029 2225 377 95 0 66011 0
[pid=13731/tid=13732] ppid=13729 vsize=284116 CPUtime=0.29 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 706 0 0 0 29 0 0 0 25 0 4 0 651766771 290934784 2225 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=284116 CPUtime=0.28 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 648 0 0 0 28 0 0 0 25 0 4 0 651766771 290934784 2226 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=284116 CPUtime=0.29 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 651766771 290934784 2226 33554432000 4194304 4580107 140737486721184 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284116

[startup+0.700815 s]
/proc/loadavg: 8.08 8.11 8.02 7/311 13731
/proc/meminfo: memFree=11894812/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=285208 CPUtime=2.77 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 4804 0 0 0 276 1 0 0 25 0 4 0 651766770 292052992 2904 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 71302 2904 377 95 0 66284 0
[pid=13731/tid=13732] ppid=13729 vsize=285208 CPUtime=0.69 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 1164 0 0 0 69 0 0 0 25 0 4 0 651766771 292052992 2904 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=285208 CPUtime=0.68 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 1076 0 0 0 68 0 0 0 25 0 4 0 651766771 292052992 2905 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=285208 CPUtime=0.69 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 988 0 0 0 69 0 0 0 25 0 4 0 651766771 292052992 2905 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285208

[startup+1.50067 s]
/proc/loadavg: 8.08 8.11 8.02 10/315 13735
/proc/meminfo: memFree=11878840/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=286940 CPUtime=5.95 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 8360 0 0 0 594 1 0 0 25 0 4 0 651766770 293826560 3458 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 71735 3458 378 95 0 66717 0
[pid=13731/tid=13732] ppid=13729 vsize=286940 CPUtime=1.49 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 2084 0 0 0 149 0 0 0 25 0 4 0 651766771 293826560 3458 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=286940 CPUtime=1.47 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 1937 0 0 0 147 0 0 0 25 0 4 0 651766771 293826560 3458 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=286940 CPUtime=1.48 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 1887 0 0 0 148 0 0 0 25 0 4 0 651766771 293826560 3458 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286940

[startup+3.1004 s]
/proc/loadavg: 8.08 8.11 8.02 10/315 13735
/proc/meminfo: memFree=11888260/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=280556 CPUtime=12.35 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 18080 0 0 0 1232 3 0 0 25 0 4 0 651766770 287289344 10314 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 70139 10314 379 95 0 65121 0
[pid=13731/tid=13732] ppid=13729 vsize=280556 CPUtime=3.09 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 3965 0 0 0 309 0 0 0 25 0 4 0 651766771 287289344 10314 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=280556 CPUtime=3.05 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 4992 0 0 0 305 0 0 0 25 0 4 0 651766771 287289344 10314 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=280556 CPUtime=3.08 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 3852 0 0 0 308 0 0 0 25 0 4 0 651766771 287289344 10314 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 280556

[startup+6.30083 s]
/proc/loadavg: 8.08 8.11 8.02 9/315 13735
/proc/meminfo: memFree=11852420/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=291808 CPUtime=25.11 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 26999 0 0 0 2508 3 0 0 25 0 4 0 651766770 298811392 14797 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 72952 14797 379 95 0 67934 0
[pid=13731/tid=13732] ppid=13729 vsize=291808 CPUtime=6.28 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 7165 0 0 0 628 0 0 0 25 0 4 0 651766771 298811392 14797 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=291808 CPUtime=6.22 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 6995 0 0 0 622 0 0 0 25 0 4 0 651766771 298811392 14797 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=291808 CPUtime=6.28 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 5558 0 0 0 628 0 0 0 25 0 4 0 651766771 298811392 14797 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 291808

[startup+12.7007 s]
/proc/loadavg: 8.07 8.11 8.02 9/315 13735
/proc/meminfo: memFree=11810032/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=301372 CPUtime=50.65 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 42628 0 0 0 5058 7 0 0 25 0 4 0 651766770 308604928 23209 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 75343 23209 379 95 0 70325 0
[pid=13731/tid=13732] ppid=13729 vsize=301372 CPUtime=12.69 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 9823 0 0 0 1268 1 0 0 25 0 4 0 651766771 308604928 23209 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=301372 CPUtime=12.56 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 11577 0 0 0 1254 2 0 0 25 0 4 0 651766771 308604928 23209 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=301372 CPUtime=12.68 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 10076 0 0 0 1267 1 0 0 25 0 4 0 651766771 308604928 23209 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 301372

[startup+25.5005 s]
/proc/loadavg: 8.05 8.10 8.01 10/315 13736
/proc/meminfo: memFree=11777536/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=312464 CPUtime=101.7 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 63992 0 0 0 10160 10 0 0 25 0 4 0 651766770 319963136 30219 33554432000 4194304 4580107 140737486721184 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 78116 30219 379 95 0 73098 0
[pid=13731/tid=13732] ppid=13729 vsize=312464 CPUtime=25.48 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 13241 0 0 0 2546 2 0 0 25 0 4 0 651766771 319963136 30219 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=312464 CPUtime=25.23 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 18848 0 0 0 2520 3 0 0 25 0 4 0 651766771 319963136 30219 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=312464 CPUtime=25.48 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 15982 0 0 0 2546 2 0 0 25 0 4 0 651766771 319963136 30219 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 312464

[startup+51.101 s]
/proc/loadavg: 8.10 8.11 8.02 9/315 13736
/proc/meminfo: memFree=11743408/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=322792 CPUtime=203.85 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 94593 0 0 0 20366 19 0 0 25 0 4 0 651766770 330539008 37427 33554432000 4194304 4580107 140737486721184 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 80698 37427 379 95 0 75680 0
[pid=13731/tid=13732] ppid=13729 vsize=322792 CPUtime=51.08 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 17508 0 0 0 5105 3 0 0 25 0 4 0 651766771 330539008 37427 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=322792 CPUtime=50.57 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 27636 0 0 0 5052 5 0 0 25 0 4 0 651766771 330539008 37427 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=322792 CPUtime=51.08 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 24866 0 0 0 5103 5 0 0 25 0 4 0 651766771 330539008 37427 33554432000 4194304 4580107 140737486721184 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 322792

[startup+102.312 s]
/proc/loadavg: 8.10 8.10 8.02 9/315 13738
/proc/meminfo: memFree=11737428/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=390248 CPUtime=408.18 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 142492 0 0 0 40780 38 0 0 25 0 4 0 651766770 399613952 45424 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 97562 45424 379 95 0 92544 0
[pid=13731/tid=13732] ppid=13729 vsize=390248 CPUtime=102.28 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 26363 0 0 0 10222 6 0 0 25 0 4 0 651766771 399613952 45424 33554432000 4194304 4580107 140737486721184 18446744073709551615 4342266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=390248 CPUtime=101.27 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 37595 0 0 0 10117 10 0 0 25 0 4 0 651766771 399613952 45424 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=390248 CPUtime=102.3 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 41362 0 0 0 10218 12 0 0 25 0 4 0 651766771 399613952 45424 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 390248

[startup+162.3 s]

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

[pid=13731] ppid=13729 vsize=750760 CPUtime=2802.08 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 433002 0 0 0 280063 145 0 0 25 0 4 0 651766770 768778240 130061 33554432000 4194304 4580107 140737486721184 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 187690 130061 379 95 0 182672 0
[pid=13731/tid=13732] ppid=13729 vsize=750760 CPUtime=702.18 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 103433 0 0 0 70184 34 0 0 25 0 4 0 651766771 768778240 130061 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=750760 CPUtime=695.27 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 119468 0 0 0 69487 40 0 0 25 0 4 0 651766771 768778240 130061 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=750760 CPUtime=702.3 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 114559 0 0 0 70192 38 0 0 25 0 4 0 651766771 768778240 130061 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.08
Current children cumulated vsize (KiB) 750760

[startup+762.312 s]
/proc/loadavg: 7.96 8.03 8.01 9/315 13786
/proc/meminfo: memFree=11721888/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=689796 CPUtime=3041.52 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 452203 0 0 0 303999 153 0 0 25 0 4 0 651766770 706351104 122431 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 172449 122431 379 95 0 167431 0
[pid=13731/tid=13732] ppid=13729 vsize=689796 CPUtime=762.18 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 110493 0 0 0 76181 37 0 0 25 0 4 0 651766771 706351104 122431 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=689796 CPUtime=754.69 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 126339 0 0 0 75426 43 0 0 25 0 4 0 651766771 706351104 122431 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=689796 CPUtime=762.31 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 117763 0 0 0 76192 39 0 0 25 0 4 0 651766771 706351104 122431 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.52
Current children cumulated vsize (KiB) 689796

[startup+822.3 s]
/proc/loadavg: 8.14 8.05 8.01 9/315 13788
/proc/meminfo: memFree=11689368/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=637112 CPUtime=3280.88 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 469069 0 0 0 327926 162 0 0 25 0 4 0 651766770 652402688 120856 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 159278 120856 379 95 0 154260 0
[pid=13731/tid=13732] ppid=13729 vsize=637112 CPUtime=822.17 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 115957 0 0 0 82178 39 0 0 25 0 4 0 651766771 652402688 120856 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=637112 CPUtime=814.09 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 131107 0 0 0 81363 46 0 0 25 0 4 0 651766771 652402688 120856 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=637112 CPUtime=822.29 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 121853 0 0 0 82188 41 0 0 25 0 4 0 651766771 652402688 120856 33554432000 4194304 4580107 140737486721184 18446744073709551615 4318683 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.88
Current children cumulated vsize (KiB) 637112

[startup+882.301 s]
/proc/loadavg: 8.12 8.06 8.01 9/315 13790
/proc/meminfo: memFree=11575008/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=768244 CPUtime=3520.27 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 486794 0 0 0 351858 169 0 0 25 0 4 0 651766770 786681856 133286 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 192061 133286 379 95 0 187043 0
[pid=13731/tid=13732] ppid=13729 vsize=768244 CPUtime=882.15 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 123553 0 0 0 88173 42 0 0 25 0 4 0 651766771 786681856 133286 33554432000 4194304 4580107 140737486721184 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=768244 CPUtime=873.48 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 131585 0 0 0 87302 46 0 0 25 0 4 0 651766771 786681856 133286 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=768244 CPUtime=882.3 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 127992 0 0 0 88186 44 0 0 25 0 4 0 651766771 786681856 133286 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.27
Current children cumulated vsize (KiB) 768244

[startup+942.3 s]
/proc/loadavg: 8.17 8.08 8.02 9/315 13791
/proc/meminfo: memFree=11524264/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=821696 CPUtime=3759.66 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 506771 0 0 0 375787 179 0 0 25 0 4 0 651766770 841416704 142880 33554432000 4194304 4580107 140737486721184 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 205424 142880 379 95 0 200406 0
[pid=13731/tid=13732] ppid=13729 vsize=821696 CPUtime=942.15 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 127780 0 0 0 94171 44 0 0 25 0 4 0 651766771 841416704 142880 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=821696 CPUtime=932.87 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 135504 0 0 0 93240 47 0 0 25 0 4 0 651766771 841416704 142880 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=821696 CPUtime=942.29 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 133476 0 0 0 94183 46 0 0 25 0 4 0 651766771 841416704 142880 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.66
Current children cumulated vsize (KiB) 821696

[startup+1002.3 s]
/proc/loadavg: 8.19 8.09 8.02 9/315 13793
/proc/meminfo: memFree=11496576/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=824716 CPUtime=3999.05 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 523251 0 0 0 399719 186 0 0 25 0 4 0 651766770 844509184 140010 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 206179 140010 379 95 0 201161 0
[pid=13731/tid=13732] ppid=13729 vsize=824716 CPUtime=1002.14 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 131866 0 0 0 100168 46 0 0 25 0 4 0 651766771 844509184 140010 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=824716 CPUtime=992.27 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 136795 0 0 0 99179 48 0 0 25 0 4 0 651766771 844509184 140010 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=824716 CPUtime=1002.3 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 141180 0 0 0 100180 50 0 0 25 0 4 0 651766771 844509184 140010 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.05
Current children cumulated vsize (KiB) 824716

[startup+1062.3 s]
/proc/loadavg: 8.18 8.10 8.03 9/315 13794
/proc/meminfo: memFree=11458736/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=890624 CPUtime=4238.44 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 545610 0 0 0 423648 196 0 0 25 0 4 0 651766770 911998976 144654 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 222656 144654 379 95 0 217638 0
[pid=13731/tid=13732] ppid=13729 vsize=890624 CPUtime=1062.13 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 136896 0 0 0 106165 48 0 0 25 0 4 0 651766771 911998976 144654 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=890624 CPUtime=1051.68 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 142063 0 0 0 105118 50 0 0 25 0 4 0 651766771 911998976 144654 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=890624 CPUtime=1062.29 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 148715 0 0 0 106176 53 0 0 25 0 4 0 651766771 911998976 144654 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.44
Current children cumulated vsize (KiB) 890624

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.02 9/315 13796
/proc/meminfo: memFree=11439096/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=811012 CPUtime=4477.82 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 564765 0 0 0 447576 206 0 0 25 0 4 0 651766770 830476288 150601 33554432000 4194304 4580107 140737486721184 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 202753 150601 379 95 0 197735 0
[pid=13731/tid=13732] ppid=13729 vsize=811012 CPUtime=1122.12 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 142296 0 0 0 112163 49 0 0 25 0 4 0 651766771 830476288 150601 33554432000 4194304 4580107 140737486721184 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=811012 CPUtime=1111.06 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 147459 0 0 0 111053 53 0 0 25 0 4 0 651766771 830476288 150601 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=811012 CPUtime=1122.3 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 152918 0 0 0 112173 57 0 0 25 0 4 0 651766771 830476288 150601 33554432000 4194304 4580107 140737486721184 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.82
Current children cumulated vsize (KiB) 811012

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/315 13798
/proc/meminfo: memFree=11362332/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=973472 CPUtime=4717.22 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 581455 0 0 0 471508 214 0 0 25 0 4 0 651766770 996835328 157639 33554432000 4194304 4580107 140737486721184 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 243368 157639 379 95 0 238350 0
[pid=13731/tid=13732] ppid=13729 vsize=973472 CPUtime=1182.12 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 147139 0 0 0 118160 52 0 0 25 0 4 0 651766771 996835328 157639 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=973472 CPUtime=1170.46 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 152673 0 0 0 116991 55 0 0 25 0 4 0 651766771 996835328 157639 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=973472 CPUtime=1182.3 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 154166 0 0 0 118173 57 0 0 25 0 4 0 651766771 996835328 157639 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.22
Current children cumulated vsize (KiB) 973472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.13 8.09 8.02 9/315 13798
/proc/meminfo: memFree=11414148/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=810992 CPUtime=4800.22 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 589572 0 0 0 479804 218 0 0 25 0 4 0 651766770 830455808 152665 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 202748 152665 379 95 0 197730 0
[pid=13731/tid=13732] ppid=13729 vsize=810992 CPUtime=1202.92 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 147238 0 0 0 120240 52 0 0 25 0 4 0 651766771 830455808 152666 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=810992 CPUtime=1191.05 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 155177 0 0 0 119049 56 0 0 25 0 4 0 651766771 830455808 152666 33554432000 4194304 4580107 140737486721184 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=810992 CPUtime=1203.11 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 156833 0 0 0 120252 59 0 0 25 0 4 0 651766771 830455808 152666 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 810992

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

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

[startup+1203.1 s]
/proc/loadavg: 8.13 8.09 8.02 9/315 13798
/proc/meminfo: memFree=11414148/32950928 swapFree=67111348/67111528
[pid=13731] ppid=13729 vsize=810992 CPUtime=4800.22 cores=0,2,4,6
/proc/13731/stat : 13731 (strangenight2-m) R 13729 13731 13350 0 -1 4202496 589572 0 0 0 479804 218 0 0 25 0 4 0 651766770 830455808 152665 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13731/statm: 202748 152665 379 95 0 197730 0
[pid=13731/tid=13732] ppid=13729 vsize=810992 CPUtime=1202.92 cores=0,2,4,6
/proc/13731/task/13732/stat : 13732 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 147238 0 0 0 120240 52 0 0 25 0 4 0 651766771 830455808 152666 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13731/tid=13733] ppid=13729 vsize=810992 CPUtime=1191.05 cores=0,2,4,6
/proc/13731/task/13733/stat : 13733 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 155177 0 0 0 119049 56 0 0 25 0 4 0 651766771 830455808 152666 33554432000 4194304 4580107 140737486721184 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13731/tid=13734] ppid=13729 vsize=810992 CPUtime=1203.11 cores=0,2,4,6
/proc/13731/task/13734/stat : 13734 (strangenight2-m) R 13729 13731 13350 0 -1 4202560 156833 0 0 0 120252 59 0 0 25 0 4 0 651766771 830455808 152666 33554432000 4194304 4580107 140737486721184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 810992

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.15
CPU time (s): 4800.3
CPU user time (s): 4798.09
CPU system time (s): 2.21266
CPU usage (%): 398.979
Max. virtual memory (cumulated for all children) (KiB): 1026656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.09
system time used= 2.21266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589575
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= 679
involuntary context switches= 23372

runsolver used 3.42648 second user time and 8.65968 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-14 21:34:40
IDJOB=3366320
IDBENCH=82729
IDSOLVER=1844
FILE ID=node120/3366320-1305401680
RUNJOBID= node120-1305401168-13664
PBS_JOBID= 13324463
Free space on /tmp= 73504 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366320-1305401680/watcher-3366320-1305401680 -o /tmp/evaluation-result-3366320-1305401680/solver-3366320-1305401680 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366320-1305401680.cnf

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

MD5SUM BENCH= c557851ca2e09c43aa7c0a50184336eb
RANDOM SEED=574900322

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:     32950928 kB
MemFree:      11895092 kB
Buffers:        255564 kB
Cached:        3577116 kB
SwapCached:          0 kB
Active:       17791968 kB
Inactive:      2976552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      11895092 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5440 kB
Writeback:           0 kB
AnonPages:    16935316 kB
Mapped:          25052 kB
Slab:           174520 kB
PageTables:      49644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52062612 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= 73500 MiB
End job on node120 at 2011-05-14 21:54:45