Trace number 3369335

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 (fixed)? (TO) 4800.21 1203.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-3369335-1305415687.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.01	c lits-rem:        11  cl-subs:        0  v-elim:     63  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:      62, avg size: 3.8)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       6 undec:      69 neg:     151
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       162       476        20         0      2184         0   no data   no data  --
0.00/0.08	c Decided on static restart strategy
0.77/0.21	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.16/0.86	c  F st    12     25000       162       476        47     12433      2184    259268   no data   no data  --
3.16/0.86	c  N st    12     25000       162       476        47     12433      2184    259268   no data   no data  --
3.16/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  --
3.98/1.11	c  S st    18     30506       162       476        48     11298      2184    209050   no data   no data  --
3.98/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    117 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
4.40/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.12	c subs with bin:       37  lits-rem:       364  v-fix:    0  time:  0.01 s
4.40/1.12	c Subs w/ non-existent bins:      0 l-rem:     36 v-fix:     0 done:    162 time:  0.00 s
4.40/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.95/1.53	c lits-rem:      2629  cl-subs:      970  v-elim:      3  v-fix:    0  time:  1.62 s
5.95/1.53	c asymm  cl-useful: 25/462/462 lits-rem:26 time: 0.02
5.95/1.53	c calculated reachability. Time: 0.00
5.95/1.53	c  N st    18     30506       159       462       164     10302      2157    185032   no data   no data  --
6.35/1.66	c Finding binary XORs  T:     0.00 s  found:       0
7.16/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.79/2.28	c  S st    22     45760       158       462       171     17267      2157    359653   no data   no data  --
9.14/2.33	c  S st    22     46267       158       462       171      9284      2157    138732   no data   no data  --
9.14/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.14/2.34	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      3 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.14/2.34	c Replacing        1 vars Replaced     2316 lits Time:     0.01 s 
9.14/2.34	c bin-w-bin subsume rem            4 bins  time:  0.00 s
9.14/2.35	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.00 s
9.14/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
9.14/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.40	c lits-rem:       462  cl-subs:      148  v-elim:      0  v-fix:    0  time:  0.21 s
9.54/2.40	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
9.54/2.40	c vivif2 --  cl tried     9131 cl shrink       56 lits rem         56 time: 0.01
9.54/2.41	c asymm  cl-useful: 0/448/448 lits-rem:0 time: 0.02
9.54/2.41	c calculated reachability. Time: 0.00
9.54/2.41	c  N st    22     46267       156       448        30      9131      2079    134882   no data   no data  --
12.34/3.18	c  N st    23     60665       156       448        30     13342      2079    232541   no data   no data  --
12.34/3.18	c Finding binary XORs  T:     0.00 s  found:       0
14.73/3.71	c  N st    24     69401       156       448        30     11253      2079    170971   no data   no data  --
14.73/3.71	c  S st    24     69401       156       448        30     11253      2079    170971   no data   no data  --
14.73/3.75	c  S st    24     69901       156       448        30     11745      2079    181738   no data   no data  --
14.73/3.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.73/3.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
14.73/3.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.75	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:    156 time:  0.00 s
14.73/3.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.92/4.09	c lits-rem:       480  cl-subs:      146  v-elim:      0  v-fix:    0  time:  1.32 s
15.92/4.09	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
15.92/4.09	c vivif2 --  cl tried    11599 cl shrink        2 lits rem          2 time: 0.01
15.92/4.09	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.02
15.92/4.09	c calculated reachability. Time: 0.00
15.92/4.09	c  N st    24     69901       156       448        30     11599      2077    178103   no data   no data  --
19.91/5.09	c  F st    25     87500       156       448        30     16773      2077    292197   no data   no data  --
19.91/5.09	c  N st    25     87500       156       448        30     16773      2077    292197   no data   no data  --
21.11/5.35	c Decided on static restart strategy
21.95/5.51	c  N st    32     95543       156       448        30     24526      2077    483609   no data   no data  --
23.90/6.02	c  N st    34    104852       156       448        30     21006      2077    388977   no data   no data  --
23.90/6.02	c  S st    34    104852       156       448        30     21006      2077    388977   no data   no data  --
23.90/6.08	c  S st    34    105353       156       448        30     21504      2077    400653   no data   no data  --
23.90/6.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.90/6.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.90/6.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.90/6.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.90/6.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.90/6.09	c Subs w/ non-existent bins:      0 l-rem:     20 v-fix:     0 done:    156 time:  0.00 s
23.90/6.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.73/7.72	c lits-rem:      2688  cl-subs:     1694  v-elim:      0  v-fix:    0  time:  6.47 s
30.73/7.72	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
30.73/7.72	c vivif2 --  cl tried    19810 cl shrink       36 lits rem         36 time: 0.02
30.73/7.73	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.03
30.73/7.73	c calculated reachability. Time: 0.00
30.73/7.73	c  N st    34    105353       156       448        30     19810      2075    355694   no data   no data  --
33.07/8.38	c  N st    35    114951       156       448        30     15681      2075    239254   no data   no data  --
37.45/9.40	c  N st    36    129349       156       448        30     15049      2075    212691   no data   no data  --
43.04/10.83	c  N st    37    150946       156       448        30     20260      2075    335059   no data   no data  --
44.63/11.28	c  S st    38    158029       156       448        30     26932      2075    504962   no data   no data  --
45.03/11.34	c  S st    38    158534       156       448        30     27435      2075    515980   no data   no data  --
45.03/11.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.03/11.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.03/11.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
45.03/11.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.03/11.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.03/11.36	c Subs w/ non-existent bins:      0 l-rem:     19 v-fix:     0 done:    156 time:  0.00 s
45.03/11.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.80/13.53	c lits-rem:      4096  cl-subs:     3119  v-elim:      0  v-fix:    0  time:  8.61 s
53.80/13.53	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
53.80/13.53	c vivif2 --  cl tried    24316 cl shrink       23 lits rem         25 time: 0.02
53.80/13.54	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.04
53.80/13.54	c calculated reachability. Time: 0.00
53.80/13.54	c  N st    38    158534       156       448        30     24316      2073    436075   no data   no data  --
67.76/17.02	c  N st    39    207122       156       448        30     19181      2073    271447   no data   no data  --
76.94/19.36	c  N st    40    237803       156       448        30     29093      2073    492281   no data   no data  --
76.94/19.36	c  S st    40    237803       156       448        30     29093      2073    492281   no data   no data  --
77.34/19.43	c  S st    40    238305       156       448        30     29591      2073    503631   no data   no data  --
77.34/19.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.34/19.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.34/19.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
77.34/19.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.34/19.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.34/19.45	c Subs w/ non-existent bins:      0 l-rem:     13 v-fix:     0 done:    156 time:  0.00 s
77.34/19.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
86.51/21.78	c lits-rem:      3010  cl-subs:     4361  v-elim:      0  v-fix:    0  time:  9.27 s
86.51/21.78	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
86.51/21.78	c vivif2 --  cl tried    25230 cl shrink        6 lits rem          6 time: 0.02
86.91/21.80	c asymm  cl-useful: 6/448/448 lits-rem:6 time: 0.06
86.91/21.80	c calculated reachability. Time: 0.00
86.91/21.80	c  N st    40    238305       156       448        30     25230      2067    409537   no data   no data  --
108.84/27.33	c  F st    41    306250       156       448        30     27453      2067    431947   no data   no data  --
108.84/27.33	c  N st    41    306250       156       448        30     27453      2067    431947   no data   no data  --
110.43/27.70	c Decided on static restart strategy
117.62/29.51	c  N st    51    334552       156       448        30     31793      2067    530946   no data   no data  --
124.79/31.33	c  N st    53    357457       156       448        30     29781      2067    461464   no data   no data  --
124.79/31.33	c  S st    53    357457       156       448        30     29781      2067    461464   no data   no data  --
125.19/31.42	c  S st    53    357960       156       448        30     30281      2067    473310   no data   no data  --
125.19/31.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
125.19/31.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
125.19/31.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
125.19/31.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
125.19/31.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.19/31.44	c Subs w/ non-existent bins:      0 l-rem:     12 v-fix:     0 done:    156 time:  0.00 s
125.19/31.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.19/32.97	c lits-rem:      2043  cl-subs:     1403  v-elim:      0  v-fix:    0  time:  6.10 s
131.19/32.97	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
131.19/32.98	c vivif2 --  cl tried    28878 cl shrink       11 lits rem         11 time: 0.02
131.19/32.99	c asymm  cl-useful: 5/448/448 lits-rem:5 time: 0.06
131.19/32.99	c calculated reachability. Time: 0.00
131.19/32.99	c  N st    53    357960       156       448        30     28878      2058    438067   no data   no data  --
143.14/35.94	c  N st    54    390352       156       448        30     34876      2058    586247   no data   no data  --
160.29/40.28	c  N st    55    438940       156       448        30     28933      2058    408987   no data   no data  --
187.80/47.13	c  N st    56    511824       156       448        30     41626      2058    697376   no data   no data  --
197.00/49.50	c  N st    57    536942       156       448        30     36158      2058    559406   no data   no data  --
197.00/49.50	c  S st    57    536942       156       448        30     36158      2058    559406   no data   no data  --
197.42/49.59	c  S st    57    537444       156       448        30     36657      2058    570369   no data   no data  --
197.42/49.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
197.42/49.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
197.77/49.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
197.77/49.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
197.77/49.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
197.77/49.62	c Subs w/ non-existent bins:      0 l-rem:     20 v-fix:     0 done:    156 time:  0.00 s
197.77/49.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
205.77/51.62	c lits-rem:      3326  cl-subs:     2309  v-elim:      0  v-fix:    0  time:  7.96 s
205.77/51.62	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
205.77/51.62	c vivif2 --  cl tried    34348 cl shrink       33 lits rem         33 time: 0.03
205.77/51.64	c asymm  cl-useful: 0/448/448 lits-rem:0 time: 0.06
205.77/51.64	c calculated reachability. Time: 0.00
205.77/51.64	c  N st    57    537444       156       448        30     34348      2058    515374   no data   no data  --
276.72/69.44	c  N st    58    701429       156       448        30     61976      2058   1119060   no data   no data  --
325.38/81.63	c  N st    59    806166       156       448        30     56420      2058    988342   no data   no data  --
325.38/81.63	c  S st    59    806166       156       448        30     56420      2058    988342   no data   no data  --
325.78/81.77	c  S st    59    806670       156       448        30     56923      2058    999861   no data   no data  --
325.78/81.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
325.78/81.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
325.78/81.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
326.18/81.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
326.18/81.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
326.18/81.83	c Subs w/ non-existent bins:      0 l-rem:     45 v-fix:     0 done:    156 time:  0.00 s
326.18/81.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
357.28/89.63	c lits-rem:      5662  cl-subs:     6885  v-elim:      0  v-fix:    0  time: 31.09 s
357.28/89.63	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
357.28/89.64	c vivif2 --  cl tried    50038 cl shrink      136 lits rem        136 time: 0.05
357.28/89.66	c asymm  cl-useful: 0/448/448 lits-rem:0 time: 0.10
357.28/89.67	c calculated reachability. Time: 0.00
357.28/89.67	c  N st    59    806670       156       448        30     50038      2058    846091   no data   no data  --
483.71/121.32	c  F st    60   1071877       156       448        30     64443      2058   1083192   no data   no data  --
483.71/121.32	c  N st    60   1071877       156       448        30     64443      2058   1083192   no data   no data  --
486.11/121.93	c Decided on static restart strategy
498.47/125.01	c  N st    70   1100185       156       448        30     49715      2058    755010   no data   no data  --
516.01/129.40	c  N st    72   1136179       156       448        30     83734      2058   1625022   no data   no data  --
530.81/133.15	c  N st    73   1168571       156       448        30     71041      2058   1285508   no data   no data  --
553.10/138.78	c  N st    74   1210006       156       448        30     66039      2058   1136256   no data   no data  --
553.10/138.78	c  S st    74   1210006       156       448        30     66039      2058   1136256   no data   no data  --
553.90/138.99	c  S st    74   1210511       156       448        30     66539      2058   1149030   no data   no data  --
553.90/138.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
553.90/138.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
554.30/139.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
554.30/139.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
554.30/139.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
554.30/139.07	c Subs w/ non-existent bins:      0 l-rem:     70 v-fix:     0 done:    156 time:  0.00 s
554.30/139.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
597.36/149.84	c lits-rem:      2436  cl-subs:     8221  v-elim:      0  v-fix:    0  time: 42.92 s
597.36/149.84	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
597.36/149.86	c vivif2 --  cl tried    58318 cl shrink      268 lits rem        268 time: 0.06
597.36/149.90	c asymm  cl-useful: 1/448/448 lits-rem:1 time: 0.14
597.76/149.90	c calculated reachability. Time: 0.00
597.76/149.90	c  N st    74   1210511       156       448        30     58318      2057    955575   no data   no data  --
636.83/159.77	c  N st    75   1283393       156       448        30     80980      2057   1480959   no data   no data  --
698.25/175.12	c  N st    76   1392718       156       448        30     90941      2057   1709026   no data   no data  --
793.18/198.96	c  N st    77   1556703       156       448        30     98647      2057   1884353   no data   no data  --
878.92/220.44	c  N st    78   1710511       156       448        30     88339      2057   1584786   no data   no data  --
878.92/220.44	c  S st    78   1710511       156       448        30     88339      2057   1584786   no data   no data  --
879.72/220.69	c  S st    78   1711015       156       448        30     88840      2057   1596742   no data   no data  --
879.72/220.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
879.72/220.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
880.12/220.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
880.12/220.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
880.12/220.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
880.12/220.78	c Subs w/ non-existent bins:      0 l-rem:     97 v-fix:     0 done:    156 time:  0.00 s
880.12/220.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1025.24/257.13	c lits-rem:        57  cl-subs:    13158  v-elim:      0  v-fix:    0  time: 144.86 s
1025.24/257.13	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
1025.24/257.15	c vivif2 --  cl tried    75683 cl shrink      124 lits rem        126 time: 0.10
1025.64/257.26	c asymm  cl-useful: 1/447/447 lits-rem:1 time: 0.40
1025.64/257.26	c calculated reachability. Time: 0.00
1025.64/257.26	c  N st    78   1711015       156       447        30     75683      2048   1305720   no data   no data  --
1244.98/312.21	c  N st    79   2079979       156       447        30     86779      2048   1479308   no data   no data  --
1320.74/331.22	c  N st    80   2211015       156       447        30     91741      2048   1582393   no data   no data  --
1320.74/331.22	c  S st    80   2211015       156       447        30     91741      2048   1582393   no data   no data  --
1321.54/331.46	c  S st    80   2211519       156       447        30     92242      2048   1594247   no data   no data  --
1321.54/331.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1321.54/331.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1321.94/331.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
1321.94/331.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1321.94/331.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1321.94/331.55	c Subs w/ non-existent bins:      0 l-rem:     13 v-fix:     0 done:    156 time:  0.01 s
1321.94/331.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1387.35/347.91	c lits-rem:      4455  cl-subs:     9968  v-elim:      0  v-fix:    0  time: 65.22 s
1387.35/347.91	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
1387.35/347.94	c vivif2 --  cl tried    82274 cl shrink      698 lits rem        699 time: 0.10
1387.75/348.01	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.27
1387.75/348.01	c calculated reachability. Time: 0.00
1387.75/348.01	c  N st    80   2211519       156       447        30     82274      2048   1378702   no data   no data  --
1724.33/432.44	c  N st    81   2711521       156       447        30    103928      2048   1790557   no data   no data  --
1724.33/432.44	c  S st    81   2711521       156       447        30    103928      2048   1790557   no data   no data  --
1725.13/432.68	c  S st    81   2712023       156       447        30    104426      2048   1803128   no data   no data  --
1725.13/432.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1725.13/432.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1725.53/432.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
1725.53/432.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1725.53/432.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1725.53/432.79	c Subs w/ non-existent bins:      0 l-rem:    130 v-fix:     0 done:    156 time:  0.00 s
1725.53/432.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1843.17/462.29	c lits-rem:      9319  cl-subs:    15754  v-elim:      0  v-fix:    0  time: 117.57 s
1843.17/462.29	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
1843.57/462.31	c vivif2 --  cl tried    88672 cl shrink      373 lits rem        373 time: 0.10
1843.57/462.38	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.26
1843.57/462.38	c calculated reachability. Time: 0.00
1843.57/462.38	c  N st    81   2712023       156       447        30     88672      2048   1469740   no data   no data  --
2194.51/550.31	c  N st    82   3212024       156       447        30    138440      2048   2558505   no data   no data  --
2194.51/550.31	c  S st    82   3212024       156       447        30    138440      2048   2558505   no data   no data  --
2196.51/550.80	c  S st    82   3212529       156       447        30    138940      2048   2570475   no data   no data  --
2196.51/550.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2196.51/550.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2196.51/550.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.32
2196.91/550.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2196.91/550.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2196.91/550.97	c Subs w/ non-existent bins:      0 l-rem:     83 v-fix:     0 done:    156 time:  0.00 s
2196.91/550.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2816.94/706.49	c lits-rem:       811  cl-subs:    29186  v-elim:      0  v-fix:    0  time: 619.94 s
2816.94/706.49	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
2817.34/706.52	c vivif2 --  cl tried   109754 cl shrink      123 lits rem        123 time: 0.12
2817.74/706.64	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.45
2817.74/706.64	c calculated reachability. Time: 0.00
2817.74/706.64	c  N st    82   3212529       156       447        30    109754      2048   1949755   no data   no data  --
3193.04/800.76	c  N st    83   3712529       156       447        30    128335      2048   2219966   no data   no data  --
3193.04/800.76	c  S st    83   3712529       156       447        30    128335      2048   2219966   no data   no data  --
3195.41/801.30	c  S st    83   3713031       156       447        30    128829      2048   2231166   no data   no data  --
3195.41/801.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3195.41/801.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3195.41/801.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.33
3195.81/801.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3195.81/801.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3195.81/801.47	c Subs w/ non-existent bins:      0 l-rem:    134 v-fix:     0 done:    156 time:  0.01 s
3195.81/801.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3502.02/878.23	c lits-rem:      3654  cl-subs:    21710  v-elim:      0  v-fix:    0  time: 305.94 s
3502.02/878.23	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
3502.02/878.26	c vivif2 --  cl tried   107119 cl shrink      121 lits rem        122 time: 0.13
3502.82/878.40	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.55
3502.82/878.40	c calculated reachability. Time: 0.00
3502.82/878.40	c  N st    83   3713031       156       447        30    107119      2048   1793837   no data   no data  --
3538.31/887.38	c  F st    84   3751564       156       447        30    142776      2048   2670589   no data   no data  --
3538.31/887.38	c  N st    84   3751564       156       447        30    142776      2048   2670589   no data   no data  --
3543.91/888.79	c Decided on static restart strategy
3565.85/894.23	c  N st    94   3779870       156       447        30     92271      2048   1404519   no data   no data  --
3591.76/900.77	c  N st    96   3815864       156       447        30    125869      2048   2204116   no data   no data  --
3623.31/908.63	c  N st    97   3848256       156       447        30    156045      2048   2959172   no data   no data  --
3663.94/918.80	c  N st    98   3896844       156       447        30    122222      2048   2104378   no data   no data  --
3720.15/932.93	c  N st    99   3969728       156       447        30    109508      2048   1728862   no data   no data  --
3803.51/953.82	c  N st   100   4079052       156       447        30    129775      2048   2237275   no data   no data  --
3914.37/981.62	c  N st   101   4213031       156       447        30     90252      2048   1280592   no data   no data  --
3914.37/981.62	c  S st   101   4213031       156       447        30     90252      2048   1280592   no data   no data  --
3915.17/981.89	c  S st   101   4213533       156       447        30     90748      2048   1292591   no data   no data  --
3915.57/981.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3915.57/981.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3915.57/981.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
3915.57/981.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3915.57/981.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3915.57/981.98	c Subs w/ non-existent bins:      0 l-rem:     45 v-fix:     0 done:    156 time:  0.00 s
3915.57/981.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3945.49/989.42	c lits-rem:      1915  cl-subs:     3452  v-elim:      0  v-fix:    0  time: 29.67 s
3945.49/989.42	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
3945.49/989.44	c vivif2 --  cl tried    87296 cl shrink       39 lits rem         41 time: 0.08
3945.89/989.50	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.25
3945.89/989.50	c calculated reachability. Time: 0.00
3945.89/989.50	c  N st   101   4213533       156       447        30     87296      2048   1220242   no data   no data  --
4150.45/1040.83	c  N st   102   4459510       156       447        30    147306      2048   2617516   no data   no data  --
4371.41/1096.20	c  N st   103   4713534       156       447        30    125080      2048   2074457   no data   no data  --
4371.41/1096.20	c  S st   103   4713534       156       447        30    125080      2048   2074457   no data   no data  --
4372.21/1096.48	c  S st   103   4714040       156       447        30    125578      2048   2086994   no data   no data  --
4372.21/1096.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4372.21/1096.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4372.61/1096.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4372.61/1096.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4372.61/1096.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4372.61/1096.61	c Subs w/ non-existent bins:      0 l-rem:    159 v-fix:     0 done:    156 time:  0.00 s
4372.61/1096.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4507.01/1130.27	c lits-rem:      2871  cl-subs:    16015  v-elim:      0  v-fix:    0  time: 134.21 s
4507.01/1130.27	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
4507.01/1130.29	c vivif2 --  cl tried   109563 cl shrink      127 lits rem        127 time: 0.10
4507.41/1130.38	c asymm  cl-useful: 0/447/447 lits-rem:0 time: 0.36
4507.41/1130.39	c calculated reachability. Time: 0.00
4507.41/1130.39	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369335-1305415687/watcher-3369335-1305415687 -o /tmp/evaluation-result-3369335-1305415687/solver-3369335-1305415687 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369335-1305415687.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.27 8.03 7.95 6/369 6515
/proc/meminfo: memFree=17780704/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 731799360 52465664 353 33554432000 4194304 4650419 140735108710816 18446744073709551615 47885516998578 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 12809 353 303 112 0 7774 0
[pid=6515/tid=6516] ppid=6513 vsize=216476 CPUtime=0 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 4 0 731799360 221671424 819 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476407 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=216476 CPUtime=0 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 144 0 0 0 0 0 0 0 25 0 4 0 731799360 221671424 819 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=216476 CPUtime=0 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 69 0 0 0 0 0 0 0 25 0 4 0 731799360 221671424 819 33554432000 4194304 4650419 140735108710816 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.09514 s]
/proc/loadavg: 8.27 8.03 7.95 6/369 6515
/proc/meminfo: memFree=17780704/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=216628 CPUtime=0.35 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 1442 0 0 0 35 0 0 0 25 0 4 0 731799360 221827072 1340 33554432000 4194304 4650419 140735108710816 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 54157 1340 392 112 0 49122 0
[pid=6515/tid=6516] ppid=6513 vsize=216628 CPUtime=0.08 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 239 0 0 0 8 0 0 0 25 0 4 0 731799360 221827072 1340 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=216628 CPUtime=0.08 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 271 0 0 0 8 0 0 0 25 0 4 0 731799360 221827072 1340 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=216628 CPUtime=0.08 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 191 0 0 0 8 0 0 0 25 0 4 0 731799360 221827072 1340 33554432000 4194304 4650419 140735108710816 18446744073709551615 4331944 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 216628

[startup+0.101139 s]
/proc/loadavg: 8.27 8.03 7.95 6/369 6515
/proc/meminfo: memFree=17780704/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=216628 CPUtime=0.37 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 1484 0 0 0 37 0 0 0 25 0 4 0 731799360 221827072 1382 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 54157 1382 392 112 0 49122 0
[pid=6515/tid=6516] ppid=6513 vsize=216628 CPUtime=0.09 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 257 0 0 0 9 0 0 0 25 0 4 0 731799360 221827072 1382 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=216628 CPUtime=0.09 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 277 0 0 0 9 0 0 0 25 0 4 0 731799360 221827072 1382 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=216628 CPUtime=0.08 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 196 0 0 0 8 0 0 0 25 0 4 0 731799360 221827072 1382 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216628

[startup+0.301105 s]
/proc/loadavg: 8.27 8.03 7.95 6/369 6515
/proc/meminfo: memFree=17780704/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=217840 CPUtime=1.17 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 2602 0 0 0 117 0 0 0 25 0 4 0 731799360 223068160 1952 33554432000 4194304 4650419 140735108710816 18446744073709551615 4304241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 54460 1952 394 112 0 49425 0
[pid=6515/tid=6516] ppid=6513 vsize=217840 CPUtime=0.29 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 525 0 0 0 29 0 0 0 25 0 4 0 731799360 223068160 1952 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=217840 CPUtime=0.29 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 568 0 0 0 29 0 0 0 25 0 4 0 731799360 223068160 1952 33554432000 4194304 4650419 140735108710816 18446744073709551615 224284622944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=217840 CPUtime=0.28 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 463 0 0 0 28 0 0 0 25 0 4 0 731799360 223068160 1952 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 217840

[startup+0.701039 s]
/proc/loadavg: 8.27 8.03 7.95 6/369 6515
/proc/meminfo: memFree=17780704/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=210656 CPUtime=2.76 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 4782 0 0 0 276 0 0 0 25 0 4 0 731799360 215711744 2235 33554432000 4194304 4650419 140735108710816 18446744073709551615 4328256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 52664 2235 394 112 0 47629 0
[pid=6515/tid=6516] ppid=6513 vsize=210656 CPUtime=0.69 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 1078 0 0 0 69 0 0 0 25 0 4 0 731799360 215711744 2236 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363941 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=210656 CPUtime=0.69 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 1135 0 0 0 69 0 0 0 25 0 4 0 731799360 215711744 2236 33554432000 4194304 4650419 140735108710816 18446744073709551615 4314704 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=210656 CPUtime=0.68 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 952 0 0 0 68 0 0 0 25 0 4 0 731799360 215711744 2236 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 210656

[startup+1.50091 s]
/proc/loadavg: 8.27 8.03 7.95 9/373 6519
/proc/meminfo: memFree=17797660/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=212268 CPUtime=5.95 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 9466 0 0 0 594 1 0 0 25 0 4 0 731799360 217362432 5200 33554432000 4194304 4650419 140735108710816 18446744073709551615 4438671 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 53067 5200 395 112 0 48032 0
[pid=6515/tid=6516] ppid=6513 vsize=212268 CPUtime=1.49 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 2861 0 0 0 149 0 0 0 25 0 4 0 731799360 217362432 5200 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=212268 CPUtime=1.48 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 2039 0 0 0 148 0 0 0 25 0 4 0 731799360 217362432 5200 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=212268 CPUtime=1.47 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 1494 0 0 0 147 0 0 0 25 0 4 0 731799360 217362432 5200 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 212268

[startup+3.10064 s]
/proc/loadavg: 8.27 8.03 7.95 9/373 6521
/proc/meminfo: memFree=17773712/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=230060 CPUtime=12.34 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 15796 0 0 0 1231 3 0 0 25 0 4 0 731799360 235581440 9351 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 57515 9351 395 112 0 52480 0
[pid=6515/tid=6516] ppid=6513 vsize=230060 CPUtime=3.08 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 3988 0 0 0 308 0 0 0 25 0 4 0 731799360 235581440 9351 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366018 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=230060 CPUtime=3.08 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 4053 0 0 0 308 0 0 0 25 0 4 0 731799360 235581440 9351 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=230060 CPUtime=3.05 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 3359 0 0 0 305 0 0 0 25 0 4 0 731799360 235581440 9351 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 230060

[startup+6.30111 s]
/proc/loadavg: 8.25 8.03 7.95 9/373 6521
/proc/meminfo: memFree=17758716/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=221448 CPUtime=25.1 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 24365 0 0 0 2506 4 0 0 25 0 4 0 731799360 226762752 14777 33554432000 4194304 4650419 140735108710816 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 55362 14777 395 112 0 50327 0
[pid=6515/tid=6516] ppid=6513 vsize=221448 CPUtime=6.28 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 5957 0 0 0 628 0 0 0 25 0 4 0 731799360 226762752 14777 33554432000 4194304 4650419 140735108710816 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=221448 CPUtime=6.29 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 6717 0 0 0 628 1 0 0 25 0 4 0 731799360 226762752 14777 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=221448 CPUtime=6.21 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 5236 0 0 0 621 0 0 0 25 0 4 0 731799360 226762752 14777 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 221448

[startup+12.701 s]
/proc/loadavg: 8.23 8.02 7.95 9/373 6521
/proc/meminfo: memFree=17726028/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=297004 CPUtime=50.62 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 34266 0 0 0 5056 6 0 0 25 0 4 0 731799360 304132096 18896 33554432000 4194304 4650419 140735108710816 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 74251 18896 395 112 0 69216 0
[pid=6515/tid=6516] ppid=6513 vsize=297004 CPUtime=12.69 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 7693 0 0 0 1268 1 0 0 25 0 4 0 731799360 304132096 18896 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=297004 CPUtime=12.69 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 10175 0 0 0 1267 2 0 0 25 0 4 0 731799360 304132096 18896 33554432000 4194304 4650419 140735108710816 18446744073709551615 4367157 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=297004 CPUtime=12.53 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 7513 0 0 0 1252 1 0 0 25 0 4 0 731799360 304132096 18896 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 297004

[startup+25.5009 s]
/proc/loadavg: 8.33 8.06 7.96 9/373 6521
/proc/meminfo: memFree=17684720/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=307688 CPUtime=101.65 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 56401 0 0 0 10155 10 0 0 25 0 4 0 731799360 315072512 27694 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 76922 27694 395 112 0 71887 0
[pid=6515/tid=6516] ppid=6513 vsize=307688 CPUtime=25.48 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 13665 0 0 0 2547 1 0 0 25 0 4 0 731799360 315072512 27694 33554432000 4194304 4650419 140735108710816 18446744073709551615 4313331 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=307688 CPUtime=25.48 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 16878 0 0 0 2545 3 0 0 25 0 4 0 731799360 315072512 27694 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=307688 CPUtime=25.18 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 11869 0 0 0 2516 2 0 0 25 0 4 0 731799360 315072512 27694 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 307688

[startup+51.1006 s]
/proc/loadavg: 8.29 8.07 7.96 9/373 6521
/proc/meminfo: memFree=17655924/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=310364 CPUtime=203.75 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 91566 0 0 0 20356 19 0 0 25 0 4 0 731799360 317812736 31412 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 77591 31412 395 112 0 72556 0
[pid=6515/tid=6516] ppid=6513 vsize=310364 CPUtime=51.09 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 24324 0 0 0 5105 4 0 0 25 0 4 0 731799360 317812736 31412 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=310364 CPUtime=51.09 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 28643 0 0 0 5103 6 0 0 25 0 4 0 731799360 317812736 31412 33554432000 4194304 4650419 140735108710816 18446744073709551615 4334413 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=310364 CPUtime=50.48 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 16441 0 0 0 5044 4 0 0 25 0 4 0 731799360 317812736 31412 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 310364

[startup+102.314 s]
/proc/loadavg: 8.17 8.07 7.97 9/373 6523
/proc/meminfo: memFree=17594512/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=311740 CPUtime=407.98 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 143611 0 0 0 40767 31 0 0 25 0 4 0 731799360 319221760 42122 33554432000 4194304 4650419 140735108710816 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 77935 42122 395 112 0 72900 0
[pid=6515/tid=6516] ppid=6513 vsize=311740 CPUtime=102.29 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 39211 0 0 0 10223 6 0 0 25 0 4 0 731799360 319221760 42122 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=311740 CPUtime=102.29 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 45282 0 0 0 10220 9 0 0 25 0 4 0 731799360 319221760 42122 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=311740 CPUtime=101.08 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 25979 0 0 0 10101 7 0 0 25 0 4 0 731799360 319221760 42122 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.98
Current children cumulated vsize (KiB) 311740

[startup+162.301 s]

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

[pid=6515] ppid=6513 vsize=559276 CPUtime=2800.6 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 439112 0 0 0 279928 132 0 0 25 0 4 0 731799360 572698624 104723 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 139819 104723 395 112 0 134784 0
[pid=6515/tid=6516] ppid=6513 vsize=559276 CPUtime=702.28 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 99816 0 0 0 70202 26 0 0 25 0 4 0 731799360 572698624 104723 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=559276 CPUtime=702.29 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 168674 0 0 0 70178 51 0 0 25 0 4 0 731799360 572698624 104723 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364001 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=559276 CPUtime=693.84 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 79972 0 0 0 69353 31 0 0 25 0 4 0 731799360 572698624 104723 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.6
Current children cumulated vsize (KiB) 559276

[startup+762.314 s]
/proc/loadavg: 8.12 8.15 8.04 9/373 6544
/proc/meminfo: memFree=17082912/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=574040 CPUtime=3039.93 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 458414 0 0 0 303852 141 0 0 25 0 4 0 731799360 587816960 109703 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 143510 109703 395 112 0 138475 0
[pid=6515/tid=6516] ppid=6513 vsize=574040 CPUtime=762.3 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 100330 0 0 0 76203 27 0 0 25 0 4 0 731799360 587816960 109703 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=574040 CPUtime=762.3 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 179241 0 0 0 76174 56 0 0 25 0 4 0 731799360 587816960 109703 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=574040 CPUtime=753.13 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 83761 0 0 0 75280 33 0 0 25 0 4 0 731799360 587816960 109703 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.93
Current children cumulated vsize (KiB) 574040

[startup+822.301 s]
/proc/loadavg: 8.15 8.15 8.04 9/373 6544
/proc/meminfo: memFree=17030700/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=574868 CPUtime=3279.15 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 470317 0 0 0 327768 147 0 0 25 0 4 0 731799360 588664832 111524 33554432000 4194304 4650419 140735108710816 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 143717 111524 395 112 0 138682 0
[pid=6515/tid=6516] ppid=6513 vsize=574868 CPUtime=822.29 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 100344 0 0 0 82202 27 0 0 25 0 4 0 731799360 588664832 111524 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=574868 CPUtime=822.3 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 187316 0 0 0 82171 59 0 0 25 0 4 0 731799360 588664832 111524 33554432000 4194304 4650419 140735108710816 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=574868 CPUtime=812.4 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 86974 0 0 0 81204 36 0 0 25 0 4 0 731799360 588664832 111524 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.15
Current children cumulated vsize (KiB) 574868

[startup+882.301 s]
/proc/loadavg: 8.12 8.14 8.04 9/373 6546
/proc/meminfo: memFree=17049152/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=597968 CPUtime=3518.36 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 485618 0 0 0 351682 154 0 0 25 0 4 0 731799360 612319232 109517 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 149492 109517 395 112 0 144457 0
[pid=6515/tid=6516] ppid=6513 vsize=597968 CPUtime=882.28 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 108889 0 0 0 88195 33 0 0 25 0 4 0 731799360 612319232 109517 33554432000 4194304 4650419 140735108710816 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=597968 CPUtime=882.29 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 187707 0 0 0 88170 59 0 0 25 0 4 0 731799360 612319232 109517 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=597968 CPUtime=871.63 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 92485 0 0 0 87126 37 0 0 25 0 4 0 731799360 612319232 109517 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.36
Current children cumulated vsize (KiB) 597968

[startup+942.301 s]
/proc/loadavg: 7.19 7.93 7.98 5/364 6566
/proc/meminfo: memFree=17825264/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=612408 CPUtime=3757.65 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 508839 0 0 0 375601 164 0 0 25 0 4 0 731799360 627105792 115614 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 153102 115614 395 112 0 148067 0
[pid=6515/tid=6516] ppid=6513 vsize=612408 CPUtime=942.29 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 111937 0 0 0 94195 34 0 0 25 0 4 0 731799360 627105792 115614 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=612408 CPUtime=942.3 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 197400 0 0 0 94167 63 0 0 25 0 4 0 731799360 627105792 115614 33554432000 4194304 4650419 140735108710816 18446744073709551615 4334040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=612408 CPUtime=930.93 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 95806 0 0 0 93054 39 0 0 25 0 4 0 731799360 627105792 115614 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.65
Current children cumulated vsize (KiB) 612408

[startup+1002.3 s]
/proc/loadavg: 5.22 7.22 7.73 5/364 6568
/proc/meminfo: memFree=17788424/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=704460 CPUtime=3996.93 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 546775 0 0 0 399516 177 0 0 25 0 4 0 731799360 721367040 124891 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 176115 124891 395 112 0 171080 0
[pid=6515/tid=6516] ppid=6513 vsize=704460 CPUtime=1002.28 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 123375 0 0 0 100190 38 0 0 25 0 4 0 731799360 721367040 124891 33554432000 4194304 4650419 140735108710816 18446744073709551615 4520327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=704460 CPUtime=1002.3 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 210747 0 0 0 100163 67 0 0 25 0 4 0 731799360 721367040 124891 33554432000 4194304 4650419 140735108710816 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=704460 CPUtime=990.22 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 98820 0 0 0 98982 40 0 0 25 0 4 0 731799360 721367040 124891 33554432000 4194304 4650419 140735108710816 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.93
Current children cumulated vsize (KiB) 704460

[startup+1062.3 s]
/proc/loadavg: 4.45 6.63 7.50 5/364 6570
/proc/meminfo: memFree=17759732/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=678808 CPUtime=4236.21 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 568044 0 0 0 423431 190 0 0 25 0 4 0 731799360 695099392 131963 33554432000 4194304 4650419 140735108710816 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 169702 131963 395 112 0 164667 0
[pid=6515/tid=6516] ppid=6513 vsize=678808 CPUtime=1062.28 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 130955 0 0 0 106185 43 0 0 25 0 4 0 731799360 695099392 131963 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=678808 CPUtime=1062.3 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 210808 0 0 0 106163 67 0 0 25 0 4 0 731799360 695099392 131963 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=678808 CPUtime=1049.51 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 101859 0 0 0 104909 42 0 0 25 0 4 0 731799360 695099392 131963 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.21
Current children cumulated vsize (KiB) 678808

[startup+1122.3 s]
/proc/loadavg: 4.21 6.17 7.28 5/364 6570
/proc/meminfo: memFree=17799976/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=613908 CPUtime=4475.49 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 588377 0 0 0 447349 200 0 0 25 0 4 0 731799360 628641792 121857 33554432000 4194304 4650419 140735108710816 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 153477 121857 395 112 0 148442 0
[pid=6515/tid=6516] ppid=6513 vsize=613908 CPUtime=1122.27 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 137658 0 0 0 112181 46 0 0 25 0 4 0 731799360 628641792 121857 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=613908 CPUtime=1122.29 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 219319 0 0 0 112159 70 0 0 25 0 4 0 731799360 628641792 121857 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=613908 CPUtime=1108.79 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 102595 0 0 0 110836 43 0 0 25 0 4 0 731799360 628641792 121857 33554432000 4194304 4650419 140735108710816 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.49
Current children cumulated vsize (KiB) 613908

[startup+1182.3 s]
/proc/loadavg: 4.12 5.78 7.08 5/364 6572
/proc/meminfo: memFree=17801184/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=612544 CPUtime=4714.8 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 611624 0 0 0 471269 211 0 0 25 0 4 0 731799360 627245056 121739 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 153136 121739 395 112 0 148101 0
[pid=6515/tid=6516] ppid=6513 vsize=612544 CPUtime=1182.27 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 142788 0 0 0 118179 48 0 0 25 0 4 0 731799360 627245056 121739 33554432000 4194304 4650419 140735108710816 18446744073709551615 4433824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=612544 CPUtime=1182.3 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 229796 0 0 0 118155 75 0 0 25 0 4 0 731799360 627245056 121739 33554432000 4194304 4650419 140735108710816 18446744073709551615 4367013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=612544 CPUtime=1168.09 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 102857 0 0 0 116765 44 0 0 25 0 4 0 731799360 627245056 121739 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.8
Current children cumulated vsize (KiB) 612544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 4.14 5.66 7.00 5/364 6574
/proc/meminfo: memFree=17779964/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=625784 CPUtime=4800.14 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 616941 0 0 0 479800 214 0 0 25 0 4 0 731799360 640802816 126958 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 156446 126958 395 112 0 151411 0
[pid=6515/tid=6516] ppid=6513 vsize=625784 CPUtime=1203.68 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 142788 0 0 0 120320 48 0 0 25 0 4 0 731799360 640802816 126959 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=625784 CPUtime=1203.71 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 230013 0 0 0 120296 75 0 0 25 0 4 0 731799360 640802816 126959 33554432000 4194304 4650419 140735108710816 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=625784 CPUtime=1189.21 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 104627 0 0 0 118876 45 0 0 25 0 4 0 731799360 640802816 126959 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 625784

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

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

[startup+1203.7 s]
/proc/loadavg: 4.14 5.66 7.00 5/364 6574
/proc/meminfo: memFree=17779964/32951124 swapFree=45193364/67111528
[pid=6515] ppid=6513 vsize=625784 CPUtime=4800.14 cores=0,2,4,6
/proc/6515/stat : 6515 (strangenight1-m) R 6513 6515 5935 0 -1 4202496 616941 0 0 0 479800 214 0 0 25 0 4 0 731799360 640802816 126958 33554432000 4194304 4650419 140735108710816 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6515/statm: 156446 126958 395 112 0 151411 0
[pid=6515/tid=6516] ppid=6513 vsize=625784 CPUtime=1203.68 cores=0,2,4,6
/proc/6515/task/6516/stat : 6516 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 142788 0 0 0 120320 48 0 0 25 0 4 0 731799360 640802816 126959 33554432000 4194304 4650419 140735108710816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6515/tid=6517] ppid=6513 vsize=625784 CPUtime=1203.71 cores=0,2,4,6
/proc/6515/task/6517/stat : 6517 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 230013 0 0 0 120296 75 0 0 25 0 4 0 731799360 640802816 126959 33554432000 4194304 4650419 140735108710816 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6515/tid=6518] ppid=6513 vsize=625784 CPUtime=1189.21 cores=0,2,4,6
/proc/6515/task/6518/stat : 6518 (strangenight1-m) R 6513 6515 5935 0 -1 4202560 104627 0 0 0 118876 45 0 0 25 0 4 0 731799360 640802816 126959 33554432000 4194304 4650419 140735108710816 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 625784

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.21
CPU user time (s): 4798.04
CPU system time (s): 2.16667
CPU usage (%): 398.774
Max. virtual memory (cumulated for all children) (KiB): 811268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.04
system time used= 2.16667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616942
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= 268
involuntary context switches= 20888

runsolver used 4.30635 second user time and 10.1974 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-15 01:28:07
IDJOB=3369335
IDBENCH=84021
IDSOLVER=1846
FILE ID=node118/3369335-1305415687
RUNJOBID= node118-1305414481-6339
PBS_JOBID= 13324527
Free space on /tmp= 73044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369335-1305415687/watcher-3369335-1305415687 -o /tmp/evaluation-result-3369335-1305415687/solver-3369335-1305415687 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369335-1305415687.cnf

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

MD5SUM BENCH= 1d86c7f9cd05c5f2ab070520d802c8e1
RANDOM SEED=1170186099

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:      17780868 kB
Buffers:        278448 kB
Cached:        4391764 kB
SwapCached:      22084 kB
Active:       12284300 kB
Inactive:      2582364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17780868 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:            6272 kB
Writeback:           0 kB
AnonPages:    10187496 kB
Mapped:          15672 kB
Slab:           148464 kB
PageTables:      90772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 89372968 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= 73044 MiB
End job on node118 at 2011-05-15 01:48:13