Trace number 3263785

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.37 1201.74

General information on the benchmark

NameSAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
MD5SUM1d86c7f9cd05c5f2ab070520d802c8e1
Bench CategoryCRAFTED (crafted 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 variables226
Number of clauses1078
Sum of the clauses size3624
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226
Number of clauses of size 3636
Number of clauses of size 4416
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3263785-1304135631.cnf'
0.00/0.00	c -- header says num vars:            226
0.00/0.00	c -- header says num clauses:        1078
0.00/0.00	c -- clauses added:            0 learnts,         1078 normals,            0 xors
0.00/0.00	c -- vars added        226
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       226      1052        26         0      3624         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1052/1052 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c Replacing        1 vars Replaced       12 lits Time:     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:    225 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.10	c lits-rem:        11  cl-subs:        0  v-elim:     63  v-fix:    0  time:  0.01 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:      62, avg size: 3.8)
0.00/0.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:       6 undec:      69 neg:     151
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       162       476        20         0      2184         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4918       162       476        32      4799      2184    114525   no data   no data  --
1.17/0.34	c  N st    10     11301       162       476        38      4478      2184     78258   no data   no data  --
1.97/0.55	c  N st    11     17044       162       476        41      9989      2184    214042   no data   no data  --
3.18/0.86	c  F st    12     25000       162       476        47     12433      2184    259268   no data   no data  --
3.18/0.86	c  N st    12     25000       162       476        47     12433      2184    259268   no data   no data  --
3.18/0.86	c Finding binary XORs  T:     0.00 s  found:       0
3.98/1.08	c Decided on static restart strategy
3.98/1.08	c  N st    18     30004       162       476        48     10800      2184    199136   no data   no data  --
3.98/1.08	c  S st    18     30004       162       476        48     10800      2184    199136   no data   no data  --
4.39/1.11	c  S st    18     30506       162       476        48     11298      2184    209050   no data   no data  --
4.39/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.39/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    117 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
4.39/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.12	c subs with bin:       37  lits-rem:       364  v-fix:    0  time:  0.00 s
4.39/1.12	c Subs w/ non-existent bins:      0 l-rem:     36 v-fix:     0 done:    162 time:  0.00 s
4.39/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.53	c lits-rem:      2629  cl-subs:      970  v-elim:      3  v-fix:    0  time:  1.63 s
5.97/1.54	c asymm  cl-useful: 25/462/462 lits-rem:26 time: 0.02
5.97/1.54	c calculated reachability. Time: 0.00
5.97/1.54	c  N st    18     30506       159       462       164     10302      2157    185032   no data   no data  --
6.37/1.66	c Finding binary XORs  T:     0.00 s  found:       0
7.17/1.88	c  N st    20     37617       159       462       165      9462      2157    157532   no data   no data  --
8.37/2.19	c  N st    21     44016       159       462       167     15566      2157    314897   no data   no data  --
8.78/2.29	c  S st    22     45760       158       462       171     17267      2157    359653   no data   no data  --
9.18/2.34	c  S st    22     46267       158       462       171      9284      2157    138732   no data   no data  --
9.18/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.18/2.34	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      3 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.18/2.35	c Replacing        1 vars Replaced     2316 lits Time:     0.01 s 
9.18/2.35	c bin-w-bin subsume rem            4 bins  time:  0.00 s
9.18/2.35	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.00 s
9.18/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
9.18/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.41	c lits-rem:       462  cl-subs:      148  v-elim:      0  v-fix:    0  time:  0.22 s
9.57/2.41	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
9.57/2.41	c vivif2 --  cl tried     9131 cl shrink       56 lits rem         56 time: 0.01
9.57/2.41	c asymm  cl-useful: 0/448/448 lits-rem:0 time: 0.02
9.57/2.41	c calculated reachability. Time: 0.00
9.57/2.41	c  N st    22     46267       156       448        30      9131      2079    134882   no data   no data  --
12.36/3.19	c  N st    23     60665       156       448        30     13342      2079    232541   no data   no data  --
12.36/3.19	c Finding binary XORs  T:     0.00 s  found:       0
14.75/3.73	c  N st    24     69401       156       448        30     11253      2079    170971   no data   no data  --
14.75/3.73	c  S st    24     69401       156       448        30     11253      2079    170971   no data   no data  --
14.75/3.76	c  S st    24     69901       156       448        30     11745      2079    181738   no data   no data  --
14.75/3.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.75/3.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.75/3.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
14.75/3.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.75/3.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.77	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:    156 time:  0.00 s
14.75/3.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.10	c lits-rem:       480  cl-subs:      146  v-elim:      0  v-fix:    0  time:  1.33 s
16.36/4.10	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
16.36/4.10	c vivif2 --  cl tried    11599 cl shrink        2 lits rem          2 time: 0.01
16.36/4.11	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.02
16.36/4.11	c calculated reachability. Time: 0.00
16.36/4.11	c  N st    24     69901       156       448        30     11599      2077    178103   no data   no data  --
20.35/5.10	c  F st    25     87500       156       448        30     16773      2077    292197   no data   no data  --
20.35/5.10	c  N st    25     87500       156       448        30     16773      2077    292197   no data   no data  --
21.15/5.36	c Decided on static restart strategy
21.97/5.53	c  N st    32     95543       156       448        30     24526      2077    483609   no data   no data  --
23.94/6.04	c  N st    34    104852       156       448        30     21006      2077    388977   no data   no data  --
23.94/6.04	c  S st    34    104852       156       448        30     21006      2077    388977   no data   no data  --
23.94/6.09	c  S st    34    105353       156       448        30     21504      2077    400653   no data   no data  --
23.94/6.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.94/6.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.34/6.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
24.34/6.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.34/6.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.34/6.11	c Subs w/ non-existent bins:      0 l-rem:     20 v-fix:     0 done:    156 time:  0.00 s
24.34/6.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.75/7.75	c lits-rem:      2688  cl-subs:     1694  v-elim:      0  v-fix:    0  time:  6.54 s
30.75/7.75	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
30.75/7.76	c vivif2 --  cl tried    19810 cl shrink       36 lits rem         36 time: 0.02
30.75/7.77	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.04
30.75/7.77	c calculated reachability. Time: 0.00
30.75/7.77	c  N st    34    105353       156       448        30     19810      2075    355694   no data   no data  --
33.54/8.41	c  N st    35    114951       156       448        30     15681      2075    239254   no data   no data  --
37.53/9.44	c  N st    36    129349       156       448        30     15049      2075    212691   no data   no data  --
43.12/10.88	c  N st    37    150946       156       448        30     20260      2075    335059   no data   no data  --
45.12/11.32	c  S st    38    158029       156       448        30     26932      2075    504962   no data   no data  --
45.12/11.39	c  S st    38    158534       156       448        30     27435      2075    515980   no data   no data  --
45.12/11.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.12/11.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.51/11.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
45.51/11.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.51/11.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.41	c Subs w/ non-existent bins:      0 l-rem:     19 v-fix:     0 done:    156 time:  0.00 s
45.51/11.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.91/13.58	c lits-rem:      4096  cl-subs:     3119  v-elim:      0  v-fix:    0  time:  8.65 s
53.91/13.58	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
53.91/13.58	c vivif2 --  cl tried    24316 cl shrink       23 lits rem         25 time: 0.02
53.91/13.59	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.04
53.91/13.60	c calculated reachability. Time: 0.00
53.91/13.60	c  N st    38    158534       156       448        30     24316      2073    436075   no data   no data  --
67.88/17.09	c  N st    39    207122       156       448        30     19181      2073    271447   no data   no data  --
77.47/19.43	c  N st    40    237803       156       448        30     29093      2073    492281   no data   no data  --
77.47/19.43	c  S st    40    237803       156       448        30     29093      2073    492281   no data   no data  --
77.47/19.49	c  S st    40    238305       156       448        30     29591      2073    503631   no data   no data  --
77.87/19.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.87/19.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.87/19.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
77.87/19.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.87/19.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.87/19.52	c Subs w/ non-existent bins:      0 l-rem:     13 v-fix:     0 done:    156 time:  0.00 s
77.87/19.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.06/21.85	c lits-rem:      3010  cl-subs:     4361  v-elim:      0  v-fix:    0  time:  9.30 s
87.06/21.85	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
87.06/21.86	c vivif2 --  cl tried    25230 cl shrink        6 lits rem          6 time: 0.02
87.06/21.87	c asymm  cl-useful: 6/448/448 lits-rem:6 time: 0.06
87.06/21.87	c calculated reachability. Time: 0.00
87.06/21.87	c  N st    40    238305       156       448        30     25230      2067    409537   no data   no data  --
109.43/27.43	c  F st    41    306250       156       448        30     27453      2067    431947   no data   no data  --
109.43/27.43	c  N st    41    306250       156       448        30     27453      2067    431947   no data   no data  --
111.02/27.80	c Decided on static restart strategy
118.22/29.60	c  N st    51    334552       156       448        30     31793      2067    530946   no data   no data  --
125.41/31.44	c  N st    53    357457       156       448        30     29781      2067    461464   no data   no data  --
125.41/31.44	c  S st    53    357457       156       448        30     29781      2067    461464   no data   no data  --
125.81/31.52	c  S st    53    357960       156       448        30     30281      2067    473310   no data   no data  --
125.81/31.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
125.81/31.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
125.81/31.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
125.81/31.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
125.81/31.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.81/31.54	c Subs w/ non-existent bins:      0 l-rem:     12 v-fix:     0 done:    156 time:  0.00 s
125.81/31.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.82/33.09	c lits-rem:      2043  cl-subs:     1403  v-elim:      0  v-fix:    0  time:  6.16 s
131.82/33.09	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
131.82/33.09	c vivif2 --  cl tried    28878 cl shrink       11 lits rem         11 time: 0.02
132.22/33.11	c asymm  cl-useful: 5/448/448 lits-rem:5 time: 0.06
132.22/33.11	c calculated reachability. Time: 0.00
132.22/33.11	c  N st    53    357960       156       448        30     28878      2058    438067   no data   no data  --
143.79/36.06	c  N st    54    390352       156       448        30     34876      2058    586247   no data   no data  --
161.35/40.42	c  N st    55    438940       156       448        30     28933      2058    408987   no data   no data  --
188.53/47.29	c  N st    56    511824       156       448        30     41626      2058    697376   no data   no data  --
198.12/49.67	c  N st    57    536942       156       448        30     36158      2058    559406   no data   no data  --
198.12/49.67	c  S st    57    536942       156       448        30     36158      2058    559406   no data   no data  --
198.50/49.76	c  S st    57    537444       156       448        30     36657      2058    570369   no data   no data  --
198.50/49.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
198.50/49.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
198.50/49.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
198.50/49.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.50/49.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.50/49.79	c Subs w/ non-existent bins:      0 l-rem:     20 v-fix:     0 done:    156 time:  0.00 s
198.50/49.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
206.51/51.79	c lits-rem:      3326  cl-subs:     2309  v-elim:      0  v-fix:    0  time:  8.00 s
206.51/51.79	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
206.51/51.80	c vivif2 --  cl tried    34348 cl shrink       33 lits rem         33 time: 0.02
206.91/51.82	c asymm  cl-useful: 0/448/448 lits-rem:0 time: 0.06
206.91/51.82	c calculated reachability. Time: 0.00
206.91/51.82	c  N st    57    537444       156       448        30     34348      2058    515374   no data   no data  --
278.00/69.67	c  N st    58    701429       156       448        30     61976      2058   1119060   no data   no data  --
326.73/81.88	c  N st    59    806166       156       448        30     56420      2058    988342   no data   no data  --
326.73/81.88	c  S st    59    806166       156       448        30     56420      2058    988342   no data   no data  --
327.53/82.03	c  S st    59    806670       156       448        30     56923      2058    999861   no data   no data  --
327.53/82.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
327.53/82.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
327.53/82.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
327.53/82.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
327.53/82.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
327.53/82.08	c Subs w/ non-existent bins:      0 l-rem:     45 v-fix:     0 done:    156 time:  0.00 s
327.53/82.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
359.09/89.90	c lits-rem:      5662  cl-subs:     6885  v-elim:      0  v-fix:    0  time: 31.22 s
359.09/89.90	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
359.09/89.91	c vivif2 --  cl tried    50038 cl shrink      136 lits rem        136 time: 0.05
359.09/89.94	c asymm  cl-useful: 0/448/448 lits-rem:0 time: 0.11
359.09/89.94	c calculated reachability. Time: 0.00
359.09/89.94	c  N st    59    806670       156       448        30     50038      2058    846091   no data   no data  --
485.72/121.66	c  F st    60   1071877       156       448        30     64443      2058   1083192   no data   no data  --
485.72/121.66	c  N st    60   1071877       156       448        30     64443      2058   1083192   no data   no data  --
488.13/122.26	c Decided on static restart strategy
500.50/125.35	c  N st    70   1100185       156       448        30     49715      2058    755010   no data   no data  --
518.08/129.75	c  N st    72   1136179       156       448        30     83734      2058   1625022   no data   no data  --
533.25/133.51	c  N st    73   1168571       156       448        30     71041      2058   1285508   no data   no data  --
555.23/139.09	c  N st    74   1210006       156       448        30     66039      2058   1136256   no data   no data  --
555.23/139.09	c  S st    74   1210006       156       448        30     66039      2058   1136256   no data   no data  --
556.43/139.30	c  S st    74   1210511       156       448        30     66539      2058   1149030   no data   no data  --
556.43/139.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
556.43/139.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
556.43/139.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
556.43/139.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
556.43/139.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
556.43/139.39	c Subs w/ non-existent bins:      0 l-rem:     70 v-fix:     0 done:    156 time:  0.00 s
556.43/139.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
600.76/150.45	c lits-rem:      2436  cl-subs:     8221  v-elim:      0  v-fix:    0  time: 44.15 s
600.76/150.45	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
600.76/150.47	c vivif2 --  cl tried    58318 cl shrink      268 lits rem        268 time: 0.06
601.16/150.51	c asymm  cl-useful: 1/448/448 lits-rem:1 time: 0.18
601.16/150.51	c calculated reachability. Time: 0.00
601.16/150.51	c  N st    74   1210511       156       448        30     58318      2057    955575   no data   no data  --
640.71/160.46	c  N st    75   1283393       156       448        30     80980      2057   1480959   no data   no data  --
702.23/175.80	c  N st    76   1392718       156       448        30     90941      2057   1709026   no data   no data  --
797.30/199.68	c  N st    77   1556703       156       448        30     98647      2057   1884353   no data   no data  --
883.21/221.20	c  N st    78   1710511       156       448        30     88339      2057   1584786   no data   no data  --
883.21/221.20	c  S st    78   1710511       156       448        30     88339      2057   1584786   no data   no data  --
884.38/221.44	c  S st    78   1711015       156       448        30     88840      2057   1596742   no data   no data  --
884.38/221.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
884.38/221.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
884.38/221.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
884.78/221.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
884.78/221.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
884.78/221.53	c Subs w/ non-existent bins:      0 l-rem:     97 v-fix:     0 done:    156 time:  0.00 s
884.78/221.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1026.19/256.98	c lits-rem:        57  cl-subs:    13158  v-elim:      0  v-fix:    0  time: 141.52 s
1026.19/256.98	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
1026.59/257.00	c vivif2 --  cl tried    75683 cl shrink      124 lits rem        126 time: 0.10
1026.99/257.11	c asymm  cl-useful: 1/447/447 lits-rem:1 time: 0.41
1026.99/257.11	c calculated reachability. Time: 0.00
1026.99/257.11	c  N st    78   1711015       156       447        30     75683      2048   1305720   no data   no data  --
1247.49/312.39	c  N st    79   2079979       156       447        30     86779      2048   1479308   no data   no data  --
1323.79/331.46	c  N st    80   2211015       156       447        30     91741      2048   1582393   no data   no data  --
1323.79/331.46	c  S st    80   2211015       156       447        30     91741      2048   1582393   no data   no data  --
1324.99/331.70	c  S st    80   2211519       156       447        30     92242      2048   1594247   no data   no data  --
1324.99/331.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1324.99/331.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1324.99/331.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1324.99/331.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1324.99/331.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1324.99/331.79	c Subs w/ non-existent bins:      0 l-rem:     13 v-fix:     0 done:    156 time:  0.01 s
1324.99/331.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1390.50/348.12	c lits-rem:      4455  cl-subs:     9968  v-elim:      0  v-fix:    0  time: 65.18 s
1390.50/348.12	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
1390.50/348.15	c vivif2 --  cl tried    82274 cl shrink      698 lits rem        699 time: 0.10
1390.90/348.21	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.27
1390.90/348.22	c calculated reachability. Time: 0.00
1390.90/348.22	c  N st    80   2211519       156       447        30     82274      2048   1378702   no data   no data  --
1729.22/432.93	c  N st    81   2711521       156       447        30    103928      2048   1790557   no data   no data  --
1729.22/432.93	c  S st    81   2711521       156       447        30    103928      2048   1790557   no data   no data  --
1730.02/433.18	c  S st    81   2712023       156       447        30    104426      2048   1803128   no data   no data  --
1730.02/433.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1730.02/433.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1730.42/433.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
1730.42/433.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1730.42/433.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1730.42/433.29	c Subs w/ non-existent bins:      0 l-rem:    130 v-fix:     0 done:    156 time:  0.01 s
1730.42/433.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1847.47/462.53	c lits-rem:      9319  cl-subs:    15754  v-elim:      0  v-fix:    0  time: 116.73 s
1847.47/462.53	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
1847.47/462.55	c vivif2 --  cl tried    88672 cl shrink      373 lits rem        373 time: 0.10
1847.87/462.61	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.25
1847.87/462.62	c calculated reachability. Time: 0.00
1847.87/462.62	c  N st    81   2712023       156       447        30     88672      2048   1469740   no data   no data  --
2199.80/550.76	c  N st    82   3212024       156       447        30    138440      2048   2558505   no data   no data  --
2199.80/550.76	c  S st    82   3212024       156       447        30    138440      2048   2558505   no data   no data  --
2201.81/551.25	c  S st    82   3212529       156       447        30    138940      2048   2570475   no data   no data  --
2201.81/551.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2201.81/551.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2202.19/551.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.31
2202.59/551.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2202.59/551.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2202.59/551.43	c Subs w/ non-existent bins:      0 l-rem:     83 v-fix:     0 done:    156 time:  0.00 s
2202.59/551.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2818.56/705.68	c lits-rem:       811  cl-subs:    29186  v-elim:      0  v-fix:    0  time: 615.88 s
2818.56/705.68	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
2818.96/705.71	c vivif2 --  cl tried   109754 cl shrink      123 lits rem        123 time: 0.11
2819.36/705.82	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.43
2819.36/705.83	c calculated reachability. Time: 0.00
2819.36/705.83	c  N st    82   3212529       156       447        30    109754      2048   1949755   no data   no data  --
3196.45/800.26	c  N st    83   3712529       156       447        30    128335      2048   2219966   no data   no data  --
3196.45/800.26	c  S st    83   3712529       156       447        30    128335      2048   2219966   no data   no data  --
3198.87/800.80	c  S st    83   3713031       156       447        30    128829      2048   2231166   no data   no data  --
3198.87/800.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3198.87/800.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3198.87/800.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.33
3199.27/800.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3199.27/800.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3199.27/800.98	c Subs w/ non-existent bins:      0 l-rem:    134 v-fix:     0 done:    156 time:  0.01 s
3199.27/800.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3497.25/875.56	c lits-rem:      3654  cl-subs:    21710  v-elim:      0  v-fix:    0  time: 297.86 s
3497.25/875.56	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
3497.25/875.59	c vivif2 --  cl tried   107119 cl shrink      121 lits rem        122 time: 0.13
3498.07/875.72	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.52
3498.07/875.73	c calculated reachability. Time: 0.00
3498.07/875.73	c  N st    83   3713031       156       447        30    107119      2048   1793837   no data   no data  --
3534.40/884.86	c  F st    84   3751564       156       447        30    142776      2048   2670589   no data   no data  --
3534.40/884.86	c  N st    84   3751564       156       447        30    142776      2048   2670589   no data   no data  --
3540.39/886.31	c Decided on static restart strategy
3562.37/891.84	c  N st    94   3779870       156       447        30     92271      2048   1404519   no data   no data  --
3588.73/898.43	c  N st    96   3815864       156       447        30    125869      2048   2204116   no data   no data  --
3619.89/906.25	c  N st    97   3848256       156       447        30    156045      2048   2959172   no data   no data  --
3660.65/916.43	c  N st    98   3896844       156       447        30    122222      2048   2104378   no data   no data  --
3718.95/931.08	c  N st    99   3969728       156       447        30    109508      2048   1728862   no data   no data  --
3802.84/952.05	c  N st   100   4079052       156       447        30    129775      2048   2237275   no data   no data  --
3914.29/979.90	c  N st   101   4213031       156       447        30     90252      2048   1280592   no data   no data  --
3914.29/979.90	c  S st   101   4213031       156       447        30     90252      2048   1280592   no data   no data  --
3915.11/980.17	c  S st   101   4213533       156       447        30     90748      2048   1292591   no data   no data  --
3915.11/980.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3915.11/980.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3915.51/980.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3915.51/980.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3915.51/980.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3915.51/980.25	c Subs w/ non-existent bins:      0 l-rem:     45 v-fix:     0 done:    156 time:  0.00 s
3915.51/980.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3945.87/987.81	c lits-rem:      1915  cl-subs:     3452  v-elim:      0  v-fix:    0  time: 30.17 s
3945.87/987.81	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
3945.87/987.83	c vivif2 --  cl tried    87296 cl shrink       39 lits rem         41 time: 0.07
3945.87/987.89	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.25
3945.87/987.89	c calculated reachability. Time: 0.00
3945.87/987.89	c  N st   101   4213533       156       447        30     87296      2048   1220242   no data   no data  --
4152.39/1039.54	c  N st   102   4459510       156       447        30    147306      2048   2617516   no data   no data  --
4376.07/1095.52	c  N st   103   4713534       156       447        30    125080      2048   2074457   no data   no data  --
4376.07/1095.52	c  S st   103   4713534       156       447        30    125080      2048   2074457   no data   no data  --
4377.26/1095.80	c  S st   103   4714040       156       447        30    125578      2048   2086994   no data   no data  --
4377.26/1095.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4377.26/1095.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4377.26/1095.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
4377.66/1095.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4377.66/1095.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4377.66/1095.93	c Subs w/ non-existent bins:      0 l-rem:    159 v-fix:     0 done:    156 time:  0.00 s
4377.66/1095.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4511.89/1129.56	c lits-rem:      2871  cl-subs:    16015  v-elim:      0  v-fix:    0  time: 134.29 s
4511.89/1129.56	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
4511.89/1129.59	c vivif2 --  cl tried   109563 cl shrink      127 lits rem        127 time: 0.10
4512.29/1129.68	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.36
4512.29/1129.69	c calculated reachability. Time: 0.00
4512.29/1129.69	c  N st   103   4714040       156       447        30    109563      2048   1742315   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-3263785-1304135631/watcher-3263785-1304135631 -o /tmp/evaluation-result-3263785-1304135631/solver-3263785-1304135631 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3263785-1304135631.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.04 7.96 7.48 1/172 15682
/proc/meminfo: memFree=29539780/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 505978389 52465664 358 33554432000 4194304 4650419 140734640614800 18446744073709551615 47266619254295 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 12809 358 306 112 0 7774 0
[pid=15682/tid=15683] ppid=15680 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505978390 52465664 358 33554432000 4194304 4650419 140734640614800 18446744073709551615 47266619254696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505978390 52465664 358 33554432000 4194304 4650419 140734640614800 18446744073709551615 47266619254297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505978390 52465664 358 33554432000 4194304 4650419 140734640614800 18446744073709551615 47266619254295 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.107192 s]
/proc/loadavg: 8.04 7.96 7.48 1/172 15682
/proc/meminfo: memFree=29539780/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=282004 CPUtime=0.4 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 1541 0 0 0 40 0 0 0 25 0 4 0 505978389 288772096 1418 33554432000 4194304 4650419 140734640614800 18446744073709551615 4311360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 70501 1418 392 112 0 65466 0
[pid=15682/tid=15683] ppid=15680 vsize=282004 CPUtime=0.09 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 321 0 0 0 9 0 0 0 25 0 4 0 505978390 288772096 1418 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=282004 CPUtime=0.1 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 283 0 0 0 10 0 0 0 25 0 4 0 505978390 288772096 1418 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=282004 CPUtime=0.1 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 211 0 0 0 10 0 0 0 25 0 4 0 505978390 288772096 1418 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364450 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282004

[startup+0.201176 s]
/proc/loadavg: 8.04 7.96 7.48 1/172 15682
/proc/meminfo: memFree=29539780/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=283020 CPUtime=0.78 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 2211 0 0 0 78 0 0 0 25 0 4 0 505978389 289812480 1540 33554432000 4194304 4650419 140734640614800 18446744073709551615 4331089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 70755 1540 394 112 0 65720 0
[pid=15682/tid=15683] ppid=15680 vsize=283020 CPUtime=0.19 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 494 0 0 0 19 0 0 0 25 0 4 0 505978390 289812480 1540 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=283020 CPUtime=0.19 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 452 0 0 0 19 0 0 0 25 0 4 0 505978390 289812480 1540 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=283020 CPUtime=0.19 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 360 0 0 0 19 0 0 0 25 0 4 0 505978390 289812480 1540 33554432000 4194304 4650419 140734640614800 18446744073709551615 4315277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283020

[startup+0.301158 s]
/proc/loadavg: 8.04 7.96 7.48 1/172 15682
/proc/meminfo: memFree=29539780/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=283196 CPUtime=1.17 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 2639 0 0 0 117 0 0 0 25 0 4 0 505978389 289992704 1968 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364042 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 70799 1968 394 112 0 65764 0
[pid=15682/tid=15683] ppid=15680 vsize=283196 CPUtime=0.29 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 595 0 0 0 29 0 0 0 25 0 4 0 505978390 289992704 1968 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=283196 CPUtime=0.29 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 564 0 0 0 29 0 0 0 25 0 4 0 505978390 289992704 1968 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=283196 CPUtime=0.29 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 465 0 0 0 29 0 0 0 25 0 4 0 505978390 289992704 1970 33554432000 4194304 4650419 140734640614800 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283196

[startup+0.701088 s]
/proc/loadavg: 8.04 7.96 7.48 1/172 15682
/proc/meminfo: memFree=29539780/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=275616 CPUtime=2.78 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 4828 0 0 0 277 1 0 0 25 0 4 0 505978389 282230784 2260 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 68904 2260 394 112 0 63869 0
[pid=15682/tid=15683] ppid=15680 vsize=275616 CPUtime=0.69 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 1140 0 0 0 69 0 0 0 25 0 4 0 505978390 282230784 2260 33554432000 4194304 4650419 140734640614800 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=275616 CPUtime=0.69 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 1141 0 0 0 69 0 0 0 25 0 4 0 505978390 282230784 2260 33554432000 4194304 4650419 140734640614800 18446744073709551615 4328321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=275616 CPUtime=0.69 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 946 0 0 0 69 0 0 0 25 0 4 0 505978390 282230784 2260 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 275616

[startup+1.50095 s]
/proc/loadavg: 8.04 7.96 7.48 9/184 15699
/proc/meminfo: memFree=29512280/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=276268 CPUtime=5.97 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 9776 0 0 0 595 2 0 0 25 0 4 0 505978389 282898432 5503 33554432000 4194304 4650419 140734640614800 18446744073709551615 4438725 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 69067 5503 395 112 0 64032 0
[pid=15682/tid=15683] ppid=15680 vsize=276268 CPUtime=1.48 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 3044 0 0 0 148 0 0 0 25 0 4 0 505978390 282898432 5503 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=276268 CPUtime=1.49 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 1997 0 0 0 149 0 0 0 25 0 4 0 505978390 282898432 5503 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=276268 CPUtime=1.49 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 1485 0 0 0 149 0 0 0 25 0 4 0 505978390 282898432 5503 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 276268

[startup+3.10066 s]
/proc/loadavg: 8.04 7.96 7.48 9/184 15699
/proc/meminfo: memFree=29472476/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=277296 CPUtime=12.36 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 15948 0 0 0 1233 3 0 0 25 0 4 0 505978389 283951104 9373 33554432000 4194304 4650419 140734640614800 18446744073709551615 4333593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 69324 9373 395 112 0 64289 0
[pid=15682/tid=15683] ppid=15680 vsize=277296 CPUtime=3.08 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 4195 0 0 0 307 1 0 0 25 0 4 0 505978390 283951104 9373 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=277296 CPUtime=3.08 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 3733 0 0 0 308 0 0 0 18 0 4 0 505978390 283951104 9373 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=277296 CPUtime=3.09 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 3335 0 0 0 309 0 0 0 25 0 4 0 505978390 283951104 9373 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 277296

[startup+6.3011 s]
/proc/loadavg: 8.04 7.96 7.49 9/184 15700
/proc/meminfo: memFree=29437872/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=278244 CPUtime=25.15 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 25563 0 0 0 2510 5 0 0 25 0 4 0 505978389 284921856 13247 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 69561 13247 395 112 0 64526 0
[pid=15682/tid=15683] ppid=15680 vsize=278244 CPUtime=6.26 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 6517 0 0 0 625 1 0 0 25 0 4 0 505978390 284921856 13247 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364604 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=278244 CPUtime=6.28 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 6661 0 0 0 628 0 0 0 25 0 4 0 505978390 284921856 13247 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=278244 CPUtime=6.29 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 4949 0 0 0 628 1 0 0 25 0 4 0 505978390 284921856 13247 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 278244

[startup+12.701 s]
/proc/loadavg: 8.04 7.96 7.49 9/184 15700
/proc/meminfo: memFree=29389860/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=297784 CPUtime=50.71 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 39146 0 0 0 5063 8 0 0 25 0 4 0 505978389 304930816 18792 33554432000 4194304 4650419 140734640614800 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 74446 18792 395 112 0 69411 0
[pid=15682/tid=15683] ppid=15680 vsize=297784 CPUtime=12.62 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 9842 0 0 0 1260 2 0 0 25 0 4 0 505978390 304930816 18792 33554432000 4194304 4650419 140734640614800 18446744073709551615 4331337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=297784 CPUtime=12.68 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 10372 0 0 0 1267 1 0 0 25 0 4 0 505978390 304930816 18792 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=297784 CPUtime=12.69 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 8216 0 0 0 1267 2 0 0 25 0 4 0 505978390 304930816 18792 33554432000 4194304 4650419 140734640614800 18446744073709551615 4332775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 297784

[startup+25.5007 s]
/proc/loadavg: 8.03 7.96 7.50 9/184 15700
/proc/meminfo: memFree=29335688/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=308912 CPUtime=101.84 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 61995 0 0 0 10171 13 0 0 25 0 4 0 505978389 316325888 26502 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 77228 26502 398 112 0 72193 0
[pid=15682/tid=15683] ppid=15680 vsize=308912 CPUtime=25.35 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 15616 0 0 0 2532 3 0 0 25 0 4 0 505978390 316325888 26502 33554432000 4194304 4650419 140734640614800 18446744073709551615 4367013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=308912 CPUtime=25.48 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 16425 0 0 0 2545 3 0 0 25 0 4 0 505978390 316325888 26502 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=308912 CPUtime=25.49 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 14120 0 0 0 2546 3 0 0 25 0 4 0 505978390 316325888 26502 33554432000 4194304 4650419 140734640614800 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 308912

[startup+51.1011 s]
/proc/loadavg: 8.02 7.97 7.51 9/184 15701
/proc/meminfo: memFree=29290748/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=301120 CPUtime=204.1 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 103325 0 0 0 20388 22 0 0 25 0 4 0 505978389 308346880 30326 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 75280 30326 398 112 0 70245 0
[pid=15682/tid=15683] ppid=15680 vsize=301120 CPUtime=50.81 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 27208 0 0 0 5075 6 0 0 25 0 4 0 505978390 308346880 30326 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=301120 CPUtime=51.09 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 27720 0 0 0 5103 6 0 0 25 0 4 0 505978390 308346880 30326 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=301120 CPUtime=51.09 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 20256 0 0 0 5105 4 0 0 25 0 4 0 505978390 308346880 30326 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 301120

[startup+102.301 s]
/proc/loadavg: 8.01 7.97 7.53 9/184 15702
/proc/meminfo: memFree=29207888/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=314132 CPUtime=408.64 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 167671 0 0 0 40826 38 0 0 25 0 4 0 505978389 321671168 38827 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 78533 38827 395 112 0 73498 0
[pid=15682/tid=15683] ppid=15680 vsize=314132 CPUtime=101.73 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 45464 0 0 0 10162 11 0 0 25 0 4 0 505978390 321671168 38827 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=314132 CPUtime=102.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 45546 0 0 0 10219 11 0 0 25 0 4 0 505978390 321671168 38827 33554432000 4194304 4650419 140734640614800 18446744073709551615 4332033 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=314132 CPUtime=102.29 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 31623 0 0 0 10223 6 0 0 25 0 4 0 505978390 321671168 38827 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 314132

[startup+162.3 s]

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

[pid=15682] ppid=15680 vsize=639008 CPUtime=2565.71 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 515143 0 0 0 256394 177 0 0 25 0 4 0 505978389 654344192 107771 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 159752 107771 395 112 0 154717 0
[pid=15682/tid=15683] ppid=15680 vsize=639008 CPUtime=638.79 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 146244 0 0 0 63829 50 0 0 25 0 4 0 505978390 654344192 107771 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=639008 CPUtime=642.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 162307 0 0 0 64172 58 0 0 25 0 4 0 505978390 654344192 107771 33554432000 4194304 4650419 140734640614800 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=639008 CPUtime=642.3 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 80026 0 0 0 64199 31 0 0 25 0 4 0 505978390 654344192 107771 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 639008

[startup+702.3 s]
/proc/loadavg: 8.14 8.06 7.77 9/184 15727
/proc/meminfo: memFree=28737712/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=573664 CPUtime=2805.38 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 525569 0 0 0 280354 184 0 0 25 0 4 0 505978389 587431936 102266 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 143416 102266 395 112 0 138381 0
[pid=15682/tid=15683] ppid=15680 vsize=573664 CPUtime=698.46 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 146244 0 0 0 69796 50 0 0 25 0 4 0 505978390 587431936 102266 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=573664 CPUtime=702.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 169342 0 0 0 70167 63 0 0 25 0 4 0 505978390 587431936 102266 33554432000 4194304 4650419 140734640614800 18446744073709551615 4367031 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=573664 CPUtime=702.3 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 83417 0 0 0 70196 34 0 0 25 0 4 0 505978390 587431936 102266 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 573664

[startup+762.301 s]
/proc/loadavg: 8.16 8.08 7.79 9/184 15729
/proc/meminfo: memFree=28717480/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=654908 CPUtime=3045.07 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 544076 0 0 0 304314 193 0 0 25 0 4 0 505978389 670625792 109876 33554432000 4194304 4650419 140734640614800 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 163727 109876 395 112 0 158692 0
[pid=15682/tid=15683] ppid=15680 vsize=654908 CPUtime=758.14 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 147521 0 0 0 75763 51 0 0 25 0 4 0 505978390 670625792 109876 33554432000 4194304 4650419 140734640614800 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=654908 CPUtime=762.31 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 176456 0 0 0 76164 67 0 0 25 0 4 0 505978390 670625792 109876 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=654908 CPUtime=762.31 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 86449 0 0 0 76196 35 0 0 25 0 4 0 505978390 670625792 109876 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 654908

[startup+822.301 s]
/proc/loadavg: 8.15 8.09 7.82 9/184 15730
/proc/meminfo: memFree=28722784/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=627880 CPUtime=3284.74 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 576017 0 0 0 328267 207 0 0 25 0 4 0 505978389 642949120 108088 33554432000 4194304 4650419 140734640614800 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 156970 108088 395 112 0 151935 0
[pid=15682/tid=15683] ppid=15680 vsize=627880 CPUtime=817.81 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 157413 0 0 0 81726 55 0 0 25 0 4 0 505978390 642949120 108088 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=627880 CPUtime=822.29 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 185832 0 0 0 82159 70 0 0 25 0 4 0 505978390 642949120 108088 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=627880 CPUtime=822.31 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 93083 0 0 0 82193 38 0 0 25 0 4 0 505978390 642949120 108088 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 627880

[startup+882.307 s]
/proc/loadavg: 8.10 8.09 7.83 9/184 15732
/proc/meminfo: memFree=28686680/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=627880 CPUtime=3524.44 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 585005 0 0 0 352233 211 0 0 25 0 4 0 505978389 642949120 113337 33554432000 4194304 4650419 140734640614800 18446744073709551615 4332425 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 156970 113337 395 112 0 151935 0
[pid=15682/tid=15683] ppid=15680 vsize=627880 CPUtime=877.49 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 164322 0 0 0 87691 58 0 0 25 0 4 0 505978390 642949120 113337 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=627880 CPUtime=882.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 186242 0 0 0 88160 70 0 0 25 0 4 0 505978390 642949120 113337 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=627880 CPUtime=882.31 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 94039 0 0 0 88193 38 0 0 25 0 4 0 505978390 642949120 113337 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 627880

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 7.85 9/184 15733
/proc/meminfo: memFree=28692844/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=627968 CPUtime=3764.09 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 613579 0 0 0 376184 225 0 0 25 0 4 0 505978389 643039232 109575 33554432000 4194304 4650419 140734640614800 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 156992 109575 395 112 0 151957 0
[pid=15682/tid=15683] ppid=15680 vsize=627968 CPUtime=937.16 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 168765 0 0 0 93657 59 0 0 25 0 4 0 505978390 643039232 109575 33554432000 4194304 4650419 140734640614800 18446744073709551615 4333687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=627968 CPUtime=942.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 196079 0 0 0 94154 76 0 0 25 0 4 0 505978390 643039232 109575 33554432000 4194304 4650419 140734640614800 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=627968 CPUtime=942.3 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 97558 0 0 0 94190 40 0 0 25 0 4 0 505978390 643039232 109575 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 627968

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 7.86 9/184 15735
/proc/meminfo: memFree=28604152/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=693716 CPUtime=4003.77 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 643141 0 0 0 400137 240 0 0 25 0 4 0 505978389 710365184 124642 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 173429 124642 395 112 0 168394 0
[pid=15682/tid=15683] ppid=15680 vsize=693716 CPUtime=996.83 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 180668 0 0 0 99618 65 0 0 25 0 4 0 505978390 710365184 124642 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=693716 CPUtime=1002.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 203247 0 0 0 100150 80 0 0 25 0 4 0 505978390 710365184 124642 33554432000 4194304 4650419 140734640614800 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=693716 CPUtime=1002.31 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 97789 0 0 0 100190 41 0 0 25 0 4 0 505978390 710365184 124642 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 693716

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 7.87 9/184 15737
/proc/meminfo: memFree=28624588/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=628632 CPUtime=4243.45 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 663333 0 0 0 424094 251 0 0 25 0 4 0 505978389 643719168 120724 33554432000 4194304 4650419 140734640614800 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 157158 120724 395 112 0 152123 0
[pid=15682/tid=15683] ppid=15680 vsize=628632 CPUtime=1056.51 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 186534 0 0 0 105583 68 0 0 25 0 4 0 505978390 643719168 120724 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=628632 CPUtime=1062.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 203247 0 0 0 106150 80 0 0 25 0 4 0 505978390 643719168 120724 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=628632 CPUtime=1062.31 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 101404 0 0 0 106188 43 0 0 25 0 4 0 505978390 643719168 120724 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 628632

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 7.88 9/184 15738
/proc/meminfo: memFree=28634864/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=694504 CPUtime=4483.13 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 687277 0 0 0 448051 262 0 0 25 0 4 0 505978389 711172096 116956 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 173626 116956 395 112 0 168591 0
[pid=15682/tid=15683] ppid=15680 vsize=694504 CPUtime=1116.18 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 194752 0 0 0 111547 71 0 0 25 0 4 0 505978390 711172096 116956 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=694504 CPUtime=1122.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 212507 0 0 0 112147 83 0 0 25 0 4 0 505978390 711172096 116956 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=694504 CPUtime=1122.31 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 106888 0 0 0 112185 46 0 0 25 0 4 0 505978390 711172096 116956 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 694504

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 7.89 9/184 15740
/proc/meminfo: memFree=28624776/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=693684 CPUtime=4722.8 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 714810 0 0 0 472006 274 0 0 25 0 4 0 505978389 710332416 119081 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 173421 119081 395 112 0 168386 0
[pid=15682/tid=15683] ppid=15680 vsize=693684 CPUtime=1175.86 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 201535 0 0 0 117512 74 0 0 25 0 4 0 505978390 710332416 119081 33554432000 4194304 4650419 140734640614800 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=693684 CPUtime=1182.3 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 222812 0 0 0 118143 87 0 0 25 0 4 0 505978390 710332416 119081 33554432000 4194304 4650419 140734640614800 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=693684 CPUtime=1182.32 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 109920 0 0 0 118184 48 0 0 25 0 4 0 505978390 710332416 119081 33554432000 4194304 4650419 140734640614800 18446744073709551615 4333613 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 693684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.09 7.90 9/184 15740
/proc/meminfo: memFree=28600592/32951124 swapFree=67111348/67111528
[pid=15682] ppid=15680 vsize=640784 CPUtime=4800.31 cores=1,3,5,7
/proc/15682/stat : 15682 (strangenight1-m) R 15680 15682 15043 0 -1 4202496 721394 0 0 0 479753 278 0 0 25 0 4 0 505978389 656162816 125214 33554432000 4194304 4650419 140734640614800 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15682/statm: 160196 125214 395 112 0 155161 0
[pid=15682/tid=15683] ppid=15680 vsize=640784 CPUtime=1195.15 cores=1,3,5,7
/proc/15682/task/15683/stat : 15683 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 201603 0 0 0 119441 74 0 0 25 0 4 0 505978390 656162816 125214 33554432000 4194304 4650419 140734640614800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15682/tid=15684] ppid=15680 vsize=640784 CPUtime=1201.71 cores=1,3,5,7
/proc/15682/task/15684/stat : 15684 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 223591 0 0 0 120083 88 0 0 25 0 4 0 505978390 656162816 125214 33554432000 4194304 4650419 140734640614800 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15682/tid=15685] ppid=15680 vsize=640784 CPUtime=1201.72 cores=1,3,5,7
/proc/15682/task/15685/stat : 15685 (strangenight1-m) R 15680 15682 15043 0 -1 4202560 112270 0 0 0 120123 49 0 0 25 0 4 0 505978390 656162816 125214 33554432000 4194304 4650419 140734640614800 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 640784

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.37
CPU user time (s): 4797.56
CPU system time (s): 2.80757
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 812672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.80757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721395
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= 466
involuntary context switches= 32589

runsolver used 1.73274 second user time and 4.84426 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 05:53:51
IDJOB=3263785
IDBENCH=84021
IDSOLVER=1588
FILE ID=node140/3263785-1304135631
RUNJOBID= node140-1304134427-15579
PBS_JOBID= 13170792
Free space on /tmp= 73296 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/handmade/stanion/hwb/hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263785-1304135631/watcher-3263785-1304135631 -o /tmp/evaluation-result-3263785-1304135631/solver-3263785-1304135631 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3263785-1304135631.cnf

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

MD5SUM BENCH= 1d86c7f9cd05c5f2ab070520d802c8e1
RANDOM SEED=671102606

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29540060 kB
Buffers:       1048144 kB
Cached:        1805396 kB
SwapCached:        180 kB
Active:         314304 kB
Inactive:      2601712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29540060 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:       62468 kB
Mapped:          14684 kB
Slab:           431980 kB
PageTables:       4644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183484 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= 73284 MiB
End job on node140 at 2011-04-30 06:13:54