Trace number 3173911

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.24 1201.74

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-3173911-1304073274.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.09	c lits-rem:         0  cl-subs:        0  v-elim:     22  v-fix:    0  time:  0.00 s
0.00/0.09	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.09	c calculated reachability. Time: 0.00
0.00/0.09	c Calc default polars -  time:   0.00 s pos:     310 undec:      66 neg:     324
0.00/0.09	c =========================================================================================
0.00/0.09	c types(t): F = full restart, N = normal restart
0.00/0.09	c types(t): S = simplification begin/end, E = solution found
0.00/0.09	c restart types(rt): st = static, dy = dynamic
0.00/0.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.09	c  B st     0         0       678      2960         0         0      9014         0   no data   no data
0.00/0.09	c Decided on static restart strategy
0.00/0.81	c  N st     8      4917       678      2960         0      4866      9014    150988   no data   no data
0.00/0.81	c  N st    10     11300       678      2960         0      4514      9014     98260   no data   no data
0.00/0.81	c  N st    11     17044       678      2960         0     10184      9014    283964   no data   no data
5.01/1.31	c  F st    12     25000       678      2960         0     12471      9014    336302   no data   no data
5.01/1.31	c  N st    12     25000       678      2960         0     12471      9014    336302   no data   no data
5.98/1.52	c Decided on static restart strategy
5.98/1.52	c  N st    18     30003       678      2960         0     10720      9014    243060   no data   no data
5.98/1.52	c  S st    18     30003       678      2960         0     10720      9014    243060   no data   no data
5.98/1.56	c  S st    18     30507       678      2960         0     11224      9014    256854   no data   no data
5.98/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.98/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.98/1.56	c blocked clauses removed:       16 vars:      2 tried:         678 T: 0.00 s
5.98/1.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.98/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
5.98/1.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.98/1.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.98/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.62	c lits-rem:       123  cl-subs:      309  v-elim:      0  v-fix:    0  time:  0.05 s
6.37/1.63	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
6.37/1.63	c calculated reachability. Time: 0.00
6.37/1.63	c  N st    18     30507       676      2944         0     10915      8966    246280   no data   no data
7.96/2.08	c  N st    20     37617       676      2944         0     10148      8966    203143   no data   no data
9.96/2.50	c  N st    21     44018       676      2944         0     16428      8966    376225   no data   no data
10.36/2.63	c  S st    22     45761       676      2944         0      9337      8966    162326   no data   no data
10.36/2.66	c  S st    22     46263       676      2944         0      9838      8966    176509   no data   no data
10.36/2.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.36/2.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
10.36/2.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.68	c lits-rem:        37  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.68	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
10.36/2.68	c vivif2 --  cl tried     9782 cl shrink        0 lits rem          0 time: 0.00
10.36/2.69	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
10.36/2.69	c calculated reachability. Time: 0.00
10.36/2.69	c  N st    22     46263       676      2944         0      9782      8966    174568   no data   no data
14.76/3.70	c  N st    23     60661       676      2944         0     14170      8966    296475   no data   no data
17.15/4.34	c  N st    24     69396       676      2944         0     11994      8966    216772   no data   no data
17.15/4.34	c  S st    24     69396       676      2944         0     11994      8966    216772   no data   no data
17.15/4.38	c  S st    24     69897       676      2944         0     12495      8966    230386   no data   no data
17.15/4.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.15/4.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.15/4.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.15/4.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.15/4.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
17.15/4.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.15/4.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
17.15/4.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.56/4.41	c lits-rem:        36  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.02 s
17.56/4.41	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
17.56/4.41	c vivif2 --  cl tried    12431 cl shrink        0 lits rem          0 time: 0.00
17.56/4.42	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
17.56/4.42	c calculated reachability. Time: 0.00
17.56/4.42	c  N st    24     69897       676      2944         0     12431      8966    227982   no data   no data
23.14/5.86	c  F st    25     87500       676      2944         0     17961      8966    404462   no data   no data
23.14/5.86	c  N st    25     87500       676      2944         0     17961      8966    404462   no data   no data
24.76/6.27	c Decided on static restart strategy
25.94/6.56	c  N st    32     95540       676      2944         0     13063      8966    208880   no data   no data
28.74/7.25	c  N st    34    104845       676      2944         0     22212      8966    487782   no data   no data
28.74/7.25	c  S st    34    104845       676      2944         0     22212      8966    487782   no data   no data
29.15/7.31	c  S st    34    105350       676      2944         0     22717      8966    501733   no data   no data
29.15/7.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.15/7.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.15/7.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.15/7.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.15/7.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.15/7.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
29.15/7.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.15/7.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.15/7.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.94/7.51	c lits-rem:       106  cl-subs:      573  v-elim:      0  v-fix:    0  time:  0.17 s
29.94/7.51	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
29.94/7.52	c vivif2 --  cl tried    22144 cl shrink        0 lits rem          0 time: 0.00
29.94/7.53	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.01
29.94/7.53	c calculated reachability. Time: 0.00
29.94/7.53	c  N st    34    105350       676      2944         0     22144      8966    481434   no data   no data
33.13/8.37	c  N st    35    114949       676      2944         0     17813      8966    334756   no data   no data
39.13/9.82	c  N st    36    129346       676      2944         0     17211      8966    296259   no data   no data
46.73/11.80	c  N st    37    150941       676      2944         0     22710      8966    436295   no data   no data
49.90/12.55	c  S st    38    158026       676      2944         0     29654      8966    652672   no data   no data
50.30/12.62	c  S st    38    158529       676      2944         0     30156      8966    665770   no data   no data
50.30/12.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.30/12.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.30/12.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.30/12.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.30/12.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.30/12.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
50.30/12.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.30/12.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.30/12.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.30/13.15	c lits-rem:       180  cl-subs:     1159  v-elim:      0  v-fix:    0  time:  0.49 s
52.30/13.15	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
52.30/13.16	c vivif2 --  cl tried    28997 cl shrink        0 lits rem          0 time: 0.01
52.30/13.18	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.02
52.30/13.18	c calculated reachability. Time: 0.00
52.30/13.18	c  N st    38    158529       676      2944         0     28997      8966    626953   no data   no data
74.27/18.69	c  N st    39    207117       676      2944         0     23736      8966    434317   no data   no data
89.46/22.42	c  N st    40    237794       676      2944         0     34249      8966    756778   no data   no data
89.46/22.42	c  S st    40    237794       676      2944         0     34249      8966    756778   no data   no data
89.86/22.51	c  S st    40    238296       676      2944         0     34751      8966    771610   no data   no data
89.86/22.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
89.86/22.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
89.86/22.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.86/22.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.86/22.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.86/22.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
89.86/22.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
89.86/22.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
89.86/22.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.64/23.25	c lits-rem:       224  cl-subs:     1102  v-elim:      0  v-fix:    0  time:  0.70 s
92.64/23.25	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
92.64/23.26	c vivif2 --  cl tried    33649 cl shrink        0 lits rem          0 time: 0.01
92.64/23.29	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.02
92.64/23.29	c calculated reachability. Time: 0.00
92.64/23.29	c  N st    40    238296       676      2944         0     33649      8966    731636   no data   no data
126.60/31.73	c  F st    41    306253       676      2944         0     35531      8966    722787   no data   no data
126.60/31.73	c  N st    41    306253       676      2944         0     35531      8966    722787   no data   no data
129.80/32.51	c Decided on static restart strategy
142.18/35.65	c  N st    51    334556       676      2944         0     39808      8966    803213   no data   no data
154.96/38.85	c  N st    53    357446       676      2944         0     37743      8966    706168   no data   no data
154.96/38.85	c  S st    53    357446       676      2944         0     37743      8966    706168   no data   no data
155.36/38.95	c  S st    53    357948       676      2944         0     38245      8966    719806   no data   no data
155.36/38.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.36/38.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
155.36/38.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.36/38.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.36/38.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.36/38.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
155.36/38.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
155.36/38.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
155.76/39.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
157.35/39.41	c lits-rem:       152  cl-subs:     1015  v-elim:      0  v-fix:    0  time:  0.41 s
157.35/39.41	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
157.35/39.42	c vivif2 --  cl tried    37230 cl shrink        0 lits rem          0 time: 0.01
157.35/39.45	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.03
157.35/39.45	c calculated reachability. Time: 0.00
157.35/39.45	c  N st    53    357948       676      2944         0     37230      8966    687401   no data   no data
176.53/44.20	c  N st    54    390340       676      2944         0     43494      8966    880035   no data   no data
204.09/51.13	c  N st    55    438928       676      2944         0     37155      8966    649275   no data   no data
248.43/62.21	c  N st    56    511810       676      2944         0     50759      8966   1053907   no data   no data
264.81/66.30	c  N st    57    536923       676      2944         0     44930      8966    792210   no data   no data
264.81/66.30	c  S st    57    536923       676      2944         0     44930      8966    792210   no data   no data
265.21/66.42	c  S st    57    537432       676      2944         0     45439      8966    806321   no data   no data
265.21/66.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
265.21/66.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
265.21/66.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
265.21/66.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
265.21/66.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.21/66.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
265.21/66.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
265.21/66.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
265.21/66.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.00/67.16	c lits-rem:       280  cl-subs:     1375  v-elim:      0  v-fix:    0  time:  0.68 s
268.00/67.16	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
268.00/67.17	c vivif2 --  cl tried    44064 cl shrink        0 lits rem          0 time: 0.01
268.40/67.21	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.04
268.40/67.21	c calculated reachability. Time: 0.00
268.40/67.21	c  N st    57    537432       676      2944         0     44064      8966    768096   no data   no data
391.04/97.97	c  N st    58    701416       676      2944         0     38229      8966    511980   no data   no data
472.94/118.46	c  N st    59    806149       676      2944         0     67343      8966   1376967   no data   no data
472.94/118.46	c  S st    59    806149       676      2944         0     67343      8966   1376967   no data   no data
473.72/118.65	c  S st    59    806656       676      2944         0     67849      8966   1391774   no data   no data
473.72/118.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
473.72/118.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
473.72/118.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
473.72/118.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
473.72/118.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.72/118.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
473.72/118.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
474.12/118.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
474.12/118.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
488.50/122.34	c lits-rem:       671  cl-subs:     2876  v-elim:      0  v-fix:    0  time:  3.58 s
488.50/122.34	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
488.50/122.36	c vivif2 --  cl tried    64973 cl shrink        0 lits rem          0 time: 0.02
488.90/122.42	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.07
488.90/122.42	c calculated reachability. Time: 0.00
488.90/122.42	c  N st    59    806656       676      2944         0     64973      8966   1302228   no data   no data
713.79/178.75	c  F st    60   1071877       676      2944         0     80907      8966   1788862   no data   no data
713.79/178.75	c  N st    60   1071877       676      2944         0     80907      8966   1788862   no data   no data
720.18/180.31	c Decided on static restart strategy
738.15/184.80	c  N st    70   1100183       676      2944         0     64632      8966   1132256   no data   no data
771.73/193.28	c  N st    72   1136183       676      2944         0     54785      8966    809913   no data   no data
801.27/200.65	c  N st    73   1168577       676      2944         0     86708      8966   1854074   no data   no data
837.22/209.67	c  N st    74   1209987       676      2944         0     81289      8966   1688203   no data   no data
837.22/209.67	c  S st    74   1209987       676      2944         0     81289      8966   1688203   no data   no data
838.42/209.92	c  S st    74   1210490       676      2944         0     81790      8966   1702084   no data   no data
838.42/209.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
838.42/209.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
838.42/209.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
838.42/209.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
838.42/209.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.42/209.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
838.42/209.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
838.42/210.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
838.82/210.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
858.79/215.08	c lits-rem:       597  cl-subs:     2042  v-elim:      0  v-fix:    0  time:  5.03 s
858.79/215.08	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
859.19/215.11	c vivif2 --  cl tried    79748 cl shrink        0 lits rem          0 time: 0.02
859.61/215.22	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.11
859.61/215.22	c calculated reachability. Time: 0.00
859.61/215.22	c  N st    74   1210490       676      2944         0     79748      8966   1629005   no data   no data
935.88/234.36	c  N st    75   1283373       676      2944         0     55892      8966    747752   no data   no data
1037.74/259.85	c  N st    76   1392697       676      2944         0     63942      8966    972817   no data   no data
1196.72/299.64	c  N st    77   1556681       676      2944         0     68585      8966   1049618   no data   no data
1359.30/340.34	c  N st    78   1710490       676      2944         0    110495      8966   2350460   no data   no data
1359.30/340.34	c  S st    78   1710490       676      2944         0    110495      8966   2350460   no data   no data
1360.52/340.69	c  S st    78   1710995       676      2944         0    111000      8966   2364376   no data   no data
1360.52/340.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1360.92/340.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1360.92/340.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1360.92/340.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1360.92/340.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1360.92/340.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
1360.92/340.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1360.92/340.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1361.29/340.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.78/360.75	c lits-rem:      1491  cl-subs:     8052  v-elim:      0  v-fix:    0  time: 19.88 s
1440.78/360.75	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
1440.78/360.78	c vivif2 --  cl tried   102948 cl shrink        0 lits rem          0 time: 0.03
1441.18/360.89	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.11
1441.58/360.90	c calculated reachability. Time: 0.00
1441.58/360.90	c  N st    78   1710995       676      2944         0    102948      8966   2120200   no data   no data
1892.18/473.75	c  N st    79   2079960       676      2944         0    115108      8966   2486862   no data   no data
2054.34/514.34	c  N st    80   2210995       676      2944         0    119147      8966   2558087   no data   no data
2054.34/514.34	c  S st    80   2210995       676      2944         0    119147      8966   2558087   no data   no data
2055.94/514.75	c  S st    80   2211502       676      2944         0    119651      8966   2572932   no data   no data
2055.94/514.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2056.34/514.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2056.34/514.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2056.34/514.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2056.34/514.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2056.34/514.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
2056.34/514.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2056.34/514.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2056.74/514.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2119.06/530.56	c lits-rem:       858  cl-subs:     5400  v-elim:      0  v-fix:    0  time: 15.63 s
2119.06/530.56	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
2119.46/530.60	c vivif2 --  cl tried   114251 cl shrink        0 lits rem          0 time: 0.04
2119.86/530.75	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.15
2119.86/530.76	c calculated reachability. Time: 0.00
2119.86/530.76	c  N st    80   2211502       676      2944         0    114251      8966   2399322   no data   no data
2784.16/697.00	c  N st    81   2711502       676      2944         0    137733      8966   3009630   no data   no data
2784.16/697.00	c  S st    81   2711502       676      2944         0    137733      8966   3009630   no data   no data
2785.74/697.47	c  S st    81   2712002       676      2944         0    138233      8966   3024248   no data   no data
2785.74/697.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2786.13/697.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2786.13/697.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2786.13/697.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2786.13/697.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2786.13/697.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
2786.13/697.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2786.53/697.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2786.53/697.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2893.18/724.30	c lits-rem:      1127  cl-subs:     7919  v-elim:      0  v-fix:    0  time: 26.60 s
2893.18/724.30	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
2893.18/724.34	c vivif2 --  cl tried   130314 cl shrink        0 lits rem          0 time: 0.04
2893.58/724.49	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.15
2893.58/724.50	c calculated reachability. Time: 0.00
2893.58/724.50	c  N st    81   2712002       676      2944         0    130314      8966   2774007   no data   no data
3595.02/900.00	c  N st    82   3212002       676      2944         0    105872      8966   1787908   no data   no data
3595.02/900.00	c  S st    82   3212002       676      2944         0    105872      8966   1787908   no data   no data
3597.03/900.52	c  S st    82   3212504       676      2944         0    106374      8966   1802907   no data   no data
3597.03/900.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3597.43/900.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.08
3597.43/900.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3597.43/900.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3597.43/900.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3597.43/900.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
3597.43/900.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3597.43/900.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3597.81/900.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3638.55/910.96	c lits-rem:       461  cl-subs:     3450  v-elim:      0  v-fix:    0  time: 10.22 s
3638.55/910.96	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
3638.55/910.99	c vivif2 --  cl tried   102924 cl shrink        0 lits rem          0 time: 0.03
3639.35/911.13	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.15
3639.35/911.14	c calculated reachability. Time: 0.00
3639.35/911.14	c  N st    82   3212504       676      2944         0    102924      8966   1693237   no data   no data
4413.09/1104.87	c  N st    83   3712504       676      2944         0    113622      8966   1902251   no data   no data
4413.09/1104.87	c  S st    83   3712504       676      2944         0    113622      8966   1902251   no data   no data
4415.49/1105.47	c  S st    83   3713008       676      2944         0    114126      8966   1917009   no data   no data
4415.49/1105.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4415.89/1105.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.09
4415.89/1105.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4415.89/1105.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4415.89/1105.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4415.89/1105.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    676 time:  0.00 s
4415.89/1105.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4416.29/1105.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4416.69/1105.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4478.20/1121.16	c lits-rem:       784  cl-subs:     4098  v-elim:      0  v-fix:    0  time: 15.46 s
4478.20/1121.16	c vivif2 --  cl tried     2944 cl shrink        0 lits rem          0 time: 0.00
4478.20/1121.19	c vivif2 --  cl tried   110028 cl shrink        0 lits rem          0 time: 0.03
4479.00/1121.39	c asymm  cl-useful: 0/2944/2944 lits-rem:0 time: 0.19
4479.00/1121.39	c calculated reachability. Time: 0.00
4479.00/1121.39	c  N st    83   3713008       676      2944         0    110028      8966   1785321   no data   no data
4557.29/1140.96	c  F st    84   3751563       676      2944         0    147927      8966   2969971   no data   no data
4557.29/1140.96	c  N st    84   3751563       676      2944         0    147927      8966   2969971   no data   no data
4570.08/1144.12	c Decided on static restart strategy
4607.22/1153.42	c  N st    94   3779864       676      2944         0     92558      8966   1141633   no data   no data
4659.15/1166.43	c  N st    96   3815857       676      2944         0    127794      8966   2198431   no data   no data
4715.87/1180.64	c  N st    97   3848250       676      2944         0    159519      8966   3179046   no data   no data
4793.37/1200.04	c  N st    98   3896840       676      2944         0    123098      8966   2141851   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-3173911-1304073274/watcher-3173911-1304073274 -o /tmp/evaluation-result-3173911-1304073274/solver-3173911-1304073274 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173911-1304073274.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.05 7.37 2/172 18926
/proc/meminfo: memFree=18415400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 597558042 52441088 347 33554432000 4194304 4627427 140737312411904 18446744073709551615 47159496701878 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 12803 347 299 106 0 7774 0
[pid=18926/tid=18931] ppid=18924 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597558043 52441088 347 33554432000 4194304 4627427 140737312411904 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597558043 52441088 347 33554432000 4194304 4627427 140737312411904 18446744073709551615 224296723510 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597558043 52441088 347 33554432000 4194304 4627427 140737312411904 18446744073709551615 47159496701872 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.012741 s]
/proc/loadavg: 8.08 8.05 7.37 2/172 18926
/proc/meminfo: memFree=18415400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=282528 CPUtime=0.04 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 1497 0 0 0 4 0 0 0 25 0 4 0 597558042 289308672 1330 33554432000 4194304 4627427 140737312411904 18446744073709551615 224285030943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 71323 3121 385 106 0 66294 0
[pid=18926/tid=18931] ppid=18924 vsize=285292 CPUtime=0.74 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1234 0 0 0 74 0 0 0 19 0 4 0 597558043 292139008 3121 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=285292 CPUtime=0.74 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1178 0 0 0 74 0 0 0 18 0 4 0 597558043 292139008 3121 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=285292 CPUtime=0.75 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1039 0 0 0 75 0 0 0 18 0 4 0 597558043 292139008 3121 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 282528

[startup+0.957547 s]
/proc/loadavg: 8.08 8.05 7.37 2/172 18926
/proc/meminfo: memFree=18415400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=286016 CPUtime=3.8 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 6265 0 0 0 380 0 0 0 25 0 4 0 597558042 292880384 2932 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 71504 2932 385 106 0 66475 0
[pid=18926/tid=18931] ppid=18924 vsize=286016 CPUtime=0.94 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1520 0 0 0 94 0 0 0 19 0 4 0 597558043 292880384 2932 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=286016 CPUtime=0.94 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1475 0 0 0 94 0 0 0 19 0 4 0 597558043 292880384 2932 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=286016 CPUtime=0.95 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1343 0 0 0 95 0 0 0 19 0 4 0 597558043 292880384 2932 33554432000 4194304 4627427 140737312411904 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 286016

[startup+1.05753 s]
/proc/loadavg: 8.08 8.05 7.37 2/172 18926
/proc/meminfo: memFree=18415400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=286016 CPUtime=4.2 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 6539 0 0 0 420 0 0 0 25 0 4 0 597558042 292880384 3206 33554432000 4194304 4627427 140737312411904 18446744073709551615 4330840 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 71504 3206 385 106 0 66475 0
[pid=18926/tid=18931] ppid=18924 vsize=286016 CPUtime=1.04 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1579 0 0 0 104 0 0 0 19 0 4 0 597558043 292880384 3206 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=286016 CPUtime=1.04 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1550 0 0 0 104 0 0 0 19 0 4 0 597558043 292880384 3206 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=286016 CPUtime=1.05 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1414 0 0 0 105 0 0 0 19 0 4 0 597558043 292880384 3206 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 286016

[startup+1.15751 s]
/proc/loadavg: 8.08 8.05 7.37 2/172 18926
/proc/meminfo: memFree=18415400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=286016 CPUtime=4.6 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 6787 0 0 0 460 0 0 0 25 0 4 0 597558042 292880384 3454 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 71504 3455 385 106 0 66475 0
[pid=18926/tid=18931] ppid=18924 vsize=286016 CPUtime=1.14 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1649 0 0 0 114 0 0 0 19 0 4 0 597558043 292880384 3455 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=286016 CPUtime=1.14 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1611 0 0 0 114 0 0 0 19 0 4 0 597558043 292880384 3455 33554432000 4194304 4627427 140737312411904 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=286016 CPUtime=1.15 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1474 0 0 0 115 0 0 0 19 0 4 0 597558043 292880384 3455 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 286016

[startup+1.50046 s]
/proc/loadavg: 8.08 8.05 7.37 2/172 18926
/proc/meminfo: memFree=18415400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=286476 CPUtime=5.98 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 8409 0 0 0 597 1 0 0 25 0 4 0 597558042 293351424 3445 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 71619 3445 386 106 0 66590 0
[pid=18926/tid=18931] ppid=18924 vsize=286476 CPUtime=1.49 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 2063 0 0 0 149 0 0 0 20 0 4 0 597558043 293351424 3445 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=286476 CPUtime=1.49 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 2029 0 0 0 149 0 0 0 20 0 4 0 597558043 293351424 3445 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=286476 CPUtime=1.49 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 1876 0 0 0 149 0 0 0 20 0 4 0 597558043 293351424 3445 33554432000 4194304 4627427 140737312411904 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 286476

[startup+3.10019 s]
/proc/loadavg: 8.39 8.12 7.39 9/184 18938
/proc/meminfo: memFree=18339308/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=273316 CPUtime=12.35 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 18945 0 0 0 1233 2 0 0 25 0 4 0 597558042 279875584 10885 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 68329 10885 390 106 0 63300 0
[pid=18926/tid=18931] ppid=18924 vsize=273316 CPUtime=3.07 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 4280 0 0 0 307 0 0 0 25 0 4 0 597558043 279875584 10885 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=273316 CPUtime=3.08 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 5532 0 0 0 308 0 0 0 25 0 4 0 597558043 279875584 10885 33554432000 4194304 4627427 140737312411904 18446744073709551615 4330133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=273316 CPUtime=3.08 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 3991 0 0 0 308 0 0 0 25 0 4 0 597558043 279875584 10885 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 273316

[startup+6.30666 s]
/proc/loadavg: 8.36 8.12 7.39 9/184 18938
/proc/meminfo: memFree=18307564/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=291328 CPUtime=25.16 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 29355 0 0 0 2511 5 0 0 25 0 4 0 597558042 298319872 15689 33554432000 4194304 4627427 140737312411904 18446744073709551615 4333541 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 72832 15689 389 106 0 67803 0
[pid=18926/tid=18931] ppid=18924 vsize=291328 CPUtime=6.26 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 7752 0 0 0 625 1 0 0 25 0 4 0 597558043 298319872 15689 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=291328 CPUtime=6.29 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 7905 0 0 0 628 1 0 0 25 0 4 0 597558043 298319872 15689 33554432000 4194304 4627427 140737312411904 18446744073709551615 224284622959 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=291328 CPUtime=6.29 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 6006 0 0 0 628 1 0 0 25 0 4 0 597558043 298319872 15690 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 291328

[startup+12.7006 s]
/proc/loadavg: 8.33 8.12 7.40 9/184 18938
/proc/meminfo: memFree=18244136/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=303016 CPUtime=50.71 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 48105 0 0 0 5062 9 0 0 25 0 4 0 597558042 310288384 26086 33554432000 4194304 4627427 140737312411904 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 75754 26086 389 106 0 70725 0
[pid=18926/tid=18931] ppid=18924 vsize=303016 CPUtime=12.62 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 11086 0 0 0 1261 1 0 0 25 0 4 0 597558043 310288384 26086 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=303016 CPUtime=12.68 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 11982 0 0 0 1266 2 0 0 25 0 4 0 597558043 310288384 26086 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=303016 CPUtime=12.68 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 11560 0 0 0 1266 2 0 0 25 0 4 0 597558043 310288384 26086 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 303016

[startup+25.5005 s]
/proc/loadavg: 8.28 8.11 7.40 9/184 18938
/proc/meminfo: memFree=18177660/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=378764 CPUtime=101.84 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 68708 0 0 0 10169 15 0 0 25 0 4 0 597558042 387854336 33288 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 94691 33288 389 106 0 89662 0
[pid=18926/tid=18931] ppid=18924 vsize=378764 CPUtime=25.36 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 14366 0 0 0 2533 3 0 0 25 0 4 0 597558043 387854336 33288 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=378764 CPUtime=25.49 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 16806 0 0 0 2545 4 0 0 25 0 4 0 597558043 387854336 33288 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=378764 CPUtime=25.48 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 17246 0 0 0 2544 4 0 0 25 0 4 0 597558043 387854336 33288 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 378764

[startup+51.1002 s]
/proc/loadavg: 8.24 8.12 7.42 9/184 18938
/proc/meminfo: memFree=18142828/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=379696 CPUtime=204.09 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 95152 0 0 0 20389 20 0 0 25 0 4 0 597558042 388808704 39258 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308307 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 94924 39258 389 106 0 89895 0
[pid=18926/tid=18931] ppid=18924 vsize=379696 CPUtime=50.81 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 20240 0 0 0 5077 4 0 0 25 0 4 0 597558043 388808704 39258 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=379696 CPUtime=51.08 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 20879 0 0 0 5104 4 0 0 25 0 4 0 597558043 388808704 39258 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=379696 CPUtime=51.08 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 27600 0 0 0 5101 7 0 0 25 0 4 0 597558043 388808704 39258 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 379696

[startup+102.301 s]
/proc/loadavg: 8.18 8.11 7.46 9/184 18940
/proc/meminfo: memFree=18082304/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=391416 CPUtime=408.61 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 138805 0 0 0 40828 33 0 0 25 0 4 0 597558042 400809984 47278 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 97854 47278 389 106 0 92825 0
[pid=18926/tid=18931] ppid=18924 vsize=391416 CPUtime=101.73 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 32974 0 0 0 10166 7 0 0 25 0 4 0 597558043 400809984 47278 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=391416 CPUtime=102.28 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 25412 0 0 0 10222 6 0 0 25 0 4 0 597558043 400809984 47278 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=391416 CPUtime=102.28 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 41275 0 0 0 10217 11 0 0 25 0 4 0 597558043 400809984 47278 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 391416

[startup+162.301 s]

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

[pid=18926] ppid=18924 vsize=719892 CPUtime=2805.3 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 467324 0 0 0 280379 151 0 0 25 0 4 0 597558042 737169408 131887 33554432000 4194304 4627427 140737312411904 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 179973 131887 389 106 0 174944 0
[pid=18926/tid=18931] ppid=18924 vsize=719892 CPUtime=698.4 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 124572 0 0 0 69801 39 0 0 25 0 4 0 597558043 737169408 131887 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=719892 CPUtime=702.29 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 102203 0 0 0 70192 37 0 0 25 0 4 0 597558043 737169408 131887 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=719892 CPUtime=702.28 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 115610 0 0 0 70192 36 0 0 25 0 4 0 597558043 737169408 131887 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.3
Current children cumulated vsize (KiB) 719892

[startup+762.301 s]
/proc/loadavg: 8.06 8.10 7.77 9/184 18961
/proc/meminfo: memFree=17587008/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=668960 CPUtime=3044.98 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 479155 0 0 0 304341 157 0 0 25 0 4 0 597558042 685015040 118677 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 167240 118677 389 106 0 162211 0
[pid=18926/tid=18931] ppid=18924 vsize=668960 CPUtime=758.07 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 128404 0 0 0 75766 41 0 0 25 0 4 0 597558043 685015040 118677 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=668960 CPUtime=762.3 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 103108 0 0 0 76192 38 0 0 25 0 4 0 597558043 685015040 118677 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=668960 CPUtime=762.28 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 118830 0 0 0 76190 38 0 0 25 0 4 0 597558043 685015040 118677 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 668960

[startup+822.301 s]
/proc/loadavg: 8.11 8.11 7.80 9/184 18963
/proc/meminfo: memFree=17518656/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=706048 CPUtime=3284.64 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 504448 0 0 0 328299 165 0 0 25 0 4 0 597558042 722993152 121844 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 176512 121844 389 106 0 171483 0
[pid=18926/tid=18931] ppid=18924 vsize=706048 CPUtime=817.74 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 137112 0 0 0 81730 44 0 0 25 0 4 0 597558043 722993152 121844 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=706048 CPUtime=822.3 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 109263 0 0 0 82190 40 0 0 25 0 4 0 597558043 722993152 121844 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=706048 CPUtime=822.28 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 122282 0 0 0 82189 39 0 0 25 0 4 0 597558043 722993152 121844 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 706048

[startup+882.301 s]
/proc/loadavg: 8.20 8.13 7.82 9/184 18963
/proc/meminfo: memFree=17471640/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=712864 CPUtime=3524.32 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 535858 0 0 0 352254 178 0 0 25 0 4 0 597558042 729972736 134946 33554432000 4194304 4627427 140737312411904 18446744073709551615 4333594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 178216 134946 389 106 0 173187 0
[pid=18926/tid=18931] ppid=18924 vsize=712864 CPUtime=877.4 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 147330 0 0 0 87694 46 0 0 25 0 4 0 597558043 729972736 134946 33554432000 4194304 4627427 140737312411904 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=712864 CPUtime=882.3 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 116113 0 0 0 88186 44 0 0 25 0 4 0 597558043 729972736 134946 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=712864 CPUtime=882.28 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 129109 0 0 0 88186 42 0 0 25 0 4 0 597558043 729972736 134946 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 712864

[startup+942.301 s]
/proc/loadavg: 8.14 8.12 7.84 9/184 18965
/proc/meminfo: memFree=17447676/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=740024 CPUtime=3764 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 561645 0 0 0 376211 189 0 0 25 0 4 0 597558042 757784576 140615 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309228 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 185006 140615 389 106 0 179977 0
[pid=18926/tid=18931] ppid=18924 vsize=740024 CPUtime=937.07 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 151345 0 0 0 93659 48 0 0 25 0 4 0 597558043 757784576 140615 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=740024 CPUtime=942.3 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 122802 0 0 0 94182 48 0 0 25 0 4 0 597558043 757784576 140615 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=740024 CPUtime=942.29 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 136932 0 0 0 94184 45 0 0 25 0 4 0 597558043 757784576 140615 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 740024

[startup+1002.3 s]
/proc/loadavg: 8.09 8.11 7.85 9/184 18967
/proc/meminfo: memFree=17366432/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=805652 CPUtime=4003.66 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 586572 0 0 0 400166 200 0 0 25 0 4 0 597558042 824987648 154356 33554432000 4194304 4627427 140737312411904 18446744073709551615 4333279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 201413 154356 389 106 0 196384 0
[pid=18926/tid=18931] ppid=18924 vsize=805652 CPUtime=996.74 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 158723 0 0 0 99622 52 0 0 25 0 4 0 597558043 824987648 154356 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=805652 CPUtime=1002.3 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 128885 0 0 0 100180 50 0 0 25 0 4 0 597558043 824987648 154356 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=805652 CPUtime=1002.28 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 144571 0 0 0 100180 48 0 0 25 0 4 0 597558043 824987648 154356 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.66
Current children cumulated vsize (KiB) 805652

[startup+1062.31 s]
/proc/loadavg: 8.03 8.09 7.85 9/184 18969
/proc/meminfo: memFree=17330072/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=871276 CPUtime=4243.35 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 608547 0 0 0 424128 207 0 0 25 0 4 0 597558042 892186624 158691 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 217819 158691 389 106 0 212790 0
[pid=18926/tid=18931] ppid=18924 vsize=871276 CPUtime=1056.42 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 166877 0 0 0 105587 55 0 0 25 0 4 0 597558043 892186624 158691 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=871276 CPUtime=1062.31 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 130057 0 0 0 106180 51 0 0 25 0 4 0 597558043 892186624 158691 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=871276 CPUtime=1062.29 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 149190 0 0 0 106179 50 0 0 25 0 4 0 597558043 892186624 158691 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 871276

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 7.86 9/184 18971
/proc/meminfo: memFree=17339720/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=868744 CPUtime=4482.99 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 622268 0 0 0 448086 213 0 0 25 0 4 0 597558042 889593856 153024 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 217186 153024 389 106 0 212157 0
[pid=18926/tid=18931] ppid=18924 vsize=868744 CPUtime=1116.07 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 173199 0 0 0 111550 57 0 0 25 0 4 0 597558043 889593856 153024 33554432000 4194304 4627427 140737312411904 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=868744 CPUtime=1122.3 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 130913 0 0 0 112179 51 0 0 25 0 4 0 597558043 889593856 153024 33554432000 4194304 4627427 140737312411904 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=868744 CPUtime=1122.29 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 153002 0 0 0 112178 51 0 0 25 0 4 0 597558043 889593856 153024 33554432000 4194304 4627427 140737312411904 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 868744

[startup+1182.3 s]
/proc/loadavg: 8.03 8.07 7.87 9/184 18971
/proc/meminfo: memFree=17304736/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=977520 CPUtime=4722.66 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 640579 0 0 0 472044 222 0 0 25 0 4 0 597558042 1000980480 164490 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 244380 164490 389 106 0 239351 0
[pid=18926/tid=18931] ppid=18924 vsize=977520 CPUtime=1175.74 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 177890 0 0 0 117514 60 0 0 25 0 4 0 597558043 1000980480 164490 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=977520 CPUtime=1182.31 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 135160 0 0 0 118177 54 0 0 25 0 4 0 597558043 1000980480 164490 33554432000 4194304 4627427 140737312411904 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=977520 CPUtime=1182.28 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 157826 0 0 0 118175 53 0 0 25 0 4 0 597558043 1000980480 164490 33554432000 4194304 4627427 140737312411904 18446744073709551615 4322592 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.66
Current children cumulated vsize (KiB) 977520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.02 8.06 7.87 9/184 18973
/proc/meminfo: memFree=17330400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=815024 CPUtime=4800.18 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 646351 0 0 0 479793 225 0 0 25 0 4 0 597558042 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 203756 158591 389 106 0 198727 0
[pid=18926/tid=18931] ppid=18924 vsize=815024 CPUtime=1195.04 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 180609 0 0 0 119443 61 0 0 25 0 4 0 597558043 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=815024 CPUtime=1201.71 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 135160 0 0 0 120117 54 0 0 25 0 4 0 597558043 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=815024 CPUtime=1201.69 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 158040 0 0 0 120116 53 0 0 25 0 4 0 597558043 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 815024

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.02 8.06 7.87 9/184 18973
/proc/meminfo: memFree=17330400/32951124 swapFree=67110396/67111528
[pid=18926] ppid=18924 vsize=815024 CPUtime=4800.18 cores=0,2,4,6
/proc/18926/stat : 18926 (strangenight2-m) R 18924 18926 18381 0 -1 4202496 646351 0 0 0 479793 225 0 0 25 0 4 0 597558042 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18926/statm: 203756 158591 389 106 0 198727 0
[pid=18926/tid=18931] ppid=18924 vsize=815024 CPUtime=1195.04 cores=0,2,4,6
/proc/18926/task/18931/stat : 18931 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 180609 0 0 0 119443 61 0 0 25 0 4 0 597558043 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18926/tid=18932] ppid=18924 vsize=815024 CPUtime=1201.71 cores=0,2,4,6
/proc/18926/task/18932/stat : 18932 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 135160 0 0 0 120117 54 0 0 25 0 4 0 597558043 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18926/tid=18933] ppid=18924 vsize=815024 CPUtime=1201.69 cores=0,2,4,6
/proc/18926/task/18933/stat : 18933 (strangenight2-m) R 18924 18926 18381 0 -1 4202560 158040 0 0 0 120116 53 0 0 25 0 4 0 597558043 834584576 158591 33554432000 4194304 4627427 140737312411904 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 815024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.24
CPU user time (s): 4797.95
CPU system time (s): 2.28165
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 1032248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.28165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646352
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= 416
involuntary context switches= 19799

runsolver used 1.9777 second user time and 4.5933 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 12:34:34
IDJOB=3173911
IDBENCH=82729
IDSOLVER=1586
FILE ID=node118/3173911-1304073274
RUNJOBID= node118-1304072069-18817
PBS_JOBID= 13170468
Free space on /tmp= 71620 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173911-1304073274/watcher-3173911-1304073274 -o /tmp/evaluation-result-3173911-1304073274/solver-3173911-1304073274 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173911-1304073274.cnf

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

MD5SUM BENCH= c557851ca2e09c43aa7c0a50184336eb
RANDOM SEED=1591948504

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18415556 kB
Buffers:       1901284 kB
Cached:       12033708 kB
SwapCached:        600 kB
Active:        9487832 kB
Inactive:      4512224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18415556 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           11296 kB
Writeback:           0 kB
AnonPages:       63532 kB
Mapped:          14388 kB
Slab:           471816 kB
PageTables:       3900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187776 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= 71608 MiB
End job on node118 at 2011-04-29 12:54:38