Trace number 3394372

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 1505.79 188.684

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
MD5SUM7af4cc1b94644f101ccf5f2373fdbfea
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark762.1
Satisfiable
(Un)Satisfiability was proved
Number of variables22886
Number of clauses76038
Sum of the clauses size193162
Maximum clause length786
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 240006
Number of clauses of size 335619
Number of clauses of size 4104
Number of clauses of size 512
Number of clauses of size over 5296

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3394372-1306094880.cnf'
0.00/0.02	c -- header says num vars:          22886
0.00/0.02	c -- header says num clauses:       76038
0.61/0.12	c -- clauses added:            0 learnts,        76038 normals,            0 xors
0.61/0.12	c -- vars added      22886
0.61/0.12	c Parsing time:  0.04 s
0.61/0.12	c  N st     0         0     22886     35405     36071         0    182356         0   no data   no data
0.61/0.65	c asymm  cl-useful: 8/35405/35405 lits-rem:88 time: 0.53
12.35/1.68	c Flit:    62 Blit:   2152 bXBeca:    0 bXProp: 3731 Bins:      0 BRemL:      0 BRemN:      0 P: 18.0M T:  0.95
12.35/1.68	c Cleaning up after failed var search:     0.00 s 
12.35/1.69	c Replacing     3731 vars Replaced   100834 lits Time:     0.01 s 
13.12/1.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.12/1.71	c bin-w-bin subsume rem          557 bins  time:  0.00 s
13.12/1.71	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
13.12/1.73	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  15722 time:  0.02 s
13.12/1.75	c Removed useless bin:      39  fixed:     0  props:   2.13M  time:  0.01 s
13.90/1.84	c lits-rem:         0  cl-subs:      165  v-elim:   5240  v-fix:    0  time:  0.07 s
13.90/1.87	c Finding binary XORs  T:     0.03 s  found:      14
13.90/1.87	c Replacing       14 vars Replaced      179 lits Time:     0.00 s 
14.69/1.90	c Finding non-binary XORs:     0.01 s (found:    4809, avg size: 3.0)
14.69/1.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    756 locsubst:  3068 time:   0.01
14.69/1.90	c Replacing     1534 vars Replaced     9204 lits Time:     0.00 s 
14.69/1.90	c calculated reachability. Time: 0.00
14.69/1.90	c Calc default polars -  time:   0.00 s pos:    1194 undec:   14739 neg:    6953
14.69/1.90	c =========================================================================================
14.69/1.90	c types(t): F = full restart, N = normal restart
14.69/1.90	c types(t): S = simplification begin/end, E = solution found
14.69/1.90	c restart types(rt): st = static, dy = dynamic
14.69/1.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
14.69/1.90	c  B st     0         0      8178     13295     11219         0     87776         0   no data   no data
16.29/2.11	c Decided on static restart strategy
18.68/2.43	c  N st     8      4914      8177     13295     11273      4644     87776    159841   no data   no data
24.28/3.19	c  N st    10     11296      8173     13295     11562      8144     87776    327482   no data   no data
33.06/4.20	c  N st    11     17040      8158     13295     11577      9167     87776    450396   no data   no data
33.06/4.23	c Finding binary XORs  T:     0.02 s  found:       2
43.44/5.56	c  F st    12     25001      8148     13289     11566     10650     87079    303755   no data   no data
43.44/5.57	c Replacing        2 vars Replaced      976 lits Time:     0.00 s 
43.44/5.58	c  N st    12     25001      8146     13289     11562     10650     87071    303755   no data   no data
49.82/6.35	c Decided on static restart strategy
49.82/6.35	c  N st    18     30000      8142     13289     11704      8228     87071    236158   no data   no data
49.82/6.35	c  S st    18     30000      8142     13289     11704      8228     87071    236158   no data   no data
50.62/6.45	c  S st    18     30501      8142     13289     11750      8683     87071    243678   no data   no data
50.62/6.46	c x-sub:  1534 x-cut:      0 vfix:      0 v-elim:    378 locsubst:     0 time:   0.01
53.82/6.80	c Flit:    79 Blit:      0 bXBeca:    0 bXProp:    8 Bins:  65870 BRemL:  38863 BRemN:     10 P:  5.7M T:  0.34
53.82/6.81	c Replacing        8 vars Replaced      701 lits Time:     0.00 s 
53.82/6.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
53.82/6.81	c bin-w-bin subsume rem          240 bins  time:  0.00 s
53.82/6.82	c subs with bin:      547  lits-rem:       398  v-fix:    0  time:  0.01 s
53.82/6.83	c Subs w/ non-existent bins:      0 l-rem:      7 v-fix:     0 done:   7677 time:  0.01 s
53.82/6.83	c Removed useless bin:      25  fixed:     0  props:   0.22M  time:  0.00 s
53.82/6.86	c lits-rem:       193  cl-subs:      167  v-elim:   1366  v-fix:    0  time:  0.03 s
53.82/6.87	c subs with bin:       56  lits-rem:       202  v-fix:    0  time:  0.01 s
53.82/6.88	c lits-rem:        72  cl-subs:      155  v-elim:      0  v-fix:    0  time:  0.01 s
54.73/7.00	c asymm  cl-useful: 182/12894/12894 lits-rem:725 time: 0.12
54.73/7.00	c calculated reachability. Time: 0.00
54.73/7.00	c  N st    18     30501      6311     12894     29311      2800     75931     81858   no data   no data
55.54/7.02	c Finding binary XORs  T:     0.02 s  found:       0
62.60/7.94	c  N st    20     37612      6311     12894     29364      9844     75931    570441   no data   no data
68.98/8.71	c  N st    21     44011      6311     12894     29366     10330     75931    550528   no data   no data
68.98/8.75	c Finding binary XORs  T:     0.02 s  found:       0
70.58/8.97	c  S st    22     45752      6307     12884     68414     12025     75701    687458   no data   no data
71.39/9.07	c  S st    22     46255      6307     12884     68434     12506     75701    697525   no data   no data
71.39/9.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    179 locsubst:     0 time:   0.01
73.77/9.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   1296 BRemL:  38196 BRemN:     75 P:  3.2M T:  0.22
73.77/9.30	c Replacing        1 vars Replaced       16 lits Time:     0.00 s 
73.77/9.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
73.77/9.31	c bin-w-bin subsume rem         7388 bins  time:  0.00 s
73.77/9.32	c subs with bin:       59  lits-rem:        18  v-fix:    0  time:  0.00 s
73.77/9.32	c Subs w/ non-existent bins:      0 l-rem:     36 v-fix:     0 done:   6127 time:  0.01 s
73.77/9.33	c Removed useless bin:       2  fixed:     0  props:   0.18M  time:  0.00 s
73.77/9.34	c lits-rem:         0  cl-subs:       42  v-elim:     38  v-fix:    0  time:  0.01 s
74.56/9.41	c subs with bin:        6  lits-rem:       115  v-fix:    0  time:  0.06 s
74.56/9.46	c lits-rem:       218  cl-subs:      236  v-elim:      0  v-fix:    0  time:  0.05 s
74.56/9.47	c vivif2 --  cl tried    12791 cl shrink       97 lits rem        211 time: 0.00
74.56/9.48	c vivif2 --  cl tried     7573 cl shrink     1197 lits rem       4272 time: 0.01
76.16/9.62	c asymm  cl-useful: 44/12773/12773 lits-rem:108 time: 0.14
76.16/9.62	c calculated reachability. Time: 0.00
76.16/9.62	c  N st    22     46255      6089     12773     23595      7572     74318    273454   no data   no data
89.86/11.33	c  N st    23     60652      6089     12773     23597     15808     74318    492475   no data   no data
89.86/11.35	c Finding binary XORs  T:     0.01 s  found:      18
101.71/12.84	c  N st    24     69386      6073     12738     20516     15584     74033    523799   no data   no data
101.71/12.84	c  S st    24     69386      6073     12738     20516     15584     74033    523799   no data   no data
102.51/12.94	c  S st    24     69887      6072     12738     21573     16080     74033    538011   no data   no data
102.51/12.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     90 locsubst:     0 time:   0.01
104.10/13.10	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   19 Bins:    232 BRemL:   2005 BRemN:      0 P:  3.8M T:  0.16
104.10/13.11	c Replacing       37 vars Replaced      936 lits Time:     0.01 s 
104.10/13.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.10/13.12	c bin-w-bin subsume rem          537 bins  time:  0.00 s
104.10/13.12	c subs with bin:      123  lits-rem:        73  v-fix:    0  time:  0.00 s
104.10/13.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5944 time:  0.00 s
104.10/13.13	c Removed useless bin:       2  fixed:     0  props:   0.16M  time:  0.00 s
104.10/13.15	c lits-rem:         1  cl-subs:       78  v-elim:     39  v-fix:    0  time:  0.01 s
104.90/13.28	c subs with bin:       35  lits-rem:      4031  v-fix:    0  time:  0.11 s
107.41/13.51	c lits-rem:       521  cl-subs:      612  v-elim:      0  v-fix:    0  time:  0.24 s
107.41/13.52	c vivif2 --  cl tried    12478 cl shrink       30 lits rem         38 time: 0.00
107.41/13.55	c vivif2 --  cl tried    15316 cl shrink     4275 lits rem      11433 time: 0.03
108.88/13.70	c asymm  cl-useful: 278/12478/12478 lits-rem:763 time: 0.15
108.88/13.70	c calculated reachability. Time: 0.00
108.88/13.70	c  N st    24     69887      5905     12282     19123     15316     72527    493350   no data   no data
126.46/15.94	c Finding binary XORs  T:     0.02 s  found:      81
126.46/15.94	c Replacing       81 vars Replaced     1898 lits Time:     0.00 s 
130.45/16.47	c  F st    25     87500      5822     12281     18752     21864     72313    718321   no data   no data
130.45/16.47	c  N st    25     87500      5822     12281     18752     21864     72313    718321   no data   no data
136.84/17.27	c Decided on static restart strategy
140.84/17.71	c  N st    32     95541      5819     12281     18980     17743     72313    492146   no data   no data
146.42/18.44	c Finding binary XORs  T:     0.02 s  found:       6
152.81/19.25	c  N st    34    104831      5811     12255     20177     26521     71925    816162   no data   no data
152.81/19.25	c  S st    34    104831      5811     12255     20177     26521     71925    816162   no data   no data
153.60/19.37	c  S st    34    105331      5811     12255     20178     13950     71925    295019   no data   no data
153.60/19.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.20/19.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   12 Bins:   1655 BRemL:   5828 BRemN:      4 P:  3.7M T:  0.15
155.20/19.53	c Replacing       18 vars Replaced     3985 lits Time:     0.01 s 
155.20/19.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.20/19.53	c bin-w-bin subsume rem          775 bins  time:  0.00 s
155.20/19.54	c subs with bin:      120  lits-rem:       157  v-fix:    0  time:  0.00 s
155.20/19.54	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:   5793 time:  0.00 s
155.20/19.54	c Removed useless bin:       5  fixed:     0  props:   0.15M  time:  0.00 s
155.20/19.56	c lits-rem:        15  cl-subs:      181  v-elim:     50  v-fix:    0  time:  0.01 s
156.01/19.60	c subs with bin:        7  lits-rem:       914  v-fix:    0  time:  0.04 s
156.01/19.65	c lits-rem:       248  cl-subs:      262  v-elim:      0  v-fix:    0  time:  0.04 s
156.01/19.65	c vivif2 --  cl tried    11910 cl shrink        2 lits rem          2 time: 0.00
156.01/19.66	c vivif2 --  cl tried    13173 cl shrink      935 lits rem       2259 time: 0.01
156.81/19.79	c asymm  cl-useful: 48/11909/11909 lits-rem:91 time: 0.13
156.81/19.79	c calculated reachability. Time: 0.00
156.81/19.79	c  N st    34    105331      5743     11900     14411     13173     70383    262044   no data   no data
169.71/21.35	c  N st    35    114929      5743     11900     14411     22308     70383    558753   no data   no data
169.71/21.37	c Finding binary XORs  T:     0.02 s  found:       4
188.74/23.70	c  N st    36    129328      5741     11899     14540     22319     70319    628127   no data   no data
188.74/23.73	c Finding binary XORs  T:     0.01 s  found:       0
223.07/28.01	c  N st    37    150923      5740     11899     15820     28095     70270   1032347   no data   no data
233.45/29.30	c  S st    38    157998      5736     11899     15960     18753     70270    525226   no data   no data
233.45/29.32	c Finding binary XORs  T:     0.02 s  found:       2
234.25/29.43	c  S st    38    158499      5736     11896     15895     19094     70180    537702   no data   no data
234.25/29.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
235.85/29.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     54 BRemL:   2052 BRemN:      4 P:  4.2M T:  0.16
235.85/29.61	c Replacing        6 vars Replaced      398 lits Time:     0.00 s 
235.85/29.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
235.85/29.61	c bin-w-bin subsume rem          316 bins  time:  0.00 s
235.85/29.62	c subs with bin:       17  lits-rem:        28  v-fix:    0  time:  0.00 s
235.85/29.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5730 time:  0.01 s
235.85/29.62	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.00 s
235.85/29.64	c lits-rem:         1  cl-subs:       18  v-elim:     20  v-fix:    0  time:  0.01 s
236.65/29.75	c subs with bin:       12  lits-rem:       729  v-fix:    0  time:  0.10 s
238.25/29.91	c lits-rem:       829  cl-subs:      482  v-elim:      0  v-fix:    0  time:  0.15 s
238.25/29.91	c vivif2 --  cl tried    11843 cl shrink        0 lits rem          0 time: 0.00
238.25/29.94	c vivif2 --  cl tried    18115 cl shrink     3061 lits rem      27158 time: 0.03
239.16/30.10	c asymm  cl-useful: 30/11843/11843 lits-rem:53 time: 0.16
239.16/30.10	c calculated reachability. Time: 0.00
239.16/30.10	c  N st    38    158499      5710     11842     13547     18115     69823    475942   no data   no data
316.50/39.70	c  N st    39    207089      5710     11842     13550     30074     69823    847178   no data   no data
316.50/39.72	c Finding binary XORs  T:     0.01 s  found:       0
358.01/44.90	c  N st    40    237748      5704     11836     13238     40679     69645   1303209   no data   no data
358.01/44.90	c  S st    40    237748      5704     11836     13238     40679     69645   1303209   no data   no data
358.82/45.08	c  S st    40    238253      5701     11836     13287     21038     69645    432328   no data   no data
358.82/45.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
360.42/45.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    129 BRemL:    169 BRemN:      1 P:  4.4M T:  0.17
360.42/45.27	c Replacing        1 vars Replaced      231 lits Time:     0.01 s 
360.42/45.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
360.42/45.27	c bin-w-bin subsume rem           67 bins  time:  0.00 s
360.42/45.28	c subs with bin:       12  lits-rem:         8  v-fix:    0  time:  0.00 s
360.42/45.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5700 time:  0.01 s
360.42/45.29	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.00 s
361.22/45.30	c lits-rem:         0  cl-subs:        8  v-elim:      3  v-fix:    0  time:  0.01 s
361.22/45.36	c subs with bin:        5  lits-rem:       443  v-fix:    0  time:  0.04 s
361.22/45.41	c lits-rem:       359  cl-subs:      312  v-elim:      0  v-fix:    0  time:  0.05 s
361.22/45.41	c vivif2 --  cl tried    11811 cl shrink        0 lits rem          0 time: 0.00
362.13/45.42	c vivif2 --  cl tried    18574 cl shrink     1333 lits rem       3173 time: 0.01
362.93/45.58	c asymm  cl-useful: 22/11811/11811 lits-rem:41 time: 0.15
362.93/45.58	c calculated reachability. Time: 0.00
362.93/45.58	c  N st    40    238253      5697     11809     12891     18574     69357    354358   no data   no data
477.77/59.91	c  F st    41    306250      5697     11809     12891     42694     69357   1553272   no data   no data
477.77/59.93	c  N st    41    306250      5697     11808     12613     42694     69342   1552720   no data   no data
477.77/59.96	c Finding binary XORs  T:     0.01 s  found:      28
487.36/61.16	c Decided on static restart strategy
522.49/65.51	c  N st    51    334551      5676     11755     13279     46725     68935   1518467   no data   no data
561.62/70.47	c  N st    53    357379      5675     11755     13295     44997     68935   1482244   no data   no data
561.62/70.47	c  S st    53    357379      5675     11755     13295     44997     68935   1482244   no data   no data
563.23/70.63	c  S st    53    357880      5675     11755     13298     45495     68935   1494839   no data   no data
563.23/70.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
564.94/70.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:     85 BRemL:    822 BRemN:      0 P:  7.9M T:  0.25
565.61/70.95	c Replacing       37 vars Replaced    23833 lits Time:     0.06 s 
565.61/70.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
565.61/70.96	c bin-w-bin subsume rem          136 bins  time:  0.00 s
565.61/70.96	c subs with bin:       55  lits-rem:        85  v-fix:    0  time:  0.00 s
565.61/70.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5638 time:  0.01 s
565.61/70.97	c Removed useless bin:       1  fixed:     0  props:   0.17M  time:  0.00 s
565.61/70.99	c lits-rem:         5  cl-subs:       35  v-elim:      8  v-fix:    0  time:  0.02 s
568.81/71.38	c subs with bin:      215  lits-rem:      9008  v-fix:    0  time:  0.34 s
587.17/73.61	c lits-rem:      4046  cl-subs:     3777  v-elim:      0  v-fix:    0  time:  2.22 s
587.17/73.61	c vivif2 --  cl tried    11616 cl shrink        2 lits rem          2 time: 0.00
587.97/73.71	c vivif2 --  cl tried    39295 cl shrink    19711 lits rem     101736 time: 0.09
589.57/73.99	c asymm  cl-useful: 9/11615/11615 lits-rem:21 time: 0.28
589.57/73.99	c calculated reachability. Time: 0.00
589.57/73.99	c  N st    53    357880      5630     11615     12153     39291     68185   1177347   no data   no data
589.57/74.01	c Finding binary XORs  T:     0.01 s  found:       0
651.05/81.62	c  N st    54    390274      5630     11615     12153     47017     68185   1457973   no data   no data
750.05/94.07	c  N st    55    438864      5629     11615     12168     42246     68183   1378597   no data   no data
750.85/94.10	c Finding binary XORs  T:     0.02 s  found:      56
916.25/114.86	c  N st    56    511750      5604     11468     12195     54979     67393   1665821   no data   no data
916.25/114.90	c Finding binary XORs  T:     0.02 s  found:      52
917.71/115.03	c Replacing      108 vars Replaced    27351 lits Time:     0.13 s 
968.95/121.47	c  N st    57    536821      5444     11230     12090     49007     65791   1381394   no data   no data
968.95/121.47	c  S st    57    536821      5444     11230     12090     49007     65791   1381394   no data   no data
971.22/121.71	c  S st    57    537328      5443     11230     12095     49509     65791   1391165   no data   no data
971.22/121.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
972.82/121.98	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    290 BRemL:    994 BRemN:      0 P:  7.7M T:  0.26
973.62/122.00	c Replacing        4 vars Replaced      354 lits Time:     0.02 s 
973.62/122.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
973.62/122.00	c bin-w-bin subsume rem          250 bins  time:  0.00 s
973.62/122.01	c subs with bin:       71  lits-rem:        55  v-fix:    0  time:  0.00 s
973.62/122.01	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:   5438 time:  0.00 s
973.62/122.01	c Removed useless bin:       5  fixed:     0  props:   0.17M  time:  0.00 s
973.62/122.04	c lits-rem:        15  cl-subs:       76  v-elim:     57  v-fix:    0  time:  0.02 s
975.22/122.29	c subs with bin:      181  lits-rem:      6632  v-fix:    0  time:  0.22 s
989.58/124.03	c lits-rem:      4210  cl-subs:     3827  v-elim:      0  v-fix:    0  time:  1.74 s
989.58/124.04	c vivif2 --  cl tried    10998 cl shrink       37 lits rem         37 time: 0.00
990.38/124.11	c vivif2 --  cl tried    37103 cl shrink    15849 lits rem      65862 time: 0.07
992.78/124.41	c asymm  cl-useful: 50/10997/10997 lits-rem:65 time: 0.30
992.78/124.41	c calculated reachability. Time: 0.00
992.78/124.41	c  N st    57    537328      5381     10997     10639     37097     64617    920864   no data   no data
992.78/124.43	c Finding binary XORs  T:     0.01 s  found:       0
1388.01/173.92	c  N st    58    701313      5380     10997     10645     41242     64617    932983   no data   no data
1388.01/173.95	c Finding binary XORs  T:     0.02 s  found:     144
1388.81/174.00	c Replacing      145 vars Replaced    28687 lits Time:     0.05 s 
1427.13/178.87	c Finding binary XORs  T:     0.02 s  found:       5
1505.37/188.64	c Following stats are for *FIRST FINISHED THREAD ONLY*
1505.37/188.64	c num threads              : 8          
1505.37/188.64	c restarts                 : 58         
1505.37/188.64	c dynamic restarts         : 0          
1505.37/188.64	c static restarts          : 58         
1505.37/188.64	c full restarts            : 3          
1505.37/188.64	c total simplify time      : 0.91       
1505.37/188.64	c learnts DL2              : 0          
1505.37/188.64	c learnts size 2           : 131037     
1505.37/188.64	c learnts size 1           : 4669        (20.40     % of vars)
1505.37/188.64	c filedLit time            : 1.64        (0.87      % time)
1505.37/188.64	c v-elim SatELite          : 6785        (29.65     % vars)
1505.37/188.64	c SatELite time            : 0.36        (0.19      % time)
1505.37/188.64	c v-elim xor               : 1403        (6.13      % vars)
1505.37/188.64	c xor elim time            : 0.04        (0.02      % time)
1505.37/188.64	c num binary xor trees     : 2375       
1505.37/188.64	c binxor trees' crown      : 5874        (2.47      leafs/tree)
1505.37/188.64	c bin xor find time        : 0.30       
1505.37/188.64	c OTF clause improved      : 29511       (0.04      clauses/conflict)
1505.37/188.64	c OTF impr. size diff      : 43005       (1.46       lits/clause)
1505.37/188.64	c OTF cl watch-shrink      : 551966      (0.72      clauses/conflict)
1505.37/188.64	c OTF cl watch-sh-lit      : 1830853     (3.32       lits/clause)
1505.37/188.64	c tried to recurMin cls    : 150281      (19.73      % of conflicts)
1505.37/188.64	c updated cache            : 4690        (0.03       lits/tried recurMin)
1505.37/188.64	c unit cls recevied        : 207         (4.43      % of units)
1505.37/188.64	c unit cls sent            : 126         (2.70      % of units)
1505.37/188.64	c bin cls recevied         : 100304     
1505.37/188.64	c bin cls sent             : 1596       
1505.37/188.64	c clauses over max glue    : 0           (0.00      % of all clauses)
1505.37/188.64	c conflicts                : 761861      (4044.38   / sec)
1505.37/188.64	c decisions                : 980150      (2.73      % random)
1505.37/188.64	c bogo-props               : 18357853342 (97453579.64 / sec)
1505.37/188.64	c conflict literals        : 32202645    (42.82     % deleted)
1505.37/188.64	c Memory used              : 1176.07     MB
1505.37/188.64	c single-thread CPU time   : 188.38      s
1505.37/188.64	c all-threads sum CPU time : 1504.17     s
1505.37/188.64	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3394372-1306094880/watcher-3394372-1306094880 -o /tmp/evaluation-result-3394372-1306094880/solver-3394372-1306094880 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394372-1306094880.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.37 2.65 2.27 2/457 29448
/proc/meminfo: memFree=10107240/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=92144 CPUtime=0.08 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 420 0 0 0 8 0 0 0 25 0 8 0 721087849 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022233 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 23036 360 302 95 0 18018 0
[pid=29448/tid=29449] ppid=29446 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721087850 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=92144 CPUtime=0 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721087850 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022642 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=92144 CPUtime=0 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 721087850 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022231 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721087850 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022233 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721087850 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022233 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721087850 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022233 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721087850 94355456 360 33554432000 4194304 4580107 140736972119440 18446744073709551615 47758741022231 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.069774 s]
/proc/loadavg: 4.37 2.65 2.27 2/457 29448
/proc/meminfo: memFree=10107240/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=588580 CPUtime=0.4 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 20963 0 0 0 27 13 0 0 17 0 8 0 721087849 602705920 17078 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 147145 17099 338 95 0 142127 0
[pid=29448/tid=29449] ppid=29446 vsize=588580 CPUtime=0.04 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2518 0 0 0 3 1 0 0 18 0 8 0 721087850 602705920 17111 33554432000 4194304 4580107 140736972119440 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=588580 CPUtime=0.02 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2574 0 0 0 1 1 0 0 18 0 8 0 721087850 602705920 17130 33554432000 4194304 4580107 140736972119440 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=588580 CPUtime=0.03 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) S 29446 29448 29387 0 -1 4202560 2433 0 0 0 2 1 0 0 17 0 8 0 721087850 602705920 17147 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803246 0 0 4096 2 18446604443289814080 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=588580 CPUtime=0.04 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2593 0 0 0 3 1 0 0 17 0 8 0 721087850 602705920 17163 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=588580 CPUtime=0.05 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2618 0 0 0 3 2 0 0 17 0 8 0 721087850 602705920 17169 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=588580 CPUtime=0.05 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2526 0 0 0 4 1 0 0 18 0 8 0 721087850 602705920 17179 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=588580 CPUtime=0.05 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2637 0 0 0 4 1 0 0 18 0 8 0 721087850 602705920 17190 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 588580

[startup+0.104784 s]
/proc/loadavg: 4.37 2.65 2.27 2/457 29448
/proc/meminfo: memFree=10107240/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=655572 CPUtime=0.61 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 23831 0 0 0 40 21 0 0 17 0 8 0 721087849 671305728 19945 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 163926 19951 344 95 0 158908 0
[pid=29448/tid=29449] ppid=29446 vsize=655704 CPUtime=0.06 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2720 0 0 0 4 2 0 0 17 0 8 0 721087850 671440896 19955 33554432000 4194304 4580107 140736972119440 18446744073709551615 4511023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=655704 CPUtime=0.05 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2982 0 0 0 3 2 0 0 17 0 8 0 721087850 671440896 20010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4353598 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=655704 CPUtime=0.06 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) S 29446 29448 29387 0 -1 4202560 2682 0 0 0 4 2 0 0 17 0 8 0 721087850 671440896 20045 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803246 0 0 4096 2 18446604443289814080 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=655704 CPUtime=0.08 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2885 0 0 0 5 3 0 0 17 0 8 0 721087850 671440896 20049 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=655704 CPUtime=0.07 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) D 29446 29448 29387 0 -1 4202560 3133 0 0 0 5 2 0 0 17 0 8 0 721087850 671440896 20086 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=655704 CPUtime=0.08 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 2984 0 0 0 6 2 0 0 17 0 8 0 721087850 671440896 20178 33554432000 4194304 4580107 140736972119440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=655704 CPUtime=0.08 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3192 0 0 0 6 2 0 0 17 0 8 0 721087850 671440896 20216 33554432000 4194304 4580107 140736972119440 18446744073709551615 4497516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 655572

[startup+0.653763 s]
/proc/loadavg: 4.37 2.65 2.27 2/457 29448
/proc/meminfo: memFree=10107240/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=658500 CPUtime=5 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 27226 0 0 0 476 24 0 0 18 0 8 0 721087849 674304000 23296 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293295 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 164658 23416 361 95 0 159640 0
[pid=29448/tid=29449] ppid=29446 vsize=658632 CPUtime=0.62 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3116 0 0 0 59 3 0 0 18 0 8 0 721087850 674439168 23560 33554432000 4194304 4580107 140736972119440 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=658900 CPUtime=0.59 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) D 29446 29448 29387 0 -1 4202560 3412 0 0 0 57 2 0 0 18 0 8 0 721087850 674713600 23872 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=658900 CPUtime=0.61 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) D 29446 29448 29387 0 -1 4202560 3165 0 0 0 59 2 0 0 18 0 8 0 721087850 674713600 23873 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=658900 CPUtime=0.63 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3373 0 0 0 60 3 0 0 18 0 8 0 721087850 674713600 23932 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=659164 CPUtime=0.64 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3661 0 0 0 61 3 0 0 18 0 8 0 721087850 674983936 24248 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=659560 CPUtime=0.64 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3895 0 0 0 62 2 0 0 18 0 8 0 721087850 675389440 24582 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089359045 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=660104 CPUtime=0.65 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3537 0 0 0 63 2 0 0 18 0 8 0 721087850 675946496 25290 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 658500

[startup+0.731849 s]
/proc/loadavg: 4.37 2.65 2.27 2/457 29448
/proc/meminfo: memFree=10107240/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=662508 CPUtime=5.58 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 33432 0 0 0 531 27 0 0 18 0 8 0 721087849 678408192 29503 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089359393 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 165627 29593 361 95 0 160609 0
[pid=29448/tid=29449] ppid=29446 vsize=662644 CPUtime=0.69 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3839 0 0 0 66 3 0 0 18 0 8 0 721087850 678547456 29668 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089359393 0 0 4096 2 5099149001045413277 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=662644 CPUtime=0.67 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 4307 0 0 0 64 3 0 0 18 0 8 0 721087850 678547456 29670 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=662644 CPUtime=0.68 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) D 29446 29448 29387 0 -1 4202560 3966 0 0 0 65 3 0 0 18 0 8 0 721087850 678547456 29834 33554432000 4194304 4580107 140736972119440 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=662776 CPUtime=0.69 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 4253 0 0 0 66 3 0 0 18 0 8 0 721087850 678682624 29918 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=662776 CPUtime=0.7 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 4536 0 0 0 67 3 0 0 18 0 8 0 721087850 678682624 29952 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=662776 CPUtime=0.7 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 4645 0 0 0 68 2 0 0 18 0 8 0 721087850 678682624 30014 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=662776 CPUtime=0.71 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 3549 0 0 0 69 2 0 0 18 0 8 0 721087850 678682624 30098 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 662508

[startup+1.5175 s]
/proc/loadavg: 4.37 2.65 2.27 9/465 29456
/proc/meminfo: memFree=9837724/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=685092 CPUtime=11.68 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 72095 0 0 0 1122 46 0 0 18 0 8 0 721087849 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 171273 67762 362 95 0 166255 0
[pid=29448/tid=29449] ppid=29446 vsize=685092 CPUtime=1.45 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 9481 0 0 0 138 7 0 0 18 0 8 0 721087850 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4235655 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=685092 CPUtime=1.43 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 9685 0 0 0 138 5 0 0 18 0 8 0 721087850 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=685092 CPUtime=1.43 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 9530 0 0 0 137 6 0 0 18 0 8 0 721087850 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=685092 CPUtime=1.45 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 9661 0 0 0 139 6 0 0 18 0 8 0 721087850 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=685092 CPUtime=1.45 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 9689 0 0 0 140 5 0 0 18 0 8 0 721087850 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4236021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=685092 CPUtime=1.46 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 9419 0 0 0 141 5 0 0 18 0 8 0 721087850 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=685092 CPUtime=1.47 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 4359 0 0 0 145 2 0 0 18 0 8 0 721087850 701534208 67762 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 685092

[startup+3.10121 s]
/proc/loadavg: 4.66 2.74 2.30 9/465 29456
/proc/meminfo: memFree=9756876/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=678112 CPUtime=24.28 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 100248 0 0 0 2370 58 0 0 19 0 8 0 721087849 694386688 87247 33554432000 4194304 4580107 140736972119440 18446744073709551615 4305960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 169528 87247 380 95 0 164510 0
[pid=29448/tid=29449] ppid=29446 vsize=678112 CPUtime=3.02 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 13348 0 0 0 294 8 0 0 19 0 8 0 721087850 694386688 87247 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=678112 CPUtime=3.02 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 13472 0 0 0 294 8 0 0 19 0 8 0 721087850 694386688 87248 33554432000 4194304 4580107 140736972119440 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=678112 CPUtime=2.98 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 13193 0 0 0 291 7 0 0 19 0 8 0 721087850 694386688 87249 33554432000 4194304 4580107 140736972119440 18446744073709551615 4296268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=678112 CPUtime=3.03 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 13905 0 0 0 296 7 0 0 19 0 8 0 721087850 694386688 87249 33554432000 4194304 4580107 140736972119440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=678112 CPUtime=3.04 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 13691 0 0 0 297 7 0 0 19 0 8 0 721087850 694386688 87249 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=678112 CPUtime=3.03 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 13658 0 0 0 297 6 0 0 19 0 8 0 721087850 694386688 87249 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295020 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=678112 CPUtime=3.05 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 5077 0 0 0 303 2 0 0 20 0 8 0 721087850 694386688 87249 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 678112

[startup+6.30065 s]
/proc/loadavg: 4.66 2.74 2.30 9/465 29456
/proc/meminfo: memFree=9736232/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=767696 CPUtime=49.82 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 116469 0 0 0 4921 61 0 0 25 0 8 0 721087849 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4484545 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 191924 92709 381 95 0 186906 0
[pid=29448/tid=29449] ppid=29446 vsize=767696 CPUtime=6.22 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 15176 0 0 0 613 9 0 0 25 0 8 0 721087850 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=767696 CPUtime=6.21 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 15601 0 0 0 613 8 0 0 25 0 8 0 721087850 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4316823 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=767696 CPUtime=6.13 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 15102 0 0 0 606 7 0 0 25 0 8 0 721087850 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4322843 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=767696 CPUtime=6.22 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 16361 0 0 0 615 7 0 0 25 0 8 0 721087850 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=767696 CPUtime=6.24 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 15921 0 0 0 616 8 0 0 25 0 8 0 721087850 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=767696 CPUtime=6.24 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 15724 0 0 0 617 7 0 0 25 0 8 0 721087850 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=767696 CPUtime=6.26 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 6633 0 0 0 623 3 0 0 25 0 8 0 721087850 786120704 92709 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 61452 0 0 0 16644 20 0 0 25 0 8 0 721087850 1228333056 192060 33554432000 4194304 4580107 140736972119440 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1199544 CPUtime=166.64 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 71769 0 0 0 16642 22 0 0 25 0 8 0 721087850 1228333056 192060 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1199544 CPUtime=166.59 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 56799 0 0 0 16641 18 0 0 25 0 8 0 721087850 1228333056 192060 33554432000 4194304 4580107 140736972119440 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1199544 CPUtime=166.65 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 31484 0 0 0 16657 8 0 0 25 0 8 0 721087850 1228333056 192060 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1330.51
Current children cumulated vsize (KiB) 1199544

[startup+179.501 s]
/proc/loadavg: 7.87 5.09 3.28 9/465 29460
/proc/meminfo: memFree=9300880/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=1171948 CPUtime=1432.72 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 468488 0 0 0 143118 154 0 0 25 0 8 0 721087849 1200074752 202522 33554432000 4194304 4580107 140736972119440 18446744073709551615 4320565 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 292987 202523 381 95 0 287969 0
[pid=29448/tid=29449] ppid=29446 vsize=1171948 CPUtime=179.42 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64218 0 0 0 17921 21 0 0 25 0 8 0 721087850 1200074752 202523 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=1171948 CPUtime=179.42 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 58526 0 0 0 17923 19 0 0 25 0 8 0 721087850 1200074752 202523 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=1171948 CPUtime=176.66 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 54711 0 0 0 17648 18 0 0 25 0 8 0 721087850 1200074752 202523 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=1171948 CPUtime=179.43 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64872 0 0 0 17923 20 0 0 25 0 8 0 721087850 1200074752 202523 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1171948 CPUtime=179.44 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 74333 0 0 0 17921 23 0 0 25 0 8 0 721087850 1200074752 202523 33554432000 4194304 4580107 140736972119440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1171948 CPUtime=179.39 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 59579 0 0 0 17919 20 0 0 25 0 8 0 721087850 1200074752 202523 33554432000 4194304 4580107 140736972119440 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1171948 CPUtime=179.46 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 33419 0 0 0 17937 9 0 0 25 0 8 0 721087850 1200074752 202523 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1432.72
Current children cumulated vsize (KiB) 1171948

[startup+182.7 s]
/proc/loadavg: 7.87 5.09 3.28 9/465 29461
/proc/meminfo: memFree=9289368/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=1171948 CPUtime=1458.28 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 471355 0 0 0 145672 156 0 0 25 0 8 0 721087849 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 292987 205389 381 95 0 287969 0
[pid=29448/tid=29449] ppid=29446 vsize=1171948 CPUtime=182.63 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64749 0 0 0 18241 22 0 0 25 0 8 0 721087850 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=1171948 CPUtime=182.62 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 58876 0 0 0 18243 19 0 0 25 0 8 0 721087850 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=1171948 CPUtime=179.81 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 54711 0 0 0 17963 18 0 0 25 0 8 0 721087850 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=1171948 CPUtime=182.63 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 65307 0 0 0 18242 21 0 0 25 0 8 0 721087850 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1171948 CPUtime=182.64 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 74760 0 0 0 18241 23 0 0 25 0 8 0 721087850 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1171948 CPUtime=182.59 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 60006 0 0 0 18239 20 0 0 25 0 8 0 721087850 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1171948 CPUtime=182.66 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 33664 0 0 0 18257 9 0 0 25 0 8 0 721087850 1200074752 205389 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1458.28
Current children cumulated vsize (KiB) 1171948

[startup+185.901 s]
/proc/loadavg: 7.96 5.16 3.31 9/465 29461
/proc/meminfo: memFree=9293832/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=1237616 CPUtime=1483.83 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 476182 0 0 0 148226 157 0 0 25 0 8 0 721087849 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4316519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 309404 204123 381 95 0 304386 0
[pid=29448/tid=29449] ppid=29446 vsize=1237616 CPUtime=185.83 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64821 0 0 0 18561 22 0 0 25 0 8 0 721087850 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4342220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=1237616 CPUtime=185.81 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 59255 0 0 0 18562 19 0 0 25 0 8 0 721087850 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=1237616 CPUtime=182.96 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 55589 0 0 0 18278 18 0 0 25 0 8 0 721087850 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=1237616 CPUtime=185.83 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 65680 0 0 0 18562 21 0 0 25 0 8 0 721087850 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1237616 CPUtime=185.84 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 76347 0 0 0 18560 24 0 0 25 0 8 0 721087850 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1237616 CPUtime=185.79 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 60374 0 0 0 18559 20 0 0 25 0 8 0 721087850 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1237616 CPUtime=185.86 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 33736 0 0 0 18577 9 0 0 25 0 8 0 721087850 1267318784 204123 33554432000 4194304 4580107 140736972119440 18446744073709551615 4316725 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1483.83
Current children cumulated vsize (KiB) 1237616

[startup+187.501 s]
/proc/loadavg: 7.96 5.20 3.33 9/465 29461
/proc/meminfo: memFree=9287880/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=1237616 CPUtime=1496.59 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 477298 0 0 0 149501 158 0 0 25 0 8 0 721087849 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 309404 205239 381 95 0 304386 0
[pid=29448/tid=29449] ppid=29446 vsize=1237616 CPUtime=187.43 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64825 0 0 0 18721 22 0 0 25 0 8 0 721087850 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=1237616 CPUtime=187.41 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 59325 0 0 0 18722 19 0 0 25 0 8 0 721087850 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=1237616 CPUtime=184.53 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 55764 0 0 0 18435 18 0 0 25 0 8 0 721087850 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=1237616 CPUtime=187.43 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 65819 0 0 0 18722 21 0 0 25 0 8 0 721087850 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1237616 CPUtime=187.44 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 76583 0 0 0 18720 24 0 0 25 0 8 0 721087850 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1237616 CPUtime=187.39 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 60544 0 0 0 18719 20 0 0 25 0 8 0 721087850 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4304883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1237616 CPUtime=187.46 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 33864 0 0 0 18737 9 0 0 25 0 8 0 721087850 1267318784 205239 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1496.59
Current children cumulated vsize (KiB) 1237616

[startup+188.3 s]
/proc/loadavg: 7.96 5.20 3.33 9/465 29461
/proc/meminfo: memFree=9287880/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=1204296 CPUtime=1502.99 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 477670 0 0 0 150141 158 0 0 25 0 8 0 721087849 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 301074 200010 381 95 0 296056 0
[pid=29448/tid=29449] ppid=29446 vsize=1204296 CPUtime=188.23 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64826 0 0 0 18801 22 0 0 25 0 8 0 721087850 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=1204296 CPUtime=188.21 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 59325 0 0 0 18802 19 0 0 25 0 8 0 721087850 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=1204296 CPUtime=185.33 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 55864 0 0 0 18515 18 0 0 25 0 8 0 721087850 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=1204296 CPUtime=188.23 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 65852 0 0 0 18802 21 0 0 25 0 8 0 721087850 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4305219 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1204296 CPUtime=188.24 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 76686 0 0 0 18800 24 0 0 25 0 8 0 721087850 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1204296 CPUtime=188.18 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 60544 0 0 0 18798 20 0 0 25 0 8 0 721087850 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1204296 CPUtime=188.26 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 33916 0 0 0 18817 9 0 0 25 0 8 0 721087850 1233199104 200010 33554432000 4194304 4580107 140736972119440 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1502.99
Current children cumulated vsize (KiB) 1204296

[startup+188.517 s]
/proc/loadavg: 7.96 5.20 3.33 9/465 29461
/proc/meminfo: memFree=9307224/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=1204296 CPUtime=1504.71 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 477763 0 0 0 150313 158 0 0 25 0 8 0 721087849 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 301074 200103 381 95 0 296056 0
[pid=29448/tid=29449] ppid=29446 vsize=1204296 CPUtime=188.45 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64829 0 0 0 18823 22 0 0 25 0 8 0 721087850 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=1204296 CPUtime=188.43 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 59325 0 0 0 18824 19 0 0 25 0 8 0 721087850 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=1204296 CPUtime=185.53 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 55879 0 0 0 18535 18 0 0 25 0 8 0 721087850 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=1204296 CPUtime=188.45 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 65857 0 0 0 18824 21 0 0 25 0 8 0 721087850 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1204296 CPUtime=188.46 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 76721 0 0 0 18822 24 0 0 25 0 8 0 721087850 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1204296 CPUtime=188.4 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 60544 0 0 0 18820 20 0 0 25 0 8 0 721087850 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1204296 CPUtime=188.47 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 33929 0 0 0 18838 9 0 0 25 0 8 0 721087850 1233199104 200103 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1504.71
Current children cumulated vsize (KiB) 1204296

[startup+188.6 s]
/proc/loadavg: 7.96 5.20 3.33 9/465 29461
/proc/meminfo: memFree=9307224/32950928 swapFree=62427732/67111528
[pid=29448] ppid=29446 vsize=1204296 CPUtime=1505.37 cores=0-7
/proc/29448/stat : 29448 (strangenight2-m) R 29446 29448 29387 0 -1 4202496 477799 0 0 0 150379 158 0 0 25 0 8 0 721087849 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294217 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29448/statm: 301074 200139 381 95 0 296056 0
[pid=29448/tid=29449] ppid=29446 vsize=1204296 CPUtime=188.53 cores=0-7
/proc/29448/task/29449/stat : 29449 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 64829 0 0 0 18831 22 0 0 25 0 8 0 721087850 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4316745 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29448/tid=29450] ppid=29446 vsize=1204296 CPUtime=188.51 cores=0-7
/proc/29448/task/29450/stat : 29450 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 59325 0 0 0 18832 19 0 0 25 0 8 0 721087850 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29448/tid=29451] ppid=29446 vsize=1204296 CPUtime=185.62 cores=0-7
/proc/29448/task/29451/stat : 29451 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 55887 0 0 0 18543 19 0 0 25 0 8 0 721087850 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29448/tid=29452] ppid=29446 vsize=1204296 CPUtime=188.53 cores=0-7
/proc/29448/task/29452/stat : 29452 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 65859 0 0 0 18832 21 0 0 25 0 8 0 721087850 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29448/tid=29453] ppid=29446 vsize=1204296 CPUtime=188.54 cores=0-7
/proc/29448/task/29453/stat : 29453 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 76735 0 0 0 18830 24 0 0 25 0 8 0 721087850 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29448/tid=29454] ppid=29446 vsize=1204296 CPUtime=188.48 cores=0-7
/proc/29448/task/29454/stat : 29454 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 60544 0 0 0 18828 20 0 0 25 0 8 0 721087850 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29448/tid=29455] ppid=29446 vsize=1204296 CPUtime=188.56 cores=0-7
/proc/29448/task/29455/stat : 29455 (strangenight2-m) R 29446 29448 29387 0 -1 4202560 33933 0 0 0 18847 9 0 0 25 0 8 0 721087850 1233199104 200139 33554432000 4194304 4580107 140736972119440 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1505.37
Current children cumulated vsize (KiB) 1204296

Child status: 20
Real time (s): 188.684
CPU time (s): 1505.79
CPU user time (s): 1504.17
CPU system time (s): 1.62075
CPU usage (%): 798.047
Max. virtual memory (cumulated for all children) (KiB): 1252332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1504.17
system time used= 1.62075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477823
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= 44635
involuntary context switches= 6497

runsolver used 0.873867 second user time and 2.06169 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-22 22:08:01
IDJOB=3394372
IDBENCH=83125
IDSOLVER=1878
FILE ID=node123/3394372-1306094880
RUNJOBID= node123-1306094851-29401
PBS_JOBID= 13387962
Free space on /tmp= 73124 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394372-1306094880/watcher-3394372-1306094880 -o /tmp/evaluation-result-3394372-1306094880/solver-3394372-1306094880 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394372-1306094880.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea
RANDOM SEED=802955645

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.82
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.838
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.74
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.838
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.80
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.838
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.838
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:     32950928 kB
MemFree:      10107024 kB
Buffers:        182800 kB
Cached:        3570576 kB
SwapCached:      76116 kB
Active:        8185924 kB
Inactive:     14388792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10107024 kB
SwapTotal:    67111528 kB
SwapFree:     62427732 kB
Dirty:            6724 kB
Writeback:           0 kB
AnonPages:    18754324 kB
Mapped:          31116 kB
Slab:           118644 kB
PageTables:      77608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133349844 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= 73120 MiB
End job on node123 at 2011-05-22 22:11:09