Trace number 3282524

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 TechDemo-Alpha-mt? (TO) 4800.14 1201.73

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor032.cnf
MD5SUMe1a6f3a7c69cc7fbec84aac478eb151a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark57.5483
Satisfiable
(Un)Satisfiability was proved
Number of variables13240
Number of clauses39143
Sum of the clauses size91331
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 226094
Number of clauses of size 313047
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.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3282524-1304033180.cnf'
0.00/0.00	c -- header says num vars:          13240
0.00/0.00	c -- header says num clauses:       39143
0.06/0.07	c -- clauses added:            0 learnts,        39143 normals,            0 xors
0.06/0.07	c -- vars added      13240
0.06/0.07	c Parsing time:  0.07 s
0.06/0.09	c  N st     0         0     13240     13047     26094         0     91329         0   no data   no data  --
1.75/0.53	c asymm  cl-useful: 33/13030/13030 lits-rem:99 time: 1.82
6.14/1.69	c Flit:     0 Blit:     65 bXBeca:    0 bXProp:   67 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.0M T:  4.38
6.54/1.73	c Calc non-exist non-lernt bins v-fix:     0 done:  13157 time:  0.33 s
6.54/1.73	c Cache  BProp: 65 Set: 0 BXProp: 0 T: 0.02
6.54/1.74	c Subs w/ non-existent bins:     99 time:  0.02 s
6.54/1.74	c Replacing       67 vars Replaced     1156 lits Time:     0.01 s 
6.54/1.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
6.54/1.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
6.54/1.80	c Removed useless bin:      12  fixed:     0  bprops:   3.95M  time:  0.17 s
6.95/1.86	c lits-rem:         0  cl-subs:      344  v-elim:   4436  v-fix:    0  time:  0.22 s
6.95/1.86	c learnt bin added due to v-elim: 0
6.95/1.88	c Finding binary XORs  T:     0.09 s  found:       0
6.95/1.89	c Finding non-binary XORs:     0.03 s (found:     600, avg size: 3.0)
6.95/1.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
7.33/1.90	c calculated reachability. Time: 0.03
7.33/1.90	c Calc default polars -  time:   0.00 s pos:     212 undec:    5451 neg:    7577
7.33/1.90	c =========================================================================================
7.33/1.90	c types(t): F = full restart, N = normal restart
7.33/1.90	c types(t): S = simplification begin/end, E = solution found
7.33/1.90	c restart types(rt): st = static, dy = dynamic
7.33/1.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
7.33/1.90	c  B st     0         0      8799     13259     14554         0     76716         0   no data   no data  --
8.15/2.12	c Decided on static restart strategy
13.31/3.40	c  N dy     7     11488      8798     13259     14753      4569     76716    122361     81.85     22.98  --
16.93/4.32	c  N dy     8     18070      8798     13259     15262      6696     76802     64874     39.36     22.72  --
23.31/5.91	c  N dy     9     30002      8798     13259     15432     11135     76814    294663     81.31     20.39  --
23.31/5.92	c  S st     9     30002      8798     13259     15432     11135     76814    294663     81.31     20.39  --
23.71/6.03	c  S st     9     30504      8798     13259     15508     11560     76814    301727     81.31     20.39  --
23.71/6.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
23.71/6.03	c Cache  BProp: 65 Set: 0 BXProp: 0 T: 0.01
46.47/11.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  262 Bin:  14759 BRemL:   1453 BRemN:     79 CBin:       0 P: 50.5M T: 22.90
46.87/11.83	c Calc non-exist non-lernt bins v-fix:     0 done:   8797 time:  0.22 s
46.87/11.84	c Cache  BProp: 65 Set: 0 BXProp: 0 T: 0.02
46.87/11.87	c Subs w/ non-existent bins:    462 time:  0.12 s
46.87/11.88	c Replacing      264 vars Replaced     8814 lits Time:     0.04 s 
46.87/11.90	c bin-w-bin subsume rem          444 bins  time:  0.01 s
47.27/11.96	c subs with bin:      468  lits-rem:      9247  v-fix:    0  time:  0.26 s
47.27/11.97	c Removed useless bin:       2  fixed:     0  bprops:   0.50M  time:  0.04 s
48.46/12.26	c lits-rem:       310  cl-subs:     7114  v-elim:   5160  v-fix:    0  time:  1.14 s
48.46/12.26	c learnt bin added due to v-elim: 0
48.46/12.27	c vivif2 --  cl tried    13570 cl shrink      324 lits rem        327 time: 0.04
48.46/12.27	c vivif2 --  cl tried     4266 cl shrink      105 lits rem        124 time: 0.02
50.46/12.71	c asymm  cl-useful: 204/13454/13454 lits-rem:605 time: 1.74
50.46/12.71	c calculated reachability. Time: 0.02
50.46/12.71	c  N dy     9     30504      4211     13256     10122      4266     65387     30012     81.31     20.39  --
50.46/12.71	c  F st     9     30504      4211     13256     10122      4266     65387     30012     81.31     20.39  --
51.26/12.90	c Decided on static restart strategy
57.25/14.44	c  N dy    16     45757      4211     13256     10180     11513     65387    200560     29.65     18.00  --
57.25/14.45	c  S st    16     45757      4211     13256     10180     11513     65387    200560     29.65     18.00  --
57.65/14.54	c  S st    16     46259      4211     13256     16101     14186     65923    226701     29.65     18.00  --
57.65/14.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.65/14.55	c Cache  BProp: 64 Set: 0 BXProp: 0 T: 0.02
62.04/15.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  241 Bin:    624 BRemL:   6052 BRemN:    316 CBin:       0 P:  9.3M T:  4.44
62.04/15.67	c Calc non-exist non-lernt bins v-fix:     0 done:   4210 time:  0.06 s
62.04/15.68	c Cache  BProp: 64 Set: 0 BXProp: 1 T: 0.02
62.44/15.72	c Subs w/ non-existent bins:   1358 time:  0.17 s
62.44/15.73	c Replacing      243 vars Replaced     9313 lits Time:     0.05 s 
62.44/15.74	c bin-w-bin subsume rem          129 bins  time:  0.01 s
62.44/15.78	c subs with bin:      418  lits-rem:       735  v-fix:    0  time:  0.13 s
62.44/15.78	c Removed useless bin:       5  fixed:     0  bprops:   0.10M  time:  0.01 s
63.24/15.95	c lits-rem:       570  cl-subs:     3662  v-elim:    487  v-fix:    0  time:  0.70 s
63.24/15.95	c learnt bin added due to v-elim: 0
63.24/15.96	c vivif2 --  cl tried    12471 cl shrink       32 lits rem         32 time: 0.04
63.24/15.99	c vivif2 --  cl tried     9530 cl shrink     1013 lits rem       1213 time: 0.09
64.84/16.34	c asymm  cl-useful: 10/9700/12470 lits-rem:14 time: 1.41
64.84/16.35	c calculated reachability. Time: 0.02
64.84/16.35	c  N dy    16     46259      3955     12468      9726      9528     62832    145097     29.65     18.00  --
76.42/19.24	c  N dy    17     69389      3955     12468      9752     12746     62832    199073     52.47     18.72  --
76.42/19.25	c  S st    17     69389      3955     12468      9752     12746     62832    199073     52.47     18.72  --
76.82/19.32	c  S st    17     69890      3955     12468     11146     13800     62944    211939     52.47     18.72  --
76.82/19.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
76.82/19.33	c Cache  BProp: 64 Set: 0 BXProp: 0 T: 0.02
80.41/20.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   58 Bin:    225 BRemL:   1333 BRemN:     55 CBin:       0 P: 10.2M T:  3.50
80.41/20.22	c Calc non-exist non-lernt bins v-fix:     0 done:   3954 time:  0.06 s
80.41/20.22	c Cache  BProp: 64 Set: 0 BXProp: 0 T: 0.02
80.41/20.27	c Subs w/ non-existent bins:    277 time:  0.18 s
80.41/20.27	c Replacing       59 vars Replaced     2299 lits Time:     0.02 s 
80.41/20.28	c bin-w-bin subsume rem           41 bins  time:  0.01 s
80.81/20.31	c subs with bin:      208  lits-rem:       964  v-fix:    0  time:  0.12 s
80.81/20.32	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
81.61/20.54	c ORs :   1845 avg-s:  2.0 cl-sh:  1849 l-rem:   1851 b-add:   1027 v-rep:   0 cl-rem: 15 avg s: 3.0 T:    0.24
87.22/21.97	c Added 17 vars  tried: 80000 time: 5.73
87.22/21.98	c ORs :     17 avg-s:  0.0 cl-sh:  2014 l-rem:   2014 b-add:     34 v-rep:   0 cl-rem: 0 avg s: nan T:    5.75
87.22/21.98	c lits-rem:       461  cl-subs:     1882  v-elim:    443  v-fix:    0  time:  6.66 s
87.22/21.98	c learnt bin added due to v-elim: 0
87.22/21.99	c vivif2 --  cl tried    11860 cl shrink       14 lits rem         14 time: 0.04
87.63/22.02	c vivif2 --  cl tried    11014 cl shrink      252 lits rem        364 time: 0.10
88.00/22.16	c asymm  cl-useful: 0/2160/11860 lits-rem:0 time: 0.55
88.00/22.16	c calculated reachability. Time: 0.02
88.00/22.16	c  N dy    17     69890      3906     11860     10721     11014     61708    164599     52.47     18.72  --
88.00/22.16	c  F st    17     69890      3906     11860     10721     11014     61708    164599     52.47     18.72  --
89.20/22.42	c Decided on static restart strategy
90.81/22.81	c  N dy    26     74986      3906     11860     10733     16029     61707    339128     53.73     18.57  --
94.00/23.67	c  N dy    33     80802      3906     11860     11268     23002     61909    599334     52.37     19.50  --
97.59/24.57	c  N dy    35     86725      3906     11860     11427     17526     61983    359638     42.11     20.19  --
101.18/25.49	c  N dy    41     92976      3906     11860     11427     23647     61983    684362     61.50     21.08  --
108.78/27.38	c  N dy    42    104837      3906     11860     11428     22922     61983    900365     89.51     23.02  --
109.20/27.43	c  S st    42    104837      3906     11860     11428     22922     61983    900365     89.51     23.02  --
109.20/27.45	c Finding binary XORs  T:     0.07 s  found:     144
109.20/27.48	c Replacing      144 vars Replaced    19529 lits Time:     0.12 s 
109.60/27.59	c  S st    42    105339      3758     11637     11042     23936     60765    910774     89.51     23.02  --
109.60/27.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
109.97/27.60	c Cache  BProp: 64 Set: 0 BXProp: 0 T: 0.01
114.77/28.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    361 BRemL:    566 BRemN:      0 CBin:       0 P: 17.2M T:  5.06
114.77/28.88	c Calc non-exist non-lernt bins v-fix:     0 done:   3758 time:  0.05 s
114.77/28.88	c Cache  BProp: 64 Set: 0 BXProp: 0 T: 0.01
115.16/28.95	c Subs w/ non-existent bins:     96 time:  0.26 s
115.16/28.95	c Replacing        2 vars Replaced       49 lits Time:     0.02 s 
115.16/28.97	c bin-w-bin subsume rem         1061 bins  time:  0.01 s
115.96/29.16	c subs with bin:      194  lits-rem:      1299  v-fix:    0  time:  0.75 s
115.96/29.16	c Removed useless bin:       0  fixed:     0  bprops:   0.13M  time:  0.01 s
126.36/31.72	c ORs :   1857 avg-s:  2.0 cl-sh:   477 l-rem:    477 b-add:    331 v-rep:   0 cl-rem: 10 avg s: 3.1 T:    0.43
126.36/31.73	c lits-rem:      1783  cl-subs:     4620  v-elim:    428  v-fix:    0  time: 10.26 s
126.36/31.73	c learnt bin added due to v-elim: 0
126.36/31.74	c vivif2 --  cl tried    11517 cl shrink        1 lits rem          1 time: 0.03
126.77/31.81	c vivif2 --  cl tried    18808 cl shrink     2714 lits rem       3640 time: 0.26
127.17/31.98	c asymm  cl-useful: 6/3009/11517 lits-rem:6 time: 0.70
127.17/31.99	c calculated reachability. Time: 0.02
127.17/31.99	c  N dy    42    105339      3753     11517      9954     18807     60478    767897     89.51     23.02  --
137.13/34.43	c  N dy    44    116760      3753     11517      9957     16535     60478    528411    101.29     23.85  --
144.35/36.21	c  N dy    47    125816      3753     11517     10234     26168     60608   1054537     42.14     24.37  --
161.92/40.62	c  N dy    50    146445      3752     11517     10534     17001     60670    302965     98.99     25.44  --
168.29/42.28	c  N dy    55    156055      3790     11517     11173     27336     60938    804596     54.44     25.70  --
170.29/42.71	c  S st    56    158008      3790     11517     11173     29264     60938    890700     44.66     25.72  --
170.71/42.82	c  S st    56    158511      3790     11517     11175     29762     60938    900927     44.66     25.72  --
170.71/42.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
170.71/42.83	c Cache  BProp: 64 Set: 0 BXProp: 0 T: 0.01
175.51/44.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  104 Bin:    182 BRemL:    485 BRemN:    158 CBin:       0 P: 20.3M T:  4.94
175.51/44.08	c Calc non-exist non-lernt bins v-fix:     0 done:   3790 time:  0.06 s
175.51/44.09	c Cache  BProp: 63 Set: 0 BXProp: 0 T: 0.01
175.88/44.19	c Subs w/ non-existent bins:    442 time:  0.42 s
176.68/44.34	c Replacing      104 vars Replaced    20478 lits Time:     0.58 s 
176.68/44.36	c bin-w-bin subsume rem          327 bins  time:  0.01 s
177.48/44.51	c subs with bin:      100  lits-rem:      2163  v-fix:    0  time:  0.60 s
177.48/44.52	c Removed useless bin:       0  fixed:     0  bprops:   0.13M  time:  0.01 s
187.46/47.00	c ORs :   1854 avg-s:  2.0 cl-sh:   184 l-rem:    184 b-add:    160 v-rep:   0 cl-rem: 5 avg s: 12.6 T:    0.52
187.46/47.02	c lits-rem:       749  cl-subs:     6693  v-elim:    419  v-fix:    0  time:  9.99 s
187.46/47.02	c learnt bin added due to v-elim: 0
187.46/47.02	c vivif2 --  cl tried    11327 cl shrink        0 lits rem          0 time: 0.03
187.86/47.10	c vivif2 --  cl tried    22483 cl shrink     2635 lits rem       3411 time: 0.31
188.28/47.27	c asymm  cl-useful: 3/2855/11327 lits-rem:5 time: 0.66
188.28/47.27	c calculated reachability. Time: 0.01
188.28/47.27	c  N dy    56    158511      3686     11326     10298     22483     59879    697795     44.66     25.72  --
263.38/66.06	c  N dy    57    233561      3686     11326     10299     26654     59879    942080     69.26     27.98  --
263.38/66.07	c Finding binary XORs  T:     0.04 s  found:      92
263.76/66.10	c Replacing       92 vars Replaced    15049 lits Time:     0.12 s 
265.76/66.63	c  S st    58    237767      3600     11216     10921     33606     59399   1186444     55.16     27.66  --
266.16/66.78	c  S st    58    238269      3600     11216     10921     34106     59399   1198110     55.16     27.66  --
266.16/66.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.02
266.16/66.78	c Cache  BProp: 63 Set: 0 BXProp: 0 T: 0.01
272.95/68.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     52 BRemL:    363 BRemN:      0 CBin:       0 P: 32.8M T:  6.71
272.95/68.48	c Calc non-exist non-lernt bins v-fix:     0 done:   3598 time:  0.05 s
272.95/68.48	c Cache  BProp: 63 Set: 0 BXProp: 0 T: 0.01
273.35/68.57	c Subs w/ non-existent bins:     20 time:  0.36 s
273.75/68.60	c bin-w-bin subsume rem          164 bins  time:  0.01 s
274.95/68.90	c subs with bin:       91  lits-rem:      1931  v-fix:    0  time:  1.22 s
274.95/68.91	c Removed useless bin:       1  fixed:     0  bprops:   0.11M  time:  0.01 s
279.34/70.07	c ORs :   1856 avg-s:  2.0 cl-sh:   338 l-rem:    338 b-add:     39 v-rep:   0 cl-rem: 4 avg s: 9.2 T:    0.56
279.34/70.08	c lits-rem:       403  cl-subs:     6761  v-elim:    411  v-fix:    0  time:  4.70 s
279.34/70.08	c learnt bin added due to v-elim: 0
279.34/70.09	c vivif2 --  cl tried    11202 cl shrink        3 lits rem          3 time: 0.03
279.74/70.17	c vivif2 --  cl tried    27142 cl shrink     1507 lits rem       1910 time: 0.30
280.56/70.33	c asymm  cl-useful: 0/2230/11202 lits-rem:0 time: 0.64
280.56/70.33	c calculated reachability. Time: 0.01
280.56/70.33	c  N dy    58    238269      3597     11202     10476     27142     59358    977514     55.16     27.66  --
296.91/74.45	c  N dy    70    254388      3597     11202     10763     21984     59442    446921     57.24     27.71  --
310.90/77.99	c  N dy    81    271795      3597     11202     10805     39506     59452   1491755     64.90     27.39  --
334.47/83.83	c  N dy    84    296370      3597     11202     10864     41932     59482   1475751     60.36     27.72  --
354.44/88.83	c  N dy    90    318016      3597     11202     10952     40765     59528   1602607     46.01     28.02  --
386.79/96.97	c  N dy    94    349518      3597     11202     11037     25309     59558    454738     85.88     27.93  --
393.19/98.53	c  S st    96    357403      3597     11202     11090     33089     59576    928217     75.77     27.91  --
393.59/98.66	c  S st    96    357904      3597     11202     11092     33583     59576    940932     75.77     27.91  --
393.59/98.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
393.59/98.66	c Cache  BProp: 63 Set: 0 BXProp: 0 T: 0.01
399.98/100.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   58 Bin:     27 BRemL:    207 BRemN:    103 CBin:       0 P: 34.8M T:  6.15
399.98/100.22	c Calc non-exist non-lernt bins v-fix:     0 done:   3597 time:  0.05 s
399.98/100.22	c Cache  BProp: 63 Set: 0 BXProp: 0 T: 0.01
399.98/100.30	c Subs w/ non-existent bins:    213 time:  0.31 s
400.38/100.35	c Replacing       58 vars Replaced    11062 lits Time:     0.24 s 
400.38/100.38	c bin-w-bin subsume rem           35 bins  time:  0.01 s
401.18/100.54	c subs with bin:       50  lits-rem:      1403  v-fix:    0  time:  0.66 s
401.18/100.55	c Removed useless bin:       0  fixed:     0  bprops:   0.09M  time:  0.01 s
411.17/103.04	c ORs :   1855 avg-s:  2.0 cl-sh:   414 l-rem:    414 b-add:     20 v-rep:   0 cl-rem: 7 avg s: 3.0 T:    0.38
413.16/103.59	c Added 36 vars  tried: 80000 time: 2.20
413.56/103.61	c ORs :     36 avg-s:  0.0 cl-sh:  5345 l-rem:   5345 b-add:     73 v-rep:   0 cl-rem: 0 avg s: nan T:    2.29
413.56/103.63	c lits-rem:      3007  cl-subs:     7366  v-elim:    409  v-fix:    0  time: 12.29 s
413.56/103.63	c learnt bin added due to v-elim: 0
413.56/103.63	c vivif2 --  cl tried    11159 cl shrink        1 lits rem          1 time: 0.03
413.56/103.69	c vivif2 --  cl tried    26007 cl shrink      391 lits rem        525 time: 0.22
414.36/103.84	c asymm  cl-useful: 0/1179/11159 lits-rem:0 time: 0.62
414.36/103.85	c calculated reachability. Time: 0.01
414.36/103.85	c  N dy    96    357904      3574     11159     10775     26007     59254    728269     75.77     27.91  --
503.45/126.18	c  N dy   104    437391      3574     11159     10880     27576     59296    491765     52.23     26.88  --
525.81/131.78	c  N dy   107    461215      3575     11159     11241     51014     59342   1532875     60.83     26.83  --
526.21/131.80	c Finding binary XORs  T:     0.05 s  found:      20
550.18/137.89	c  N dy   110    486291      3574     11158     11241     47657     59343   1137854     31.65     26.52  --
570.57/142.93	c  N dy   117    507749      3574     11158     11241     40287     59343   1011020     52.06     26.50  --
591.33/148.17	c  N dy   123    530392      3574     11158     11309     32903     59347    561227     44.98     26.69  --
598.11/149.88	c  S st   130    536856      3578     11158     11354     39156     59363    842727     44.04     26.66  --
598.91/150.02	c  S st   130    537357      3578     11158     11354     39654     59363    851470     44.04     26.66  --
598.91/150.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
598.91/150.03	c Cache  BProp: 63 Set: 0 BXProp: 0 T: 0.01
605.30/151.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     32 BRemL:    163 BRemN:     24 CBin:       0 P: 39.7M T:  6.45
605.30/151.66	c Calc non-exist non-lernt bins v-fix:     0 done:   3578 time:  0.05 s
605.30/151.66	c Cache  BProp: 63 Set: 0 BXProp: 0 T: 0.01
605.72/151.74	c Subs w/ non-existent bins:     69 time:  0.33 s
605.72/151.78	c Replacing       21 vars Replaced     4650 lits Time:     0.14 s 
605.72/151.80	c bin-w-bin subsume rem           18 bins  time:  0.01 s
606.50/151.90	c subs with bin:       47  lits-rem:      1430  v-fix:    0  time:  0.42 s
606.50/151.91	c Removed useless bin:       0  fixed:     0  bprops:   0.09M  time:  0.01 s
614.91/154.04	c ORs :   1889 avg-s:  2.0 cl-sh:   518 l-rem:    518 b-add:      8 v-rep:   0 cl-rem: 4 avg s: 4.2 T:    0.36
614.91/154.05	c lits-rem:      1823  cl-subs:     6665  v-elim:    407  v-fix:    0  time:  8.56 s
614.91/154.05	c learnt bin added due to v-elim: 0
614.91/154.06	c vivif2 --  cl tried    11129 cl shrink        0 lits rem          0 time: 0.03
615.29/154.12	c vivif2 --  cl tried    32888 cl shrink      762 lits rem        949 time: 0.23
615.69/154.26	c asymm  cl-useful: 0/1072/11129 lits-rem:0 time: 0.59
615.69/154.27	c calculated reachability. Time: 0.01
615.69/154.27	c  N dy   130    537357      3557     11129     11136     32887     59137    680680     44.04     26.66  --
615.69/154.27	c  F st   130    537357      3557     11129     11136     32887     59137    680680     44.04     26.66  --
617.28/154.68	c Decided on static restart strategy
639.26/160.13	c  N dy   139    558314      3557     11129     11161     53678     59139   2464207     69.94     27.21  --
661.63/165.77	c  N dy   151    578774      3557     11129     11220     43562     59143   1514377     74.84     27.52  --
699.18/175.11	c  N dy   154    615678      3557     11129     11220     48440     59143   1868982     81.03     27.74  --
726.34/181.95	c  N dy   162    641799      3558     11129     11359     41775     59155   1094033     46.65     27.93  --
751.90/188.37	c  N dy   167    665962      3558     11129     11376     65511     59159   2832235     62.27     28.15  --
771.48/193.24	c  N dy   172    686380      3558     11129     11394     52177     59159   1796687     93.94     28.21  --
795.85/199.31	c  N dy   181    708867      3558     11129     11462     40097     59165    900788     60.41     28.54  --
871.35/218.25	c  N dy   203    782761      3558     11129     11471     40540     59169    869030     62.56     28.56  --
891.34/223.23	c  N dy   221    806035      3557     11129     11539     62728     59171   1919249     42.79     28.39  --
891.74/223.34	c  S st   221    806035      3557     11129     11539     62728     59171   1919249     42.79     28.39  --
892.52/223.54	c  S st   221    806536      3557     11129     11539     63226     59171   1930118     42.79     28.39  --
892.52/223.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
892.52/223.55	c Cache  BProp: 64 Set: 0 BXProp: 12 T: 0.01
901.30/225.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     29 BRemL:    112 BRemN:      0 CBin:       0 P: 59.5M T:  8.60
901.30/225.71	c Calc non-exist non-lernt bins v-fix:     0 done:   3557 time:  0.05 s
901.30/225.71	c Cache  BProp: 64 Set: 0 BXProp: 0 T: 0.01
902.10/225.91	c Subs w/ non-existent bins:     66 time:  0.78 s
903.30/226.22	c Replacing       11 vars Replaced    11408 lits Time:     1.25 s 
903.30/226.27	c bin-w-bin subsume rem           11 bins  time:  0.01 s
905.29/226.73	c subs with bin:       38  lits-rem:      1882  v-fix:    0  time:  1.81 s
905.29/226.73	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.01 s
918.48/230.06	c ORs :   1887 avg-s:  2.0 cl-sh:  1030 l-rem:   1030 b-add:      9 v-rep:   0 cl-rem: 17 avg s: 4.7 T:    0.80
920.88/230.64	c Added 36 vars  tried: 80000 time: 2.32
920.88/230.68	c ORs :     36 avg-s:  0.0 cl-sh:  6148 l-rem:   6148 b-add:     72 v-rep:   0 cl-rem: 0 avg s: nan T:    2.45
921.28/230.70	c lits-rem:      1197  cl-subs:    12938  v-elim:    408  v-fix:    0  time: 15.89 s
921.28/230.70	c learnt bin added due to v-elim: 0
921.28/230.71	c vivif2 --  cl tried    11146 cl shrink        0 lits rem          0 time: 0.03
921.68/230.84	c vivif2 --  cl tried    50100 cl shrink      414 lits rem       1649 time: 0.53
922.10/231.00	c asymm  cl-useful: 0/713/11146 lits-rem:0 time: 0.62
922.50/231.01	c calculated reachability. Time: 0.02
922.50/231.01	c  N dy   221    806536      3582     11146     11439     50099     59310   1496008     42.79     28.39  --
952.86/238.64	c  N dy   235    836309      3582     11146     11544     42675     59312    823060     37.77     28.00  --
971.21/243.20	c  N dy   241    857446      3582     11146     11734     63565     59321   1632665     49.39     27.74  --
992.80/248.69	c  N dy   273    877890      3582     11146     11799     45617     59321    921286     51.30     27.57  --
1013.56/253.89	c  N dy   296    898181      3582     11146     11878     65643     59321   1886332     51.67     27.43  --
1033.13/258.76	c Finding binary XORs  T:     0.05 s  found:       4
1039.93/260.48	c  N dy   307    922208      3581     11145     11884     49999     59318   1095710     49.41     27.27  --
1063.49/266.36	c  N dy   324    943441      3581     11145     11917     70899     59318   2071260     35.59     27.06  --
1110.63/278.10	c  N dy   338    988782      3581     11145     11928     75430     59318   3808692     88.09     26.79  --
1146.98/287.20	c  N dy   361   1023990      3581     11145     11958     68873     59320   2350293     83.31     26.48  --
1173.75/293.94	c  N dy   383   1044120      3581     11145     12267     46326     59334    779432     53.92     26.41  --
1194.12/299.01	c  N dy   389   1064924      3581     11145     12286     66854     59334   2050085    100.06     26.28  --
1221.30/305.82	c  N dy   409   1086389      3581     11145     12607     44630     59342    628767     51.34     26.09  --
1241.66/310.98	c  N dy   418   1106945      3581     11145     12630     64989     59344   1881579     65.08     25.98  --
1265.62/316.91	c  N dy   432   1126953      3581     11145     12897     84793     59346   3049440    100.54     25.88  --
1287.99/322.52	c  N dy   444   1147141      3581     11145     12902     60290     59350   1831462     71.24     25.80  --
1310.76/328.27	c  N dy   473   1167761      3581     11145     12998     80602     59354   2933084     53.81     25.68  --
1337.92/335.09	c  N dy   499   1188818      3580     11145     13062     55821     59354   1068291     53.45     25.51  --
1360.69/340.70	c  N dy   514   1209805      3580     11145     13107     76671     59356   2107426     83.36     25.42  --
1361.09/340.80	c  S st   514   1209805      3580     11145     13107     76671     59356   2107426     83.36     25.42  --
1361.91/341.05	c  S st   514   1210305      3580     11145     13107     77167     59356   2119770     83.36     25.42  --
1361.91/341.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.03
1361.91/341.06	c Cache  BProp: 92 Set: 0 BXProp: 2 T: 0.01
1371.08/343.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    125 BRemL:    407 BRemN:      4 CBin:       0 P: 60.0M T:  9.20
1371.08/343.38	c Calc non-exist non-lernt bins v-fix:     0 done:   3579 time:  0.05 s
1371.08/343.38	c Cache  BProp: 92 Set: 0 BXProp: 0 T: 0.01
1371.88/343.58	c Subs w/ non-existent bins:    196 time:  0.78 s
1372.28/343.63	c Replacing        9 vars Replaced     5855 lits Time:     0.22 s 
1372.28/343.69	c bin-w-bin subsume rem            6 bins  time:  0.01 s
1374.28/344.18	c subs with bin:      158  lits-rem:      3929  v-fix:    0  time:  1.99 s
1374.28/344.19	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.01 s
1390.66/348.30	c ORs :   1919 avg-s:  2.0 cl-sh:   861 l-rem:    861 b-add:     22 v-rep:   0 cl-rem: 19 avg s: 6.0 T:    0.79
1393.05/348.84	c Added 37 vars  tried: 80000 time: 2.18
1393.45/348.94	c ORs :     37 avg-s:  0.0 cl-sh: 12702 l-rem:  12702 b-add:     74 v-rep:   0 cl-rem: 0 avg s: nan T:    2.55
1393.45/348.97	c lits-rem:      1614  cl-subs:    18343  v-elim:    418  v-fix:    0  time: 19.08 s
1393.45/348.97	c learnt bin added due to v-elim: 0
1393.45/348.97	c vivif2 --  cl tried    11142 cl shrink       27 lits rem         32 time: 0.03
1394.25/349.15	c vivif2 --  cl tried    58436 cl shrink     8101 lits rem      10667 time: 0.71
1395.05/349.30	c asymm  cl-useful: 13/683/11141 lits-rem:13 time: 0.60
1395.05/349.31	c calculated reachability. Time: 0.01
1395.05/349.31	c  N dy   514   1210305      3601     11141     12547     58436     59403   1623277     83.36     25.42  --
1417.02/354.81	c  N dy   526   1231555      3601     11141     12587     79072     59407   2409513     28.48     25.28  --
1446.18/362.11	c Finding binary XORs  T:     0.05 s  found:       0
1451.77/363.51	c  N dy   540   1257353      3601     11141     12640     57974     59407   1039689     39.30     25.06  --
1474.54/369.26	c  N dy   556   1278159      3601     11141     12699     78160     59407   1855289     33.99     24.97  --
1501.70/376.04	c  N dy   574   1302554      3601     11141     12790     55193     59407    885124     21.47     24.74  --
1529.26/382.90	c  N dy   588   1327502      3601     11141     12801     79542     59407   1880800     41.57     24.63  --
1558.83/390.40	c  N dy   603   1348994      3601     11141     12848     52778     59409    880321     51.23     24.48  --
1607.97/402.69	c  N dy   615   1405258      3601     11141     12850     59172     59409   1258094     67.79     24.18  --
1628.73/407.84	c  N dy   624   1425975      3602     11141     12920     79500     59415   2500109     50.90     24.03  --
1686.25/422.28	c  N dy   646   1468941      3602     11141     12948     71952     59415   3184531    111.86     23.84  --
1757.74/440.18	c  N dy   647   1512872      3602     11141     13000     64281     59417   2155926    114.44     23.65  --
1807.68/452.66	c  N dy   654   1543747      3602     11141     13057     94938     59417   5537944    103.44     23.49  --
1838.04/460.25	c  N dy   680   1564233      3602     11141     13081     62677     59417   1261339     67.05     23.43  --
1858.44/465.30	c  N dy   704   1584958      3602     11141     13112     83012     59417   2452784     49.42     23.29  --
1881.58/471.14	c  N dy   724   1605907      3601     11141     13129    103619     59417   3825456     83.95     23.22  --
1905.55/477.19	c  N dy   749   1628035      3601     11141     13129     72026     59417   1995728     36.26     23.23  --
1932.31/483.87	c  N dy   787   1648975      3601     11141     13273     92475     59425   2704884     36.73     23.14  --
1956.28/489.82	c  N dy   807   1670278      3601     11141     13290     59354     59425   1163870     59.67     23.16  --
1977.08/495.03	c  N dy   836   1691441      3601     11141     13334     80145     59425   2086326     57.74     23.14  --
2002.62/501.49	c  S st   851   1710307      3601     11141     13373     98743     59425   2971721     27.64     23.13  --
2003.81/501.73	c  S st   851   1710814      3601     11141     13374     99243     59425   2987124     27.64     23.13  --
2003.81/501.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2003.81/501.74	c Cache  BProp: 139 Set: 1 BXProp: 1 T: 0.01
2015.00/504.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    184 BRemL:    395 BRemN:      3 CBin:       0 P: 60.0M T: 11.19
2015.00/504.56	c Calc non-exist non-lernt bins v-fix:     0 done:   3600 time:  0.06 s
2015.00/504.56	c Cache  BProp: 139 Set: 0 BXProp: 0 T: 0.01
2015.80/504.78	c Subs w/ non-existent bins:     98 time:  0.87 s
2016.21/504.81	c Replacing        4 vars Replaced     2007 lits Time:     0.14 s 
2016.21/504.88	c bin-w-bin subsume rem           25 bins  time:  0.01 s
2019.80/505.76	c subs with bin:      298  lits-rem:      5449  v-fix:    0  time:  3.50 s
2019.80/505.76	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.01 s
2070.92/518.55	c ORs :   1947 avg-s:  2.0 cl-sh:   139 l-rem:    139 b-add:      7 v-rep:   0 cl-rem: 32 avg s: 5.7 T:    0.86
2073.33/519.15	c Added 29 vars  tried: 80000 time: 2.40
2073.33/519.19	c ORs :     29 avg-s:  0.0 cl-sh:  5557 l-rem:   5557 b-add:     58 v-rep:   0 cl-rem: 0 avg s: nan T:    2.55
2073.74/519.22	c lits-rem:      1396  cl-subs:    33077  v-elim:    421  v-fix:    0  time: 53.75 s
2073.74/519.22	c learnt bin added due to v-elim: 0
2073.74/519.23	c vivif2 --  cl tried    11112 cl shrink        3 lits rem          4 time: 0.03
2074.12/519.37	c vivif2 --  cl tried    65738 cl shrink     2752 lits rem       3999 time: 0.54
2074.92/519.52	c asymm  cl-useful: 9/486/11111 lits-rem:12 time: 0.62
2074.92/519.53	c calculated reachability. Time: 0.01
2074.92/519.53	c  N dy   851   1710814      3618     11111     12661     65732     59315   1709379     27.64     23.13  --
2135.26/534.68	c  N dy   855   1761902      3617     11111     13028     61251     59321   1273062     43.69     23.07  --
2180.37/545.92	c  N dy   857   1793266      3617     11111     13307     92413     59329   3287398     73.03     23.01  --
2180.37/545.95	c Finding binary XORs  T:     0.05 s  found:       3
2593.03/649.29	c  N dy   858   2050480      3616     11109     13217    115774     59315   6815997     74.77     22.79  --
2878.24/720.64	c  N dy   859   2210815      3613     11109     14119     90481     59329   3361042     90.04     22.84  --
2879.04/720.80	c  S st   859   2210815      3613     11109     14119     90481     59329   3361042     90.04     22.84  --
2879.84/721.05	c  S st   859   2211318      3613     11109     14561     91087     59333   3376608     90.04     22.84  --
2879.84/721.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2879.84/721.06	c Cache  BProp: 228 Set: 0 BXProp: 0 T: 0.01
2891.05/723.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    222 BRemL:   1071 BRemN:      0 CBin:       0 P: 60.0M T: 11.08
2891.05/723.85	c Calc non-exist non-lernt bins v-fix:     0 done:   3613 time:  0.05 s
2891.05/723.85	c Cache  BProp: 228 Set: 0 BXProp: 0 T: 0.01
2892.63/724.20	c Subs w/ non-existent bins:    238 time:  1.39 s
2893.83/724.56	c Replacing        5 vars Replaced    23752 lits Time:     1.46 s 
2894.22/724.65	c bin-w-bin subsume rem           16 bins  time:  0.01 s
2899.43/726.00	c subs with bin:      243  lits-rem:     16184  v-fix:    0  time:  5.40 s
2899.43/726.00	c Removed useless bin:       2  fixed:     0  bprops:   0.08M  time:  0.01 s
2931.38/733.92	c ORs :   1965 avg-s:  2.0 cl-sh:   414 l-rem:    414 b-add:     10 v-rep:   0 cl-rem: 10 avg s: 5.7 T:    1.86
2931.38/733.97	c lits-rem:        24  cl-subs:    19452  v-elim:    421  v-fix:    0  time: 31.81 s
2931.38/733.97	c learnt bin added due to v-elim: 0
2931.38/733.97	c vivif2 --  cl tried    11064 cl shrink        5 lits rem          6 time: 0.03
2932.58/734.25	c vivif2 --  cl tried    70967 cl shrink     3798 lits rem       5750 time: 1.10
2933.38/734.41	c asymm  cl-useful: 6/379/11063 lits-rem:8 time: 0.65
2933.38/734.42	c calculated reachability. Time: 0.01
2933.38/734.42	c  N dy   859   2211318      3602     11063     13537     70961     59063   2742938     90.04     22.84  --
2965.74/742.56	c  N dy   861   2239458      3602     11063     13684     98859     59063   4130437     49.42     22.77  --
2965.74/742.58	c Finding binary XORs  T:     0.05 s  found:       0
4034.70/1010.11	c  N dy   862   2711319      3602     11063     13704    102276     59063   4877825    126.57     22.81  --
4035.50/1010.34	c  S st   862   2711319      3602     11063     13704    102276     59063   4877825    126.57     22.81  --
4035.50/1010.38	c Finding binary XORs  T:     0.05 s  found:       4
4036.70/1010.61	c  S st   862   2711822      3595     11054     17507    103066     59044   4886537    126.57     22.81  --
4036.70/1010.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4036.70/1010.63	c Cache  BProp: 225 Set: 0 BXProp: 0 T: 0.01
4049.08/1013.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:    461 BRemL:   3442 BRemN:      3 CBin:       0 P: 60.0M T: 12.37
4049.08/1013.74	c Calc non-exist non-lernt bins v-fix:     0 done:   3595 time:  0.06 s
4049.08/1013.74	c Cache  BProp: 225 Set: 0 BXProp: 0 T: 0.01
4051.48/1014.32	c Subs w/ non-existent bins:    292 time:  2.29 s
4051.48/1014.35	c Replacing        9 vars Replaced     2184 lits Time:     0.11 s 
4051.88/1014.46	c bin-w-bin subsume rem           39 bins  time:  0.01 s
4059.08/1016.20	c subs with bin:      360  lits-rem:     61938  v-fix:    0  time:  6.95 s
4059.08/1016.21	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.01 s
4334.30/1085.18	c ORs :   1956 avg-s:  2.0 cl-sh:   166 l-rem:    166 b-add:     28 v-rep:   0 cl-rem: 20 avg s: 3.3 T:    3.50
4337.09/1085.88	c Added 37 vars  tried: 80000 time: 2.76
4339.09/1086.37	c ORs :     37 avg-s:  0.0 cl-sh: 32953 l-rem:  32953 b-add:     74 v-rep:   0 cl-rem: 0 avg s: nan T:    4.72
4339.50/1086.43	c lits-rem:       215  cl-subs:    17313  v-elim:    532  v-fix:    0  time: 280.49 s
4339.50/1086.43	c learnt bin added due to v-elim: 0
4339.50/1086.44	c vivif2 --  cl tried    11027 cl shrink      131 lits rem        133 time: 0.04
4341.49/1086.95	c vivif2 --  cl tried    85151 cl shrink    10397 lits rem      16291 time: 2.03
4342.29/1087.11	c asymm  cl-useful: 2/607/11023 lits-rem:2 time: 0.63
4342.29/1087.12	c calculated reachability. Time: 0.02
4342.29/1087.12	c  N dy   862   2711822      3610     11023     14314     85055     58759   4075719    126.57     22.81  --
4342.29/1087.12	c  F st   862   2711822      3610     11023     14314     85055     58759   4075719    126.57     22.81  --
4344.29/1087.66	c Decided on static restart strategy

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3282524-1304033180/watcher-3282524-1304033180 -o /tmp/evaluation-result-3282524-1304033180/solver-3282524-1304033180 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3282524-1304033180.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.01 7.29 6.99 5/180 25146
/proc/meminfo: memFree=25040468/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=51076 CPUtime=0 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 921 0 0 0 0 0 0 0 25 0 1 0 495733444 52301824 856 33554432000 4194304 4797429 140737320079600 18446744073709551615 4688003 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25146/statm: 12769 859 348 148 0 7698 0

[startup+0.0751199 s]
/proc/loadavg: 8.01 7.29 6.99 5/180 25146
/proc/meminfo: memFree=25040468/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=75172 CPUtime=0.06 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 7884 0 0 0 6 0 0 0 25 0 1 0 495733444 76976128 6412 33554432000 4194304 4797429 140737320079600 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25146/statm: 18793 6415 349 148 0 13722 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 75172

[startup+0.187062 s]
/proc/loadavg: 8.01 7.29 6.99 5/180 25146
/proc/meminfo: memFree=25040468/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=171436 CPUtime=0.5 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 8048 0 0 0 50 0 0 0 18 0 4 0 495733444 175550464 6567 33554432000 4194304 4797429 140737320079600 18446744073709551615 4332833 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 42859 6567 375 148 0 37788 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 171436

[startup+0.301041 s]
/proc/loadavg: 8.01 7.29 6.99 5/180 25146
/proc/meminfo: memFree=25040468/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=171436 CPUtime=0.95 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 8048 0 0 0 95 0 0 0 18 0 4 0 495733444 175550464 6567 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 42859 6567 375 148 0 37788 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 171436

[startup+0.700969 s]
/proc/loadavg: 8.01 7.29 6.99 5/180 25146
/proc/meminfo: memFree=25040468/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=705740 CPUtime=2.56 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 15155 0 0 0 254 2 0 0 18 0 4 0 495733444 722677760 13414 33554432000 4194304 4797429 140737320079600 18446744073709551615 228095112225 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 176435 13417 384 148 0 171364 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 705740

[startup+1.50082 s]
/proc/loadavg: 8.01 7.29 6.99 9/184 25150
/proc/meminfo: memFree=24939288/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=725080 CPUtime=5.74 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 32719 0 0 0 569 5 0 0 18 0 4 0 495733444 742481920 30978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427200 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 181270 30978 384 148 0 176199 0
[pid=25146/tid=25148] ppid=25144 vsize=725080 CPUtime=1.41 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 6271 0 0 0 140 1 0 0 18 0 4 0 495733451 742481920 30978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=725080 CPUtime=1.41 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 6264 0 0 0 140 1 0 0 25 0 4 0 495733451 742481920 30978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4430173 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=725080 CPUtime=1.41 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 6027 0 0 0 140 1 0 0 18 0 4 0 495733451 742481920 30978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4332822 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 725080

[startup+3.10053 s]
/proc/loadavg: 8.01 7.29 6.99 10/184 25150
/proc/meminfo: memFree=24894772/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=741156 CPUtime=12.12 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 41476 0 0 0 1203 9 0 0 19 0 4 0 495733444 758943744 37764 33554432000 4194304 4797429 140737320079600 18446744073709551615 4387819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 185289 37764 418 148 0 180218 0
[pid=25146/tid=25148] ppid=25144 vsize=741156 CPUtime=3 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 8507 0 0 0 298 2 0 0 19 0 4 0 495733451 758943744 37764 33554432000 4194304 4797429 140737320079600 18446744073709551615 4258857 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=741156 CPUtime=3 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 8229 0 0 0 298 2 0 0 19 0 4 0 495733451 758943744 37764 33554432000 4194304 4797429 140737320079600 18446744073709551615 4422851 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=741156 CPUtime=3.01 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 8499 0 0 0 299 2 0 0 19 0 4 0 495733451 758943744 37764 33554432000 4194304 4797429 140737320079600 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 741156

[startup+6.30094 s]
/proc/loadavg: 8.01 7.30 6.99 9/184 25150
/proc/meminfo: memFree=24879396/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=747200 CPUtime=24.9 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 49354 0 0 0 2479 11 0 0 18 0 4 0 495733444 765132800 40631 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427390 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 186800 40631 419 148 0 181729 0
[pid=25146/tid=25148] ppid=25144 vsize=747200 CPUtime=6.21 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 11319 0 0 0 618 3 0 0 25 0 4 0 495733451 765132800 40632 33554432000 4194304 4797429 140737320079600 18446744073709551615 228095111877 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=747200 CPUtime=6.18 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 9646 0 0 0 616 2 0 0 25 0 4 0 495733451 765132800 40632 33554432000 4194304 4797429 140737320079600 18446744073709551615 4231945 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=747200 CPUtime=6.21 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 10230 0 0 0 619 2 0 0 25 0 4 0 495733451 765132800 40632 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 747200

[startup+12.7008 s]
/proc/loadavg: 8.01 7.31 7.00 9/184 25150
/proc/meminfo: memFree=24839824/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=771704 CPUtime=50.46 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 65758 0 0 0 5031 15 0 0 25 0 4 0 495733444 790224896 50820 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428023 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 192926 50820 422 148 0 187855 0
[pid=25146/tid=25148] ppid=25144 vsize=771704 CPUtime=12.61 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 14925 0 0 0 1257 4 0 0 25 0 4 0 495733451 790224896 50820 33554432000 4194304 4797429 140737320079600 18446744073709551615 4422777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=771704 CPUtime=12.54 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 15964 0 0 0 1251 3 0 0 25 0 4 0 495733451 790224896 50820 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427387 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=771704 CPUtime=12.61 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 12033 0 0 0 1258 3 0 0 25 0 4 0 495733451 790224896 50820 33554432000 4194304 4797429 140737320079600 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 771704

[startup+25.5004 s]
/proc/loadavg: 8.08 7.36 7.02 9/184 25150
/proc/meminfo: memFree=24822960/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=783068 CPUtime=101.58 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 76070 0 0 0 10138 20 0 0 25 0 4 0 495733444 801861632 53687 33554432000 4194304 4797429 140737320079600 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 195767 53687 423 148 0 190696 0
[pid=25146/tid=25148] ppid=25144 vsize=783068 CPUtime=25.41 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 16139 0 0 0 2536 5 0 0 25 0 4 0 495733451 801861632 53687 33554432000 4194304 4797429 140737320079600 18446744073709551615 4385733 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=783068 CPUtime=25.27 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 17926 0 0 0 2523 4 0 0 25 0 4 0 495733451 801861632 53687 33554432000 4194304 4797429 140737320079600 18446744073709551615 4655593 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=783068 CPUtime=25.41 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 13331 0 0 0 2537 4 0 0 25 0 4 0 495733451 801861632 53687 33554432000 4194304 4797429 140737320079600 18446744073709551615 4519908 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 783068

[startup+51.1007 s]
/proc/loadavg: 8.05 7.41 7.04 9/184 25151
/proc/meminfo: memFree=24792992/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=799392 CPUtime=203.84 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 90264 0 0 0 20359 25 0 0 25 0 4 0 495733444 818577408 57250 33554432000 4194304 4797429 140737320079600 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 199848 57250 423 148 0 194777 0
[pid=25146/tid=25148] ppid=25144 vsize=799392 CPUtime=50.97 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 16992 0 0 0 5092 5 0 0 25 0 4 0 495733451 818577408 57250 33554432000 4194304 4797429 140737320079600 18446744073709551615 4351414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=799392 CPUtime=50.75 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 19124 0 0 0 5071 4 0 0 25 0 4 0 495733451 818577408 57250 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428001 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=799392 CPUtime=51.01 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 14511 0 0 0 5096 5 0 0 25 0 4 0 495733451 818577408 57250 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 799392

[startup+102.306 s]
/proc/loadavg: 8.13 7.53 7.10 9/184 25152
/proc/meminfo: memFree=24771336/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=809364 CPUtime=408.39 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 113488 0 0 0 40807 32 0 0 25 0 4 0 495733444 828788736 60049 33554432000 4194304 4797429 140737320079600 18446744073709551615 4524493 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 202341 60049 423 148 0 197270 0
[pid=25146/tid=25148] ppid=25144 vsize=809364 CPUtime=101.9 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 18493 0 0 0 10185 5 0 0 25 0 4 0 495733451 828788736 60049 33554432000 4194304 4797429 140737320079600 18446744073709551615 4346434 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=809364 CPUtime=101.96 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 20427 0 0 0 10191 5 0 0 25 0 4 0 495733451 828788736 60049 33554432000 4194304 4797429 140737320079600 18446744073709551615 228095106043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=809364 CPUtime=102.21 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 15830 0 0 0 10216 5 0 0 25 0 4 0 495733451 828788736 60049 33554432000 4194304 4797429 140737320079600 18446744073709551615 4346323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.39
Current children cumulated vsize (KiB) 809364

[startup+162.3 s]
/proc/loadavg: 8.15 7.64 7.16 9/184 25154
/proc/meminfo: memFree=24731444/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=820556 CPUtime=648.04 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 134667 0 0 0 64764 40 0 0 25 0 4 0 495733444 840249344 64444 33554432000 4194304 4797429 140737320079600 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 205139 64444 423 148 0 200068 0
[pid=25146/tid=25148] ppid=25144 vsize=820556 CPUtime=161.57 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 19736 0 0 0 16151 6 0 0 25 0 4 0 495733451 840249344 64444 33554432000 4194304 4797429 140737320079600 18446744073709551615 4681072 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=820556 CPUtime=161.95 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 21829 0 0 0 16190 5 0 0 25 0 4 0 495733451 840249344 64444 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=820556 CPUtime=162.21 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 17135 0 0 0 16215 6 0 0 25 0 4 0 495733451 840249344 64444 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.04
Current children cumulated vsize (KiB) 820556

[startup+222.301 s]
/proc/loadavg: 8.10 7.72 7.22 9/184 25156
/proc/meminfo: memFree=24716364/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=894056 CPUtime=887.72 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 160178 0 0 0 88722 50 0 0 25 0 4 0 495733444 915513344 64743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4351609 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 223514 64743 423 148 0 218443 0
[pid=25146/tid=25148] ppid=25144 vsize=894056 CPUtime=221.29 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 20844 0 0 0 22123 6 0 0 25 0 4 0 495733451 915513344 64743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4245647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=894056 CPUtime=221.96 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 23025 0 0 0 22190 6 0 0 25 0 4 0 495733451 915513344 64743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4346799 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=894056 CPUtime=222.15 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 18219 0 0 0 22209 6 0 0 25 0 4 0 495733451 915513344 64743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.72
Current children cumulated vsize (KiB) 894056

[startup+282.301 s]

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

[pid=25146] ppid=25144 vsize=973032 CPUtime=2805.14 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 320156 0 0 0 280386 128 0 0 25 0 4 0 495733444 996384768 86978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4341486 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 243258 86978 432 148 0 238187 0
[pid=25146/tid=25148] ppid=25144 vsize=973032 CPUtime=701.31 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 30912 0 0 0 70119 12 0 0 25 0 4 0 495733451 996384768 86978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4414522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=973032 CPUtime=700.02 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 33215 0 0 0 69992 10 0 0 25 0 4 0 495733451 996384768 86978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=973032 CPUtime=701.49 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 27967 0 0 0 70138 11 0 0 25 0 4 0 495733451 996384768 86978 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428653 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.14
Current children cumulated vsize (KiB) 973032

[startup+762.307 s]
/proc/loadavg: 8.12 8.00 7.58 9/184 25230
/proc/meminfo: memFree=26034600/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=983928 CPUtime=3044.84 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 339143 0 0 0 304346 138 0 0 25 0 4 0 495733444 1007542272 87743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 245982 87743 432 148 0 240911 0
[pid=25146/tid=25148] ppid=25144 vsize=983928 CPUtime=761.31 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 32046 0 0 0 76119 12 0 0 25 0 4 0 495733451 1007542272 87743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=983928 CPUtime=759.7 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 34253 0 0 0 75959 11 0 0 25 0 4 0 495733451 1007542272 87743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4346799 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=983928 CPUtime=761.49 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 28997 0 0 0 76138 11 0 0 25 0 4 0 495733451 1007542272 87743 33554432000 4194304 4797429 140737320079600 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.84
Current children cumulated vsize (KiB) 983928

[startup+822.301 s]
/proc/loadavg: 8.11 8.02 7.61 9/184 25232
/proc/meminfo: memFree=26019496/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=985748 CPUtime=3284.5 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 354851 0 0 0 328302 148 0 0 25 0 4 0 495733444 1009405952 91403 33554432000 4194304 4797429 140737320079600 18446744073709551615 4387365 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 246437 91403 432 148 0 241366 0
[pid=25146/tid=25148] ppid=25144 vsize=985748 CPUtime=821.31 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 33225 0 0 0 82118 13 0 0 25 0 4 0 495733451 1009405952 91403 33554432000 4194304 4797429 140737320079600 18446744073709551615 4430012 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=985748 CPUtime=819.38 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 35349 0 0 0 81926 12 0 0 25 0 4 0 495733451 1009405952 91403 33554432000 4194304 4797429 140737320079600 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=985748 CPUtime=821.49 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 30336 0 0 0 82137 12 0 0 25 0 4 0 495733451 1009405952 91403 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427651 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 985748

[startup+882.301 s]
/proc/loadavg: 8.08 8.03 7.63 9/184 25233
/proc/meminfo: memFree=26017920/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=990320 CPUtime=3524.18 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 373450 0 0 0 352259 159 0 0 25 0 4 0 495733444 1014087680 90308 33554432000 4194304 4797429 140737320079600 18446744073709551615 4424853 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 247580 90308 432 148 0 242509 0
[pid=25146/tid=25148] ppid=25144 vsize=990320 CPUtime=881.31 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 34385 0 0 0 88118 13 0 0 25 0 4 0 495733451 1014087680 90308 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428760 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=990320 CPUtime=879.05 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 36169 0 0 0 87893 12 0 0 25 0 4 0 495733451 1014087680 90308 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428734 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=990320 CPUtime=881.5 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 31472 0 0 0 88137 13 0 0 25 0 4 0 495733451 1014087680 90308 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428023 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.18
Current children cumulated vsize (KiB) 990320

[startup+942.301 s]
/proc/loadavg: 8.07 8.03 7.66 9/184 25235
/proc/meminfo: memFree=25995388/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=994216 CPUtime=3763.87 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 388514 0 0 0 376220 167 0 0 25 0 4 0 495733444 1018077184 95479 33554432000 4194304 4797429 140737320079600 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 248554 95479 432 148 0 243483 0
[pid=25146/tid=25148] ppid=25144 vsize=994216 CPUtime=941.31 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 35308 0 0 0 94118 13 0 0 25 0 4 0 495733451 1018077184 95479 33554432000 4194304 4797429 140737320079600 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=994216 CPUtime=938.73 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 37459 0 0 0 93860 13 0 0 25 0 4 0 495733451 1018077184 95479 33554432000 4194304 4797429 140737320079600 18446744073709551615 4425918 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=994216 CPUtime=941.49 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 32195 0 0 0 94136 13 0 0 25 0 4 0 495733451 1018077184 95479 33554432000 4194304 4797429 140737320079600 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.87
Current children cumulated vsize (KiB) 994216

[startup+1002.3 s]
/proc/loadavg: 8.06 8.04 7.68 9/184 25236
/proc/meminfo: memFree=26009468/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=999332 CPUtime=4003.54 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 406687 0 0 0 400177 177 0 0 25 0 4 0 495733444 1023315968 91455 33554432000 4194304 4797429 140737320079600 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 249833 91455 432 148 0 244762 0
[pid=25146/tid=25148] ppid=25144 vsize=999332 CPUtime=1001.31 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 36385 0 0 0 100117 14 0 0 25 0 4 0 495733451 1023315968 91455 33554432000 4194304 4797429 140737320079600 18446744073709551615 4346323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=999332 CPUtime=998.4 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 38520 0 0 0 99827 13 0 0 25 0 4 0 495733451 1023315968 91455 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=999332 CPUtime=1001.5 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 33473 0 0 0 100136 14 0 0 25 0 4 0 495733451 1023315968 91455 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428755 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.54
Current children cumulated vsize (KiB) 999332

[startup+1062.3 s]
/proc/loadavg: 8.11 8.06 7.71 9/184 25268
/proc/meminfo: memFree=26326652/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=1011652 CPUtime=4243.22 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 413856 0 0 0 424142 180 0 0 25 0 4 0 495733444 1035931648 98550 33554432000 4194304 4797429 140737320079600 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 252913 98550 432 148 0 247842 0
[pid=25146/tid=25148] ppid=25144 vsize=1011652 CPUtime=1061.32 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 37355 0 0 0 106117 15 0 0 25 0 4 0 495733451 1035931648 98550 33554432000 4194304 4797429 140737320079600 18446744073709551615 4250659 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=1011652 CPUtime=1058.07 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 39356 0 0 0 105794 13 0 0 25 0 4 0 495733451 1035931648 98550 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=1011652 CPUtime=1061.5 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 34338 0 0 0 106135 15 0 0 25 0 4 0 495733451 1035931648 98550 33554432000 4194304 4797429 140737320079600 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.22
Current children cumulated vsize (KiB) 1011652

[startup+1122.3 s]
/proc/loadavg: 8.15 8.08 7.74 9/184 25270
/proc/meminfo: memFree=26313080/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=1037104 CPUtime=4482.89 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 433127 0 0 0 448100 189 0 0 25 0 4 0 495733444 1061994496 98439 33554432000 4194304 4797429 140737320079600 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 259276 98439 432 148 0 254205 0
[pid=25146/tid=25148] ppid=25144 vsize=1037104 CPUtime=1121.32 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 40693 0 0 0 112116 16 0 0 25 0 4 0 495733451 1061994496 98439 33554432000 4194304 4797429 140737320079600 18446744073709551615 4642182 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=1037104 CPUtime=1117.75 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 40703 0 0 0 111761 14 0 0 25 0 4 0 495733451 1061994496 98439 33554432000 4194304 4797429 140737320079600 18446744073709551615 228095106048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=1037104 CPUtime=1121.5 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 37724 0 0 0 112134 16 0 0 25 0 4 0 495733451 1061994496 98439 33554432000 4194304 4797429 140737320079600 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.89
Current children cumulated vsize (KiB) 1037104

[startup+1182.3 s]
/proc/loadavg: 8.15 8.09 7.76 9/184 25271
/proc/meminfo: memFree=26272804/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=1040156 CPUtime=4722.59 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 450716 0 0 0 472060 199 0 0 25 0 4 0 495733444 1065119744 104753 33554432000 4194304 4797429 140737320079600 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 260039 104753 432 148 0 254968 0
[pid=25146/tid=25148] ppid=25144 vsize=1040156 CPUtime=1181.32 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 41414 0 0 0 118116 16 0 0 25 0 4 0 495733451 1065119744 104753 33554432000 4194304 4797429 140737320079600 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=1040156 CPUtime=1177.43 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 41468 0 0 0 117728 15 0 0 25 0 4 0 495733451 1065119744 104753 33554432000 4194304 4797429 140737320079600 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=1040156 CPUtime=1181.49 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 38564 0 0 0 118133 16 0 0 25 0 4 0 495733451 1065119744 104753 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.59
Current children cumulated vsize (KiB) 1040156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.10 7.77 9/184 25272
/proc/meminfo: memFree=26294744/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=1049880 CPUtime=4800.1 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 459448 0 0 0 479808 202 0 0 25 0 4 0 495733444 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4387650 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 262470 98152 432 148 0 257399 0
[pid=25146/tid=25148] ppid=25144 vsize=1049880 CPUtime=1200.72 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 42042 0 0 0 120056 16 0 0 25 0 4 0 495733451 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=1049880 CPUtime=1196.72 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 43711 0 0 0 119657 15 0 0 25 0 4 0 495733451 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=1049880 CPUtime=1200.91 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 39075 0 0 0 120074 17 0 0 25 0 4 0 495733451 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1049880

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

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

[startup+1201.7 s]
/proc/loadavg: 8.19 8.10 7.77 9/184 25272
/proc/meminfo: memFree=26294744/32951124 swapFree=67111524/67111528
[pid=25146] ppid=25144 vsize=1049880 CPUtime=4800.1 cores=1,3,5,7
/proc/25146/stat : 25146 (techdemo) R 25144 25146 24690 0 -1 4202496 459448 0 0 0 479808 202 0 0 25 0 4 0 495733444 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4387650 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25146/statm: 262470 98152 432 148 0 257399 0
[pid=25146/tid=25148] ppid=25144 vsize=1049880 CPUtime=1200.72 cores=1,3,5,7
/proc/25146/task/25148/stat : 25148 (techdemo) R 25144 25146 24690 0 -1 4202560 42042 0 0 0 120056 16 0 0 25 0 4 0 495733451 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25146/tid=25149] ppid=25144 vsize=1049880 CPUtime=1196.72 cores=1,3,5,7
/proc/25146/task/25149/stat : 25149 (techdemo) R 25144 25146 24690 0 -1 4202560 43711 0 0 0 119657 15 0 0 25 0 4 0 495733451 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25146/tid=25150] ppid=25144 vsize=1049880 CPUtime=1200.91 cores=1,3,5,7
/proc/25146/task/25150/stat : 25150 (techdemo) R 25144 25146 24690 0 -1 4202560 39075 0 0 0 120074 17 0 0 25 0 4 0 495733451 1075077120 98152 33554432000 4194304 4797429 140737320079600 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1049880

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.14
CPU user time (s): 4798.1
CPU system time (s): 2.04069
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 1105308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.1
system time used= 2.04069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459451
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= 5634
involuntary context switches= 33475

runsolver used 2.09068 second user time and 4.48332 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 01:26:20
IDJOB=3282524
IDBENCH=70818
IDSOLVER=1584
FILE ID=node142/3282524-1304033180
RUNJOBID= node142-1304032775-25080
PBS_JOBID= 13170310
Free space on /tmp= 71288 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282524-1304033180/watcher-3282524-1304033180 -o /tmp/evaluation-result-3282524-1304033180/solver-3282524-1304033180 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3282524-1304033180.cnf

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

MD5SUM BENCH= e1a6f3a7c69cc7fbec84aac478eb151a
RANDOM SEED=745275160

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.82
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.846
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:      25040748 kB
Buffers:       1617436 kB
Cached:        3996216 kB
SwapCached:          4 kB
Active:        2313496 kB
Inactive:      5065196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25040748 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9572 kB
Writeback:           0 kB
AnonPages:     1764652 kB
Mapped:          15720 kB
Slab:           464604 kB
PageTables:       7900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2427192 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= 71296 MiB
End job on node142 at 2011-04-29 01:46:23