Trace number 3369382

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.14 1203.85

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
MD5SUM6545c783f127618649f1200914f62dc5
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 variables173
Number of clauses356
Sum of the clauses size1068
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3356
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369382-1305412759.cnf'
0.00/0.01	c -- header says num vars:            173
0.00/0.01	c -- header says num clauses:         356
0.00/0.01	c -- clauses added:            0 learnts,          356 normals,            0 xors
0.00/0.01	c -- vars added        173
3.17/0.85	c Parsing time:  0.00 s
3.17/0.85	c  N st     0         0       173       356         0         0      1068         0   no data   no data  --
3.17/0.85	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.00
3.17/0.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
3.17/0.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.85	c calculated reachability. Time: 0.00
3.17/0.85	c Calc default polars -  time:   0.00 s pos:       6 undec:     163 neg:       4
3.17/0.85	c =========================================================================================
3.17/0.85	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       173       356         0         0      1068         0   no data   no data  --
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4917       173       356         0      4402      1068    116231   no data   no data  --
3.17/0.85	c  N st    10     11300       173       356         0      3955      1068     76063   no data   no data  --
3.17/0.85	c  N st    11     17043       173       356         0      8885      1068    215215   no data   no data  --
3.17/0.85	c  F st    12     25001       173       356         0     10690      1068    270005   no data   no data  --
3.17/0.85	c  N st    12     25001       173       356         0     10690      1068    270005   no data   no data  --
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st    18     30001       173       356         0      9343      1068    183953   no data   no data  --
3.17/0.85	c  S st    18     30001       173       356         0      9343      1068    183953   no data   no data  --
3.57/0.95	c  S st    18     30503       173       356         0      9824      1068    194438   no data   no data  --
3.57/0.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.57/0.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.57/0.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.57/0.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
3.57/0.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.05	c lits-rem:       711  cl-subs:      620  v-elim:      0  v-fix:    0  time:  0.62 s
3.97/1.05	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.01
3.97/1.05	c calculated reachability. Time: 0.00
3.97/1.05	c  N st    18     30503       173       356         0      9204      1068    174639   no data   no data  --
4.81/1.25	c  N st    20     37614       173       356         0      8642      1068    168271   no data   no data  --
5.56/1.44	c  N st    21     44013       173       356         0     14276      1068    306119   no data   no data  --
5.96/1.51	c  S st    22     45755       173       356         0      7999      1068    125125   no data   no data  --
5.96/1.53	c  S st    22     46256       173       356         0      8483      1068    136447   no data   no data  --
5.96/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
5.96/1.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.58	c lits-rem:       163  cl-subs:       81  v-elim:      0  v-fix:    0  time:  0.18 s
5.96/1.58	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
5.96/1.58	c vivif2 --  cl tried     8402 cl shrink        0 lits rem          0 time: 0.00
5.96/1.58	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.01
5.96/1.58	c calculated reachability. Time: 0.00
5.96/1.58	c  N st    22     46256       173       356         0      8402      1068    134258   no data   no data  --
7.95/2.04	c  N st    23     60653       173       356         0     11933      1068    221085   no data   no data  --
9.54/2.43	c  N st    24     69384       173       356         0     10099      1068    152721   no data   no data  --
9.54/2.43	c  S st    24     69384       173       356         0     10099      1068    152721   no data   no data  --
9.54/2.46	c  S st    24     69889       173       356         0     10595      1068    163849   no data   no data  --
9.54/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.54/2.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.54/2.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
9.54/2.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.74/2.70	c lits-rem:       346  cl-subs:      153  v-elim:      0  v-fix:    0  time:  0.94 s
10.74/2.70	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
10.74/2.70	c vivif2 --  cl tried    10442 cl shrink        0 lits rem          0 time: 0.01
10.74/2.71	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.01
10.74/2.71	c calculated reachability. Time: 0.00
10.74/2.71	c  N st    24     69889       173       356         0     10442      1068    159726   no data   no data  --
13.59/3.45	c  F st    25     87501       173       356         0     15521      1068    304377   no data   no data  --
13.59/3.45	c  N st    25     87501       173       356         0     15521      1068    304377   no data   no data  --
14.33/3.65	c Decided on static restart strategy
14.73/3.76	c  N st    32     95540       173       356         0     22636      1068    506006   no data   no data  --
16.33/4.13	c  N st    34    104833       173       356         0     19373      1068    363016   no data   no data  --
16.33/4.13	c  S st    34    104833       173       356         0     19373      1068    363016   no data   no data  --
16.33/4.16	c  S st    34    105336       173       356         0     19866      1068    373782   no data   no data  --
16.33/4.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.33/4.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.33/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
16.33/4.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.12/5.39	c lits-rem:      2265  cl-subs:      860  v-elim:      0  v-fix:    0  time:  4.80 s
21.12/5.39	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
21.12/5.39	c vivif2 --  cl tried    19006 cl shrink        0 lits rem          0 time: 0.02
21.12/5.40	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.02
21.12/5.40	c calculated reachability. Time: 0.00
21.12/5.40	c  N st    34    105336       173       356         0     19006      1068    344640   no data   no data  --
23.10/5.82	c  N st    35    114937       173       356         0     15091      1068    253271   no data   no data  --
25.90/6.50	c  N st    36    129335       173       356         0     14469      1068    222410   no data   no data  --
29.49/7.45	c  N st    37    150931       173       356         0     19259      1068    348752   no data   no data  --
30.71/7.76	c  S st    38    158005       173       356         0     25214      1068    507458   no data   no data  --
30.71/7.81	c  S st    38    158506       173       356         0     25703      1068    519459   no data   no data  --
31.13/7.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.13/7.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.13/7.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
31.13/7.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.13/7.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.13/7.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
31.13/7.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.05/9.89	c lits-rem:      7910  cl-subs:     2975  v-elim:      0  v-fix:    0  time:  8.22 s
39.05/9.89	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
39.05/9.90	c vivif2 --  cl tried    22728 cl shrink        0 lits rem          0 time: 0.01
39.05/9.91	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.02
39.05/9.91	c calculated reachability. Time: 0.00
39.05/9.91	c  N st    38    158506       173       356         0     22728      1068    417764   no data   no data  --
49.42/12.48	c  N st    39    207094       173       356         0     18140      1068    294845   no data   no data  --
55.80/14.05	c  N st    40    237759       173       356         0     27843      1068    504912   no data   no data  --
55.80/14.05	c  S st    40    237759       173       356         0     27843      1068    504912   no data   no data  --
56.20/14.10	c  S st    40    238261       173       356         0     28326      1068    515005   no data   no data  --
56.20/14.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
56.20/14.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.20/14.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
56.20/14.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.20/14.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.20/14.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
56.20/14.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.38/15.98	c lits-rem:      3239  cl-subs:     1243  v-elim:      0  v-fix:    0  time:  7.39 s
63.38/15.98	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
63.38/15.99	c vivif2 --  cl tried    27083 cl shrink        0 lits rem          0 time: 0.02
63.78/16.00	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.03
63.78/16.00	c calculated reachability. Time: 0.00
63.78/16.00	c  N st    40    238261       173       356         0     27083      1068    477461   no data   no data  --
79.38/19.98	c  F st    41    306252       173       356         0     28492      1068    520772   no data   no data  --
79.38/19.98	c  N st    41    306252       173       356         0     28492      1068    520772   no data   no data  --
80.52/20.24	c Decided on static restart strategy
85.71/21.51	c  N st    51    334553       173       356         0     32891      1068    671182   no data   no data  --
90.50/22.77	c  N st    53    357391       173       356         0     31013      1068    582838   no data   no data  --
90.50/22.77	c  S st    53    357391       173       356         0     31013      1068    582838   no data   no data  --
90.90/22.83	c  S st    53    357895       173       356         0     31509      1068    595635   no data   no data  --
90.90/22.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.90/22.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.90/22.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
90.90/22.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.90/22.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.90/22.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
90.90/22.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.07/24.67	c lits-rem:      5953  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  7.22 s
98.07/24.67	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
98.07/24.68	c vivif2 --  cl tried    30185 cl shrink        0 lits rem          0 time: 0.02
98.07/24.69	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.04
98.07/24.69	c calculated reachability. Time: 0.00
98.07/24.69	c  N st    53    357895       173       356         0     30185      1068    543327   no data   no data  --
106.05/26.68	c  N st    54    390287       173       356         0     35748      1068    710350   no data   no data  --
119.20/29.93	c  N st    55    438878       173       356         0     29522      1068    477378   no data   no data  --
139.15/34.98	c  N st    56    511760       173       356         0     41244      1068    745748   no data   no data  --
145.53/36.51	c  N st    57    536842       173       356         0     37130      1068    653267   no data   no data  --
145.53/36.51	c  S st    57    536842       173       356         0     37130      1068    653267   no data   no data  --
145.53/36.57	c  S st    57    537345       173       356         0     37625      1068    664718   no data   no data  --
145.53/36.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.53/36.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.53/36.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
145.93/36.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.93/36.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.93/36.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
145.93/36.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.54/38.51	c lits-rem:      4587  cl-subs:      729  v-elim:      0  v-fix:    0  time:  7.62 s
153.54/38.51	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
153.54/38.52	c vivif2 --  cl tried    36896 cl shrink        0 lits rem          0 time: 0.03
153.54/38.53	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.04
153.54/38.53	c calculated reachability. Time: 0.00
153.54/38.53	c  N st    57    537345       173       356         0     36896      1068    636085   no data   no data  --
208.93/52.42	c  N st    58    701329       173       356         0     32123      1068    428006   no data   no data  --
245.22/61.55	c  N st    59    806017       173       356         0     57175      1068   1161068   no data   no data  --
245.22/61.55	c  S st    59    806017       173       356         0     57175      1068   1161068   no data   no data  --
245.65/61.66	c  S st    59    806519       173       356         0     57668      1068   1173841   no data   no data  --
245.65/61.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
245.65/61.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
245.65/61.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
246.07/61.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
246.07/61.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.07/61.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
246.07/61.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
270.75/67.95	c lits-rem:      2443  cl-subs:     4074  v-elim:      0  v-fix:    0  time: 24.87 s
270.75/67.95	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
270.75/67.97	c vivif2 --  cl tried    53594 cl shrink        0 lits rem          0 time: 0.05
270.75/67.99	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.08
270.75/67.99	c calculated reachability. Time: 0.00
270.75/67.99	c  N st    59    806519       173       356         0     53594      1068   1037528   no data   no data  --
364.86/91.50	c  F st    60   1071875       173       356         0     65840      1068   1321398   no data   no data  --
364.86/91.50	c  N st    60   1071875       173       356         0     65840      1068   1321398   no data   no data  --
366.46/91.93	c Decided on static restart strategy
373.28/93.63	c  N st    70   1100180       173       356         0     53565      1068    948350   no data   no data  --
386.03/96.84	c  N st    72   1136175       173       356         0     44581      1068    683841   no data   no data  --
397.56/99.71	c  N st    73   1168567       173       356         0     73064      1068   1547862   no data   no data  --
413.90/103.86	c  N st    74   1209780       173       356         0     69838      1068   1489211   no data   no data  --
413.90/103.86	c  S st    74   1209780       173       356         0     69838      1068   1489211   no data   no data  --
414.70/104.02	c  S st    74   1210284       173       356         0     70327      1068   1501568   no data   no data  --
414.70/104.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
414.70/104.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
414.70/104.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
415.10/104.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
415.10/104.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.10/104.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
415.10/104.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
452.23/113.45	c lits-rem:      3418  cl-subs:     1927  v-elim:      0  v-fix:    0  time: 37.16 s
452.23/113.45	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
452.23/113.47	c vivif2 --  cl tried    68400 cl shrink        0 lits rem          0 time: 0.08
452.58/113.52	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.19
452.58/113.52	c calculated reachability. Time: 0.00
452.58/113.52	c  N st    74   1210284       173       356         0     68400      1068   1426310   no data   no data  --
484.09/121.40	c  N st    75   1283166       173       356         0     46098      1068    682066   no data   no data  --
529.54/132.82	c  N st    76   1392490       173       356         0     51875      1068    838509   no data   no data  --
603.72/151.41	c  N st    77   1556474       173       356         0     56556      1068    942904   no data   no data  --
677.50/169.94	c  N st    78   1710285       173       356         0     98379      1068   2296614   no data   no data  --
677.50/169.94	c  S st    78   1710285       173       356         0     98379      1068   2296614   no data   no data  --
678.29/170.13	c  S st    78   1710791       173       356         0     98875      1068   2308771   no data   no data  --
678.29/170.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
678.29/170.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
678.29/170.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
678.69/170.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
678.69/170.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
678.69/170.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
678.69/170.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
756.44/189.70	c lits-rem:      7669  cl-subs:     3623  v-elim:      0  v-fix:    0  time: 77.48 s
756.44/189.70	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
756.44/189.72	c vivif2 --  cl tried    95252 cl shrink        0 lits rem          0 time: 0.10
756.44/189.78	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.24
756.44/189.79	c calculated reachability. Time: 0.00
756.44/189.79	c  N st    78   1710791       173       356         0     95252      1068   2174280   no data   no data  --
940.69/235.98	c  N st    79   2079755       173       356         0    100150      1068   2170257   no data   no data  --
1001.30/251.17	c  N st    80   2210795       173       356         0    105893      1068   2416421   no data   no data  --
1001.30/251.17	c  S st    80   2210795       173       356         0    105893      1068   2416421   no data   no data  --
1002.10/251.38	c  S st    80   2211301       173       356         0    106389      1068   2429929   no data   no data  --
1002.10/251.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1002.10/251.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1002.50/251.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1002.89/251.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1002.89/251.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1002.89/251.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
1002.89/251.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1106.96/277.61	c lits-rem:      9112  cl-subs:     4638  v-elim:      0  v-fix:    0  time: 104.02 s
1106.96/277.61	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
1106.96/277.64	c vivif2 --  cl tried   101751 cl shrink        0 lits rem          0 time: 0.10
1106.96/277.69	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.22
1107.36/277.70	c calculated reachability. Time: 0.00
1107.36/277.70	c  N st    80   2211301       173       356         0    101751      1068   2245402   no data   no data  --
1365.37/342.41	c  N st    81   2711302       173       356         0    122594      1068   2776298   no data   no data  --
1365.37/342.41	c  S st    81   2711302       173       356         0    122594      1068   2776298   no data   no data  --
1366.17/342.64	c  S st    81   2711807       173       356         0    123083      1068   2790148   no data   no data  --
1366.17/342.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1366.17/342.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1366.57/342.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.22
1366.57/342.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1366.57/342.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1366.57/342.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
1366.57/342.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1643.68/412.25	c lits-rem:     28509  cl-subs:    12280  v-elim:      0  v-fix:    0  time: 276.85 s
1643.68/412.25	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
1643.68/412.28	c vivif2 --  cl tried   110803 cl shrink        0 lits rem          0 time: 0.12
1644.07/412.35	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.28
1644.07/412.36	c calculated reachability. Time: 0.00
1644.07/412.36	c  N st    81   2711807       173       356         0    110803      1068   2343633   no data   no data  --
1917.28/480.88	c  N st    82   3211808       173       356         0     89237      1068   1577686   no data   no data  --
1917.28/480.88	c  S st    82   3211808       173       356         0     89237      1068   1577686   no data   no data  --
1918.02/481.08	c  S st    82   3212311       173       356         0     89729      1068   1590809   no data   no data  --
1918.02/481.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1918.02/481.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1918.42/481.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1918.42/481.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1918.42/481.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1918.42/481.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
1918.42/481.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1964.68/492.79	c lits-rem:      2278  cl-subs:     4697  v-elim:      0  v-fix:    0  time: 46.28 s
1964.68/492.79	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
1964.68/492.80	c vivif2 --  cl tried    85032 cl shrink        0 lits rem          0 time: 0.06
1965.11/492.84	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.16
1965.11/492.85	c calculated reachability. Time: 0.00
1965.11/492.85	c  N st    82   3212311       173       356         0     85032      1068   1436452   no data   no data  --
2293.27/575.17	c  N st    83   3712314       173       356         0     96845      1068   1754955   no data   no data  --
2293.27/575.17	c  S st    83   3712314       173       356         0     96845      1068   1754955   no data   no data  --
2294.09/575.34	c  S st    83   3712816       173       356         0     97335      1068   1768620   no data   no data  --
2294.09/575.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2294.09/575.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2294.09/575.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
2294.51/575.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2294.51/575.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2294.51/575.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
2294.51/575.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2353.47/590.24	c lits-rem:      1969  cl-subs:     6142  v-elim:      0  v-fix:    0  time: 59.01 s
2353.47/590.24	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
2353.47/590.26	c vivif2 --  cl tried    91193 cl shrink        0 lits rem          0 time: 0.08
2353.87/590.32	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.25
2353.87/590.32	c calculated reachability. Time: 0.00
2353.87/590.32	c  N st    83   3712816       173       356         0     91193      1068   1565441   no data   no data  --
2378.18/596.40	c  F st    84   3751564       173       356         0    124665      1068   2671741   no data   no data  --
2378.18/596.40	c  N st    84   3751564       173       356         0    124665      1068   2671741   no data   no data  --
2381.82/597.36	c Decided on static restart strategy
2399.36/601.77	c  N st    94   3779869       173       356         0     76757      1068   1068936   no data   no data  --
2414.87/605.65	c  N st    96   3815863       173       356         0    109335      1068   1961483   no data   no data  --
2434.86/610.68	c  N st    97   3848255       173       356         0    137125      1068   2801616   no data   no data  --
2459.93/616.91	c  N st    98   3896844       173       356         0    102801      1068   1765273   no data   no data  --
2501.80/627.41	c  N st    99   3969726       173       356         0     89451      1068   1409725   no data   no data  --
2576.77/646.23	c  N st   100   4079049       173       356         0    111844      1068   2049642   no data   no data  --
2654.93/665.82	c  N st   101   4212818       173       356         0    144163      1068   2825887   no data   no data  --
2654.93/665.82	c  S st   101   4212818       173       356         0    144163      1068   2825887   no data   no data  --
2656.13/666.12	c  S st   101   4213320       173       356         0    144659      1068   2838985   no data   no data  --
2656.13/666.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2656.13/666.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2656.53/666.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
2656.53/666.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2656.53/666.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2656.53/666.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
2656.53/666.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3075.58/771.31	c lits-rem:     12794  cl-subs:    23081  v-elim:      0  v-fix:    0  time: 418.58 s
3075.58/771.31	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
3075.58/771.34	c vivif2 --  cl tried   121578 cl shrink        0 lits rem          0 time: 0.11
3075.98/771.42	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.33
3075.98/771.43	c calculated reachability. Time: 0.00
3075.98/771.43	c  N st   101   4213320       173       356         0    121578      1068   2103665   no data   no data  --
3198.80/802.20	c  N st   102   4459296       173       356         0     95037      1068   1526965   no data   no data  --
3343.95/838.63	c  N st   103   4713321       173       356         0    153751      1068   3089776   no data   no data  --
3343.95/838.63	c  S st   103   4713321       173       356         0    153751      1068   3089776   no data   no data  --
3345.15/838.92	c  S st   103   4713825       173       356         0    154246      1068   3103815   no data   no data  --
3345.15/838.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3345.15/838.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3345.15/839.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.28
3345.55/839.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3345.55/839.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3345.55/839.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
3345.55/839.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4187.21/1050.16	c lits-rem:     11851  cl-subs:    25647  v-elim:      0  v-fix:    0  time: 841.21 s
4187.21/1050.16	c vivif2 --  cl tried      356 cl shrink        0 lits rem          0 time: 0.00
4187.21/1050.19	c vivif2 --  cl tried   128599 cl shrink        0 lits rem          0 time: 0.14
4188.01/1050.30	c asymm  cl-useful: 0/356/356 lits-rem:0 time: 0.43
4188.01/1050.30	c calculated reachability. Time: 0.00
4188.01/1050.30	c  N st   103   4713825       173       356         0    128599      1068   2293940   no data   no data  --
4527.72/1135.54	c  N st   104   5213826       173       356         0    144668      1068   2869389   no data   no data  --
4527.72/1135.54	c  S st   104   5213826       173       356         0    144668      1068   2869389   no data   no data  --
4528.92/1135.87	c  S st   104   5214328       173       356         0    145160      1068   2883089   no data   no data  --
4528.92/1135.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4528.92/1135.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4529.32/1135.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.33
4529.72/1136.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4529.72/1136.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4529.72/1136.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    173 time:  0.00 s
4529.72/1136.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3369382-1305412759/watcher-3369382-1305412759 -o /tmp/evaluation-result-3369382-1305412759/solver-3369382-1305412759 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369382-1305412759.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: 7.67 7.97 7.85 6/386 12462
/proc/meminfo: memFree=14890832/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 416 0 0 0 1 0 0 0 21 0 4 0 731506548 52465664 356 33554432000 4194304 4650419 140737074185632 18446744073709551615 47079341102611 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 12809 356 306 112 0 7774 0
[pid=12462/tid=12463] ppid=12460 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 731506549 52465664 356 33554432000 4194304 4650419 140737074185632 18446744073709551615 47079341102617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 731506549 52465664 356 33554432000 4194304 4650419 140737074185632 18446744073709551615 47079341103030 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 731506549 52465664 356 33554432000 4194304 4650419 140737074185632 18446744073709551615 47079341102617 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.113922 s]
/proc/loadavg: 7.67 7.97 7.85 6/386 12462
/proc/meminfo: memFree=14890832/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=282952 CPUtime=0.43 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 1755 0 0 0 43 0 0 0 18 0 4 0 731506548 289742848 1186 33554432000 4194304 4650419 140737074185632 18446744073709551615 4363455 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 70738 1186 392 112 0 65703 0
[pid=12462/tid=12463] ppid=12460 vsize=282952 CPUtime=0.1 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 360 0 0 0 10 0 0 0 18 0 4 0 731506549 289742848 1186 33554432000 4194304 4650419 140737074185632 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=282952 CPUtime=0.1 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 317 0 0 0 10 0 0 0 22 0 4 0 731506549 289742848 1186 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=282952 CPUtime=0.1 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 314 0 0 0 10 0 0 0 18 0 4 0 731506549 289742848 1186 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282952

[startup+0.200907 s]
/proc/loadavg: 7.67 7.97 7.85 6/386 12462
/proc/meminfo: memFree=14890832/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=283104 CPUtime=0.77 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 2254 0 0 0 77 0 0 0 18 0 4 0 731506548 289898496 1685 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 70776 1685 392 112 0 65741 0
[pid=12462/tid=12463] ppid=12460 vsize=283104 CPUtime=0.19 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 479 0 0 0 19 0 0 0 18 0 4 0 731506549 289898496 1685 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=283104 CPUtime=0.18 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 443 0 0 0 18 0 0 0 22 0 4 0 731506549 289898496 1685 33554432000 4194304 4650419 140737074185632 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=283104 CPUtime=0.19 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 440 0 0 0 19 0 0 0 18 0 4 0 731506549 289898496 1685 33554432000 4194304 4650419 140737074185632 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283104

[startup+0.30089 s]
/proc/loadavg: 7.67 7.97 7.85 6/386 12462
/proc/meminfo: memFree=14890832/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=283724 CPUtime=1.17 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 3089 0 0 0 117 0 0 0 18 0 4 0 731506548 290533376 1774 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 70931 1774 392 112 0 65896 0
[pid=12462/tid=12463] ppid=12460 vsize=283724 CPUtime=0.29 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 677 0 0 0 29 0 0 0 18 0 4 0 731506549 290533376 1774 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=283724 CPUtime=0.28 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 654 0 0 0 28 0 0 0 23 0 4 0 731506549 290533376 1774 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=283724 CPUtime=0.29 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 641 0 0 0 29 0 0 0 18 0 4 0 731506549 290533376 1774 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364788 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) 283724

[startup+0.700822 s]
/proc/loadavg: 7.67 7.97 7.85 6/386 12462
/proc/meminfo: memFree=14890832/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=284884 CPUtime=2.77 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 5662 0 0 0 276 1 0 0 18 0 4 0 731506548 291721216 2524 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 71221 2525 393 112 0 66186 0
[pid=12462/tid=12463] ppid=12460 vsize=284884 CPUtime=0.69 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 1388 0 0 0 69 0 0 0 18 0 4 0 731506549 291721216 2525 33554432000 4194304 4650419 140737074185632 18446744073709551615 4333991 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=284884 CPUtime=0.68 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 1330 0 0 0 68 0 0 0 25 0 4 0 731506549 291721216 2525 33554432000 4194304 4650419 140737074185632 18446744073709551615 4314797 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=284884 CPUtime=0.69 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 1268 0 0 0 69 0 0 0 18 0 4 0 731506549 291721216 2526 33554432000 4194304 4650419 140737074185632 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284884

[startup+1.50069 s]
/proc/loadavg: 7.67 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14852236/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=294524 CPUtime=5.96 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 13927 0 0 0 594 2 0 0 20 0 4 0 731506548 301592576 8519 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 73631 8519 394 112 0 68596 0
[pid=12462/tid=12463] ppid=12460 vsize=294524 CPUtime=1.48 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 3312 0 0 0 148 0 0 0 19 0 4 0 731506549 301592576 8519 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=294524 CPUtime=1.47 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 3838 0 0 0 147 0 0 0 25 0 4 0 731506549 301592576 8519 33554432000 4194304 4650419 140737074185632 18446744073709551615 4438725 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=294524 CPUtime=1.49 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 3028 0 0 0 149 0 0 0 20 0 4 0 731506549 301592576 8519 33554432000 4194304 4650419 140737074185632 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 294524

[startup+3.10041 s]
/proc/loadavg: 7.70 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14817164/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=321448 CPUtime=12.34 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 20291 0 0 0 1231 3 0 0 25 0 4 0 731506548 329162752 12479 33554432000 4194304 4650419 140737074185632 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 80362 12479 394 112 0 75327 0
[pid=12462/tid=12463] ppid=12460 vsize=321448 CPUtime=3.09 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 5866 0 0 0 308 1 0 0 25 0 4 0 731506549 329162752 12479 33554432000 4194304 4650419 140737074185632 18446744073709551615 4438653 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=321448 CPUtime=3.05 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 4284 0 0 0 305 0 0 0 25 0 4 0 731506549 329162752 12479 33554432000 4194304 4650419 140737074185632 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=321448 CPUtime=3.08 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 4470 0 0 0 308 0 0 0 25 0 4 0 731506549 329162752 12479 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 321448

[startup+6.30085 s]
/proc/loadavg: 7.70 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14759264/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=304548 CPUtime=25.1 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 30659 0 0 0 2505 5 0 0 25 0 4 0 731506548 311857152 16818 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 76137 16819 394 112 0 71102 0
[pid=12462/tid=12463] ppid=12460 vsize=304548 CPUtime=6.29 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 7764 0 0 0 628 1 0 0 25 0 4 0 731506549 311857152 16819 33554432000 4194304 4650419 140737074185632 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=304548 CPUtime=6.22 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 7430 0 0 0 621 1 0 0 25 0 4 0 731506549 311857152 16819 33554432000 4194304 4650419 140737074185632 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=304548 CPUtime=6.29 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 6566 0 0 0 628 1 0 0 25 0 4 0 731506549 311857152 16819 33554432000 4194304 4650419 140737074185632 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 304548

[startup+12.7007 s]
/proc/loadavg: 7.74 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14709984/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=315000 CPUtime=50.62 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 50162 0 0 0 5052 10 0 0 25 0 4 0 731506548 322560000 22629 33554432000 4194304 4650419 140737074185632 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 78750 22629 394 112 0 73715 0
[pid=12462/tid=12463] ppid=12460 vsize=315000 CPUtime=12.69 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 13203 0 0 0 1266 3 0 0 25 0 4 0 731506549 322560000 22629 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=315000 CPUtime=12.53 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 13681 0 0 0 1251 2 0 0 25 0 4 0 731506549 322560000 22629 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=315000 CPUtime=12.68 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 8977 0 0 0 1267 1 0 0 25 0 4 0 731506549 322560000 22629 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 315000

[startup+25.5005 s]
/proc/loadavg: 7.78 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14657204/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=326224 CPUtime=101.66 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 77522 0 0 0 10150 16 0 0 25 0 4 0 731506548 334053376 30348 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 81556 30348 394 112 0 76521 0
[pid=12462/tid=12463] ppid=12460 vsize=326224 CPUtime=25.49 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 22983 0 0 0 2544 5 0 0 25 0 4 0 731506549 334053376 30348 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=326224 CPUtime=25.17 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 19271 0 0 0 2514 3 0 0 25 0 4 0 731506549 334053376 30348 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=326224 CPUtime=25.48 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 11939 0 0 0 2546 2 0 0 25 0 4 0 731506549 334053376 30348 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 326224

[startup+51.101 s]
/proc/loadavg: 7.97 8.00 7.86 9/390 12467
/proc/meminfo: memFree=14589172/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=319060 CPUtime=203.75 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 122102 0 0 0 20350 25 0 0 25 0 4 0 731506548 326717440 40577 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 79765 40577 394 112 0 74730 0
[pid=12462/tid=12463] ppid=12460 vsize=319060 CPUtime=51.09 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 34847 0 0 0 5102 7 0 0 25 0 4 0 731506549 326717440 40577 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=319060 CPUtime=50.47 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 31820 0 0 0 5041 6 0 0 25 0 4 0 731506549 326717440 40577 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=319060 CPUtime=51.09 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 16837 0 0 0 5105 4 0 0 25 0 4 0 731506549 326717440 40577 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 319060

[startup+102.301 s]
/proc/loadavg: 8.04 8.01 7.87 9/390 12468
/proc/meminfo: memFree=14454988/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=406688 CPUtime=407.96 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 203667 0 0 0 40748 48 0 0 25 0 4 0 731506548 416448512 54862 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 101672 54862 394 112 0 96637 0
[pid=12462/tid=12463] ppid=12460 vsize=406688 CPUtime=102.31 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 56890 0 0 0 10217 14 0 0 25 0 4 0 731506549 416448512 54864 33554432000 4194304 4650419 140737074185632 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=406688 CPUtime=101.05 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 56468 0 0 0 10093 12 0 0 25 0 4 0 731506549 416448512 54864 33554432000 4194304 4650419 140737074185632 18446744073709551615 4313707 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=406688 CPUtime=102.3 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 26340 0 0 0 10223 7 0 0 25 0 4 0 731506549 416448512 54864 33554432000 4194304 4650419 140737074185632 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 406688

[startup+162.301 s]

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

[pid=12462] ppid=12460 vsize=730208 CPUtime=2800.47 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 670544 0 0 0 279819 228 0 0 25 0 4 0 731506548 747732992 144765 33554432000 4194304 4650419 140737074185632 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 182552 144765 394 112 0 177517 0
[pid=12462/tid=12463] ppid=12460 vsize=730208 CPUtime=702.31 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 200587 0 0 0 70160 71 0 0 25 0 4 0 731506549 747732992 144765 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=730208 CPUtime=693.54 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 201153 0 0 0 69291 63 0 0 25 0 4 0 731506549 747732992 144765 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=730208 CPUtime=702.3 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 75467 0 0 0 70199 31 0 0 25 0 4 0 731506549 747732992 144765 33554432000 4194304 4650419 140737074185632 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.47
Current children cumulated vsize (KiB) 730208

[startup+762.301 s]
/proc/loadavg: 8.02 8.06 7.96 9/390 12486
/proc/meminfo: memFree=13778860/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=730228 CPUtime=3039.73 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 702442 0 0 0 303734 239 0 0 25 0 4 0 731506548 747753472 142328 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 182557 142328 394 112 0 177522 0
[pid=12462/tid=12463] ppid=12460 vsize=730228 CPUtime=762.32 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 209818 0 0 0 76154 78 0 0 25 0 4 0 731506549 747753472 142329 33554432000 4194304 4650419 140737074185632 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=730228 CPUtime=752.78 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 219193 0 0 0 75212 66 0 0 25 0 4 0 731506549 747753472 142329 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=730228 CPUtime=762.32 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 75930 0 0 0 76201 31 0 0 25 0 4 0 731506549 747753472 142329 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.73
Current children cumulated vsize (KiB) 730228

[startup+822.301 s]
/proc/loadavg: 8.00 8.05 7.96 9/390 12487
/proc/meminfo: memFree=13773988/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=730408 CPUtime=3278.95 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 755072 0 0 0 327634 261 0 0 25 0 4 0 731506548 747937792 143262 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 182602 143262 394 112 0 177567 0
[pid=12462/tid=12463] ppid=12460 vsize=730408 CPUtime=822.31 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 218616 0 0 0 82149 82 0 0 25 0 4 0 731506549 747937792 143262 33554432000 4194304 4650419 140737074185632 18446744073709551615 4366039 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=730408 CPUtime=812.02 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 247421 0 0 0 81127 75 0 0 25 0 4 0 731506549 747937792 143262 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=730408 CPUtime=822.3 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 80236 0 0 0 82195 35 0 0 25 0 4 0 731506549 747937792 143262 33554432000 4194304 4650419 140737074185632 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.95
Current children cumulated vsize (KiB) 730408

[startup+882.316 s]
/proc/loadavg: 8.11 8.07 7.97 9/390 12489
/proc/meminfo: memFree=13691252/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=1020052 CPUtime=3518.25 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 794728 0 0 0 351548 277 0 0 25 0 4 0 731506548 1044533248 158568 33554432000 4194304 4650419 140737074185632 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 255013 158568 394 112 0 249978 0
[pid=12462/tid=12463] ppid=12460 vsize=1020052 CPUtime=882.32 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 227294 0 0 0 88146 86 0 0 25 0 4 0 731506549 1044533248 158568 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=1020052 CPUtime=871.27 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 266386 0 0 0 87044 83 0 0 25 0 4 0 731506549 1044533248 158568 33554432000 4194304 4650419 140737074185632 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=1020052 CPUtime=882.32 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 87447 0 0 0 88193 39 0 0 25 0 4 0 731506549 1044533248 158568 33554432000 4194304 4650419 140737074185632 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.25
Current children cumulated vsize (KiB) 1020052

[startup+942.301 s]
/proc/loadavg: 8.04 8.05 7.97 9/390 12491
/proc/meminfo: memFree=13660472/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=1020716 CPUtime=3757.39 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 803197 0 0 0 375454 285 0 0 25 0 4 0 731506548 1045213184 166393 33554432000 4194304 4650419 140737074185632 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 255179 166393 394 112 0 250144 0
[pid=12462/tid=12463] ppid=12460 vsize=1020716 CPUtime=942.31 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 235763 0 0 0 94137 94 0 0 25 0 4 0 731506549 1045213184 166393 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=1020716 CPUtime=930.45 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 266386 0 0 0 92962 83 0 0 25 0 4 0 731506549 1045213184 166393 33554432000 4194304 4650419 140737074185632 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=1020716 CPUtime=942.31 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 87447 0 0 0 94192 39 0 0 25 0 4 0 731506549 1045213184 166393 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.39
Current children cumulated vsize (KiB) 1020716

[startup+1002.3 s]
/proc/loadavg: 8.14 8.07 7.98 9/390 12492
/proc/meminfo: memFree=13694168/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=911988 CPUtime=3996.62 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 813775 0 0 0 399370 292 0 0 25 0 4 0 731506548 933875712 156944 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 227997 156944 394 112 0 222962 0
[pid=12462/tid=12463] ppid=12460 vsize=911988 CPUtime=1002.31 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 244667 0 0 0 100131 100 0 0 25 0 4 0 731506549 933875712 156944 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=911988 CPUtime=989.68 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 266989 0 0 0 98884 84 0 0 25 0 4 0 731506549 933875712 156944 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=911988 CPUtime=1002.31 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 87447 0 0 0 100192 39 0 0 25 0 4 0 731506549 933875712 156944 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.62
Current children cumulated vsize (KiB) 911988

[startup+1062.3 s]
/proc/loadavg: 8.16 8.09 8.00 9/390 12494
/proc/meminfo: memFree=13633136/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=921788 CPUtime=4235.86 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 842352 0 0 0 423284 302 0 0 25 0 4 0 731506548 943910912 165968 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 230447 165968 394 112 0 225412 0
[pid=12462/tid=12463] ppid=12460 vsize=921788 CPUtime=1062.31 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 256053 0 0 0 106126 105 0 0 25 0 4 0 731506549 943910912 165968 33554432000 4194304 4650419 140737074185632 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=921788 CPUtime=1048.92 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 278100 0 0 0 104806 86 0 0 25 0 4 0 731506549 943910912 165968 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=921788 CPUtime=1062.31 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 88176 0 0 0 106192 39 0 0 25 0 4 0 731506549 943910912 165968 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4235.86
Current children cumulated vsize (KiB) 921788

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 8.00 9/390 12495
/proc/meminfo: memFree=13605956/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=930556 CPUtime=4475.09 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 877779 0 0 0 447195 314 0 0 25 0 4 0 731506548 952889344 168296 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 232639 168296 394 112 0 227604 0
[pid=12462/tid=12463] ppid=12460 vsize=930556 CPUtime=1122.32 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 266887 0 0 0 112125 107 0 0 25 0 4 0 731506549 952889344 168296 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=930556 CPUtime=1108.14 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 291736 0 0 0 110727 87 0 0 25 0 4 0 731506549 952889344 168296 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=930556 CPUtime=1122.31 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 90843 0 0 0 112189 42 0 0 25 0 4 0 731506549 952889344 168296 33554432000 4194304 4650419 140737074185632 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.09
Current children cumulated vsize (KiB) 930556

[startup+1182.3 s]
/proc/loadavg: 8.10 8.09 8.00 9/390 12497
/proc/meminfo: memFree=13558432/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=857992 CPUtime=4714.31 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 910737 0 0 0 471103 328 0 0 25 0 4 0 731506548 878583808 167595 33554432000 4194304 4650419 140737074185632 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 214498 167595 394 112 0 209463 0
[pid=12462/tid=12463] ppid=12460 vsize=857992 CPUtime=1182.31 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 277742 0 0 0 118122 109 0 0 25 0 4 0 731506549 878583808 167595 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=857992 CPUtime=1167.36 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 308939 0 0 0 116643 93 0 0 25 0 4 0 731506549 878583808 167595 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=857992 CPUtime=1182.31 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 92360 0 0 0 118187 44 0 0 25 0 4 0 731506549 878583808 167595 33554432000 4194304 4650419 140737074185632 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4714.31
Current children cumulated vsize (KiB) 857992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.15 8.10 8.01 9/390 12498
/proc/meminfo: memFree=13558548/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=918560 CPUtime=4800.06 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 918363 0 0 0 479673 333 0 0 25 0 4 0 731506548 940605440 172733 33554432000 4194304 4650419 140737074185632 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 229640 172733 394 112 0 224605 0
[pid=12462/tid=12463] ppid=12460 vsize=918560 CPUtime=1203.83 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 281426 0 0 0 120272 111 0 0 25 0 4 0 731506549 940605440 172734 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=918560 CPUtime=1188.58 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 312882 0 0 0 118761 97 0 0 25 0 4 0 731506549 940605440 172734 33554432000 4194304 4650419 140737074185632 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=918560 CPUtime=1203.82 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 92360 0 0 0 120338 44 0 0 25 0 4 0 731506549 940605440 172734 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 918560

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

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

[startup+1203.8 s]
/proc/loadavg: 8.15 8.10 8.01 9/390 12498
/proc/meminfo: memFree=13558548/32951124 swapFree=65586204/67111528
[pid=12462] ppid=12460 vsize=918560 CPUtime=4800.06 cores=1,3,5,7
/proc/12462/stat : 12462 (strangenight1-m) R 12460 12462 11857 0 -1 4202496 918363 0 0 0 479673 333 0 0 25 0 4 0 731506548 940605440 172733 33554432000 4194304 4650419 140737074185632 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12462/statm: 229640 172733 394 112 0 224605 0
[pid=12462/tid=12463] ppid=12460 vsize=918560 CPUtime=1203.83 cores=1,3,5,7
/proc/12462/task/12463/stat : 12463 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 281426 0 0 0 120272 111 0 0 25 0 4 0 731506549 940605440 172734 33554432000 4194304 4650419 140737074185632 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12462/tid=12464] ppid=12460 vsize=918560 CPUtime=1188.58 cores=1,3,5,7
/proc/12462/task/12464/stat : 12464 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 312882 0 0 0 118761 97 0 0 25 0 4 0 731506549 940605440 172734 33554432000 4194304 4650419 140737074185632 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12462/tid=12465] ppid=12460 vsize=918560 CPUtime=1203.82 cores=1,3,5,7
/proc/12462/task/12465/stat : 12465 (strangenight1-m) R 12460 12462 11857 0 -1 4202560 92360 0 0 0 120338 44 0 0 25 0 4 0 731506549 940605440 172734 33554432000 4194304 4650419 140737074185632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 918560

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.85
CPU time (s): 4800.14
CPU user time (s): 4796.77
CPU system time (s): 3.36749
CPU usage (%): 398.731
Max. virtual memory (cumulated for all children) (KiB): 1031956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.77
system time used= 3.36749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 918365
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= 156
involuntary context switches= 33667

runsolver used 4.00839 second user time and 11.2613 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-15 00:39:19
IDJOB=3369382
IDBENCH=83145
IDSOLVER=1846
FILE ID=node119/3369382-1305412759
RUNJOBID= node119-1305412759-12440
PBS_JOBID= 13324506
Free space on /tmp= 73188 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n170-s56409011-unsat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369382-1305412759/watcher-3369382-1305412759 -o /tmp/evaluation-result-3369382-1305412759/solver-3369382-1305412759 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369382-1305412759.cnf

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

MD5SUM BENCH= 6545c783f127618649f1200914f62dc5
RANDOM SEED=1124551468

node119.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.815
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.63
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.815
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.83
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.815
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14891112 kB
Buffers:        286140 kB
Cached:        4560004 kB
SwapCached:       4756 kB
Active:       14710568 kB
Inactive:      3017492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14891112 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           14188 kB
Writeback:           0 kB
AnonPages:    12880900 kB
Mapped:          29856 kB
Slab:           211048 kB
PageTables:      56612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102547488 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= 73184 MiB
End job on node119 at 2011-05-15 00:59:25