Trace number 3173977

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? (TO) 4800.37 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf
MD5SUM6d54c2a76a59aa67a01046a2e8240fb6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark25.7501
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
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-3173977-1304074864.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1704/1704 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:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     10  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:     177 undec:      45 neg:     178
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       390      1689         0         0      5128         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.38/0.13	c  N st     8      4917       390      1689         0      4789      5128     91278   no data   no data
1.17/0.37	c  N st    10     11301       390      1689         0      4456      5128     63799   no data   no data
2.37/0.60	c  N st    11     17045       390      1689         0     10064      5128    170279   no data   no data
3.58/0.97	c  F st    12     25000       390      1689         0     12306      5128    206033   no data   no data
3.58/0.97	c  N st    12     25000       390      1689         0     12306      5128    206033   no data   no data
4.77/1.21	c Decided on static restart strategy
4.77/1.21	c  N st    18     30002       390      1689         0     10580      5128    161635   no data   no data
4.77/1.21	c  S st    18     30002       390      1689         0     10580      5128    161635   no data   no data
4.77/1.24	c  S st    18     30504       390      1689         0     11078      5128    171263   no data   no data
4.77/1.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.77/1.25	c blocked clauses removed:        0 vars:      0 tried:         390 T: 0.00 s
4.77/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
4.77/1.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.32	c lits-rem:       251  cl-subs:     1078  v-elim:      0  v-fix:    0  time:  0.06 s
5.17/1.32	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.01
5.17/1.32	c calculated reachability. Time: 0.00
5.17/1.32	c  N st    18     30504       390      1689         0     10000      5128    151890   no data   no data
6.77/1.71	c  N st    20     37618       390      1689         0      9291      5128    125856   no data   no data
7.98/2.06	c  N st    21     44017       390      1689         0     15488      5128    243972   no data   no data
8.39/2.18	c  S st    22     45757       390      1689         0     17189      5128    275854   no data   no data
8.79/2.23	c  S st    22     46263       390      1689         0      9020      5128    108916   no data   no data
8.79/2.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
8.79/2.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.25	c lits-rem:        13  cl-subs:      232  v-elim:      0  v-fix:    0  time:  0.01 s
8.79/2.25	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
8.79/2.25	c vivif2 --  cl tried     8788 cl shrink        0 lits rem          0 time: 0.00
8.79/2.26	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.00
8.79/2.26	c calculated reachability. Time: 0.00
8.79/2.26	c  N st    22     46263       390      1689         0      8788      5128    105152   no data   no data
12.37/3.15	c  N st    23     60660       390      1689         0     13071      5128    175039   no data   no data
14.76/3.72	c  N st    24     69395       390      1689         0     10921      5128    126979   no data   no data
14.76/3.72	c  S st    24     69395       390      1689         0     10921      5128    126979   no data   no data
14.76/3.75	c  S st    24     69899       390      1689         0     11424      5128    136880   no data   no data
14.76/3.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.76/3.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
14.76/3.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.78	c lits-rem:        21  cl-subs:      223  v-elim:      0  v-fix:    0  time:  0.01 s
14.76/3.78	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
14.76/3.78	c vivif2 --  cl tried    11201 cl shrink        0 lits rem          0 time: 0.00
14.76/3.79	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.01
14.76/3.79	c calculated reachability. Time: 0.00
14.76/3.79	c  N st    24     69899       390      1689         0     11201      5128    133300   no data   no data
19.55/4.97	c  F st    25     87501       390      1689         0     16601      5128    228052   no data   no data
19.55/4.97	c  N st    25     87501       390      1689         0     16601      5128    228052   no data   no data
21.15/5.37	c Decided on static restart strategy
22.34/5.65	c  N st    32     95540       390      1689         0     24391      5128    369377   no data   no data
25.15/6.39	c  N st    34    104848       390      1689         0     20800      5128    295380   no data   no data
25.15/6.39	c  S st    34    104848       390      1689         0     20800      5128    295380   no data   no data
25.55/6.44	c  S st    34    105355       390      1689         0     21306      5128    305241   no data   no data
25.55/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.55/6.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.55/6.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
25.55/6.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.55/6.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.55/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.37/6.66	c lits-rem:       168  cl-subs:     1762  v-elim:      0  v-fix:    0  time:  0.20 s
26.37/6.66	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
26.37/6.66	c vivif2 --  cl tried    19544 cl shrink        0 lits rem          0 time: 0.00
26.37/6.67	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.01
26.37/6.67	c calculated reachability. Time: 0.00
26.37/6.67	c  N st    34    105355       390      1689         0     19544      5128    273263   no data   no data
29.54/7.43	c  N st    35    114953       390      1689         0     15353      5128    180998   no data   no data
34.76/8.73	c  N st    36    129350       390      1689         0     14781      5128    156331   no data   no data
41.93/10.54	c  N st    37    150948       390      1689         0     20137      5128    247345   no data   no data
44.72/11.21	c  S st    38    158032       390      1689         0     26996      5128    386524   no data   no data
44.72/11.28	c  S st    38    158533       390      1689         0     27495      5128    396697   no data   no data
44.72/11.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.72/11.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.72/11.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.72/11.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.72/11.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.72/11.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
44.72/11.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.12/11.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.12/11.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.64	c lits-rem:       142  cl-subs:     2256  v-elim:      0  v-fix:    0  time:  0.33 s
46.32/11.64	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
46.32/11.65	c vivif2 --  cl tried    25239 cl shrink        0 lits rem          0 time: 0.00
46.32/11.66	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.01
46.32/11.66	c calculated reachability. Time: 0.00
46.32/11.66	c  N st    38    158533       390      1689         0     25239      5128    354363   no data   no data
65.52/16.47	c  N st    39    207122       390      1689         0     20049      5128    223142   no data   no data
78.29/19.68	c  N st    40    237799       390      1689         0     30367      5128    409768   no data   no data
78.29/19.68	c  S st    40    237799       390      1689         0     30367      5128    409768   no data   no data
78.70/19.76	c  S st    40    238300       390      1689         0     30864      5128    419530   no data   no data
78.70/19.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.70/19.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.70/19.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.70/19.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.70/19.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.70/19.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
78.70/19.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.70/19.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.70/19.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.28/20.17	c lits-rem:       194  cl-subs:     2166  v-elim:      0  v-fix:    0  time:  0.38 s
80.28/20.17	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
80.28/20.17	c vivif2 --  cl tried    28698 cl shrink        0 lits rem          0 time: 0.01
80.28/20.19	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.02
80.28/20.19	c calculated reachability. Time: 0.00
80.28/20.19	c  N st    40    238300       390      1689         0     28698      5128    381874   no data   no data
113.44/28.43	c  F st    41    306252       390      1689         0     30690      5128    376906   no data   no data
113.44/28.43	c  N st    41    306252       390      1689         0     30690      5128    376906   no data   no data
115.83/29.09	c Decided on static restart strategy
127.04/31.82	c  N st    51    334560       390      1689         0     35006      5128    470129   no data   no data
138.60/34.76	c  N st    53    357452       390      1689         0     32890      5128    404417   no data   no data
138.60/34.76	c  S st    53    357452       390      1689         0     32890      5128    404417   no data   no data
139.00/34.84	c  S st    53    357955       390      1689         0     33392      5128    414780   no data   no data
139.00/34.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
139.00/34.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
139.00/34.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.00/34.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.00/34.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.00/34.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
139.00/34.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
139.00/34.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.00/34.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.80/35.07	c lits-rem:       197  cl-subs:     1026  v-elim:      0  v-fix:    0  time:  0.20 s
139.80/35.07	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
139.80/35.08	c vivif2 --  cl tried    32366 cl shrink        0 lits rem          0 time: 0.00
139.80/35.10	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.02
139.80/35.10	c calculated reachability. Time: 0.00
139.80/35.10	c  N st    53    357955       390      1689         0     32366      5128    395049   no data   no data
156.98/39.32	c  N st    54    390348       390      1689         0     38573      5128    503864   no data   no data
185.73/46.55	c  N st    55    438937       390      1689         0     32338      5128    356931   no data   no data
230.47/57.76	c  N st    56    511819       390      1689         0     45492      5128    563356   no data   no data
244.86/61.39	c  N st    57    536932       390      1689         0     39828      5128    456901   no data   no data
244.86/61.39	c  S st    57    536932       390      1689         0     39828      5128    456901   no data   no data
245.68/61.50	c  S st    57    537436       390      1689         0     40330      5128    466574   no data   no data
245.68/61.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
245.68/61.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
245.68/61.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
245.68/61.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
245.68/61.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.68/61.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
245.68/61.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.68/61.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
245.68/61.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.25/61.97	c lits-rem:       322  cl-subs:     2566  v-elim:      0  v-fix:    0  time:  0.43 s
247.25/61.97	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
247.25/61.97	c vivif2 --  cl tried    37764 cl shrink        0 lits rem          0 time: 0.01
247.65/62.00	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.02
247.65/62.00	c calculated reachability. Time: 0.00
247.65/62.00	c  N st    57    537436       390      1689         0     37764      5128    425035   no data   no data
346.74/86.90	c  N st    58    701420       390      1689         0     66895      5128    941725   no data   no data
422.22/105.74	c  N st    59    806154       390      1689         0     60384      5128    737972   no data   no data
422.22/105.74	c  S st    59    806154       390      1689         0     60384      5128    737972   no data   no data
423.02/105.93	c  S st    59    806656       390      1689         0     60884      5128    748865   no data   no data
423.02/105.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
423.02/105.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
423.02/105.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
423.02/105.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
423.02/105.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.02/105.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
423.02/105.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.02/105.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
423.02/105.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.80/108.19	c lits-rem:       380  cl-subs:     9021  v-elim:      0  v-fix:    0  time:  2.20 s
431.80/108.19	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
432.20/108.20	c vivif2 --  cl tried    51863 cl shrink        0 lits rem          0 time: 0.01
432.20/108.24	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.04
432.20/108.24	c calculated reachability. Time: 0.00
432.20/108.24	c  N st    59    806656       390      1689         0     51863      5128    606237   no data   no data
625.55/156.69	c  F st    60   1071876       390      1689         0     68125      5128    853361   no data   no data
625.55/156.69	c  N st    60   1071876       390      1689         0     68125      5128    853361   no data   no data
630.74/157.93	c Decided on static restart strategy
651.51/163.18	c  N st    70   1100187       390      1689         0     52221      5128    552293   no data   no data
685.49/171.67	c  N st    72   1136180       390      1689         0     87065      5128   1225432   no data   no data
714.23/178.87	c  N st    73   1168572       390      1689         0     73913      5128    964740   no data   no data
748.98/187.54	c  N st    74   1209984       390      1689         0     68526      5128    870533   no data   no data
748.98/187.54	c  S st    74   1209984       390      1689         0     68526      5128    870533   no data   no data
749.78/187.77	c  S st    74   1210486       390      1689         0     69025      5128    880816   no data   no data
749.78/187.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
750.18/187.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
750.18/187.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
750.18/187.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
750.18/187.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
750.18/187.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
750.18/187.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
750.18/187.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
750.18/187.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
756.97/189.54	c lits-rem:       572  cl-subs:     3479  v-elim:      0  v-fix:    0  time:  1.68 s
756.97/189.54	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
756.97/189.55	c vivif2 --  cl tried    65546 cl shrink        0 lits rem          0 time: 0.01
757.36/189.62	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.07
757.36/189.62	c calculated reachability. Time: 0.00
757.36/189.62	c  N st    74   1210486       390      1689         0     65546      5128    816353   no data   no data
829.67/207.80	c  N st    75   1283371       390      1689         0     89301      5128   1204036   no data   no data
944.74/236.52	c  N st    76   1392694       390      1689         0     50320      5128    443290   no data   no data
1097.71/274.87	c  N st    77   1556678       390      1689         0     55183      5128    502597   no data   no data
1238.32/310.07	c  N st    78   1710487       390      1689         0     95782      5128   1203995   no data   no data
1238.32/310.07	c  S st    78   1710487       390      1689         0     95782      5128   1203995   no data   no data
1239.92/310.40	c  S st    78   1710990       390      1689         0     96279      5128   1214731   no data   no data
1239.92/310.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1239.92/310.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1239.92/310.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1239.92/310.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1239.92/310.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1239.92/310.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
1239.92/310.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1239.92/310.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1240.32/310.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1270.67/318.11	c lits-rem:       849  cl-subs:    16805  v-elim:      0  v-fix:    0  time:  7.60 s
1270.67/318.11	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
1270.67/318.13	c vivif2 --  cl tried    79474 cl shrink        0 lits rem          0 time: 0.02
1271.07/318.26	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.14
1271.07/318.27	c calculated reachability. Time: 0.00
1271.07/318.27	c  N st    78   1710990       390      1689         0     79474      5128    957987   no data   no data
1668.53/417.74	c  N st    79   2079955       390      1689         0     91586      5128   1083109   no data   no data
1823.14/456.48	c  N st    80   2210990       390      1689         0     95325      5128   1149166   no data   no data
1823.14/456.48	c  S st    80   2210990       390      1689         0     95325      5128   1149166   no data   no data
1824.32/456.78	c  S st    80   2211492       390      1689         0     95827      5128   1159674   no data   no data
1824.32/456.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1824.72/456.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1824.72/456.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1824.72/456.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1824.72/456.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1824.72/456.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
1824.72/456.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1824.72/456.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1824.72/456.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1844.70/461.85	c lits-rem:       204  cl-subs:    11087  v-elim:      0  v-fix:    0  time:  4.96 s
1844.70/461.85	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
1844.70/461.86	c vivif2 --  cl tried    84740 cl shrink        0 lits rem          0 time: 0.01
1845.12/461.94	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.08
1845.12/461.95	c calculated reachability. Time: 0.00
1845.12/461.95	c  N st    80   2211492       390      1689         0     84740      5128    977281   no data   no data
2469.07/618.20	c  N st    81   2711496       390      1689         0    109014      5128   1405610   no data   no data
2469.07/618.20	c  S st    81   2711496       390      1689         0    109014      5128   1405610   no data   no data
2471.05/618.61	c  S st    81   2712006       390      1689         0    109521      5128   1416113   no data   no data
2471.05/618.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2471.05/618.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2471.05/618.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2471.05/618.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2471.05/618.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2471.05/618.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
2471.05/618.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2471.05/618.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2471.45/618.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2495.84/624.86	c lits-rem:      1331  cl-subs:     8367  v-elim:      0  v-fix:    0  time:  6.13 s
2495.84/624.86	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
2495.84/624.89	c vivif2 --  cl tried   101154 cl shrink        0 lits rem          0 time: 0.02
2496.21/624.99	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.11
2496.61/625.00	c calculated reachability. Time: 0.00
2496.61/625.00	c  N st    81   2712006       390      1689         0    101154      5128   1260111   no data   no data
3174.50/794.71	c  N st    82   3212007       390      1689         0     76551      5128    660623   no data   no data
3174.50/794.71	c  S st    82   3212007       390      1689         0     76551      5128    660623   no data   no data
3175.30/794.95	c  S st    82   3212510       390      1689         0     77053      5128    671063   no data   no data
3175.30/794.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3175.30/794.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3175.30/794.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3175.30/794.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3175.30/794.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3175.30/794.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
3175.30/794.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3175.70/795.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3175.70/795.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3176.51/795.21	c lits-rem:       119  cl-subs:      861  v-elim:      0  v-fix:    0  time:  0.18 s
3176.51/795.21	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
3176.51/795.22	c vivif2 --  cl tried    76192 cl shrink        0 lits rem          0 time: 0.01
3176.51/795.29	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.07
3176.51/795.29	c calculated reachability. Time: 0.00
3176.51/795.29	c  N st    82   3212510       390      1689         0     76192      5128    659151   no data   no data
3846.39/962.90	c  N st    83   3712510       390      1689         0     87173      5128    800062   no data   no data
3846.39/962.90	c  S st    83   3712510       390      1689         0     87173      5128    800062   no data   no data
3847.19/963.15	c  S st    83   3713014       390      1689         0     87676      5128    810420   no data   no data
3847.19/963.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3847.19/963.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3847.19/963.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3847.19/963.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3847.19/963.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3847.19/963.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
3847.19/963.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3847.59/963.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3847.59/963.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3848.81/963.59	c lits-rem:        79  cl-subs:     1409  v-elim:      0  v-fix:    0  time:  0.35 s
3848.81/963.59	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
3849.21/963.61	c vivif2 --  cl tried    86267 cl shrink        0 lits rem          0 time: 0.01
3849.21/963.69	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.08
3849.21/963.69	c calculated reachability. Time: 0.00
3849.21/963.69	c  N st    83   3713014       390      1689         0     86267      5128    789645   no data   no data
3902.71/977.06	c  F st    84   3751562       390      1689         0    123282      5128   1516611   no data   no data
3902.71/977.06	c  N st    84   3751562       390      1689         0    123282      5128   1516611   no data   no data
3911.90/979.34	c Decided on static restart strategy
3954.26/989.91	c  N st    94   3779868       390      1689         0    150565      5128   2042273   no data   no data
4009.78/1003.86	c  N st    96   3815861       390      1689         0    103636      5128   1119302   no data   no data
4058.11/1015.90	c  N st    97   3848253       390      1689         0    134975      5128   1781580   no data   no data
4137.60/1035.85	c  N st    98   3896842       390      1689         0     99045      5128   1011556   no data   no data
4261.43/1066.80	c  N st    99   3969724       390      1689         0     85252      5128    726650   no data   no data
4439.20/1111.31	c  N st   100   4079050       390      1689         0    105750      5128   1118715   no data   no data
4654.90/1165.39	c  N st   101   4213016       390      1689         0    148893      5128   1918176   no data   no data
4654.90/1165.39	c  S st   101   4213016       390      1689         0    148893      5128   1918176   no data   no data
4657.32/1165.95	c  S st   101   4213520       390      1689         0    149395      5128   1928852   no data   no data
4657.32/1165.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4657.72/1166.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4657.72/1166.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4657.72/1166.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4657.72/1166.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4657.72/1166.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
4657.72/1166.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4657.72/1166.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4658.09/1166.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4718.42/1181.28	c lits-rem:       774  cl-subs:    17250  v-elim:      0  v-fix:    0  time: 15.14 s
4718.42/1181.28	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
4718.83/1181.31	c vivif2 --  cl tried   132145 cl shrink        0 lits rem          0 time: 0.03
4719.61/1181.50	c asymm  cl-useful: 0/1689/1689 lits-rem:0 time: 0.20
4719.61/1181.51	c calculated reachability. Time: 0.00
4719.61/1181.51	c  N st   101   4213520       390      1689         0    132145      5128   1647361   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: 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-3173977-1304074864/watcher-3173977-1304074864 -o /tmp/evaluation-result-3173977-1304074864/solver-3173977-1304074864 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173977-1304074864.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.79 7.83 7.97 1/174 14213
/proc/meminfo: memFree=26487848/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=51212 CPUtime=0.01 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 409 0 0 0 1 0 0 0 22 0 4 0 519085142 52441088 348 33554432000 4194304 4627427 140734210540736 18446744073709551615 46958687926198 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 12803 348 299 106 0 7774 0
[pid=14213/tid=14214] ppid=14211 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 519085143 52441088 348 33554432000 4194304 4627427 140734210540736 18446744073709551615 46958687926188 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 519085143 52441088 348 33554432000 4194304 4627427 140734210540736 18446744073709551615 46958687926194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 519085143 52441088 348 33554432000 4194304 4627427 140734210540736 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.070415 s]
/proc/loadavg: 6.79 7.83 7.97 1/174 14213
/proc/meminfo: memFree=26487848/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=282168 CPUtime=0.26 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 1429 0 0 0 26 0 0 0 24 0 4 0 519085142 288940032 1298 33554432000 4194304 4627427 140734210540736 18446744073709551615 4310565 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 70542 1298 384 106 0 65513 0
[pid=14213/tid=14214] ppid=14211 vsize=282168 CPUtime=0.06 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 281 0 0 0 6 0 0 0 24 0 4 0 519085143 288940032 1298 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=282168 CPUtime=0.06 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 265 0 0 0 6 0 0 0 24 0 4 0 519085143 288940032 1298 33554432000 4194304 4627427 140734210540736 18446744073709551615 4348320 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=282168 CPUtime=0.06 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 202 0 0 0 6 0 0 0 25 0 4 0 519085143 288940032 1298 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 282168

[startup+0.100409 s]
/proc/loadavg: 6.79 7.83 7.97 1/174 14213
/proc/meminfo: memFree=26487848/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=282168 CPUtime=0.38 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 1594 0 0 0 38 0 0 0 24 0 4 0 519085142 288940032 1463 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 70542 1463 384 106 0 65513 0
[pid=14213/tid=14214] ppid=14211 vsize=282168 CPUtime=0.09 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 313 0 0 0 9 0 0 0 24 0 4 0 519085143 288940032 1463 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=282168 CPUtime=0.09 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 304 0 0 0 9 0 0 0 24 0 4 0 519085143 288940032 1463 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=282168 CPUtime=0.09 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 250 0 0 0 9 0 0 0 25 0 4 0 519085143 288940032 1464 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282168

[startup+0.300376 s]
/proc/loadavg: 6.79 7.83 7.97 1/174 14213
/proc/meminfo: memFree=26487848/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=283496 CPUtime=1.17 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 2532 0 0 0 117 0 0 0 25 0 4 0 519085142 290299904 1925 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 70874 1925 385 106 0 65845 0
[pid=14213/tid=14214] ppid=14211 vsize=283496 CPUtime=0.29 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 554 0 0 0 29 0 0 0 25 0 4 0 519085143 290299904 1926 33554432000 4194304 4627427 140734210540736 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=283496 CPUtime=0.29 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 532 0 0 0 29 0 0 0 25 0 4 0 519085143 290299904 1926 33554432000 4194304 4627427 140734210540736 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=283496 CPUtime=0.28 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 490 0 0 0 28 0 0 0 25 0 4 0 519085143 290299904 1926 33554432000 4194304 4627427 140734210540736 18446744073709551615 4329716 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283496

[startup+0.70031 s]
/proc/loadavg: 6.79 7.83 7.97 1/174 14213
/proc/meminfo: memFree=26487848/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=284944 CPUtime=2.78 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 4401 0 0 0 277 1 0 0 25 0 4 0 519085142 291782656 2163 33554432000 4194304 4627427 140734210540736 18446744073709551615 4327622 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 71236 2163 385 106 0 66207 0
[pid=14213/tid=14214] ppid=14211 vsize=284944 CPUtime=0.69 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 1025 0 0 0 69 0 0 0 25 0 4 0 519085143 291782656 2163 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=284944 CPUtime=0.69 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 997 0 0 0 69 0 0 0 25 0 4 0 519085143 291782656 2163 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=284944 CPUtime=0.68 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 961 0 0 0 68 0 0 0 25 0 4 0 519085143 291782656 2163 33554432000 4194304 4627427 140734210540736 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284944

[startup+1.50018 s]
/proc/loadavg: 6.79 7.83 7.97 9/184 14226
/proc/meminfo: memFree=26462348/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=285568 CPUtime=5.97 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 7757 0 0 0 596 1 0 0 25 0 4 0 519085142 292421632 3936 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 71392 3936 389 106 0 66363 0
[pid=14213/tid=14214] ppid=14211 vsize=285568 CPUtime=1.49 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 1711 0 0 0 149 0 0 0 25 0 4 0 519085143 292421632 3936 33554432000 4194304 4627427 140734210540736 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=285568 CPUtime=1.49 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 1534 0 0 0 149 0 0 0 25 0 4 0 519085143 292421632 3936 33554432000 4194304 4627427 140734210540736 18446744073709551615 4333594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=285568 CPUtime=1.48 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 1497 0 0 0 148 0 0 0 25 0 4 0 519085143 292421632 3936 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285568

[startup+3.10091 s]
/proc/loadavg: 6.79 7.83 7.97 9/184 14226
/proc/meminfo: memFree=26434500/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=293360 CPUtime=12.37 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 15979 0 0 0 1234 3 0 0 25 0 4 0 519085142 300400640 7909 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 73340 7909 389 106 0 68311 0
[pid=14213/tid=14214] ppid=14211 vsize=293360 CPUtime=3.08 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 3641 0 0 0 308 0 0 0 25 0 4 0 519085143 300400640 7909 33554432000 4194304 4627427 140734210540736 18446744073709551615 4330343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=293360 CPUtime=3.08 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 4221 0 0 0 308 0 0 0 25 0 4 0 519085143 300400640 7909 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=293360 CPUtime=3.07 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 3900 0 0 0 307 0 0 0 25 0 4 0 519085143 300400640 7909 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293360

[startup+6.30037 s]
/proc/loadavg: 6.97 7.84 7.97 9/184 14226
/proc/meminfo: memFree=26400680/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=298708 CPUtime=25.15 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 24624 0 0 0 2511 4 0 0 25 0 4 0 519085142 305876992 10799 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309220 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 74677 10799 389 106 0 69648 0
[pid=14213/tid=14214] ppid=14211 vsize=298708 CPUtime=6.29 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 6499 0 0 0 628 1 0 0 25 0 4 0 519085143 305876992 10799 33554432000 4194304 4627427 140734210540736 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=298708 CPUtime=6.29 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 6733 0 0 0 628 1 0 0 25 0 4 0 519085143 305876992 10799 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=298708 CPUtime=6.25 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 5438 0 0 0 625 0 0 0 25 0 4 0 519085143 305876992 10799 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 298708

[startup+12.7003 s]
/proc/loadavg: 7.05 7.85 7.97 9/184 14226
/proc/meminfo: memFree=26347424/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=299384 CPUtime=50.72 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 39158 0 0 0 5065 7 0 0 25 0 4 0 519085142 306569216 15420 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 74846 15420 389 106 0 69817 0
[pid=14213/tid=14214] ppid=14211 vsize=299384 CPUtime=12.69 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 10167 0 0 0 1267 2 0 0 25 0 4 0 519085143 306569216 15420 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=299384 CPUtime=12.69 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 9218 0 0 0 1268 1 0 0 25 0 4 0 519085143 306569216 15420 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=299384 CPUtime=12.62 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 9333 0 0 0 1261 1 0 0 25 0 4 0 519085143 306569216 15420 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 299384

[startup+25.5012 s]
/proc/loadavg: 7.26 7.85 7.97 9/184 14227
/proc/meminfo: memFree=26310812/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=305348 CPUtime=101.85 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 59900 0 0 0 10173 12 0 0 25 0 4 0 519085142 312676352 19942 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 76337 19942 389 106 0 71308 0
[pid=14213/tid=14214] ppid=14211 vsize=305348 CPUtime=25.49 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 16290 0 0 0 2546 3 0 0 25 0 4 0 519085143 312676352 19942 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=305348 CPUtime=25.48 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 14121 0 0 0 2546 2 0 0 25 0 4 0 519085143 312676352 19942 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=305348 CPUtime=25.36 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 14344 0 0 0 2533 3 0 0 25 0 4 0 519085143 312676352 19942 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 305348

[startup+51.1009 s]
/proc/loadavg: 7.63 7.90 7.98 9/184 14227
/proc/meminfo: memFree=26256348/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=312644 CPUtime=204.11 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 90586 0 0 0 20391 20 0 0 25 0 4 0 519085142 320147456 24655 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 78161 24655 389 106 0 73132 0
[pid=14213/tid=14214] ppid=14211 vsize=312644 CPUtime=51.09 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 24937 0 0 0 5104 5 0 0 25 0 4 0 519085143 320147456 24655 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=312644 CPUtime=51.08 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 21856 0 0 0 5104 4 0 0 25 0 4 0 519085143 320147456 24655 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=312644 CPUtime=50.82 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 21319 0 0 0 5078 4 0 0 25 0 4 0 519085143 320147456 24655 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 312644

[startup+102.306 s]
/proc/loadavg: 7.96 7.94 7.99 9/184 14229
/proc/meminfo: memFree=26205492/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=314996 CPUtime=408.66 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 134111 0 0 0 40833 33 0 0 25 0 4 0 519085142 322555904 30509 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309119 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 78749 30509 389 106 0 73720 0
[pid=14213/tid=14214] ppid=14211 vsize=314996 CPUtime=102.29 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 36176 0 0 0 10221 8 0 0 25 0 4 0 519085143 322555904 30509 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=314996 CPUtime=102.29 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 32150 0 0 0 10222 7 0 0 25 0 4 0 519085143 322555904 30509 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=314996 CPUtime=101.74 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 34091 0 0 0 10167 7 0 0 25 0 4 0 519085143 322555904 30509 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 314996

[startup+162.3 s]

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

[pid=14213] ppid=14211 vsize=540620 CPUtime=2805.4 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 463126 0 0 0 280393 147 0 0 25 0 4 0 519085142 553594880 77548 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 135155 77548 389 106 0 130126 0
[pid=14213/tid=14214] ppid=14211 vsize=540620 CPUtime=702.3 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 119966 0 0 0 70192 38 0 0 25 0 4 0 519085143 553594880 77548 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=540620 CPUtime=702.29 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 107990 0 0 0 70194 35 0 0 25 0 4 0 519085143 553594880 77548 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=540620 CPUtime=698.48 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 118659 0 0 0 69813 35 0 0 25 0 4 0 519085143 553594880 77548 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 540620

[startup+762.307 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 14280
/proc/meminfo: memFree=25855164/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=540892 CPUtime=3045.1 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 483179 0 0 0 304355 155 0 0 25 0 4 0 519085142 553873408 78442 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 135223 78442 389 106 0 130194 0
[pid=14213/tid=14214] ppid=14211 vsize=540892 CPUtime=762.3 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 123008 0 0 0 76190 40 0 0 25 0 4 0 519085143 553873408 78442 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=540892 CPUtime=762.3 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 114190 0 0 0 76192 38 0 0 25 0 4 0 519085143 553873408 78442 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=540892 CPUtime=758.15 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 124014 0 0 0 75778 37 0 0 25 0 4 0 519085143 553873408 78442 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 540892

[startup+822.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 14281
/proc/meminfo: memFree=25837296/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=516700 CPUtime=3284.75 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 504653 0 0 0 328312 163 0 0 25 0 4 0 519085142 529100800 79162 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 129175 79162 389 106 0 124146 0
[pid=14213/tid=14214] ppid=14211 vsize=516700 CPUtime=822.3 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 126040 0 0 0 82189 41 0 0 25 0 4 0 519085143 529100800 79162 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=516700 CPUtime=822.3 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 120955 0 0 0 82189 41 0 0 25 0 4 0 519085143 529100800 79162 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=516700 CPUtime=817.83 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 129207 0 0 0 81743 40 0 0 25 0 4 0 519085143 529100800 79162 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 516700

[startup+882.3 s]
/proc/loadavg: 8.00 8.01 8.00 9/184 14282
/proc/meminfo: memFree=25837048/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=553604 CPUtime=3524.42 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 526226 0 0 0 352271 171 0 0 25 0 4 0 519085142 566890496 82541 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 138401 82541 389 106 0 133372 0
[pid=14213/tid=14214] ppid=14211 vsize=553604 CPUtime=882.29 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 130679 0 0 0 88187 42 0 0 25 0 4 0 519085143 566890496 82541 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=553604 CPUtime=882.29 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 128964 0 0 0 88186 43 0 0 25 0 4 0 519085143 566890496 82541 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=553604 CPUtime=877.5 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 132357 0 0 0 87709 41 0 0 25 0 4 0 519085143 566890496 82541 33554432000 4194304 4627427 140734210540736 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 553604

[startup+942.3 s]
/proc/loadavg: 8.09 8.04 8.01 9/184 14284
/proc/meminfo: memFree=25801180/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=553876 CPUtime=3764.1 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 546901 0 0 0 376229 181 0 0 25 0 4 0 519085142 567169024 84630 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 138469 84630 389 106 0 133440 0
[pid=14213/tid=14214] ppid=14211 vsize=553876 CPUtime=942.29 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 136145 0 0 0 94184 45 0 0 25 0 4 0 519085143 567169024 84630 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=553876 CPUtime=942.3 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 134431 0 0 0 94184 46 0 0 25 0 4 0 519085143 567169024 84630 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=553876 CPUtime=937.18 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 136390 0 0 0 93676 42 0 0 25 0 4 0 519085143 567169024 84630 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 553876

[startup+1002.3 s]
/proc/loadavg: 8.12 8.06 8.01 9/184 14286
/proc/meminfo: memFree=25791876/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=566720 CPUtime=4003.78 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 566014 0 0 0 400188 190 0 0 25 0 4 0 519085142 580321280 87116 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 141680 87116 389 106 0 136651 0
[pid=14213/tid=14214] ppid=14211 vsize=566720 CPUtime=1002.3 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 141471 0 0 0 100182 48 0 0 25 0 4 0 519085143 580321280 87116 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=566720 CPUtime=1002.3 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 138532 0 0 0 100182 48 0 0 25 0 4 0 519085143 580321280 87116 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=566720 CPUtime=996.85 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 140658 0 0 0 99641 44 0 0 25 0 4 0 519085143 580321280 87116 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 566720

[startup+1062.3 s]
/proc/loadavg: 8.12 8.07 8.02 9/184 14287
/proc/meminfo: memFree=25789636/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=568164 CPUtime=4243.46 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 586047 0 0 0 424149 197 0 0 25 0 4 0 519085142 581799936 87223 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 142041 87223 389 106 0 137012 0
[pid=14213/tid=14214] ppid=14211 vsize=568164 CPUtime=1062.3 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 146821 0 0 0 106181 49 0 0 25 0 4 0 519085143 581799936 87223 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=568164 CPUtime=1062.29 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 143621 0 0 0 106179 50 0 0 25 0 4 0 519085143 581799936 87223 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=568164 CPUtime=1056.53 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 145886 0 0 0 105607 46 0 0 25 0 4 0 519085143 581799936 87223 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 568164

[startup+1122.3 s]
/proc/loadavg: 8.04 8.06 8.01 9/184 14289
/proc/meminfo: memFree=25748216/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=568512 CPUtime=4483.13 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 605659 0 0 0 448109 204 0 0 25 0 4 0 519085142 582156288 87064 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 142128 87064 389 106 0 137099 0
[pid=14213/tid=14214] ppid=14211 vsize=568512 CPUtime=1122.3 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 150863 0 0 0 112180 50 0 0 25 0 4 0 519085143 582156288 87064 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=568512 CPUtime=1122.29 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 148730 0 0 0 112177 52 0 0 25 0 4 0 519085143 582156288 87064 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=568512 CPUtime=1116.19 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 150992 0 0 0 111572 47 0 0 25 0 4 0 519085143 582156288 87064 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 568512

[startup+1182.3 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 14290
/proc/meminfo: memFree=25683212/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=568712 CPUtime=4722.82 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 627519 0 0 0 472071 211 0 0 25 0 4 0 519085142 582361088 94225 33554432000 4194304 4627427 140734210540736 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 142178 94225 389 106 0 137149 0
[pid=14213/tid=14214] ppid=14211 vsize=568712 CPUtime=1182.31 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 155659 0 0 0 118178 53 0 0 25 0 4 0 519085143 582361088 94225 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=568712 CPUtime=1182.3 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 152872 0 0 0 118176 54 0 0 25 0 4 0 519085143 582361088 94225 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=568712 CPUtime=1175.87 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 156996 0 0 0 117538 49 0 0 25 0 4 0 519085143 582361088 94225 33554432000 4194304 4627427 140734210540736 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 568712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 14291
/proc/meminfo: memFree=25696480/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=568784 CPUtime=4800.32 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 632135 0 0 0 479818 214 0 0 25 0 4 0 519085142 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 142196 95855 389 106 0 137167 0
[pid=14213/tid=14214] ppid=14211 vsize=568784 CPUtime=1201.71 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 157707 0 0 0 120117 54 0 0 25 0 4 0 519085143 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=568784 CPUtime=1201.71 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 154820 0 0 0 120116 55 0 0 25 0 4 0 519085143 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=568784 CPUtime=1195.16 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 156996 0 0 0 119467 49 0 0 25 0 4 0 519085143 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 568784

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

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

[startup+1201.7 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 14291
/proc/meminfo: memFree=25696480/32950928 swapFree=67111524/67111528
[pid=14213] ppid=14211 vsize=568784 CPUtime=4800.32 cores=0,2,4,6
/proc/14213/stat : 14213 (strangenight2-m) R 14211 14213 13699 0 -1 4202496 632135 0 0 0 479818 214 0 0 25 0 4 0 519085142 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14213/statm: 142196 95855 389 106 0 137167 0
[pid=14213/tid=14214] ppid=14211 vsize=568784 CPUtime=1201.71 cores=0,2,4,6
/proc/14213/task/14214/stat : 14214 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 157707 0 0 0 120117 54 0 0 25 0 4 0 519085143 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14213/tid=14215] ppid=14211 vsize=568784 CPUtime=1201.71 cores=0,2,4,6
/proc/14213/task/14215/stat : 14215 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 154820 0 0 0 120116 55 0 0 25 0 4 0 519085143 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14213/tid=14216] ppid=14211 vsize=568784 CPUtime=1195.16 cores=0,2,4,6
/proc/14213/task/14216/stat : 14216 (strangenight2-m) R 14211 14213 13699 0 -1 4202560 156996 0 0 0 119467 49 0 0 25 0 4 0 519085143 582434816 95855 33554432000 4194304 4627427 140734210540736 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 568784

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4798.21
CPU system time (s): 2.16467
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 581276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.21
system time used= 2.16467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632135
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= 189
involuntary context switches= 32612

runsolver used 1.90171 second user time and 4.64429 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 13:01:04
IDJOB=3173977
IDBENCH=82795
IDSOLVER=1586
FILE ID=node126/3173977-1304074864
RUNJOBID= node126-1304074864-14199
PBS_JOBID= 13170481
Free space on /tmp= 71600 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173977-1304074864/watcher-3173977-1304074864 -o /tmp/evaluation-result-3173977-1304074864/solver-3173977-1304074864 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173977-1304074864.cnf

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

MD5SUM BENCH= 6d54c2a76a59aa67a01046a2e8240fb6
RANDOM SEED=209510418

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26488252 kB
Buffers:       1418564 kB
Cached:        4433620 kB
SwapCached:          4 kB
Active:         366280 kB
Inactive:      5550140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26488252 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6068 kB
Writeback:           0 kB
AnonPages:       65088 kB
Mapped:          14496 kB
Slab:           481484 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185848 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= 71588 MiB
End job on node126 at 2011-04-29 13:21:08