Trace number 3368671

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.28 1203.49

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
MD5SUM745003317611baf9e79e91bc0ab8e275
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.2018
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
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-3368671-1305400368.cnf'
0.00/0.01	c -- header says num vars:          15000
0.00/0.01	c -- header says num clauses:       63000
0.22/0.12	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.22/0.12	c -- vars added      15000
0.22/0.12	c Parsing time:  0.17 s
0.22/0.12	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.22/0.15	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.22/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
3.12/0.82	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3.12/0.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3.12/0.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
3.12/0.82	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
3.12/0.82	c lits-rem:         0  cl-subs:        0  v-elim:    559  v-fix:    0  time:  0.56 s
3.12/0.82	c Finding binary XORs  T:     0.01 s  found:       0
3.12/0.82	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
3.12/0.82	c calculated reachability. Time: 0.00
3.12/0.82	c Calc default polars -  time:   0.02 s pos:    6495 undec:    1788 neg:    6717
3.12/0.82	c =========================================================================================
3.12/0.82	c types(t): F = full restart, N = normal restart
3.12/0.82	c types(t): S = simplification begin/end, E = solution found
3.12/0.82	c restart types(rt): st = static, dy = dynamic
3.12/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.12/0.82	c  B st     0         0     14441     62336         0         0    190214         0   no data   no data  --
4.71/1.22	c  N dy    20      4094     14441     62336         0      4094    190214    863958    113.48    131.17  --
7.91/2.03	c  N dy    47      8201     14441     62336         0      8201    190214   1630550    117.22    125.93  --
11.10/2.89	c  N dy    71     12327     14441     62336         0     12326    190214   2380406    116.61    124.92  --
14.69/3.78	c  N dy    95     16393     14441     62336         0     16392    190214   3142048    115.22    121.80  --
18.27/4.68	c  N dy   115     20444     14441     62336         0     10448    190214    597543    114.63    126.02  --
21.91/5.53	c  N dy   140     24457     14441     62336         0     14461    190214   1316561    114.40    139.33  --
22.27/5.65	c  F st   145     25000     14441     62336         0     15004    190214   1426121    114.80    106.50  --
27.05/6.82	c  N dy   151     30000     14441     62336         0     20004    190214   2554563    114.80   no data  --
27.05/6.82	c  S st   151     30000     14441     62336         0     20004    190214   2554563    114.80   no data  --
27.45/6.93	c  S st   151     30500     14441     62336         0     20504    190214   2619439    114.80   no data  --
27.45/6.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.45/6.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.85/7.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.65/7.24	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.65/7.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.65/7.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
28.65/7.25	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.80/11.58	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 17.17 s
46.20/11.67	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.36
46.20/11.67	c calculated reachability. Time: 0.00
46.20/11.67	c  N dy   151     30500     14441     62336         0     20502    190214   2619089    114.80   no data  --
50.58/12.77	c  N dy   176     34582     14441     62336         0     24584    190214   3343565    114.33    120.99  --
55.37/13.90	c  N dy   203     38657     14441     62336         0     28656    190214   4084001    114.26    120.27  --
59.76/15.03	c  N dy   228     42738     14441     62336         0     17236    190214    933513    114.48    145.92  --
62.95/15.84	c  S st   248     45751     14441     62336         0     20249    190214   1457296    114.21   no data  --
63.35/15.97	c  S st   248     46257     14441     62336         0     20755    190214   1522544    114.21   no data  --
63.35/15.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
63.35/15.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.75/16.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
64.15/16.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
64.15/16.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
64.15/16.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
64.15/16.16	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
74.91/18.89	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 10.84 s
74.91/18.89	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
75.31/18.91	c vivif2 --  cl tried    20754 cl shrink        0 lits rem          0 time: 0.08
75.31/18.99	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.32
75.71/19.00	c calculated reachability. Time: 0.00
75.71/19.00	c  N dy   248     46257     14441     62336         0     20754    190214   1522195    114.21   no data  --
79.30/19.98	c  N dy   279     50287     14441     62336         0     24783    190214   2287376    114.69    125.28  --
83.68/21.05	c  N dy   304     54594     14441     62336         0     29088    190214   3065615    114.57    124.97  --
87.72/22.08	c  N dy   328     58649     14441     62336         0     33143    190214   3805550    114.70    122.10  --
92.12/23.14	c  N dy   351     62676     14441     62336         0     37170    190214   4529692    114.50    124.09  --
96.07/24.14	c  N dy   377     66686     14441     62336         0     22437    190214   1277404    114.42    123.06  --
98.45/24.79	c  S st   396     69385     14441     62336         0     25136    190214   1764353    114.41     94.44  --
99.25/24.92	c  S st   396     69888     14441     62336         0     25639    190214   1825699    114.41   no data  --
99.25/24.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
99.25/24.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.65/25.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
100.05/25.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
100.05/25.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
100.05/25.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
100.05/25.13	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
113.63/28.59	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.76 s
113.63/28.60	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
114.05/28.62	c vivif2 --  cl tried    25635 cl shrink        0 lits rem          0 time: 0.10
114.40/28.71	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.36
114.40/28.72	c calculated reachability. Time: 0.00
114.40/28.72	c  N dy   396     69888     14441     62336         0     25635    190214   1824356    114.41   no data  --
118.79/29.85	c  N dy   427     74425     14441     62336         0     30172    190214   2638066    114.38    128.93  --
123.57/31.07	c  N dy   453     79219     14441     62336         0     34965    190214   3490412    113.96    121.12  --
129.56/32.54	c  N dy   485     84647     14441     62336         0     40392    190214   4474303    113.98    120.12  --
132.75/33.30	c  F st   504     87500     14441     62336         0     22375    190214    841038    113.93   no data  --
135.98/34.13	c  N st   509     90798     14441     62336         0     25673    190214   1548277    113.93   no data  --
141.92/35.66	c  N dy   537     96667     14441     62336         0     31542    190214   2699389    113.90    120.53  --
148.72/37.33	c  N dy   576    102836     14441     62336         0     37711    190214   3796660    113.73    122.05  --
150.69/37.88	c  S st   590    104833     14441     62336         0     39708    190214   4144702    113.72    115.19  --
151.49/38.03	c  S st   590    105337     14441     62336         0     40212    190214   4218341    113.72   no data  --
151.49/38.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
151.49/38.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.89/38.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
152.69/38.38	c bin-w-bin subsume rem            0 bins  time:  0.02 s
152.69/38.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
152.69/38.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
152.69/38.39	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
254.04/63.79	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 101.15 s
254.04/63.79	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
254.46/63.85	c vivif2 --  cl tried    40210 cl shrink        0 lits rem          0 time: 0.22
254.81/63.97	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.48
254.81/63.97	c calculated reachability. Time: 0.00
254.81/63.97	c  N dy   590    105337     14441     62336         0     40210    190214   4217960    113.72   no data  --
262.40/65.87	c  N dy   634    112222     14441     62336         0     24661    190214    953748    113.71    119.99  --
269.97/67.74	c  N dy   689    119501     14441     62336         0     31937    190214   2297872    114.04    120.88  --
278.35/69.81	c  N dy   732    127305     14441     62336         0     39741    190214   3696795    113.82    123.82  --
287.53/72.17	c  N dy   782    135668     14441     62336         0     24383    190214    629236    113.68    119.84  --
296.70/74.40	c  N dy   833    144435     14441     62336         0     33149    190214   2214674    113.54    121.40  --
307.11/77.01	c  N dy   899    153752     14441     62336         0     42464    190214   3955844    113.84    124.34  --
312.25/78.31	c  S st   932    158006     14441     62336         0     46718    190214   4736179    113.92   no data  --
312.65/78.46	c  S st   932    158506     14441     62336         0     47218    190214   4795146    113.92   no data  --
312.65/78.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
312.65/78.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
313.05/78.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
314.25/78.83	c bin-w-bin subsume rem            0 bins  time:  0.02 s
314.25/78.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
314.25/78.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
314.25/78.85	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
503.72/126.37	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 189.28 s
503.72/126.37	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
504.13/126.45	c vivif2 --  cl tried    47212 cl shrink        0 lits rem          0 time: 0.30
504.55/126.59	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.54
504.55/126.59	c calculated reachability. Time: 0.00
504.55/126.59	c  N dy   932    158506     14441     62336         0     47212    190214   4793963    113.92   no data  --
516.08/129.43	c  N dy  1002    168625     14441     62336         0     32475    190214   1897538    114.14    121.95  --
528.45/132.57	c  N dy  1076    179570     14441     62336         0     43419    190214   3952071    114.40    121.48  --
542.00/135.99	c  N dy  1146    191063     14441     62336         0     28981    190214   1020218    114.27    143.18  --
555.97/139.43	c  N dy  1224    203378     14441     62336         0     41295    190214   3244843    114.17    120.98  --
571.93/143.45	c  N dy  1309    216369     14441     62336         0     27323    190214    523712    114.21    122.74  --
587.50/147.34	c  N dy  1403    230280     14441     62336         0     41233    190214   3079902    114.29    123.45  --
596.28/149.60	c  S st  1452    237759     14441     62336         0     48712    190214   4463588    114.33    103.39  --
597.05/149.77	c  S st  1452    238261     14441     62336         0     49214    190214   4525886    114.33   no data  --
597.05/149.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
597.05/149.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
597.46/149.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
598.65/150.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
598.65/150.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
598.65/150.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
598.65/150.14	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
779.35/195.41	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 180.35 s
779.35/195.41	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
779.35/195.47	c vivif2 --  cl tried    49212 cl shrink        0 lits rem          0 time: 0.25
780.15/195.62	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.57
780.15/195.62	c calculated reachability. Time: 0.00
780.15/195.62	c  N dy  1452    238261     14441     62336         0     49212    190214   4525361    114.33   no data  --
797.71/200.10	c  N dy  1559    253551     14441     62336         0     36521    190214   2053617    114.53    124.93  --
816.84/204.88	c  N dy  1661    269797     14441     62336         0     52764    190214   5057189    114.58    127.34  --
837.19/209.95	c  N dy  1776    287146     14441     62336         0     41122    190214   2658369    114.57    121.77  --
860.32/215.71	c  N dy  1894    305536     14441     62336         0     59510    190214   6046008    114.66    121.34  --
861.12/215.99	c  F st  1899    306251     14441     62336         0     30235    190214    475370    114.65    100.93  --
882.26/221.24	c  N dy  2001    325088     14441     62336         0     49069    190214   4174492    114.70    122.82  --
906.59/227.32	c  N dy  2128    345251     14441     62336         0     38241    190214   1778655    114.78    123.06  --
920.97/230.97	c  S st  2215    357391     14441     62336         0     50379    190214   4039454    114.89   no data  --
921.74/231.13	c  S st  2215    357896     14441     62336         0     50884    190214   4108994    114.89   no data  --
921.74/231.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
921.74/231.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
922.14/231.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
922.94/231.46	c bin-w-bin subsume rem            0 bins  time:  0.02 s
922.94/231.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
922.94/231.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
922.94/231.48	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1062.15/266.30	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 138.57 s
1062.15/266.30	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
1062.15/266.36	c vivif2 --  cl tried    50880 cl shrink        0 lits rem          0 time: 0.23
1062.95/266.51	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.59
1062.95/266.51	c calculated reachability. Time: 0.00
1062.95/266.51	c  N dy  2215    357896     14441     62336         0     50880    190214   4107909    114.89   no data  --
1087.70/272.73	c  N dy  2347    378047     14441     62336         0     39036    190214   1730734    114.94    122.41  --
1112.42/278.96	c  N dy  2481    398143     14441     62336         0     59130    190214   5455014    115.06    121.15  --
1137.14/285.16	c  N dy  2614    418202     14441     62336         0     46184    190214   2849901    115.12    124.53  --
1164.28/291.96	c  N dy  2741    438344     14441     62336         0     66323    190214   6573932    115.13    122.79  --
1189.40/298.28	c  N dy  2874    458416     14441     62336         0     52396    190214   3790190    115.14    121.38  --
1217.72/305.31	c  N dy  3004    478657     14441     62336         0     37643    190214    909495    115.11    121.55  --
1242.85/311.62	c  N dy  3136    498669     14441     62336         0     57654    190214   4598362    115.15    132.53  --
1270.38/318.51	c  N dy  3265    518718     14441     62336         0     41705    190214   1486400    115.17    124.51  --
1293.93/324.49	c  S st  3389    536844     14441     62336         0     59831    190214   4797927    115.20   no data  --
1295.11/324.70	c  S st  3389    537346     14441     62336         0     60333    190214   4861428    115.20   no data  --
1295.11/324.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1295.11/324.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1295.51/324.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.43
1296.70/325.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1296.70/325.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1296.70/325.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
1296.70/325.14	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1541.22/386.40	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 243.78 s
1541.22/386.41	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
1541.22/386.47	c vivif2 --  cl tried    60331 cl shrink        0 lits rem          0 time: 0.26
1542.02/386.63	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.63
1542.02/386.64	c calculated reachability. Time: 0.00
1542.02/386.64	c  N dy  3389    537346     14441     62336         0     60331    190214   4861138    115.20   no data  --
1566.76/392.89	c  N dy  3522    557357     14441     62336         0     43341    190214   1583809    115.23    122.01  --
1591.48/399.00	c  N dy  3655    577652     14441     62336         0     63636    190214   5275145    115.24    121.53  --
1616.21/405.20	c  N dy  3770    597737     14441     62336         0     45725    190214   1833746    115.17    123.29  --
1640.99/411.42	c  N dy  3907    617897     14441     62336         0     65883    190214   5528214    115.21    121.70  --
1666.08/417.74	c  N dy  4033    638012     14441     62336         0     46998    190214   1867769    115.18    127.49  --
1690.40/423.89	c  N dy  4169    658074     14441     62336         0     67058    190214   5555633    115.22    128.50  --
1716.33/430.34	c  N dy  4300    678220     14441     62336         0     47202    190214   1783658    115.22    121.52  --
1740.67/436.47	c  N dy  4426    698245     14441     62336         0     67227    190214   5463406    115.19    121.69  --
1767.39/443.12	c  N dy  4563    718318     14441     62336         0     46304    190214   1404528    115.24    122.07  --
1792.11/449.31	c  N dy  4703    738346     14441     62336         0     66330    190214   5151507    115.30    137.12  --
1819.64/456.20	c  N dy  4846    758499     14441     62336         0     44480    190214    925230    115.33    122.75  --
1843.97/462.35	c  N dy  4986    778626     14441     62336         0     64604    190214   4617949    115.37    122.38  --
1871.89/469.32	c  N dy  5116    798730     14441     62336         0     84706    190214   8301028    115.37    128.44  --
1880.67/471.58	c  S st  5168    806020     14441     62336         0     48996    190214   1557319    115.37   no data  --
1881.47/471.74	c  S st  5168    806525     14441     62336         0     49501    190214   1621714    115.37   no data  --
1881.47/471.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1881.47/471.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1881.88/471.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.32
1882.31/471.93	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1882.31/471.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1882.31/471.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
1882.31/471.94	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1897.02/475.69	c lits-rem:        21  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.92 s
1897.02/475.69	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
1897.42/475.72	c vivif2 --  cl tried    49501 cl shrink        0 lits rem          0 time: 0.10
1897.82/475.85	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.53
1897.82/475.85	c calculated reachability. Time: 0.00
1897.82/475.85	c  N dy  5168    806525     14441     62336         0     49501    190214   1621693    115.37   no data  --
1922.55/482.03	c  N dy  5296    826538     14441     62336         0     69514    190214   5280893    115.35    125.85  --
1950.47/489.04	c  N dy  5429    846626     14441     62336         0     45607    190214    729410    115.35    124.73  --
1974.80/495.15	c  N dy  5564    866712     14441     62336         0     65691    190214   4455952    115.39    122.40  --
2004.33/502.60	c  N dy  5707    886760     14441     62336         0     85738    190214   8190481    115.46    129.04  --
2033.04/509.70	c  N dy  5836    906930     14441     62336         0     60916    190214   3342602    115.46    124.01  --
2062.21/517.05	c  N dy  5964    926940     14441     62336         0     80926    190214   6999949    115.47    125.52  --
2092.08/524.58	c  N dy  6099    946991     14441     62336         0     54976    190214   2105890    115.52    122.19  --
2120.79/531.70	c  N dy  6233    967100     14441     62336         0     75084    190214   5816438    115.55    122.35  --
2153.92/540.03	c  N dy  6376    987143     14441     62336         0     48130    190214    662104    115.60    124.64  --
2181.42/546.92	c  N dy  6508   1007263     14441     62336         0     68247    190214   4414830    115.64    122.25  --
2212.53/554.77	c  N dy  6638   1027284     14441     62336         0     88268    190214   8069369    115.64    122.08  --
2242.45/562.21	c  N dy  6767   1047344     14441     62336         0     60325    190214   2726315    115.62    131.73  --
2271.99/569.63	c  N dy  6887   1067437     14441     62336         0     80418    190214   6379641    115.60    122.03  --
2278.76/571.39	c  F st  6918   1071877     14441     62336         0     84857    190214   7209196    115.61   no data  --
2304.28/577.71	c  N dy  6991   1087487     14441     62336         0     51470    190214    929193    115.62    122.15  --
2331.81/584.67	c  N dy  7118   1107499     14441     62336         0     71481    190214   4646372    115.61    123.54  --
2363.72/592.61	c  N dy  7249   1127506     14441     62336         0     91488    190214   8312954    115.59    122.00  --
2393.24/600.02	c  N dy  7392   1147675     14441     62336         0     61657    190214   2682027    115.64    123.01  --
2422.00/607.21	c  N dy  7531   1167806     14441     62336         0     81788    190214   6376395    115.64    127.61  --
2454.27/615.32	c  N dy  7664   1187846     14441     62336         0    101825    190214  10049578    115.64    125.28  --
2481.39/622.19	c  N dy  7795   1207889     14441     62336         0     70871    190214   4113689    115.63    127.12  --
2484.17/622.81	c  S st  7806   1209790     14441     62336         0     72772    190214   4467341    115.63    104.01  --
2484.97/623.01	c  S st  7806   1210292     14441     62336         0     73274    190214   4529719    115.63   no data  --
2484.97/623.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2484.97/623.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2485.37/623.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
2486.18/623.36	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2486.18/623.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2486.18/623.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
2486.18/623.38	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2693.61/675.34	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 206.95 s
2693.61/675.34	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
2693.61/675.41	c vivif2 --  cl tried    73270 cl shrink        0 lits rem          0 time: 0.25
2694.39/675.59	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.72
2694.39/675.59	c calculated reachability. Time: 0.00
2694.39/675.59	c  N dy  7806   1210292     14441     62336         0     73270    190214   4529154    115.63   no data  --
2722.72/682.69	c  N dy  7923   1230343     14441     62336         0     93321    190214   8205654    115.60    122.94  --
2751.43/689.85	c  N dy  8057   1250508     14441     62336         0     61496    190214   2231462    115.61    122.87  --
2778.55/696.60	c  N dy  8186   1270551     14441     62336         0     81537    190214   5892252    115.60    122.98  --
2808.87/704.27	c  N dy  8321   1290711     14441     62336         0    101697    190214   9687026    115.63    122.70  --
2835.60/710.97	c  N dy  8440   1310826     14441     62336         0     68806    190214   3371000    115.60    124.49  --
2863.92/718.08	c  N dy  8577   1330898     14441     62336         0     88878    190214   7097956    115.63    126.98  --
2895.87/726.04	c  N dy  8710   1350953     14441     62336         0     54932    190214    666668    115.66    122.76  --
2921.77/732.55	c  N dy  8840   1371045     14441     62336         0     75021    190214   4387939    115.66    122.87  --
2951.28/739.92	c  N dy  8976   1391056     14441     62336         0     95032    190214   8125186    115.69    122.02  --
2981.58/747.58	c  N dy  9104   1411177     14441     62336         0     60155    190214   1459084    115.72    123.54  --
3007.91/754.19	c  N dy  9229   1431192     14441     62336         0     80168    190214   5118731    115.71    125.27  --
3038.22/761.78	c  N dy  9360   1451277     14441     62336         0    100252    190214   8845040    115.73    127.61  --
3068.54/769.30	c  N dy  9489   1471295     14441     62336         0     64279    190214   2048672    115.73    124.74  --
3096.06/776.25	c  N dy  9624   1491541     14441     62336         0     84523    190214   5813128    115.74    122.34  --
3127.58/784.16	c  N dy  9755   1512076     14441     62336         0    105058    190214   9624528    115.74    122.88  --
3158.70/791.96	c  N dy  9883   1532090     14441     62336         0     68078    190214   2573415    115.75    122.52  --
3188.99/799.50	c  N dy 10007   1552159     14441     62336         0     88145    190214   6287090    115.76    123.22  --
3222.90/808.02	c  N dy 10144   1572251     14441     62336         0    108235    190214   9990637    115.78    123.35  --
3255.65/816.28	c  N dy 10271   1592285     14441     62336         0     70271    190214   2778791    115.79    123.24  --
3287.92/824.37	c  N dy 10406   1612356     14441     62336         0     90340    190214   6519119    115.81    122.92  --
3324.23/833.47	c  N dy 10544   1632366     14441     62336         0    110349    190214  10251168    115.84    126.11  --
3357.33/841.76	c  N dy 10684   1652423     14441     62336         0     71399    190214   2813045    115.86    124.92  --
3389.63/849.83	c  N dy 10821   1672463     14441     62336         0     91437    190214   6522397    115.88    137.03  --
3425.95/859.00	c  N dy 10959   1692632     14441     62336         0    111605    190214  10281190    115.90    122.06  --
3456.26/866.57	c  S st 11075   1710293     14441     62336         0     69280    190214   2233992    115.91    119.44  --
3457.07/866.76	c  S st 11075   1710794     14441     62336         0     69781    190214   2297928    115.91   no data  --
3457.07/866.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3457.07/866.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3457.50/866.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.40
3458.25/867.01	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3458.25/867.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3458.25/867.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
3458.25/867.02	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3484.97/873.78	c lits-rem:         7  cl-subs:        2  v-elim:      0  v-fix:    0  time: 26.94 s
3484.97/873.79	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.03
3485.37/873.82	c vivif2 --  cl tried    69779 cl shrink        0 lits rem          0 time: 0.14
3486.17/874.00	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.72
3486.17/874.01	c calculated reachability. Time: 0.00
3486.17/874.01	c  N dy 11075   1710794     14441     62336         0     69779    190214   2297496    115.91   no data  --
3516.09/881.59	c  N dy 11210   1730863     14441     62336         0     89845    190214   6052390    115.94    162.39  --
3550.39/890.14	c  N dy 11343   1750879     14441     62336         0    109861    190214   9778554    115.96    128.17  --
3583.51/898.43	c  N dy 11474   1770913     14441     62336         0     68890    190214   1964785    115.96    127.55  --
3613.42/905.94	c  N dy 11612   1790959     14441     62336         0     88934    190214   5683065    115.98    122.09  --
3647.32/914.41	c  N dy 11740   1811050     14441     62336         0    109023    190214   9393438    115.99    128.80  --
3682.03/923.14	c  N dy 11875   1831073     14441     62336         0     67050    190214   1461364    116.00    125.70  --
3711.99/930.65	c  N dy 12011   1851214     14441     62336         0     87190    190214   5214819    116.02    127.50  --
3746.66/939.37	c  N dy 12156   1871345     14441     62336         0    107318    190214   8982599    116.05    122.24  --
3786.58/949.35	c  N dy 12299   1891402     14441     62336         0     64378    190214    793210    116.06    126.38  --
3817.65/957.17	c  N dy 12430   1911454     14441     62336         0     84426    190214   4490480    116.06    125.88  --
3853.55/966.15	c  N dy 12567   1931673     14441     62336         0    104644    190214   8250795    116.07    125.32  --
3893.04/976.10	c  N dy 12693   1951967     14441     62336         0    124938    190214  12016402    116.07    126.13  --
3926.15/984.32	c  N dy 12826   1972150     14441     62336         0     81123    190214   3727087    116.08    122.27  --
3960.84/993.03	c  N dy 12957   1992263     14441     62336         0    101234    190214   7440645    116.09    124.51  --
3999.14/1002.61	c  N dy 13086   2012266     14441     62336         0    121235    190214  11185348    116.10    125.57  --
4035.05/1011.62	c  N dy 13227   2032298     14441     62336         0     76272    190214   2612894    116.10    135.70  --
4068.55/1020.09	c  N dy 13361   2052414     14441     62336         0     96388    190214   6347450    116.12    126.12  --
4106.46/1029.61	c  N dy 13500   2072468     14441     62336         0    116442    190214  10070758    116.14    125.21  --
4143.14/1038.74	c  N dy 13627   2092484     14441     62336         0     70462    190214   1386340    116.15    136.19  --
4173.05/1046.30	c  N dy 13757   2112624     14441     62336         0     90598    190214   5105359    116.15    128.50  --
4207.38/1054.85	c  N dy 13884   2132747     14441     62336         0    110720    190214   8845515    116.14    122.59  --
4245.26/1064.35	c  N dy 13999   2153004     14441     62336         0    130974    190214  12568678    116.12    122.76  --
4276.76/1072.21	c  N dy 14136   2173047     14441     62336         0     84026    190214   3726160    116.13    122.37  --
4309.87/1080.56	c  N dy 14277   2193170     14441     62336         0    104146    190214   7488441    116.15    122.69  --
4344.17/1089.15	c  S st 14387   2210796     14441     62336         0    121772    190214  10737826    116.15   no data  --
4345.37/1089.47	c  S st 14387   2211299     14441     62336         0    122275    190214  10807127    116.15   no data  --
4345.37/1089.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4345.37/1089.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4346.17/1089.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.65
4348.96/1090.36	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4348.96/1090.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4348.96/1090.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
4348.96/1090.38	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 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-3368671-1305400368/watcher-3368671-1305400368 -o /tmp/evaluation-result-3368671-1305400368/solver-3368671-1305400368 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368671-1305400368.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.52 7.99 8.05 5/352 2837
/proc/meminfo: memFree=26213564/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 651639471 52465664 352 33554432000 4194304 4650419 140734852381360 18446744073709551615 47465692493740 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 12809 352 303 112 0 7774 0
[pid=2837/tid=2838] ppid=2834 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651639471 52465664 357 33554432000 4194304 4650419 140734852381360 18446744073709551615 47465692493746 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651639471 52465664 357 33554432000 4194304 4650419 140734852381360 18446744073709551615 47465692493337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651639471 52465664 357 33554432000 4194304 4650419 140734852381360 18446744073709551615 47465692493341 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0731459 s]
/proc/loadavg: 7.52 7.99 8.05 5/352 2837
/proc/meminfo: memFree=26213564/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=362312 CPUtime=0.22 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 10630 0 0 0 17 5 0 0 17 0 4 0 651639471 371007488 9626 33554432000 4194304 4650419 140734852381360 18446744073709551615 216634164312 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 90578 9626 344 112 0 85543 0
[pid=2837/tid=2838] ppid=2834 vsize=362312 CPUtime=0.04 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) S 2834 2837 2586 0 -1 4202560 2543 0 0 0 3 1 0 0 18 0 4 0 651639471 371007488 9626 33554432000 4194304 4650419 140734852381360 18446744073709551615 216634620398 0 0 4096 2 18446604450139292608 0 0 -1 6 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=362312 CPUtime=0.05 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) S 2834 2837 2586 0 -1 4202560 2348 0 0 0 5 0 0 0 18 0 4 0 651639471 371007488 9626 33554432000 4194304 4650419 140734852381360 18446744073709551615 216634620398 0 0 4096 2 18446604450139292608 0 0 -1 0 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=362312 CPUtime=0.05 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) S 2834 2837 2586 0 -1 4202560 2794 0 0 0 4 1 0 0 18 0 4 0 651639471 371007488 9626 33554432000 4194304 4650419 140734852381360 18446744073709551615 216634620398 0 0 4096 2 18446604450139292608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 362312

[startup+0.151948 s]
/proc/loadavg: 7.52 7.99 8.05 5/352 2837
/proc/meminfo: memFree=26213564/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=372184 CPUtime=0.53 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 13875 0 0 0 47 6 0 0 18 0 4 0 651639471 381116416 11727 33554432000 4194304 4650419 140734852381360 18446744073709551615 4457437 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 93046 11727 377 112 0 88011 0
[pid=2837/tid=2838] ppid=2834 vsize=372184 CPUtime=0.12 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 3872 0 0 0 11 1 0 0 18 0 4 0 651639471 381116416 11727 33554432000 4194304 4650419 140734852381360 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=372184 CPUtime=0.12 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) D 2834 2837 2586 0 -1 4202560 3286 0 0 0 12 0 0 0 18 0 4 0 651639471 381116416 11727 33554432000 4194304 4650419 140734852381360 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=372184 CPUtime=0.12 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 2888 0 0 0 11 1 0 0 18 0 4 0 651639471 381116416 11727 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 372184

[startup+0.301106 s]
/proc/loadavg: 7.52 7.99 8.05 5/352 2837
/proc/meminfo: memFree=26213564/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=379400 CPUtime=1.13 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 22289 0 0 0 105 8 0 0 18 0 4 0 651639471 388505600 17321 33554432000 4194304 4650419 140734852381360 18446744073709551615 4451859 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 94850 17321 387 112 0 89815 0
[pid=2837/tid=2838] ppid=2834 vsize=379400 CPUtime=0.27 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 6587 0 0 0 25 2 0 0 18 0 4 0 651639471 388505600 17321 33554432000 4194304 4650419 140734852381360 18446744073709551615 4420376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=379400 CPUtime=0.26 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 6232 0 0 0 26 0 0 0 18 0 4 0 651639471 388505600 17321 33554432000 4194304 4650419 140734852381360 18446744073709551615 4428562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=379400 CPUtime=0.27 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 3003 0 0 0 26 1 0 0 18 0 4 0 651639471 388505600 17321 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363479 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 379400

[startup+0.701035 s]
/proc/loadavg: 7.52 7.99 8.05 5/352 2837
/proc/meminfo: memFree=26213564/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=379400 CPUtime=2.72 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 24479 0 0 0 264 8 0 0 18 0 4 0 651639471 388505600 18749 33554432000 4194304 4650419 140734852381360 18446744073709551615 4334283 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 94850 18749 391 112 0 89815 0
[pid=2837/tid=2838] ppid=2834 vsize=379400 CPUtime=0.67 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 7046 0 0 0 65 2 0 0 18 0 4 0 651639471 388505600 18749 33554432000 4194304 4650419 140734852381360 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=379400 CPUtime=0.67 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 6882 0 0 0 66 1 0 0 18 0 4 0 651639471 388505600 18749 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=379400 CPUtime=0.67 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 3361 0 0 0 66 1 0 0 18 0 4 0 651639471 388505600 18749 33554432000 4194304 4650419 140734852381360 18446744073709551615 4367415 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 379400

[startup+1.5009 s]
/proc/loadavg: 7.52 7.99 8.05 10/356 2841
/proc/meminfo: memFree=25994844/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=379400 CPUtime=5.92 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 27509 0 0 0 583 9 0 0 19 0 4 0 651639471 388505600 21779 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 94850 21779 391 112 0 89815 0
[pid=2837/tid=2838] ppid=2834 vsize=379400 CPUtime=1.47 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 7798 0 0 0 145 2 0 0 19 0 4 0 651639471 388505600 21779 33554432000 4194304 4650419 140734852381360 18446744073709551615 4360470 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=379400 CPUtime=1.47 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 7623 0 0 0 146 1 0 0 19 0 4 0 651639471 388505600 21779 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=379400 CPUtime=1.46 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 4086 0 0 0 145 1 0 0 20 0 4 0 651639471 388505600 21780 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 379400

[startup+3.10061 s]
/proc/loadavg: 7.52 7.99 8.05 10/356 2841
/proc/meminfo: memFree=25967784/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=531944 CPUtime=12.3 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 33219 0 0 0 1220 10 0 0 24 0 4 0 651639471 544710656 27489 33554432000 4194304 4650419 140734852381360 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 132986 27489 391 112 0 127951 0
[pid=2837/tid=2838] ppid=2834 vsize=531944 CPUtime=3.07 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 9229 0 0 0 305 2 0 0 25 0 4 0 651639471 544710656 27490 33554432000 4194304 4650419 140734852381360 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=531944 CPUtime=3.07 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 9018 0 0 0 306 1 0 0 25 0 4 0 651639471 544710656 27490 33554432000 4194304 4650419 140734852381360 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=531944 CPUtime=3.05 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 5506 0 0 0 303 2 0 0 25 0 4 0 651639471 544710656 27490 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 531944

[startup+6.30105 s]
/proc/loadavg: 7.56 7.99 8.05 10/356 2841
/proc/meminfo: memFree=25934024/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=391292 CPUtime=25.06 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 49120 0 0 0 2493 13 0 0 25 0 4 0 651639471 400683008 26931 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 97823 26931 394 112 0 92788 0
[pid=2837/tid=2838] ppid=2834 vsize=391292 CPUtime=6.27 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 13316 0 0 0 624 3 0 0 25 0 4 0 651639471 400683008 26931 33554432000 4194304 4650419 140734852381360 18446744073709551615 4315033 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=391292 CPUtime=6.27 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 12842 0 0 0 625 2 0 0 25 0 4 0 651639471 400683008 26932 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=391292 CPUtime=6.21 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 9584 0 0 0 619 2 0 0 25 0 4 0 651639471 400683008 26932 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 391292

[startup+12.7009 s]
/proc/loadavg: 7.59 7.99 8.05 10/356 2841
/proc/meminfo: memFree=25750180/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=652812 CPUtime=50.58 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 118476 0 0 0 5026 32 0 0 25 0 4 0 651639471 668479488 84927 33554432000 4194304 4650419 140734852381360 18446744073709551615 4367295 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2837/statm: 163203 84927 395 112 0 158168 0
[pid=2837/tid=2838] ppid=2834 vsize=652812 CPUtime=12.67 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 36165 0 0 0 1258 9 0 0 25 0 4 0 651639471 668479488 84927 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=652812 CPUtime=12.67 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 23247 0 0 0 1263 4 0 0 25 0 4 0 651639471 668479488 84927 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=652812 CPUtime=12.56 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 28697 0 0 0 1248 8 0 0 25 0 4 0 651639471 668479488 84927 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 652812

[startup+25.5007 s]
/proc/loadavg: 7.76 8.01 8.05 10/356 2841
/proc/meminfo: memFree=25324440/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=653552 CPUtime=101.64 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 158941 0 0 0 10123 41 0 0 25 0 4 0 651639471 669237248 86731 33554432000 4194304 4650419 140734852381360 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2837/statm: 163388 86731 395 112 0 158353 0
[pid=2837/tid=2838] ppid=2834 vsize=653552 CPUtime=25.46 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 44578 0 0 0 2536 10 0 0 25 0 4 0 651639471 669237248 86731 33554432000 4194304 4650419 140734852381360 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=653552 CPUtime=25.47 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 32986 0 0 0 2541 6 0 0 25 0 4 0 651639471 669237248 86731 33554432000 4194304 4650419 140734852381360 18446744073709551615 4426564 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=653552 CPUtime=25.35 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 38276 0 0 0 2525 10 0 0 25 0 4 0 651639471 669237248 86731 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 653552

[startup+51.1012 s]
/proc/loadavg: 7.84 8.00 8.05 10/356 2842
/proc/meminfo: memFree=25183916/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=777224 CPUtime=203.75 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 234897 0 0 0 20316 59 0 0 25 0 4 0 651639471 795877376 118009 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2837/statm: 194306 118009 395 112 0 189271 0
[pid=2837/tid=2838] ppid=2834 vsize=777224 CPUtime=51.07 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 60395 0 0 0 5093 14 0 0 25 0 4 0 651639471 795877376 118009 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=777224 CPUtime=51.07 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 50853 0 0 0 5096 11 0 0 25 0 4 0 651639471 795877376 118009 33554432000 4194304 4650419 140734852381360 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=777224 CPUtime=50.95 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 60228 0 0 0 5079 16 0 0 25 0 4 0 651639471 795877376 118009 33554432000 4194304 4650419 140734852381360 18446744073709551615 4333974 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 777224

[startup+102.313 s]
/proc/loadavg: 7.98 8.02 8.05 9/356 2844
/proc/meminfo: memFree=24885776/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=893492 CPUtime=408.03 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 346743 0 0 0 40712 91 0 0 25 0 4 0 651639471 914935808 147892 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2837/statm: 223373 147892 395 112 0 218338 0
[pid=2837/tid=2838] ppid=2834 vsize=893492 CPUtime=102.28 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 85485 0 0 0 10206 22 0 0 25 0 4 0 651639471 914935808 147892 33554432000 4194304 4650419 140734852381360 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=893492 CPUtime=102.28 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 80417 0 0 0 10209 19 0 0 25 0 4 0 651639471 914935808 147892 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=893492 CPUtime=102.17 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 96895 0 0 0 10189 28 0 0 25 0 4 0 651639471 914935808 147892 33554432000 4194304 4650419 140734852381360 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 893492

[startup+162.301 s]

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

[pid=2837] ppid=2834 vsize=1332100 CPUtime=2561.98 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2093093 0 0 0 255702 496 0 0 25 0 4 0 651639471 1364070400 252266 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 333025 252266 395 112 0 327990 0
[pid=2837/tid=2838] ppid=2834 vsize=1332100 CPUtime=642.25 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 556243 0 0 0 64099 126 0 0 25 0 4 0 651639471 1364070400 252275 33554432000 4194304 4650419 140734852381360 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1332100 CPUtime=642.28 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 545355 0 0 0 64103 125 0 0 25 0 4 0 651639471 1364070400 252275 33554432000 4194304 4650419 140734852381360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1332100 CPUtime=637.13 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 396594 0 0 0 63600 113 0 0 25 0 4 0 651639471 1364070400 252275 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.98
Current children cumulated vsize (KiB) 1332100

[startup+702.301 s]
/proc/loadavg: 8.20 8.16 8.10 10/356 2859
/proc/meminfo: memFree=23949152/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1265660 CPUtime=2801.29 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2186435 0 0 0 279597 532 0 0 25 0 4 0 651639471 1296035840 242564 33554432000 4194304 4650419 140734852381360 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 316415 242564 395 112 0 311380 0
[pid=2837/tid=2838] ppid=2834 vsize=1265660 CPUtime=702.23 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 585884 0 0 0 70085 138 0 0 25 0 4 0 651639471 1296035840 242564 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1265660 CPUtime=702.27 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 571070 0 0 0 70092 135 0 0 25 0 4 0 651639471 1296035840 242564 33554432000 4194304 4650419 140734852381360 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1265660 CPUtime=696.47 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 422934 0 0 0 69523 124 0 0 25 0 4 0 651639471 1296035840 242564 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.29
Current children cumulated vsize (KiB) 1265660

[startup+762.313 s]
/proc/loadavg: 8.13 8.15 8.09 9/356 2861
/proc/meminfo: memFree=23877172/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1346576 CPUtime=3040.65 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2300961 0 0 0 303498 567 0 0 25 0 4 0 651639471 1378893824 261831 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 336644 261831 395 112 0 331609 0
[pid=2837/tid=2838] ppid=2834 vsize=1346576 CPUtime=762.24 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 612661 0 0 0 76075 149 0 0 25 0 4 0 651639471 1378893824 261831 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1346576 CPUtime=762.28 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 598789 0 0 0 76085 143 0 0 25 0 4 0 651639471 1378893824 261831 33554432000 4194304 4650419 140734852381360 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1346576 CPUtime=755.8 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 452532 0 0 0 75448 132 0 0 25 0 4 0 651639471 1378893824 261831 33554432000 4194304 4650419 140734852381360 18446744073709551615 4310726 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.65
Current children cumulated vsize (KiB) 1346576

[startup+822.301 s]
/proc/loadavg: 8.10 8.13 8.09 10/356 2863
/proc/meminfo: memFree=23837960/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1400272 CPUtime=3279.94 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2449179 0 0 0 327388 606 0 0 25 0 4 0 651639471 1433878528 277827 33554432000 4194304 4650419 140734852381360 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 350068 277827 395 112 0 345033 0
[pid=2837/tid=2838] ppid=2834 vsize=1400272 CPUtime=822.23 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 642647 0 0 0 82064 159 0 0 25 0 4 0 651639471 1433878528 277827 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1400272 CPUtime=822.26 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 662378 0 0 0 82074 152 0 0 25 0 4 0 651639471 1433878528 277827 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1400272 CPUtime=815.13 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 478944 0 0 0 81373 140 0 0 25 0 4 0 651639471 1433878528 277827 33554432000 4194304 4650419 140734852381360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.94
Current children cumulated vsize (KiB) 1400272

[startup+882.301 s]
/proc/loadavg: 8.04 8.11 8.08 9/356 2864
/proc/meminfo: memFree=23757556/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1423104 CPUtime=3519.28 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2533219 0 0 0 351292 636 0 0 25 0 4 0 651639471 1457258496 288069 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 355776 288069 395 112 0 350741 0
[pid=2837/tid=2838] ppid=2834 vsize=1423104 CPUtime=882.23 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 675771 0 0 0 88057 166 0 0 25 0 4 0 651639471 1457258496 288069 33554432000 4194304 4650419 140734852381360 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1423104 CPUtime=882.27 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 662378 0 0 0 88075 152 0 0 25 0 4 0 651639471 1457258496 288069 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1423104 CPUtime=874.47 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 503048 0 0 0 87296 151 0 0 25 0 4 0 651639471 1457258496 288069 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.28
Current children cumulated vsize (KiB) 1423104

[startup+942.3 s]
/proc/loadavg: 8.01 8.08 8.08 10/356 2866
/proc/meminfo: memFree=23748816/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1518840 CPUtime=3758.61 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2645607 0 0 0 375185 676 0 0 25 0 4 0 651639471 1555292160 298970 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364402 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 379710 298970 395 112 0 374675 0
[pid=2837/tid=2838] ppid=2834 vsize=1518840 CPUtime=942.23 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 703116 0 0 0 94043 180 0 0 25 0 4 0 651639471 1555292160 298970 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1518840 CPUtime=942.27 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 662378 0 0 0 94075 152 0 0 25 0 4 0 651639471 1555292160 298970 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1518840 CPUtime=933.8 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 559142 0 0 0 93215 165 0 0 25 0 4 0 651639471 1555292160 298970 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.61
Current children cumulated vsize (KiB) 1518840

[startup+1002.3 s]
/proc/loadavg: 8.00 8.07 8.07 10/356 2868
/proc/meminfo: memFree=23622028/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1599200 CPUtime=3997.94 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2696671 0 0 0 399093 701 0 0 25 0 4 0 651639471 1637580800 304609 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 399800 304609 395 112 0 394765 0
[pid=2837/tid=2838] ppid=2834 vsize=1599200 CPUtime=1002.22 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 730686 0 0 0 100028 194 0 0 25 0 4 0 651639471 1637580800 304609 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1599200 CPUtime=1002.28 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 662378 0 0 0 100075 153 0 0 25 0 4 0 651639471 1637580800 304609 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1599200 CPUtime=993.13 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 559142 0 0 0 99148 165 0 0 25 0 4 0 651639471 1637580800 304609 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.94
Current children cumulated vsize (KiB) 1599200

[startup+1062.3 s]
/proc/loadavg: 8.05 8.07 8.07 10/356 2869
/proc/meminfo: memFree=23589240/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1597256 CPUtime=4237.28 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 2764453 0 0 0 422995 733 0 0 25 0 4 0 651639471 1635590144 311881 33554432000 4194304 4650419 140734852381360 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 399314 311881 395 112 0 394279 0
[pid=2837/tid=2838] ppid=2834 vsize=1597256 CPUtime=1062.21 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 755242 0 0 0 106014 207 0 0 25 0 4 0 651639471 1635590144 311881 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1597256 CPUtime=1062.27 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 678271 0 0 0 106068 159 0 0 25 0 4 0 651639471 1635590144 311881 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1597256 CPUtime=1052.48 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 559142 0 0 0 105083 165 0 0 25 0 4 0 651639471 1635590144 311881 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.28
Current children cumulated vsize (KiB) 1597256

[startup+1122.3 s]
/proc/loadavg: 8.06 8.06 8.07 10/356 2871
/proc/meminfo: memFree=23319112/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1807836 CPUtime=4476.6 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 3102915 0 0 0 446864 796 0 0 25 0 4 0 651639471 1851224064 360681 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 451959 360681 395 112 0 446924 0
[pid=2837/tid=2838] ppid=2834 vsize=1807836 CPUtime=1122.21 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 922480 0 0 0 111988 233 0 0 25 0 4 0 651639471 1851224064 360681 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1807836 CPUtime=1121.84 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 700848 0 0 0 112014 170 0 0 25 0 4 0 651639471 1851224064 360681 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1807836 CPUtime=1112.23 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 559142 0 0 0 111058 165 0 0 25 0 4 0 651639471 1851224064 360681 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.6
Current children cumulated vsize (KiB) 1807836

[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 8.08 10/356 2880
/proc/meminfo: memFree=23342004/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1821712 CPUtime=4715.94 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 3432697 0 0 0 470741 853 0 0 25 0 4 0 651639471 1865433088 361332 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 455428 361332 395 112 0 450393 0
[pid=2837/tid=2838] ppid=2834 vsize=1821712 CPUtime=1182.21 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 1122393 0 0 0 117959 262 0 0 25 0 4 0 651639471 1865433088 361332 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1821712 CPUtime=1181.18 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 725660 0 0 0 117935 183 0 0 25 0 4 0 651639471 1865433088 361332 33554432000 4194304 4650419 140734852381360 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1821712 CPUtime=1172.23 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 559142 0 0 0 117058 165 0 0 25 0 4 0 651639471 1865433088 361332 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4715.94
Current children cumulated vsize (KiB) 1821712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.22 8.11 8.08 6/351 2882
/proc/meminfo: memFree=24818260/32951124 swapFree=53501236/67111528
[pid=2837] ppid=2834 vsize=1821916 CPUtime=4800.17 cores=0,2,4,6
/proc/2837/stat : 2837 (strangenight1-m) R 2834 2837 2586 0 -1 4202496 3600892 0 0 0 479137 880 0 0 25 0 4 0 651639471 1865641984 356257 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 455479 356257 395 112 0 450444 0
[pid=2837/tid=2838] ppid=2834 vsize=1821916 CPUtime=1203.34 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 1196217 0 0 0 120062 272 0 0 25 0 4 0 651639471 1865641984 356248 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2837/tid=2839] ppid=2834 vsize=1821916 CPUtime=1202.05 cores=0,2,4,6
/proc/2837/task/2839/stat : 2839 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 734405 0 0 0 120018 187 0 0 25 0 4 0 651639471 1865641984 356248 33554432000 4194304 4650419 140734852381360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2837/tid=2840] ppid=2834 vsize=1821916 CPUtime=1193.35 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (strangenight1-m) R 2834 2837 2586 0 -1 4202560 559142 0 0 0 119170 165 0 0 25 0 4 0 651639471 1865641984 356248 33554432000 4194304 4650419 140734852381360 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1821916

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.49
CPU time (s): 4800.28
CPU user time (s): 4791.42
CPU system time (s): 8.85865
CPU usage (%): 398.864
Max. virtual memory (cumulated for all children) (KiB): 1821916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.42
system time used= 8.85865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3601311
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= 6145
involuntary context switches= 21412

runsolver used 3.67444 second user time and 9.50255 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 21:12:49
IDJOB=3368671
IDBENCH=82680
IDSOLVER=1846
FILE ID=node103/3368671-1305400368
RUNJOBID= node103-1305397957-2604
PBS_JOBID= 13324472
Free space on /tmp= 72980 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368671-1305400368/watcher-3368671-1305400368 -o /tmp/evaluation-result-3368671-1305400368/solver-3368671-1305400368 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368671-1305400368.cnf

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

MD5SUM BENCH= 745003317611baf9e79e91bc0ab8e275
RANDOM SEED=2068038138

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26219720 kB
Buffers:        295744 kB
Cached:        3870296 kB
SwapCached:     340192 kB
Active:        1351800 kB
Inactive:      5110072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26219720 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           17128 kB
Writeback:           0 kB
AnonPages:     1966636 kB
Mapped:          10816 kB
Slab:           151212 kB
PageTables:      52112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78368500 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= 72984 MiB
End job on node103 at 2011-05-14 21:32:54